PANews 4月30日消息，根據The Block報道，由以太坊聯合創始人Vitalik Buterin和StarkWare支持的zkEVM項目Kakarot宣布完成以太坊虛擬機（EVM）的全功能實現，計劃在2025年底前通過STARK證明系統對以太坊虛擬機（EVM）的全功能實現，計劃在2025年底前通過STARK證明系統對以太坊虛擬機（EVM）進行實時證明。該專案採用StarkWare開發的Cairo語言構建，旨在提供獨立於主流技術堆疊的零知識證明方案。
Kakarot聯合創始人Clement Walter表示，目前系統已能在8秒內產生區塊證明，快於以太坊12秒的出塊間隔。此專案透過Cairo語言實現技術堆疊差異化，避免依賴主流方案（如Plonky3證明器和RISC-V指令集）。以太坊的2028年路線圖依賴ZK證明，而Kakarot聲稱已經建構了與主流堆疊相比生成以太坊區塊零知識證明的「第一個可信任替代方案」。此次進展發布正值以太坊社群討論Vitalik Buterin提出的RISC-V架構替代方案之際。 Kakarot團隊回應稱，儘管執行層採用ZK友善指令集具有合理性，但無需急於轉向RISC-V。
