PANews는 4월 30일 The Block에 따르면, 이더리움 공동 창립자 비탈릭 부테린과 스타크웨어가 지원하는 zkEVM 프로젝트인 카카로트가 이더리움 가상 머신(EVM)의 전체 기능 구현을 완료했으며, 2025년 말까지 STARK 증명 시스템을 통해 이더리움 Layer1 블록의 실시간 증명을 수행할 계획이라고 발표했습니다. 이 프로젝트는 스타크웨어가 개발한 카이로 언어를 사용하여 구축되었으며, 주류 기술 스택과 독립적인 제로 지식 증명 솔루션을 제공하는 것을 목표로 합니다.

카카로트의 공동 창립자인 클레멘트 월터는 현재 시스템은 8초 안에 블록 증명을 생성할 수 있으며, 이는 이더리움의 12초 블록 간격보다 빠르다고 말했습니다. 이 프로젝트는 주류 솔루션(예: Plonky3 증명기 및 RISC-V 명령어 세트)에 대한 의존성을 피하고 Cairo 언어를 통해 기술 스택을 차별화합니다. 이더리움의 2028년 로드맵은 ZK 증명에 의존하고 있으며, 카카로트는 주류 스택에 비해 이더리움 블록에 대한 제로 지식 증명을 생성하는 "최초의 신뢰할 수 있는 대안"을 구축했다고 주장합니다. 이러한 개발은 이더리움 커뮤니티에서 RISC-V 아키텍처에 대한 Vitalik Buterin의 제안된 대안을 논의하는 와중에 이루어졌습니다. 카카롯 팀은 실행 계층에서 ZK 친화적인 명령어 세트를 사용하는 것이 합리적이기는 하지만 RISC-V로 전환하기 위해 서두를 필요는 없다고 답했습니다.