29 results found Sort:

660
4.8k
gpl-3.0
37
๐Ÿฆ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Created 2020-03-10
7,394 commits to mainnet branch, last one 4 hours ago
2.6k
4.4k
apache-2.0
114
A Decentralized Operating System for ZK Applications
Created 2020-02-16
10,271 commits to staging branch, last one 2 days ago
365
1.8k
lgpl-3.0
40
A toolbox for zkSNARKs on Ethereum
Created 2017-10-23
4,602 commits to develop branch, last one 9 months ago
221
1.8k
mit
15
้›ถ็Ÿฅ่ฏ†่ฏๆ˜Žๅ…ฅ้—จๆ•™็จ‹ใ€‚Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created 2023-11-29
519 commits to main branch, last one 3 months ago
Rust implementation of Ziesha protocol
Created 2021-12-16
1,484 commits to master branch, last one about a year ago
127
740
mit
16
Spartan: High-speed zkSNARKs without trusted setup
Created 2019-12-16
53 commits to master branch, last one 2 days ago
471
594
gpl-3.0
54
Javascript & Typescript SDK for Zero-Knowledge Application Development
Created 2021-01-02
1,734 commits to mainnet branch, last one a day ago
46
538
bsd-3-clause
29
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Created 2018-07-11
42 commits to master branch, last one 2 years ago
108
426
apache-2.0
27
The proof systems used by Mina
Created 2019-12-09
9,123 commits to master branch, last one a day ago
245
366
unknown
14
๐ŸŽ๏ธ A curated list of Aleo & Leo code and resources ๐ŸŽ๏ธ
Created 2022-09-20
215 commits to main branch, last one 2 months ago
265
334
unknown
12
๐Ÿ“œ A Starter Guide to Build ZK Applications ๐Ÿ“œ
Created 2022-09-17
155 commits to master branch, last one about a month ago
126
334
unknown
52
A zkRollup DEX & Payment Protocol
Created 2018-12-29
3,516 commits to master branch, last one 7 months ago
218
325
gpl-3.0
20
๐Ÿ‘‹ Welcome to Provable! Zero-Knowledge is Finally Here ๐Ÿš€
Created 2020-05-22
1,731 commits to master branch, last one 4 months ago
71
239
other
32
Java library for distributed zero knowledge proof systems
Created 2018-07-16
28 commits to master branch, last one 4 years ago
24
159
mit
11
A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
Created 2020-12-07
230 commits to master branch, last one 2 years ago
5
120
gpl-3.0
12
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
Created 2022-11-14
187 commits to main branch, last one about a year ago
ED25519 implementation in Circom
Created 2022-01-02
2 commits to main branch, last one about a year ago
17
88
agpl-3.0
5
A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol
Created 2020-05-15
3,268 commits to main branch, last one 18 days ago
Arithmetic circuits for zero knowledge proof systems
Created 2019-11-16
87 commits to master branch, last one 4 years ago
A curated collection of links for zero-knowledge proof cryptography used in blockchains
Created 2018-12-09
4 commits to master branch, last one 2 months ago
Awesome Aleo mining and development resources maintained by MinerDAO community.
Created 2022-07-02
9 commits to master branch, last one 2 years ago
ZPrize 2022 - All qualified entries
Created 2022-12-07
12 commits to main branch, last one about a year ago
5
43
unknown
1
MinerDAO focus on the Chinese community to research and share mining tutorial.
Created 2022-04-29
39 commits to master branch, last one about a year ago
5
42
unknown
3
zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chain. Natively implemented on the Mina Protocol using the O1JS fra...
Created 2023-07-10
256 commits to main branch, last one 7 months ago
17
41
apache-2.0
16
Argument systems for inner pairing products
Created 2020-03-05
78 commits to master branch, last one about a year ago
AES-GCM implementation in Circom
Created 2022-05-27
66 commits to master branch, last one 2 years ago
Aleo prove benchmark scripts for testnet3 with GPU.
Created 2022-09-30
51 commits to master branch, last one 2 years ago
Checklist for security audit of ZKP projects by @positivesecurity
Created 2024-09-12
5 commits to main branch, last one 4 months ago
0
28
apache-2.0
2
Building Zero Knowledge Proof from Scratch in Rust
Created 2024-10-07
103 commits to main branch, last one about a month ago