Kakarot發布替代以太坊ZK的堆棧，擬於年底前在以太坊L1實現實時STARK證明

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