informalsystems / malaketh-turbo
☆12Updated last month
Alternatives and similar repositories for malaketh-turbo:
Users that are interested in malaketh-turbo are comparing it to the libraries listed below
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Minimal Merkle Tree implementations☆28Updated 3 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ERC-3770☆18Updated 9 months ago
- On-chain Ethereum light client built with SP1☆45Updated last week
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Andromeda revm execution service☆31Updated 8 months ago
- Procedural macro for automatically implementing metrics description and initialization.☆21Updated 6 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 6 months ago
- ☆40Updated 3 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 11 months ago
- ☆53Updated last week
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Composable OP Stack Orchestration☆41Updated last year
- ☆23Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- Blocktime estimator in Rust☆34Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Updated last month
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- ☆14Updated last year
- ☆17Updated 2 weeks ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 3 months ago
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- Signet ecosystem crates☆13Updated last week
- ☆2Updated last year
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆17Updated 2 years ago