informalsystems / malaketh-turboLinks
☆16Updated 4 months ago
Alternatives and similar repositories for malaketh-turbo
Users that are interested in malaketh-turbo are comparing it to the libraries listed below
Sorting:
- On-chain Ethereum light client built with SP1☆63Updated 2 weeks ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Rust implementation of KZG point evaluation☆33Updated this week
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- ☆33Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated last year
- revm/reth block proving on Valida☆15Updated 5 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆48Updated this week
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Updated 5 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated last year
- A collection of ZK light client libraries for various blockchains☆56Updated 8 months ago
- EVM abstraction layer☆60Updated last week
- ☆41Updated 9 months ago
- A robust, extensible OP Stack challenge agent written in pure Rust.☆57Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 9 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- KZG commitments over BLS12-381☆36Updated 2 years ago
- Ethereum stateless tools☆45Updated 3 months ago
- Andromeda revm execution service☆31Updated last year
- ☆40Updated 3 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆24Updated this week
- Consensus nodes performing in unison!☆32Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Updated 3 years ago
- Cryptographic protocols☆39Updated 2 years ago
- Solidity contracts for a next-gen rollup system.☆66Updated 3 weeks ago