HomeFunds overviewFund10F10: Development & InfrastructureA Zero Knowledge Proof framework for Cardano based on Hydra and ZK-SNARKS
ID: Idea #105211

A Zero Knowledge Proof framework for Cardano based on Hydra and ZK-SNARKS

Problem

Zero-Knowledge-Proofs (ZKPs) are increasingly relevant to ensure privacy in blockchain transactions. The Cardano ecosystem currently lacks a mature tooling for implementing ZKPs.

Solution

We will develop a set of tools using the Hydra protocol to adapt ZKP solutions that currently work on Ethereum, particularly ZK-SNARKs, enabling ZK-proof verifications on the Cardano blockchain.

Total so far

This is the total amount allocated to A Zero Knowledge Proof framework for Cardano based on Hydra and ZK-SNARKS

Total Funds Requested

₳75,000

Distributed
₳22,500
Remaining
₳52,500
489
Total votes cast
₳162M
Votes yes
₳45.9M
Votes no

Project milestones

0/3 milestones complete

Explore all milestones in-depth

More detail

Monthly report

Progress report

Status: In progress
On track: Yes
Estimated completion date: -

Team

  • Antonio Hernandez-Garduño (https://www.linkedin.com/in/antoniohg/). Haskell developer and mathematician, with 20+ years of experience in Mathematics research and 2+ years of involvement in Cardano development. Certified Cardano Developer Professional by Emurgo Academy. Will be in charge of algorithm development based on Elliptic Curve theory as well as Plutus/Plutarch optimization.
  • Juan Salvador Magán Valero. Full stack Web 3 developer and CIP-0093 creator, focused on bringing adoption to Cardano. Will be in charge of Off-chain tooling, front-end development for proof-of-concept DApps, Hydra deployment, and integration testing.
  • Agustín Salinas Hernandez. Plutus smart contract developer and technical writer. Will be in charge of onchain code benchmarking, code optimization and documentation.
Antonio Hernandez
Antonio Hernandez
Juan Salvador Magán Valero
Juan Salvador Magán Valero
Agustín Salinas
Agustín Salinas