montekki / thaler-studyLinks
Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
☆21Updated 3 weeks ago
Alternatives and similar repositories for thaler-study
Users that are interested in thaler-study are comparing it to the libraries listed below
Sorting:
- ☆106Updated last year
- A lattice-based non-interactive folding scheme written in Rust☆116Updated 3 weeks ago
- ☆82Updated last year
- Include halo2 example circuits☆92Updated 2 years ago
- ☆123Updated last year
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆102Updated 2 months ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆57Updated 5 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Updated last year
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated 2 years ago
- A python notebook to explain how Plonky3 underlying works☆19Updated 10 months ago
- ☆61Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆130Updated 7 months ago
- ☆65Updated 7 months ago
- keccak256 hash implementation in Circom☆83Updated 3 years ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- ☆90Updated 2 years ago
- A SNARK using towers of binary fields, implemented in Rust .☆126Updated 4 months ago
- ☆81Updated 5 years ago
- Simplified educational python plonk implementation☆46Updated 6 months ago
- ☆131Updated last year
- ☆111Updated last month
- ☆24Updated 10 months ago
- ☆52Updated 2 years ago