funded
ZKFold: Zero-Knowledge Prover Backend
Current Project Status
In Progress
Amount
Received
₳152,000
Amount
Requested
₳200,000
Percentage
Received
76.00%
Solution

Develop a backend application called ZK-prover that can produce proofs for zero-knowledge smart contracts on Cardano. This open-source component will also be provided as a service by Maestro.

Problem

ZK-Prover-f1354a.jpg

Smart contracts that utilize zero-knowledge protocols can extend Cardano’s functionality and improve scalability. They, however, require good backend infrastructure support that is currently missing.

Impact Alignment
Feasibility
Value for money

Cardano Mixer

3 members

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