☆11Jan 17, 2024Updated 2 years ago
Alternatives and similar repositories for accumulators
Users that are interested in accumulators are comparing it to the libraries listed below
Sorting:
- Herodotus EVM contracts☆17Sep 1, 2025Updated 6 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- ☆30Mar 6, 2024Updated 2 years ago
- Solidity Merkle Mountain Range library☆13Jul 26, 2024Updated last year
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- ⚙️ Rules core smart contracts☆12Nov 24, 2023Updated 2 years ago
- ☆32Apr 15, 2024Updated last year
- ☆14Dec 13, 2024Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 9 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Rust library for practical time-lock encryption using `drand` threshold network☆41Dec 24, 2022Updated 3 years ago
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- ☆17Mar 18, 2023Updated 2 years ago
- Rust crate to generate and verify proofs for Noir circuits☆27Feb 18, 2026Updated 2 weeks ago
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 2 years ago
- Server for ZKML☆21Mar 5, 2023Updated 3 years ago
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20May 16, 2024Updated last year
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 11 months ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- ☆22Jan 16, 2024Updated 2 years ago
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- High performance EraVM for zkSync.☆23Feb 26, 2026Updated last week
- DAG-CBOR implementation for Serde☆27Dec 18, 2025Updated 2 months ago
- A fully onchain space-based factory-building game, built with MUD & Phaser.☆27Feb 6, 2025Updated last year
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- A library to generate bindings from Cairo ABI.☆50Feb 17, 2026Updated 2 weeks ago
- SMT 2023 Submission; license pending☆57Jan 28, 2026Updated last month
- ZK Circuit Fuzzer (IEEE S&P'26)☆37Nov 19, 2025Updated 3 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- The PSE website☆26Feb 25, 2026Updated last week
- .ptau deserializer for gnark groth16 bn254 trusted setup☆26Mar 28, 2025Updated 11 months ago
- Breathe air☆25May 19, 2024Updated last year