3for / learning-ZKP-from-zero-to-one
Some tips for new learners of ZKP
☆23Updated 3 years ago
Related projects: ⓘ
- ☆37Updated 8 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆43Updated last year
- Implementation of Plonk by Hand in rust☆60Updated 6 months ago
- ☆38Updated 9 months ago
- ☆23Updated 10 months ago
- ☆16Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆51Updated this week
- Simple implementation of KZG commitments in C☆33Updated last year
- ☆19Updated this week
- ☆23Updated 6 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 9 months ago
- DPC with Universal Setup☆44Updated last year
- STARK book☆21Updated this week
- Simplified educational python plonk implementation☆35Updated 2 months ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- ☆27Updated 5 months ago
- ☆42Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆49Updated 5 months ago
- ☆18Updated this week
- Draft documents for standardization of Plonkish arithmetization☆23Updated 6 months ago
- polynomial commitments from linear codes☆35Updated 11 months ago
- Write-ups submitted by CTF participants☆34Updated last year
- ☆38Updated last month
- Let's go https://eprint.iacr.org/2022/1763.pdf☆56Updated last year
- Geth-in-SGX provides an example of running go-ethereum in SGX☆69Updated 6 months ago
- Personal notes about ZKP☆20Updated 3 months ago
- ☆26Updated 10 months ago
- A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)☆39Updated this week
- Spartan on Arkworks☆38Updated 2 months ago