montekki / thaler-study
Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
β13Updated 2 weeks ago
Related projects: β
- STIR π₯£: ReedβSolomon Proximity Testing with Fewer Queriesβ42Updated 3 weeks ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption schemeβ109Updated 6 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).β117Updated this week
- zero knowledge proof aggregator for general circuitβ69Updated 4 months ago
- Tooling for creating collaborative SNARKs for Circom circuits.β60Updated this week
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.β36Updated 3 months ago
- β19Updated this week
- β81Updated last year
- β58Updated last year
- β63Updated last month
- Include halo2 example circuitsβ82Updated 11 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuitβ108Updated 8 months ago
- β62Updated this week
- Benchmark of multiple zk implementations.β83Updated last year
- A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdfβ8Updated 4 years ago
- β72Updated 11 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryptionβ26Updated 10 months ago
- My notes related to Cryptography & Zero-Knowledge.β40Updated 7 months ago
- Write-ups submitted by CTF participantsβ34Updated last year
- Kate commitment based PLONK recursive aggregation circuitβ40Updated 9 months ago
- β37Updated 8 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and librariesβ95Updated 5 months ago
- β58Updated 6 months ago
- Nova Verifier in Circom so it can be verified onChainβ58Updated last year
- A web tool that helps you compare and visualize the performance of cryptographic operationsβ73Updated 2 weeks ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.β68Updated 8 months ago
- β85Updated last month
- β78Updated 3 years ago
- β9Updated 2 years ago
- Circom interpreter to arithmetic circuit descriptionβ41Updated last week