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
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆33Updated last week
- An API compatible port of the Stone prover.☆19Updated 6 months ago
- ☆17Updated last month
- Minimal Merkle Tree implementations☆28Updated 4 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- On-chain Ethereum light client built with SP1☆48Updated 2 weeks ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- ☆31Updated last year
- celestia blobs, evm execution☆20Updated 3 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Andromeda revm execution service☆31Updated 9 months ago
- Groth16 verifier in EVM☆21Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Celestia derivation pipeline and proof crate built with kona☆14Updated this week
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 5 months ago
- ☆23Updated 4 months ago
- Composable OP Stack Orchestration☆41Updated last year
- Pessimistic proof for the AggLayer.☆26Updated 10 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 6 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆18Updated last week
- ☆40Updated 3 years ago
- Delve into low-level RISC Zero machine☆27Updated last year
- ☆19Updated last year