ID: #1100297 | Status:
Complete

Last updated 4 weeks ago

ZKFold Symbolic: a Zero-Knowledge Smart Contract Language

Problem

Symbolic-2c2c73.jpg

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.

Completed outcome

Download report

Total to date

This is the total amount allocated to ZKFold Symbolic: a Zero-Knowledge Smart Contract Language.

₳200,000
Total funds requested
Distributed: ₳200,000
Remaining: ₳0
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