# kkrt-labs/kakarot

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

Repository: https://github.com/kkrt-labs/kakarot
Canonical: https://ross.abutalabs.com/products/kakarot
Homepage: https://kakarot.org
Language: Cairo
License: MIT
License Family: permissive
Topics: cairo-lang, ethereum, evm, smart-contracts, starknet, proof-system, stark, zero-knowledge
Archived: true
Last push: 2025-01-09T08:06:30+00:00

## Health v2 (maintenance only)
Score: 10/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 0, release rhythm 40, longevity 100
- inputs: {"age_days": 1429, "days_push": 601, "days_rel": 650, "gap_med": 6, "n_releases_24m": 12}
- flags: archived
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1000, forks 310 (observed 2026-09-03T02:15:14.065490+00:00)

## What it is
Kakarot is a zkEVM written in Cairo that implements the full EVM instruction set as provable programs, leveraging STARK proofs on Starknet. The repository is now frozen at its last audited commit, with the team's focus moved to keth, an Ethereum prover.

## Use cases
- run EVM smart contracts on Starknet with STARK proofs
- prove EVM transaction execution in zero knowledge
- deploy Ethereum contracts to a Cairo-based zkEVM
- emulate the EVM inside a provable ZK virtual machine
- generate ZK proofs of Ethereum block execution
- build ZK rollups compatible with Ethereum tooling

## When to choose
- you need a provable EVM implementation on Starknet or Cairo VM
- you want to prove EVM transaction or block execution with STARKs
- you want Ethereum compatibility with forward compatibility toward zero-knowledge

## When to avoid
- you need an actively developed zkEVM - the repo is frozen and work moved to keth
- you want a general-purpose zkVM unrelated to the EVM
- you need production EVM emulation on Starknet without contacting the team

## Facets
- artifact type: library
- maturity: maintenance
- function: interpreter, compiler, cryptography, blockchain
- domain: blockchain, developer-tools
- platform: -
- tags: zkevm, stark-proof, cairo, evm-emulator, zero-knowledge, smart-contracts, starknet, proving-engine, cryptocurrency, cryptography, ethereum

## Member repositories
- kkrt-labs/kakarot (main) score 10

## Provenance
- Observed fields: from GitHub, fetched 2026-09-03T02:15:14.065490+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T07:13:53.679634+00:00, confidence not recorded.
  - readme: https://github.com/kkrt-labs/kakarot (fetched 2026-09-03T02:15:14.065490+00:00, sha 04645e70dbd6)
  - homepage: https://kakarot.org (fetched 2026-08-29T13:13:44.176125+00:00, sha 84b021d9f73c)
  - site_page: https://docs.kakarot.org/ (fetched 2026-08-29T13:13:44.178668+00:00, sha f6403666c2ce)
- Data as of 2026-08-30T08:39:29.467469+00:00.