funded

ZKFold Symbolic: a Zero-Knowledge Smart Contract Language

View on Ideascale View on projectcatalyst.io

Current Project Status

In Progress

Amount
Received

₳152,000

Amount
Requested

₳200,000

Percentage
Received

76.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