funded
ZKFold Symbolic: a Zero-Knowledge Smart Contract Language
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

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.

Impact Alignment
Feasibility
Value for money

Cardano Mixer

2 members

Groups

Cardano Mixer

Team

Team Connections

close

Playlist

  • EP2: epoch_length

    Authored by: Darlington Kofa

    3m 24s
    Darlington Kofa
  • EP1: 'd' parameter

    Authored by: Darlington Kofa

    4m 3s
    Darlington Kofa
  • EP3: key_deposit

    Authored by: Darlington Kofa

    3m 48s
    Darlington Kofa
  • EP4: epoch_no

    Authored by: Darlington Kofa

    2m 16s
    Darlington Kofa
  • EP5: max_block_size

    Authored by: Darlington Kofa

    3m 14s
    Darlington Kofa
  • EP6: pool_deposit

    Authored by: Darlington Kofa

    3m 19s
    Darlington Kofa
  • EP7: max_tx_size

    Authored by: Darlington Kofa

    4m 59s
    Darlington Kofa
0:00
/
~0:00