Skip to content

@kkrt-labs Kakarot Labs

Change the repository type filter

All

    Repositories list

    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.
      ethereumevmzkwitnesszero-knowledgereal-time-block-proving
      Go
      •
      MIT License
      •20•11•2•3•Updated Mar 26, 2025Mar 26, 2025

    • keth

      Public
      A EVM block proving backend in Cairo
      Cairo
      •
      MIT License
      •35•64•57•7•Updated Mar 26, 2025Mar 26, 2025

    • stwo-brainfuck

      Public
      A ZK-VM for the Brainfuck language, based on Stwo
      airstarkzero-knowledgezkvmstwo
      Rust
      •6•29•1•1•Updated Mar 26, 2025Mar 26, 2025

    • execution-specs

      Public
      Specification for the Execution Layer. Tracking network upgrades.
      Python
      •
      Creative Commons Zero v1.0 Universal
      •275•0•0•0•Updated Mar 26, 2025Mar 26, 2025

    • go-utils

      Public
      Golang utilities
      Go
      •
      MIT License
      •6•0•0•3•Updated Mar 26, 2025Mar 26, 2025

    • cairo0-starter

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

    • homebrew-kkrt

      Public
      Homebrew taps for Kakarot
      Ruby
      •1•0•0•1•Updated Mar 25, 2025Mar 25, 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
      •175•0•0•1•Updated Mar 24, 2025Mar 24, 2025

    • go-ethereum

      Public
      Go implementation of the Ethereum protocol
      Go
      •
      GNU Lesser General Public License v3.0
      •21k•0•0•1•Updated Mar 18, 2025Mar 18, 2025

    • kakarot-docs

      Public
      Technical Documentation for Kakarot zkEVM
      TypeScript
      •29•11•11•1•Updated Feb 21, 2025Feb 21, 2025

    • ef-tests

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

    • tests

      Public
      Common tests for all Ethereum implementations
      Python
      •
      MIT License
      •335•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
      •323•1k•33•1•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•136•36•4•Updated Jan 8, 2025Jan 8, 2025

    • kakarot-rpc

      Public archive
      Kakarot ZK EVM Ethereum RPC adapter
      Rust
      •
      MIT License
      •107•137•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
      •42•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
      •7•6•0•1•Updated Dec 5, 2024Dec 5, 2024

    • get-starknet

      Public
      StarkNet wallet <-> dApp bridge
      TypeScript
      •
      MIT License
      •120•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
      •515•0•0•1•Updated Nov 25, 2024Nov 25, 2024

    • safe-transaction-service

      Public
      Keeps track of transactions sent via Safe contacts and confirmed transactions. It also keeps track of Ether and ERC20 token transfers to Safe contracts.
      Python
      •
      MIT License
      •287•0•0•0•Updated Oct 23, 2024Oct 23, 2024

    • safe-eth-py

      Public
      Safe-eth-py includes a set of libraries to work with Ethereum and relevant Ethereum projects
      Python
      •
      MIT License
      •202•0•0•0•Updated Oct 23, 2024Oct 23, 2024

    • safe-config-service

      Public
      The safe-config-service is a service that provides configuration information in the context of the Safe clients environment
      Python
      •
      MIT License
      •111•0•0•0•Updated Oct 14, 2024Oct 14, 2024

    • safe-client-gateway

      Public
      Serves as a bridge for the Safe{Wallet} clients (Android, iOS, Web)
      TypeScript
      •
      MIT License
      •78•0•0•0•Updated Oct 14, 2024Oct 14, 2024

    • safe-events-service

      Public
      Handle Safe indexing events from Transaction Service and deliver as HTTP webhooks
      TypeScript
      •
      MIT License
      •39•0•0•0•Updated Oct 14, 2024Oct 14, 2024

    • cairo-vm-ts

      Public
      A typescript implementation of the Cairo VM
      TypeScript
      •
      Apache License 2.0
      •13•20•11•4•Updated Oct 7, 2024Oct 7, 2024

    • karb

      Public
      Kakarot exploration R&D project to prove Stylus using Cairo
      Cairo
      •0•1•0•0•Updated Sep 13, 2024Sep 13, 2024
    47 repositories found. List is sorted by Last pushed in descending order.