Made a zkSNARK “Hello world” program with verifier as a smart-contract on NEAR Protocol.
https://github.com/mizu-dao/near-zk-demo link with full instruction how to build & deploy
Gas usage ~ 140Tgas, can be optimized more than that, but I think even this is good.
Now it’s time to implement “proof of set membership” with merkle tree component on a NEAR 😉
@mob any thoughts on this ?)
@magamedrasul may need to add some precompiles or use existing ones to optimize on gas
@magamedrasul it’s super cool that even without pre compiled math it fits into gas limit