montekki / thaler-study
Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
☆13Updated last week
Related projects ⓘ
Alternatives and complementary repositories for thaler-study
- zero knowledge proof aggregator for general circuit☆71Updated 6 months ago
- ☆24Updated last year
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆42Updated 2 weeks ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆56Updated 3 weeks ago
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- Benchmark of multiple zk implementations.☆82Updated last year
- ☆79Updated last year
- A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdf☆8Updated 4 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆53Updated last week
- ☆60Updated last year
- A PoC repo for a HyperNova impl☆83Updated last year
- ☆94Updated 3 months ago
- Include halo2 example circuits☆83Updated last year
- ☆60Updated 8 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 8 months ago
- ☆70Updated 3 months ago
- Verifiable FHE with GKR☆25Updated last month
- Tooling for creating collaborative SNARKs for Circom circuits.☆100Updated this week
- Email verification circuit in halo2☆63Updated 4 months ago
- ☆86Updated last week
- Let's go https://eprint.iacr.org/2022/1763.pdf☆56Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆99Updated 7 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated 10 months ago
- ☆49Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- Polynomials Identity Language☆67Updated 8 months ago
- ☆85Updated 3 months ago
- ☆9Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago