15 results found Sort:
- Filter by Primary Language:
- Rust (8)
- Jupyter Notebook (1)
- Lean (1)
- Go (1)
- Solidity (1)
- TypeScript (1)
- Python (1)
- +
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Created
2018-11-10
131 commits to master branch, last one about a month ago
A toolbox for zkSNARKs on Ethereum
Created
2017-10-23
4,602 commits to develop branch, last one 2 months ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
437 commits to main branch, last one 2 days ago
The Nexus zkVM: The zero-knowledge virtual machine
Created
2023-09-07
228 commits to main branch, last one 15 hours ago
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Created
2023-05-18
1,966 commits to main branch, last one a day ago
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,133 commits to master branch, last one 3 days ago
A Rust implementation of the Groth16 zkSNARK
Created
2020-09-07
123 commits to master branch, last one 5 months ago
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 28 days ago
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Created
2020-10-16
87 commits to main branch, last one 7 days ago
zero knowledge for those with zero knowledge
Created
2022-11-03
106 commits to main branch, last one about a year 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 9 months ago
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Created
2023-01-31
700 commits to v0.1.0 branch, last one 9 months ago
Benchmarks of popular zkVMs including Jolt
Created
2024-04-09
4 commits to master branch, last one 2 months ago
Confidential Transaction with Collaborative Traceability, zk-zkRollup
Created
2022-05-07
161 commits to main branch, last one 11 months ago
A formal verification of Linear PCP SNARKs.
Created
2020-11-19
232 commits to master branch, last one about a month ago