- Crypto / Web3
A proof of concept using ZK-Snark and Hydra on Cardano
We studied an implementation in Plutus of a ZK-SNARK proof validation algorithm following the Groth16 protocol. The validation is ran by Hydra nodes. We showcase the use of zero knowledge proofs by implementing the game MasterMind in a Web 3 full fledged environment.
This project opens the possibility of bringing new innovations in the field of Zero Knowledge Proofs, and the opportunity to leverage the state of the art ZK tooling to the Cardano ecosystem.
The Modulo-p team consists of three members:
Antonio Hernandez Garduño: Haskell developer and mathematician with experience in both Plutus development and Mathematics research.
Juan Salvador Magán Valero: Full stack Web 3 developer and CIP-0093 creator focused on bringing adoption to Cardano
Agustín Salinas Hernandez: Plutus smart contract developer and technical writer.