madara-alliance / bonsai-trieView external linksLinks
A storage system inspired by Besu using Starknet Merkle Trees
☆61Jan 18, 2026Updated 3 weeks ago
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 🦀☆80Dec 2, 2025Updated 2 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆68Jan 20, 2026Updated 3 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☆38Mar 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...)☆34Jan 30, 2026Updated 2 weeks ago
- 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.☆28Feb 3, 2026Updated 2 weeks ago
- Herodotus EVM contracts☆17Sep 1, 2025Updated 5 months ago
- Writing MACI circuits in Noir☆16Oct 8, 2023Updated 2 years ago
- Hanji generates docs for your Cairo library☆10Jun 5, 2023Updated 2 years ago
- ☆13Mar 6, 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☆50Oct 14, 2024Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- A stateless trustless Starknet light client in Rust 🦀☆262Oct 1, 2025Updated 4 months ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 5 months ago
- Specification of P2P protocol for StarkNet nodes☆53Jan 15, 2026Updated last month
- Minimal Merkle Tree implementations☆32Jun 13, 2025Updated 8 months ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- ☆61Updated this week
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆20Aug 15, 2023Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 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 8 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 🐺.☆251Jan 24, 2026Updated 3 weeks ago
- 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