HerodotusDev / accumulatorsView external linksLinks
☆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 5 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 10 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- ☆30Mar 6, 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 7 months ago
- Solidity Merkle Mountain Range library☆12Jul 26, 2024Updated last year
- ⚙️ Rules core smart contracts☆12Nov 24, 2023Updated 2 years ago
- ☆32Apr 15, 2024Updated last year
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 9 months ago
- ☆14Dec 13, 2024Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Rust crate to generate and verify proofs for Noir circuits☆23Oct 8, 2025Updated 4 months ago
- 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
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 2 years ago
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20May 16, 2024Updated last year
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 9 months ago
- Server for ZKML☆21Mar 5, 2023Updated 2 years ago
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 10 months ago
- ☆22Jan 16, 2024Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- DAG-CBOR implementation for Serde☆26Dec 18, 2025Updated last month
- High performance EraVM for zkSync.☆23Oct 20, 2025Updated 3 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 6, 2026Updated last week
- SMT 2023 Submission; license pending☆57Jan 28, 2026Updated 2 weeks ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- ZK Circuit Fuzzer (IEEE S&P'26)