Skip to content
@kkrt-labs

Kakarot Labs

Building a real-time Ethereum Proving Engine

Pinned Loading

  1. kakarot kakarot Public archive

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

    Cairo 1k 317

  2. keth keth Public

    A EVM block proving backend in Cairo

    Cairo 84 46

  3. cairo-m cairo-m Public

    The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power

    Rust 44 15

Repositories

Showing 10 of 55 repositories
  • keth Public

    A EVM block proving backend in Cairo

    kkrt-labs/keth’s past year of commit activity
    Cairo 84 46 22 12 Updated Oct 13, 2025
  • zk-pig Public

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

    kkrt-labs/zk-pig’s past year of commit activity
    Go 15 MIT 27 0 20 Updated Oct 10, 2025
  • rookie-numbers Public
    kkrt-labs/rookie-numbers’s past year of commit activity
    Rust 2 0 0 1 Updated Oct 10, 2025
  • cairo-m Public

    The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power

    kkrt-labs/cairo-m’s past year of commit activity
    Rust 44 15 0 6 Updated Oct 10, 2025
  • zkvm-benchmarks Public Forked from grandchildrice/zkvm-benchmarks

    Applicative ZkVM benchmarks

    kkrt-labs/zkvm-benchmarks’s past year of commit activity
    Jupyter Notebook 3 25 0 0 Updated Sep 10, 2025
  • cairo-vm Public Forked from lambdaclass/cairo-vm

    cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

    kkrt-labs/cairo-vm’s past year of commit activity
    Rust 0 Apache-2.0 200 0 0 Updated Sep 3, 2025
  • cairo-mobile Public

    Client-side proving on mobile, with Cairo M

    kkrt-labs/cairo-mobile’s past year of commit activity
    TypeScript 2 1 0 1 Updated Jul 14, 2025
  • stwo-cairo Public Forked from starkware-libs/stwo-cairo

    Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

    kkrt-labs/stwo-cairo’s past year of commit activity
    Rust 0 50 2 0 Updated Jun 16, 2025
  • zink Public

    Client-Side ZK solutions

    kkrt-labs/zink’s past year of commit activity
    Kotlin 1 0 0 1 Updated Jun 4, 2025
  • execution-specs Public Forked from ethereum/execution-specs

    Specification for the Execution Layer. Tracking network upgrades.

    kkrt-labs/execution-specs’s past year of commit activity
    Python 0 CC0-1.0 389 0 0 Updated Jun 3, 2025
View all repositories