Antalpha-Labs / zk-insights
☆45Updated this week
Related projects ⓘ
Alternatives and complementary repositories for zk-insights
- A month-long zkp study group, one topic at a time.☆76Updated last month
- zkp-co-learning☆57Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Updated 2 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆121Updated this week
- Benchmark of multiple zk implementations.☆81Updated last year
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆71Updated 2 months ago
- ☆100Updated 6 months ago
- ☆85Updated 3 months ago
- ☆69Updated 2 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆75Updated this week
- ☆184Updated this week
- ☆145Updated 8 months ago
- Benchmarks of popular zkVMs including Jolt☆56Updated 6 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆98Updated 7 months ago
- ☆60Updated last year
- ☆93Updated 2 months ago
- halo2 ecc circuit☆114Updated last year
- ☆38Updated 10 months ago
- Simplified educational python plonk implementation☆36Updated last month
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated 10 months ago
- DPC with Universal Setup☆45Updated last year
- A PoC repo for a HyperNova impl☆83Updated last year
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- A zero-knowledge Move language runtime environment.☆77Updated 11 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 7 months ago
- ☆117Updated last month
- ☆79Updated last year
- ☆40Updated 3 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆52Updated 2 weeks ago
- Zirgen compiler and RISC Zero circuits☆46Updated this week