madara-alliance / bonsai-trieLinks
A storage system inspired by Besu using Starknet Merkle Trees
β61Updated 5 months ago
Alternatives and similar repositories for bonsai-trie
Users that are interested in bonsai-trie are comparing it to the libraries listed below
Sorting:
- Core components of the Miden protocolβ88Updated this week
- πΊ Starknet Rust types π¦β73Updated last week
- Specification of P2P protocol for StarkNet nodesβ52Updated 2 months ago
- Cryptographic primitives used in Polygon Miden rollupβ116Updated this week
- Reference implementation of the node for the Miden blockchainβ73Updated this week
- Smart contracts for onchain verification of SP1.β114Updated this week
- β61Updated 5 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocolβ61Updated 11 months ago
- β75Updated 2 years ago
- Client library that facilitates interaction with the Miden blockchainβ51Updated last week
- Out-of-circuit zkEVM implementationβ80Updated last year
- β64Updated last year
- Poseidon hash circuitβ104Updated 10 months ago
- β158Updated 6 months ago
- Compiler from Rust to Miden Assemblyβ86Updated this week
- The schelling point for ZK applications.β142Updated last year
- Rust Library for running the Starknet OS via the Cairo VMβ66Updated this week
- The new proof-powered L1 to build the next generation of apps.β96Updated this week
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISAβ128Updated 5 months ago
- Test runner for ethereum foundation testsβ24Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β138Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β170Updated 3 months ago
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offerβ¦β132Updated last week
- β78Updated 7 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.β135Updated 2 months ago
- β115Updated last year
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasmβ80Updated this week
- β57Updated this week
- β52Updated this week
- β55Updated 7 months ago