matter-labs / era-boojumView external linksLinks
Boojum, the scariest SNARK implementation.
☆302Aug 15, 2024Updated last year
Alternatives and similar repositories for era-boojum
Users that are interested in era-boojum are comparing it to the libraries listed below
Sorting:
- ☆65Aug 16, 2024Updated last year
- Compare in-circuit and out-of-circuit VMs☆60Aug 16, 2024Updated last year
- A PoC repo for a HyperNova impl☆83Aug 23, 2023Updated 2 years ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Feb 25, 2023Updated 2 years ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆78Updated this week
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Aug 16, 2024Updated last year
- barretenburg in rust (here we go)☆99Jan 10, 2024Updated 2 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆341Jul 31, 2025Updated 6 months ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- A toolkit for polynomial IOPs (PIOPs)☆750Updated this week
- ☆115Aug 15, 2024Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Oct 2, 2023Updated 2 years ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Aug 16, 2024Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Dec 2, 2024Updated last year
- Rescue and Poseidon hash function implementations☆43Aug 15, 2024Updated last year
- Experimental folding schemes library☆260Feb 6, 2026Updated last week
- comparing the performance of different zero-knowledge proof libraries☆134Oct 15, 2023Updated 2 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆221Jul 29, 2025Updated 6 months ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- OS for next iteration of the world computer☆43Aug 24, 2023Updated 2 years ago
- ☆50Mar 7, 2024Updated last year
- ☆14Oct 27, 2023Updated 2 years ago
- ☆155Feb 26, 2024Updated last year
- ☆41Oct 24, 2022Updated 3 years ago
- Shared front-end code of the ZKsync compilers.☆21Sep 13, 2025Updated 5 months ago
- Kate commitment based PLONK recursive aggregation circuit☆42Dec 15, 2023Updated 2 years ago
- A repo for our research papers☆245Jun 4, 2025Updated 8 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆72Nov 6, 2025Updated 3 months ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago