ID: #1000005 | Status:
In progress

Last updated 49 days ago

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 to date

This is the total amount allocated to A Zero Knowledge Proof framework for Cardano based on Hydra and ZK-SNARKS. 2 out of 3 milestones are complete

₳75,000
Total funds requested
Distributed: ₳65,000
Remaining: ₳10,000
10/23
00/24
03/24
Complete
In Progress
To be completed
489
Total Votes
₳162M
Votes Yes
₳45.9M
Votes No

Monthly report

NB: Monthly reporting was deprecated from January 2024 and replaced fully by the Milestones Program framework. Learn more here

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
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