18 results found Sort:

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Created 2018-11-10
135 commits to master branch, last one 5 months ago
420
2.3k
other
24
The Nexus zkVM: The zero-knowledge virtual machine
Created 2023-09-07
744 commits to main branch, last one 5 days ago
366
1.9k
lgpl-3.0
39
A toolbox for zkSNARKs on Ethereum
Created 2017-10-23
4,602 commits to develop branch, last one 11 months ago
228
1.8k
mit
17
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created 2023-11-29
520 commits to main branch, last one 22 days ago
212
764
mit
28
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Created 2023-05-18
2,335 commits to main branch, last one 3 days ago
202
536
apache-2.0
14
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge p...
Created 2020-03-23
2,347 commits to master branch, last one 5 days ago
116
274
apache-2.0
14
A Rust implementation of the Groth16 zkSNARK
Created 2020-09-07
126 commits to master branch, last one 6 months ago
19
207
gpl-3.0
13
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
Created 2021-12-29
738 commits to master branch, last one 9 months ago
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Created 2020-10-16
94 commits to main branch, last one 4 months ago
zero knowledge for those with zero knowledge
Created 2022-11-03
106 commits to main branch, last one 2 years ago
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Created 2022-09-13
92 commits to main branch, last one about a year ago
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Created 2023-01-31
701 commits to v0.1.0 branch, last one 3 months ago
Benchmarks of popular zkVMs including Jolt
Created 2024-04-09
4 commits to master branch, last one 11 months ago
17
53
bsd-3-clause
1
Fiat-Shamir for the masses.
Created 2023-07-03
163 commits to main branch, last one 14 days ago
A formal verification of Linear PCP SNARKs.
Created 2020-11-19
233 commits to master branch, last one 8 months ago
Confidential Transaction with Collaborative Traceability, zk-zkRollup
Created 2022-05-07
161 commits to main branch, last one about a year ago
4
33
apache-2.0
3
Formally Verified SNARKs in Lean
Created 2024-12-18
301 commits to main branch, last one 21 hours ago
6
29
apache-2.0
4
Polymath: Groth16 Is Not The Limit
Created 2024-06-20
97 commits to main branch, last one about a month ago