Kakarot은 카이로에서 개발된 L2 zkEVM입니다. 이더리움 확장에 중점을 두고 네이티브 계정 추상화와 같은 커뮤니티 중심 기능을 도입합니다. Elias Tazartes와 Clement Walter는 Kakarot의 공동 설립자, 공동 CEO, 공동 CTO입니다. ^[1]

개요

2022년 10월에 만들어진 Kakarot은 Starknet 및 StarknetOS 체인(CairoVM 체인 또는 Starknet 앱체인이라고도 함)에서 사용하는 증명 가능한 언어인 카이로로 구현된 zkEVM입니다. 이더리움 호환 레이어 2 솔루션 또는 zkRollup 역할을 하는 Kakarot은 호환성을 우선시하며 L2 공간 내에서 혁신을 목표로 합니다. 카이로의 실행 추적 및 Stark 증명 생성 기능을 활용하여 EVM에 네이티브 계정 추상화를 도입합니다. 이를 통해 Kakarot은 수많은 트랜잭션을 처리하고 단일 증명으로 통합하여 이더리움에서 검증할 수 있으며, 효과적으로 L2 zkEVM으로 작동합니다. ^[1][2]

Kakarot zkEVM에서 핵심 EVM 구현은 CairoVM으로 구동되는 StarknetOS 체인에서 작동하며, EVM 스마트 컨트랙트는 고유한 Starknet 스마트 컨트랙트로 배포됩니다. 사용자는 이더리움 호환 RPC 레이어를 통해 Kakarot과 상호 작용하여 기본 CairoVM 체인이 직접적인 사용자 상호 작용으로부터 보호됩니다. 이 설계는 모든 카이로 실행 추적이 증명 가능하도록 보장하여 Kakarot이 블록을 일괄 처리하고 Starkware Shared Prover(SHARP)를 사용하여 이더리움 레이어 1에 증명을 제출할 수 있도록 합니다. Lambdaclass의 Stark Platinum Prover와 같은 향후 구현은 다중 증명 기능을 통해 향상된 보안을 약속합니다. ^[1][2]

내부적으로 Kakarot의 각 EVM 스마트 컨트랙트 및 사용자 소유 계정(EOA)은 Starknet 스마트 컨트랙트로 표시되며, 특정 매핑 및 기능은 사용자에게 투명합니다. 트랜잭션은 카이로의 서명 검증을 통해 증명 가능한 처리를 통해 무결성을 유지하면서 Starknet 트랜잭션으로 래핑됩니다. Kakarot은 효율성 및 zk 친화성을 위해 상태 루트에 대한 Pedersen 해시 및 MPT 계산을 채택하지만 이러한 세부 사항은 기능 수준에서 EVM 호환성에 영향을 미치지 않습니다. ^[1][2]

CairoVM

CairoVM은 증명 가능한 실행을 위해 설계된 가상 머신입니다. 이더리움의 레이어 2 유효성 롤업인 Starknet의 핵심 역할을 합니다. CairoVM은 다항식을 통해 실행을 표현함으로써 Starknet의 모든 트랜잭션을 STARK를 사용하여 검증할 수 있도록 합니다. 이를 위해서는 개발자가 관련 프로그래밍 언어인 카이로를 사용하여 분산형 애플리케이션(dApp)을 구축해야 합니다. ^[1][2]

기술

Precompiles

Kakarot의 Precompiles은 특정 기능을 제공하는 특정 주소를 가진 미리 정의된 스마트 컨트랙트입니다. 일반 EVM 바이트코드와 달리 이러한 컨트랙트는 계산 집약적인 작업을 효율적으로 처리하기 위해 카이로를 사용하여 Kakarot 클라이언트에 의해 직접 실행됩니다. 복잡한 기능을 활성화하고 이더리움의 레이어 1(L1)과 레이어 2(L2) 간의 상호 작용을 용이하게 합니다. Kakarot은 기존 이더리움 precompiles을 지원하고 L2 작업에 맞게 조정된 추가 precompiles을 도입하여 스마트 컨트랙트가 Solidity 함수 호출과 유사하게 호출할 수 있도록 합니다. ^[3]

파트너십

투자자

Kakarot은 시드 전 자금으로 100만 달러를 모금했으며 Starkware와 Lambda Ventures가 투자 라운드를 주도했습니다. 주목할 만한 엔젤 투자자로는 Vitalik Buterin, Nicolas Bacca(Ledger 공동 설립자), Rand Hindi(Zama CEO)가 있습니다. ^[4]

Viper Network

2024년 5월 20일, Viper Network는 Kakarot zkEVM과의 전략적 파트너십을 통해 첫 번째 체인 통합을 발표했습니다. 이 협력은 Viper의 분산형 인프라 네트워크를 통해 Kakarot의 zkRollup 기술에 대한 신뢰할 수 있고 고성능 액세스를 제공하는 것을 목표로 했습니다. ^[5]