informalsystems / malaketh-turboLinks
☆15Updated 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:
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated 2 weeks ago
- ☆24Updated this week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆17Updated 2 years ago
- revm/reth block proving on Valida☆16Updated 5 months ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- Pessimistic proof for the AggLayer.☆26Updated last year
- Groth16 verifier in EVM☆21Updated 2 years ago
- ☆39Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- ☆23Updated 6 months ago
- A minimal reimplementation of Tendermint in Rust☆25Updated last month
- On-chain Ethereum light client built with SP1☆60Updated last week
- Cryptographic protocols☆39Updated 2 years ago
- ☆19Updated last month
- ☆33Updated last year
- powdr application running Ethereum tests via revm☆18Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated 2 years ago
- ☆40Updated 3 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- Procedural macro for automatically implementing metrics description and initialization.☆23Updated 3 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Solidity verifier for Plonk☆42Updated 11 months ago