Skip to content
@kkrt-labs

Kakarot Labs

Building real-time EVM Proving Engine

Pinned Loading

  1. kakarot kakarot Public archive

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

    Cairo 1k 324

  2. keth keth Public

    A EVM block proving backend in Cairo

    Cairo 40 14

Repositories

Showing 10 of 44 repositories
  • keth Public

    A EVM block proving backend in Cairo

    kkrt-labs/keth’s past year of commit activity
    Cairo 40 MIT 14 32 10 Updated Jan 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 162 0 0 Updated Jan 10, 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 15 5 6 0 Updated Jan 9, 2025
  • kakarot Public archive

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

    kkrt-labs/kakarot’s past year of commit activity
    Cairo 1,001 MIT 324 33 2 Updated Jan 9, 2025
  • kakarot-ssj Public archive

    Kakarot zkEVM - rewrite in the latest version of Cairo

    kkrt-labs/kakarot-ssj’s past year of commit activity
    Cairo 136 MIT 84 36 (1 issue needs help) 4 Updated Jan 8, 2025
  • kakarot-rpc Public archive

    Kakarot ZK EVM Ethereum RPC adapter

    kkrt-labs/kakarot-rpc’s past year of commit activity
    Rust 135 MIT 106 28 (2 issues need help) 1 Updated Jan 8, 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 288 0 0 Updated Jan 6, 2025
  • ef-tests Public

    Test runner for ethereum foundation tests

    kkrt-labs/ef-tests’s past year of commit activity
    Rust 24 21 21 (1 issue needs help) 2 Updated Jan 6, 2025
  • homebrew-kkrt Public

    Homebrew taps for Kakarot

    kkrt-labs/homebrew-kkrt’s past year of commit activity
    Ruby 0 0 0 0 Updated Jan 3, 2025
  • tests Public Forked from ethereum/tests

    Common tests for all Ethereum implementations

    kkrt-labs/tests’s past year of commit activity
    Python 0 MIT 390 0 0 Updated Dec 23, 2024
View all repositories