kkrt-labs / kethLinks
A EVM block proving backend in Cairo
☆81Updated this week
Alternatives and similar repositories for keth
Users that are interested in keth are comparing it to the libraries listed below
Sorting:
- ☆55Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆135Updated this week
- Cairo STARK proof verifier for Starknet☆73Updated last month
- On-chain Ethereum light client built with SP1☆67Updated 2 weeks ago
- Rust Library for running the Starknet OS via the Cairo VM☆66Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Updated last year
- barretenburg in rust (here we go)☆98Updated last year
- Smart contracts for on-chain anonymous settlement.☆115Updated 2 weeks ago
- EigenLayer Rust Developer Tooling☆89Updated 2 weeks ago
- Smart contracts for onchain verification of SP1.☆110Updated 2 months ago
- A virtual machine for Cairo written in Go☆89Updated 2 months ago
- ☆16Updated 7 months ago
- ☆42Updated 10 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆77Updated 10 months ago
- A library to generate bindings from Cairo ABI.