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 323
kethkethPublic
A EVM block proving backend in Cairo
Cairo 62 34

Repositories

Showing 10 of 47 repositories

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 10MIT 20 2 (1 issue needs help) 15 UpdatedMar 21, 2025
keth Public
A EVM block proving backend in Cairo
kkrt-labs/keth’s past year of commit activity
Cairo 62MIT 34 64 (2 issues need help) 7 UpdatedMar 21, 2025
go-utils Public
Golang utilities
kkrt-labs/go-utils’s past year of commit activity
Go0MIT 6 0 6 UpdatedMar 19, 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,410 0 1 UpdatedMar 18, 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 176 0 1 UpdatedMar 14, 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 309 0 0 UpdatedMar 11, 2025
kakarot-docs Public
Technical Documentation for Kakarot zkEVM
kkrt-labs/kakarot-docs’s past year of commit activity
TypeScript 11 29 11 1 UpdatedFeb 21, 2025
homebrew-kkrt Public
Homebrew taps for Kakarot
kkrt-labs/homebrew-kkrt’s past year of commit activity
Ruby0 1 0 1 UpdatedFeb 17, 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 UpdatedFeb 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 29 6 1 2 UpdatedJan 29, 2025