funded
ZKFold Symbolic: a Zero-Knowledge Smart Contract Language
Current Project Status
In Progress
Amount
Received
Received
₳160,000
Amount
Requested
Requested
₳200,000
Percentage
Received
Received
80.00%
Solution
A new Haskell DSL for writing zero-knowledge smart contracts. Being a high-level language, it dramatically reduces the barrier to entry as the developers do not need to be experts in ZK cryptography.
Problem
Soon, Cardano will be capable of verifying zero-knowledge proofs on-chain. This enables more robust and scalable smart contracts. There needs to be a high-level language for such smart contracts.
Impact Alignment
Feasibility
Value for money