Keth is an open-source, proving backend for Ethereum, Optimism, Arbitrum and arbitrary Ethereum execution environments built with Kakarot Core EVM and Starkware's provable VM, Cairo as well as Reth ExEx.
Similar to zeth, keth makes it possible to prove a given block by completing all the necessary steps required to assert its integrity in the provable Cairo Virtual Machine:
- verify transactions validity (signature, sufficient balance & nonce);
- execute transactions in the block;
- verify storage reads and writes;
- paying block rewards;
- update state root;
- compute transactions and receipts tries;
- compute the block hash;
- etc.
By running this process in the context of the Cairo VM, we can generate a STARK proof that the new block is valid. For Optimism and Arbitrum, keth will draw inspiration from zeth and its ability to ensure that the block was correctly derived from the available data posted to Ethereum.
Keth is a work in progress (WIP
Coming soon 🏗️.
- zeth: inspiration and design is drawn from Risc-Zero's zeth. We warmly thank the team for their openness and cutting-edge research on the subject of Type 1 provers.
- reth: keth's backend logic relies on Reth Execution Extensions. Thank you to the team who's helped us since day 1 in design and development.
- Herodotus: keth's Cairo code relies on Herodotus' implementation and architecture of MPT proofs in Cairo. Thank you to the team who's helped in designing our Cairo code and development.