A storage system inspired by Besu using Starknet Merkle Trees
☆61Jan 18, 2026Updated last month
Alternatives and similar repositories for bonsai-trie
Users that are interested in bonsai-trie are comparing it to the libraries listed below
Sorting:
- Blazing fast tool to benchmark Starknet sequencers 🦀☆25Oct 27, 2024Updated last year
- 🐺 Starknet Rust types 🦀☆79Dec 2, 2025Updated 3 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆67Feb 24, 2026Updated 2 weeks ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Nov 27, 2023Updated 2 years ago
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Poseidon Rust library☆39Mar 13, 2023Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Exploratory work on abigen in rust for Starknet 🦀☆15Dec 17, 2023Updated 2 years ago
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆35Jan 30, 2026Updated last month
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- Starknet Core Contract components in Cairo.☆29Feb 3, 2026Updated last month
- Writing MACI circuits in Noir☆16Oct 8, 2023Updated 2 years ago
- Herodotus EVM contracts☆17Sep 1, 2025Updated 6 months ago
- ☆13Mar 6, 2023Updated 3 years ago
- Hanji generates docs for your Cairo library☆10Jun 5, 2023Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Aug 5, 2024Updated last year
- Honk Verifier in Solidity☆50Feb 21, 2026Updated 2 weeks ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- A stateless trustless Starknet light client in Rust 🦀☆263Oct 1, 2025Updated 5 months ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- Specification of P2P protocol for StarkNet nodes☆53Jan 15, 2026Updated last month
- Minimal Merkle Tree implementations☆31Jun 13, 2025Updated 8 months ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- ☆62Mar 1, 2026Updated last week
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆19Aug 15, 2023Updated 2 years ago
- Computes SHA256 of arbitrary length inputs.☆15Nov 2, 2022Updated 3 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14May 26, 2024Updated last year
- Celestia -> Starknet bridge☆47May 22, 2024Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆29May 30, 2025Updated 9 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆133Jan 8, 2025Updated last year
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆256Updated this week
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago
- Builds an ExecutionPayload from a JSON Block obtained from RPC☆16Dec 3, 2024Updated last year