The Ethereal Hackathon is now live! - Earn over $40k of prizes and a chance to meet the top teams in web3; Participate today!. X
Grow Open Source

This grant is accepting Matching Contributions

Contribute from 3/6 to 4/19 and have up to $50k in contributions matched.

ZoKrates

https://zokrates.github.io
0x72B77d99b460176ADC900c05F6bbB69C332eB4C2
3,004.00 DAI

Total Funding

2,500.00 DAI

Monthly Goal

Monthly Recurring Funding: 2434.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. Value Security and Privacy? 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

13 Feb
50.0000 DAI / 30 days, 12 times

50.0000 DAI


Contributions

14 Apr
50.0000 DAI

50.0000 DAI

16 Apr
350.0000 DAI

350.0000 DAI

01 Feb
500.0000 DAI

500.0000 DAI

01 Feb
5.0000 DAI

5.0000 DAI

01 Feb
1.0000 DAI

1.0000 DAI

06 Feb
1.0000 DAI

1.0000 DAI

13 Feb
25.0000 DAI

25.0000 DAI

13 Feb
18.0000 DAI

18.0000 DAI

13 Feb
50.0000 DAI

50.0000 DAI

14 Feb
50.0000 DAI

50.0000 DAI

23 Feb
5.0000 DAI

5.0000 DAI

24 Feb
50.0000 DAI

50.0000 DAI

24 Feb
75.0000 DAI

75.0000 DAI

24 Feb
50.0000 DAI

50.0000 DAI

24 Feb
50.0000 DAI

50.0000 DAI

04 Mar
100.0000 DAI

100.0000 DAI

15 Mar
50.0000 DAI

50.0000 DAI

28 Mar
20.0000 DAI

20.0000 DAI

29 Mar
1,604.0000 DAI

1,604.0000 DAI


Inactive Subscriptions

24 Feb
50.0000 DAI 1 time

50.0000 DAI

01 Feb
5.0000 DAI / 30 days, 6 times

5.0000 DAI

24 Feb
75.0000 DAI 1 time

75.0000 DAI

24 Feb
50.0000 DAI 1 time

50.0000 DAI

24 Feb
50.0000 DAI 1 time

50.0000 DAI

28 Mar
20.0000 DAI 1 time

20.0000 DAI

16 Apr
350.0000 DAI 1 time

350.0000 DAI

04 Mar
100.0000 DAI 1 time

100.0000 DAI

01 Feb
18.0000 DAI 1 time

18.0000 DAI

06 Feb
1.0000 DAI 1 time

1.0000 DAI

01 Feb
1.0000 DAI 1 time

1.0000 DAI

01 Feb
500.0000 DAI 1 time

500.0000 DAI

29 Mar
1,604.0000 DAI 1 time

1,604.0000 DAI

13 Feb
50.0000 DAI / 30 days, 12 times

50.0000 DAI

13 Feb
50.0000 DAI 1 time

50.0000 DAI

13 Feb
25.0000 DAI 1 time

25.0000 DAI

01 Feb
18.0000 DAI 1 time

18.0000 DAI

23 Feb
5.0000 DAI 1 time

5.0000 DAI

09 Feb
25.0000 DAI 1 time

25.0000 DAI

2019 March 13 - The Microsoft / Ethereal + Gitcoin Hackathon is live from April 15th to April 30th.