Grow Open Source

+$1604.32 in CLR Matching

This project had contributions matched 2/1 - 2/15

ZoKrates

https://zokrates.github.io
0x72B77d99b460176ADC900c05F6bbB69C332eB4C2
600.00 DAI

Total Funding

2,500.00 DAI

Monthly Goal

Monthly Recurring Funding: 130.0000

schaeff is accepting contributions in DAI on mainnet

Description

ZoKrates is a toolbox to enable developers to use zkSNARKs and verify them on a blockchain. Zero-knowledge proofs (ZKP) are an exciting mechanism to enhance both privacy and scalability of today’s blockchain networks. First, they enable to prove statements on data without revealing it, enhacing user privacy. Also, verification of a computation using the most recent ZKP schemes (e.g., zkSNARKs) is often cheaper than execution, so that blockchain transactions can be verified cheaply by checking proofs rather than executing them, enhancing scalability. However, these proof systems are extremely complex and hard to use: The low level mathematical abstractions they build on are hard to reason about and even harder to program. Hence, developers have struggled to take advantage of these mechanisms. To bridge this gap between theory and practice, ZoKrates was developed as a toolbox for zkSNARKs, a highly efficient zero-knowledge proof construction. ZoKrates exposes a simple domain specific language (DSL) whose syntax is close to that of Python. On top of enabling developers to conveniently specify their programs, ZoKrates offers an execution environment which outputs zkSNARKs, as well as generates verification code for on-chain proof verification (e.g., Solidity Smart Contracts on Ethereum).

Milestones

No milestones added

Updates

No updates added

Active Subscriptions

01 Feb
5.0000 DAI / 30 days

5.0000 DAI

13 Feb
50.0000 DAI / 30 days

50.0000 DAI

13 Feb
50.0000 DAI / 30 days

50.0000 DAI


Contributions

01 Feb
eeks
500.0000 DAI / 30 days

500.0000 DAI

01 Feb
john-light
5.0000 DAI / 30 days

5.0000 DAI

01 Feb
danlipert
1.0000 DAI / 30 days

1.0000 DAI

06 Feb
treebeard
1.0000 DAI / 30 days

1.0000 DAI

13 Feb
jaredstauffer
25.0000 DAI / 30 days

25.0000 DAI

13 Feb
mbeylin
18.0000 DAI / 30 days

18.0000 DAI

13 Feb
luclu
50.0000 DAI / 30 days

50.0000 DAI

14 Feb
benjaminion
50.0000 DAI / 30 days

50.0000 DAI


Cancelled Subscriptions

01 Feb
18.0000 DAI / 181818181818181818101010101001010101 days

18.0000 DAI

06 Feb
1.0000 DAI / 30 days

1.0000 DAI

01 Feb
1.0000 DAI / 30 days

1.0000 DAI

01 Feb
500.0000 DAI / 30 days

500.0000 DAI

13 Feb
50.0000 DAI / 30 days

50.0000 DAI

13 Feb
25.0000 DAI / 30 days

25.0000 DAI

01 Feb
18.0000 DAI / 30 days

18.0000 DAI

09 Feb
25.0000 DAI / 30 days

25.0000 DAI

2019 January 17 - Read Aboutour experiments with Liberal Radicalism on Gitcoin Grants.