☆20Jul 10, 2025Updated 7 months ago
Alternatives and similar repositories for zkWasm-prover
Users that are interested in zkWasm-prover are comparing it to the libraries listed below
Sorting:
- ☆18Oct 27, 2025Updated 4 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated 9 months ago
- My talks on zk: Groth16, Plonk, and STARK☆12Aug 22, 2024Updated last year
- ☆30Feb 1, 2023Updated 3 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- ☆11Jan 1, 2025Updated last year
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- ☆39Oct 25, 2025Updated 4 months ago
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 4 months ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Jan 24, 2023Updated 3 years ago
- Nova-based SHA256 benchmarks☆31Jun 7, 2025Updated 8 months ago
- ☆38Jul 30, 2025Updated 7 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆22Updated this week
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆23Aug 28, 2025Updated 6 months ago
- ☆41Oct 24, 2022Updated 3 years ago
- Expander Compiler☆42Feb 22, 2026Updated last week
- STARK book☆20Sep 25, 2024Updated last year
- Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.☆20Jun 27, 2025Updated 8 months ago
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Jul 25, 2023Updated 2 years ago
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- ☆49Feb 12, 2026Updated 2 weeks ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆42Dec 15, 2023Updated 2 years ago
- Simplified educational python plonk implementation☆47Jul 6, 2025Updated 7 months ago
- Axiom smart contracts☆26Jul 17, 2023Updated 2 years ago