Skip to content
@kkrt-labs

Kakarot Labs

Building a real-time Ethereum Proving Engine

Pinned Loading

  1. kakarot Public archive

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

    Cairo 1k 323

  2. keth Public

    A EVM block proving backend in Cairo

    Cairo 66 39

Repositories

Showing 10 of 49 repositories
  • keth Public

    A EVM block proving backend in Cairo

    Cairo 66 MIT 39 33 4 Updated Apr 22, 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.

    Go 13 MIT 23 1 (1 issue needs help) 5 Updated Apr 22, 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.

    Rust 0 Apache-2.0 182 0 0 Updated Apr 22, 2025
  • garaga-zero Public Forked from feltroidprime/garaga-zero

    Garaga for CairoZero

    Cairo 0 Apache-2.0 6 0 0 Updated Apr 18, 2025
  • polars-prover Public
    Python 0 0 0 0 Updated Apr 17, 2025
  • go-utils Public

    Golang utilities

    Go 0 MIT 9 0 1 Updated Apr 16, 2025
  • homebrew-kkrt Public

    Homebrew taps for Kakarot

    Ruby 0 1 0 1 Updated Apr 15, 2025
  • stwo-brainfuck Public

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

    Rust 30 7 1 1 Updated Apr 3, 2025
  • execution-specs Public Forked from ethereum/execution-specs

    Specification for the Execution Layer. Tracking network upgrades.

    Python 0 CC0-1.0 322 0 0 Updated Mar 26, 2025
  • cairo0-starter Public

    A set of exercises to get started with Cairo0

    Python 20 4 1 0 Updated Mar 26, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…