Skip to content

@kkrt-labs Kakarot Labs

Change the repository type filter

All

    Repositories list

    54 repositories

    • keth

      Public
      A EVM block proving backend in Cairo
      Cairo
      •
      Other
      •46•88•19•11•Updated Dec 15, 2025Dec 15, 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.
      ethereumevmzkwitnesszero-knowledgereal-time-block-proving
      Go
      •
      MIT License
      •27•15•0•21•Updated Nov 20, 2025Nov 20, 2025

    • cairo-m

      Public
      The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power
      Rust
      •
      Other
      •18•50•1•8•Updated Nov 3, 2025Nov 3, 2025

    • zkvm-benchmarks

      Public
      Applicative ZkVM benchmarks
      Jupyter Notebook
      •25•4•0•0•Updated Sep 10, 2025Sep 10, 2025

    • cairo-vm

      Public
      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.
      Rust
      •
      Apache License 2.0
      •211•0•0•0•Updated Sep 3, 2025Sep 3, 2025

    • cairo-mobile

      Public
      Client-side proving on mobile, with Cairo M
      TypeScript
      •1•3•0•1•Updated Jul 14, 2025Jul 14, 2025

    • stwo-cairo

      Public
      Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
      Rust
      •55•0•2•0•Updated Jun 16, 2025Jun 16, 2025

    • zink

      Public
      Client-Side ZK solutions
      Kotlin
      •0•1•0•1•Updated Jun 4, 2025Jun 4, 2025

    • execution-specs

      Public
      Specification for the Execution Layer. Tracking network upgrades.
      Python
      •
      Creative Commons Zero v1.0 Universal
      •397•0•0•0•Updated Jun 3, 2025Jun 3, 2025

    • homebrew-kkrt

      Public
      Homebrew taps for Kakarot
      Ruby
      •1•0•0•1•Updated May 21, 2025May 21, 2025

    • go-ethereum

      Public
      Go implementation of the Ethereum protocol
      Go
      •
      GNU Lesser General Public License v3.0
      •22k•0•0•0•Updated May 20, 2025May 20, 2025

    • polars-prover

      Public
      Python
      •0•3•0•0•Updated May 16, 2025May 16, 2025

    • stwo-cairo-m31

      Public
      Rust
      •3•0•0•1•Updated May 12, 2025May 12, 2025

    • garaga-zero

      Public
      Garaga for CairoZero
      Cairo
      •
      Apache License 2.0
      •7•0•0•0•Updated Apr 18, 2025Apr 18, 2025

    • stwo-brainfuck

      Public
      A ZK-VM for the Brainfuck language, based on Stwo
      airstarkzero-knowledgezkvmstwo
      Rust
      •6•33•1•1•Updated Apr 3, 2025Apr 3, 2025

    • cairo0-starter

      Public
      A set of exercises to get started with Cairo0
      Python
      •6•21•1•0•Updated Mar 26, 2025Mar 26, 2025

    • kakarot-docs

      Public
      Technical Documentation for Kakarot zkEVM
      TypeScript
      •33•11•11•3•Updated Feb 21, 2025Feb 21, 2025

    • ef-tests

      Public archive
      Test runner for ethereum foundation tests
      Rust
      •21•25•21•3•Updated Feb 10, 2025Feb 10, 2025

    • tests

      Public
      Common tests for all Ethereum implementations
      Python
      •
      MIT License
      •363•0•0•0•Updated Jan 22, 2025Jan 22, 2025

    • kakarot

      Public archive
      Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
      ethereumsmart-contractsevmstarkzero-knowledgeproof-systemcairo-langstarknet
      Cairo
      •
      MIT License
      •317•1k•33•2•Updated Jan 9, 2025Jan 9, 2025

    • kakarot-ssj

      Public archive
      Kakarot zkEVM - rewrite in the latest version of Cairo
      zero-knowledge-proofscairo-langstarknetzkevm
      Cairo
      •
      MIT License
      •83•133•36•4•Updated Jan 8, 2025Jan 8, 2025

    • kakarot-rpc

      Public archive
      Kakarot ZK EVM Ethereum RPC adapter
      Rust
      •
      MIT License
      •104•135•28•1•Updated Jan 8, 2025Jan 8, 2025

    • homebrew-test-ci

      Public
      Ruby
      •0•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • stone-client

      Public
      Client to run Stone prover from Rust (based on stone-prover-sdk)
      Rust
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • sequencer

      Public
      Rust
      •
      Apache License 2.0
      •65•0•0•3•Updated Dec 6, 2024Dec 6, 2024

    • kakarot-lib

      Public
      Solidity
      •3•2•2•1•Updated Dec 6, 2024Dec 6, 2024

    • faucet-frontend

      Public
      v1 of kakarot's faucet 🤫
      TypeScript
      •5•6•0•1•Updated Dec 5, 2024Dec 5, 2024

    • get-starknet

      Public
      StarkNet wallet <-> dApp bridge
      TypeScript
      •
      MIT License
      •128•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • kakarot-adapters

      Public
      EVM Wallet Adapters for Starknet Apps
      TypeScript
      •1•1•0•1•Updated Nov 26, 2024Nov 26, 2024

    • safe-wallet-web

      Public
      Safe{Wallet} – multisig EVM wallet
      TypeScript
      •
      GNU General Public License v3.0
      •604•0•0•1•Updated Nov 25, 2024Nov 25, 2024