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 326

  2. keth keth Public

    A EVM block proving backend in Cairo

    Cairo 54 27

Repositories

Showing 10 of 47 repositories
  • keth Public

    A EVM block proving backend in Cairo

    kkrt-labs/keth’s past year of commit activity
    Cairo 54 MIT 27 45 (1 issue needs help) 10 Updated Feb 21, 2025
  • kakarot-docs Public

    Technical Documentation for Kakarot zkEVM

    kkrt-labs/kakarot-docs’s past year of commit activity
    TypeScript 11 29 11 0 Updated Feb 21, 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 9 MIT 9 2 (1 issue needs help) 7 Updated Feb 21, 2025
  • go-utils Public

    Golang utilities

    kkrt-labs/go-utils’s past year of commit activity
    Go 0 MIT 3 0 6 Updated Feb 20, 2025
  • homebrew-kkrt Public

    Homebrew taps for Kakarot

    kkrt-labs/homebrew-kkrt’s past year of commit activity
    Ruby 0 1 0 1 Updated Feb 17, 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 169 0 0 Updated Feb 13, 2025
  • ef-tests Public archive

    Test runner for ethereum foundation tests

    kkrt-labs/ef-tests’s past year of commit activity
    Rust 24 22 21 (1 issue needs help) 3 Updated Feb 10, 2025
  • go-ethereum Public Forked from ethereum/go-ethereum

    Go implementation of the Ethereum protocol

    kkrt-labs/go-ethereum’s past year of commit activity
    Go 0 LGPL-3.0 23,293 0 0 Updated Feb 5, 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 301 0 0 Updated Feb 3, 2025
  • stwo-brainfuck Public

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

    kkrt-labs/stwo-brainfuck’s past year of commit activity
    Rust 29 5 1 0 Updated Jan 29, 2025
View all repositories