Kakarot Labs

Building a real-time Ethereum Proving Engine

PinnedLoading

kakarotkakarotPublic archive
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Cairo 1k 324
kethkethPublic
A EVM block proving backend in Cairo
Cairo 66 35

Repositories

Showing 10 of 48 repositories

keth Public
A EVM block proving backend in Cairo
kkrt-labs/keth’s past year of commit activity
Cairo 66MIT 35 55 (2 issues need help) 5 UpdatedMar 29, 2025
go-utils Public
Golang utilities
kkrt-labs/go-utils’s past year of commit activity
Go0MIT 6 0 1 UpdatedMar 28, 2025
homebrew-kkrt Public
Homebrew taps for Kakarot
kkrt-labs/homebrew-kkrt’s past year of commit activity
Ruby0 1 0 1 UpdatedMar 28, 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 12MIT 22 2 (1 issue needs help) 3 UpdatedMar 28, 2025
garaga-zero Public Forked fromfeltroidprime/garaga-zero
Garaga for CairoZero
kkrt-labs/garaga-zero’s past year of commit activity
Cairo0Apache-2.0 5 0 0 UpdatedMar 27, 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 6 1 1 UpdatedMar 26, 2025
execution-specs Public Forked fromethereum/execution-specs
Specification for the Execution Layer. Tracking network upgrades.
kkrt-labs/execution-specs’s past year of commit activity
Python0CC0-1.0 311 0 0 UpdatedMar 26, 2025
cairo0-starter Public
A set of exercises to get started with Cairo0
kkrt-labs/cairo0-starter’s past year of commit activity
Python 20 4 1 0 UpdatedMar 26, 2025
cairo-vm Public Forked fromlambdaclass/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
Rust0Apache-2.0 177 0 1 UpdatedMar 24, 2025
go-ethereum Public Forked fromethereum/go-ethereum
Go implementation of the Ethereum protocol
kkrt-labs/go-ethereum’s past year of commit activity
Go0LGPL-3.0 23,456 0 1 UpdatedMar 18, 2025