18 results found Sort:
- Filter by Primary Language:
- Rust (10)
- Lean (2)
- Go (1)
- Solidity (1)
- TypeScript (1)
- Python (1)
- Jupyter Notebook (1)
- +
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
The Nexus zkVM: The zero-knowledge virtual machine
Created
2023-09-07
744 commits to main branch, last one 5 days ago
A toolbox for zkSNARKs on Ethereum
Created
2017-10-23
4,602 commits to develop branch, last one 11 months ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
520 commits to main branch, last one 22 days ago
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
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
A Rust implementation of the Groth16 zkSNARK
Created
2020-09-07
126 commits to master branch, last one 6 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 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
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
Formally Verified SNARKs in Lean
Created
2024-12-18
301 commits to main branch, last one 23 hours ago
