Skip to content

@kkrt-labs Kakarot Labs

Change the repository type filter

All

    Repositories list

    32 repositories

    • kakarot-ssj

      Public
      Kakarot zkEVM - rewrite in the latest version of Cairo
      zero-knowledge-proofscairo-langstarknetzkevm
      Cairo
      •
      MIT License
      •81•133•47•6•Updated Oct 3, 2024Oct 3, 2024

    • ef-tests

      Public
      Test runner for ethereum foundation tests
      Rust
      •19•23•21•2•Updated Oct 3, 2024Oct 3, 2024

    • sequencer

      Public
      Rust
      •
      Apache License 2.0
      •16•0•0•2•Updated Oct 3, 2024Oct 3, 2024

    • keth

      Public
      Integration of the Kakarot Ethereum execution layer in the Reth client.
      Cairo
      •
      MIT License
      •3•24•12•4•Updated Oct 3, 2024Oct 3, 2024

    • kakarot-rpc

      Public
      Kakarot ZK EVM Ethereum RPC adapter
      Rust
      •
      MIT License
      •90•134•27•5•Updated Oct 3, 2024Oct 3, 2024

    • kakarot-docs

      Public
      Technical Documentation for Kakarot zkEVM
      TypeScript
      •23•11•9•2•Updated Oct 3, 2024Oct 3, 2024

    • kakarot

      Public
      Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
      ethereumsmart-contractsevmstarkzero-knowledgeproof-systemcairo-langstarknet
      Cairo
      •
      MIT License
      •286•974•30•4•Updated Oct 3, 2024Oct 3, 2024

    • tests

      Public
      Common tests for all Ethereum implementations
      Python
      •
      MIT License
      •315•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • kakarot-lib

      Public
      Solidity
      •2•1•2•0•Updated Sep 19, 2024Sep 19, 2024

    • karb

      Public
      Kakarot exploration R&D project to prove Stylus using Cairo
      Cairo
      •0•1•0•0•Updated Sep 13, 2024Sep 13, 2024

    • faucet-frontend

      Public
      v0 of kakarot's faucet 🤫
      TypeScript
      •0•3•2•0•Updated Sep 10, 2024Sep 10, 2024

    • starknet.py

      Public
      ✨ 🐍 Python SDK for Starknet.
      Python
      •
      MIT License
      •80•0•0•0•Updated Sep 6, 2024Sep 6, 2024

    • blockifier

      Public
      Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
      Rust
      •
      Apache License 2.0
      •107•0•0•0•Updated Sep 6, 2024Sep 6, 2024

    • hive

      Public
      Ethereum end-to-end test harness
      Go
      •
      GNU General Public License v3.0
      •449•1•0•1•Updated Sep 5, 2024Sep 5, 2024

    • cairo-vm-ts

      Public
      A typescript implementation of the Cairo VM
      TypeScript
      •
      Apache License 2.0
      •13•18•13•6•Updated Aug 15, 2024Aug 15, 2024

    • execution-specs

      Public
      Specification for the Execution Layer. Tracking network upgrades.
      Python
      •
      Creative Commons Zero v1.0 Universal
      •234•0•0•0•Updated Jul 17, 2024Jul 17, 2024

    • build-on-kakarot

      Public template
      Setting up a local repository to build on Kakarot
      Solidity
      •2•5•0•0•Updated Jul 7, 2024Jul 7, 2024

    • cairo0-starter

      Public
      A set of exercises to get started with Cairo0
      Cairo
      •1•4•0•0•Updated Jun 24, 2024Jun 24, 2024

    • cairo-vm-bench

      Public
      0•1•0•0•Updated Jun 12, 2024Jun 12, 2024

    • eth_essentials

      Public
      Cairo
      •
      Apache License 2.0
      •1•0•0•0•Updated Jun 7, 2024Jun 7, 2024

    • brandkit

      Public
      Kakarot zkEVM / KKRT Labs brandkit
      0•0•0•0•Updated May 14, 2024May 14, 2024

    • kakarot-indexer

      Public archive
      Indexes a Kakarot-enabled CairoVM network in an EVM readable format, relies on Apibara technology
      TypeScript
      •5•3•0•0•Updated Apr 10, 2024Apr 10, 2024

    • flood

      Public
      flood is a load testing tool for benchmarking EVM nodes over RPC
      Python
      •
      Apache License 2.0
      •44•0•0•0•Updated Mar 23, 2024Mar 23, 2024

    • cairo

      Public
      Cairo is the first Turing-complete language for creating provable programs for general computation.
      Rust
      •
      Apache License 2.0
      •479•0•0•0•Updated Mar 18, 2024Mar 18, 2024

    • 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
      •144•0•0•0•Updated Mar 18, 2024Mar 18, 2024

    • kaka-swap

      Public
      Uniswap V2 fork deployed in kakarot
      TypeScript
      •8•9•0•2•Updated Jan 31, 2024Jan 31, 2024

    • kakarot-doc

      Public archive
      Kakarot's documentation
      JavaScript
      •
      MIT License
      •0•2•0•0•Updated Aug 4, 2023Aug 4, 2023

    • kakacet

      Public archive
      JavaScript
      •
      Apache License 2.0
      •3•0•0•0•Updated Jul 29, 2023Jul 29, 2023

    • zk-evm-exploration

      Public archive
      An overview of different zkEVMs
      MIT License
      •6•11•0•0•Updated Jul 20, 2023Jul 20, 2023

    • kakarot-rpc-sandbox

      Public
      An RPC node for hacking around in python
      Python
      •1•4•0•0•Updated Jun 14, 2023Jun 14, 2023