soonlabs / igloo
Demo for op rollup with decoupling SVM execution layer
☆34Updated 3 months ago
Alternatives and similar repositories for igloo:
Users that are interested in igloo are comparing it to the libraries listed below
- ☆49Updated this week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆115Updated this week
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 6 months ago
- A collection of ZK light client libraries for various blockchains☆48Updated 2 months ago
- Typestate interface for revm☆71Updated this week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 8 months ago
- Pint, the constraint-based programming language for declarative blockchains☆18Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- Pessimistic proof for the AggLayer.☆26Updated 7 months ago
- Reference implementation of the node for the Polygon Miden rollup☆58Updated this week
- Fast implementation of Ethereum RLP serialization☆90Updated last month
- ☆22Updated 3 weeks ago
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- ☆35Updated 3 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆64Updated 8 months ago
- ☆62Updated 7 months ago
- Utilities for working with native solc and compiling projects.☆80Updated last week
- groth16 verifier implementation with solana altbn syscalls☆41Updated 5 months ago
- ☆44Updated 5 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 3 months ago
- EigenLayer Rust Developer Tooling☆81Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 weeks ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆64Updated this week
- ☆91Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆78Updated this week
- ☆62Updated 3 months ago
- ☆59Updated 6 months ago
- Canonical type definitions for EIP-155 chains☆68Updated this week
- ☆28Updated 3 weeks ago