PANews 4月29日消息，根據The Block報道，Vitalik與StarkWare支持的Kakarot宣佈開發出獨立的以太坊零知識證明（ZK）堆棧，計劃在2025年底前實現實時Layer 1區塊證明。 Kakarot基於Cairo語言構建，採用STARK系統，避免對現有主流ZK技術堆疊的依賴，旨在增強以太坊ZK驗證的多樣性與系統韌性，協助實現以太坊2028年全面ZK化目標。