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.