kkrt-labs / keth
A EVM block proving backend in Cairo
☆66Updated this week
Alternatives and similar repositories for keth:
Users that are interested in keth are comparing it to the libraries listed below
- ☆46Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated this week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆62Updated this week
- Smart contracts for onchain verification of SP1.☆86Updated 3 weeks ago
- ☆70Updated this week
- A toolkit for DAO-like governance on Starknet☆30Updated last month
- Starknet Core Contract components in Cairo.☆27Updated 3 weeks ago
- Celestia -> Starknet bridge☆46Updated 10 months ago
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆54Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 5 months ago
- ☆65Updated 5 months ago
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆29Updated 2 months ago
- A ZK-VM for the Brainfuck language, based on Stwo☆29Updated last week
- Test runner for ethereum foundation tests☆24Updated last month
- Cairo STARK proof verifier for Starknet☆70Updated 3 weeks ago
- A repo of example Noir projects.☆50Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 7 months ago
- ☆38Updated 5 months ago
- Walkthroughs to leverage Odyssey's features from the future.☆94Updated 3 months ago
- ZK Email in Noir☆62Updated last week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 5 months ago
- A collection of works discussing the security aspects of StarkNet☆40Updated 3 months ago
- Code for Account Abstraction workshop using latest Starknet syntax☆25Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆96Updated this week
- CLI to verify your starknet contracts classes on block explorers!☆26Updated 3 weeks ago
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆19Updated 7 months ago
- ☆62Updated last week
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆29Updated last year
- cairo-by-example.com☆40Updated last year
- ☆42Updated 7 months ago