Hi all. Zero-knowledge is becoming top of mind for a lot of people in the industry, with new proving schemes, new L1s and a lot of established ecosystems looking into how to integrate.
ICP is the perfect targets for provers and verifiers due to its very general nature and low cost (proving is still incredibly expensive on ethereum for instance). I think that it would be worth for the community to start a working group and port a few different zk schemes to the ICP. It also complements AI agents identity very well. Happy to help if the effort takes shape.
My 0.02 USDC