Open SpaceManiac opened 4 months ago
Demonstrates that ZkProgram can be used to generate and verify proofs that can then be verified independently from Mina or as inputs to Mina contracts.
Demonstrates that ZkProgram can be used to generate and verify proofs that can then be verified independently from Mina or as inputs to Mina contracts.