Back to Organizations
KKRT Labs
KKRT Labs builds Kakarot, a zero-knowledge EVM proof-generation engine. It aims to prove Ethereum protocol execution in real time for Ethereum-equivalent chains, including L1s, rollups, and Bitcoin sidechains.
Distributed
Kakarot
Project Links
Description
Kakarot is an implementation of the Ethereum Virtual Machine (EVM), developed using the Cairo programming language. It is a ZK-Rollup that leverages Cairo to spearhead innovations on Ethereum, offering provable transactions and compatibility with Ethereum.KKRT Labs (Kakarot)
Project Links
Description
Kakarot is a zkEVM (zero-knowledge Ethereum Virtual Machine) implemented in Cairo, a language associated with the CairoVM. It enables the deployment of Ethereum smart contracts on Starknet, a layer 2 scaling solution for Ethereum, while providing provable transactions and blocks. Developers can utilize Kakarot to build and deploy EVM apps, maintaining compatibility with the Ethereum ecosystem and offering interoperability with native Starknet protocols.Category: L2
Kakarot ZkEVM
Project Links
Description
Kakarot is a high-performance proving engine for Ethereum, leveraging Starkware's STWO prover for efficient ZK-proof generation. It aims to enable real-time proving of Ethereum blocks by 2025 and is designed to support various use cases, including OP-stack ZK migration and Bitcoin L2.Keth
Project Links
Description
Keth implements chain-agnostic EVM proving that generates ZK proofs of EVM block execution in real-time. The system can help optimistic rollups transition to ZK, reinforce existing ZK-rollups with multiple proof systems, and power ZK-bridges for cross-chain interoperability, all while leveraging Starkware's STARK technology for efficient proof generation.Category: Developer Tooling
Kakarot On Bitcoin
Project Links
Description
Kakarot on Bitcoin enables Ethereum-compatible ZK-rollups secured by Bitcoin using OP_CAT and other opcodes. It allows the verification of ZK proofs directly on Bitcoin, enabling trust-minimized bridging of BTC to rollups and unlocking native DeFi capabilities while maintaining Bitcoin's security guarantees.Category: Developer Tooling
Kakarot ZkEVM
Project Links
Description
Kakarot implements a complete EVM in Cairo, enabling existing Solidity smart contracts to run on Starknet. The system combines STARK-based cryptography with full EVM compatibility, allowing developers to deploy and execute Ethereum applications within Starknet's high-performance environment while maintaining code compatibility.Category: Developer Tooling