ID: #1100297 | Status:
In progress

Last updated 2 months ago

ZKFold Symbolic: a Zero-Knowledge Smart Contract Language

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.

Total to date

This is the total amount allocated to ZKFold Symbolic: a Zero-Knowledge Smart Contract Language. 3 out of 5 milestones are completed.

₳ 200,000
Total funds requested
Distributed: ₳ 152,000
Remaining: ₳ 48,000
04/24
05/24
06/24
07/24
08/24
Complete
In progress
To be completed
777
Total votes cast
₳236M
Votes yes
₳10.3M
Votes abstain

About this idea

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

Team

Vladimir Sinyakov
Vladimir Sinyakov
Stanislav zkFold
Stanislav zkFold