27 results found Sort:

659
4.8k
gpl-3.0
36
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Created 2020-03-10
7,299 commits to mainnet branch, last one 3 days ago
2.6k
4.4k
apache-2.0
114
A Decentralized Operating System for ZK Applications
Created 2020-02-16
10,158 commits to staging branch, last one a day ago
361
1.8k
lgpl-3.0
42
A toolbox for zkSNARKs on Ethereum
Created 2017-10-23
4,602 commits to develop branch, last one 6 months ago
196
1.6k
mit
15
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created 2023-11-29
519 commits to main branch, last one 18 days ago
Rust implementation of Ziesha protocol
Created 2021-12-16
1,484 commits to master branch, last one about a year ago
118
689
mit
17
Spartan: High-speed zkSNARKs without trusted setup
Created 2019-12-16
50 commits to master branch, last one about a month ago
471
592
gpl-3.0
56
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Created 2021-01-02
1,673 commits to testnet3 branch, last one a day ago
44
535
bsd-3-clause
30
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Created 2018-07-11
42 commits to master branch, last one about a year ago
94
413
apache-2.0
27
The proof systems used by Mina
Created 2019-12-09
8,435 commits to master branch, last one 5 days ago
246
359
unknown
14
🏎️ A curated list of Aleo & Leo code and resources 🏎️
Created 2022-09-20
205 commits to main branch, last one 2 months ago
265
332
unknown
12
📜 A Starter Guide to Build ZK Applications 📜
Created 2022-09-17
152 commits to master branch, last one 3 months ago
122
331
unknown
52
A zkRollup DEX & Payment Protocol
Created 2018-12-29
3,516 commits to master branch, last one 5 months ago
217
321
gpl-3.0
20
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
Created 2020-05-22
1,731 commits to master branch, last one about a month ago
67
234
other
34
Java library for distributed zero knowledge proof systems
Created 2018-07-16
28 commits to master branch, last one 4 years ago
26
158
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
119
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
86
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,264 commits to main branch, last one 13 days ago
Arithmetic circuits for zero knowledge proof systems
Created 2019-11-16
87 commits to master branch, last one 4 years ago
Awesome Aleo mining and development resources maintained by MinerDAO community.
Created 2022-07-02
9 commits to master branch, last one about a year 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
16
41
apache-2.0
16
Argument systems for inner pairing products
Created 2020-03-05
78 commits to master branch, last one 11 months ago
AES-GCM implementation in Circom
Created 2022-05-27
66 commits to master branch, last one 2 years ago
3
37
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 5 months ago
Aleo prove benchmark scripts for testnet3 with GPU.
Created 2022-09-30
51 commits to master branch, last one about a year ago
Checklist for security audit of ZKP projects by @positivesecurity
Created 2024-09-12
5 commits to main branch, last one about a month ago