Kakarot Labs's repositories
kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
zk-evm-exploration
An overview of different zkEVMs
cairo-vm-ts
A typescript implementation of the Cairo VM
kakarot-app
Kakarot ZK-EVM Web Application
kakarot-docs
Docusaurus Documentation for Kakarot zkEVM
kakarot-rpc-sandbox
An RPC node for hacking around in python
kakarot-indexer
Indexes a Kakarot-enabled CairoVM network in an EVM readable format, relies on Apibara technology
kakarot-doc
Kakarot's documentation
kakarot-playground
Source for Kakarot playground
blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
brandkit
Kakarot zkEVM / KKRT Labs brandkit
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
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.
execution-specs
Specification for the Execution Layer. Tracking network upgrades.
flood
flood is a load testing tool for benchmarking EVM nodes over RPC
tests
Common tests for all Ethereum implementations