funded
Designing an API for ZK-Snark proof verification in Aiken - Eryx
Current Project Status
In Progress
Amount
Received
Received
₳0
Amount
Requested
Requested
₳200,000
Percentage
Received
Received
0.00%
Solution
Simplify zk-dApp development by creating an intuitive API for circuit construction and ZK-Snark proof verification in Aiken, enhancing developer experience and reducing complexity.
Problem
Implementing zk-dApps in Cardano is a difficult task due to the limited availability of verifiers and the lack of tooling for circuit construction, creating barriers for developers.
Impact Alignment
Feasibility
Value for money