ID: #1100297 | Status:
Complete

Last updated 3 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.

Total to date

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

₳200,000
Total funds requested
Distributed: ₳160,000
Remaining: ₳40,000
04/24
05/24
06/24
07/24
08/24
Complete
In progress
Onboarding
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