kkrt-labs

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Kakarot ZK EVM Ethereum RPC adapter

A ZK-VM for the Brainfuck language, based on Stwo

A set of exercises to get started with Cairo0

ZK-PIG is a ZK-EVM Prover Input generator responsible for generating the data inputs necessary for proving Ethereum Execution Layer (EL) blocks.

Technical Documentation for Kakarot zkEVM

Setting up a local repository to build on Kakarot

Source for Kakarot playground

Kakarot exploration R&D project to prove Stylus using Cairo

Client to run Stone prover from Rust (based on stone-prover-sdk)

Keeps track of transactions sent via Safe contacts and confirmed transactions. It also keeps track of Ether and ERC20 token transfers to Safe contracts.

Safe-eth-py includes a set of libraries to work with Ethereum and relevant Ethereum projects