Kakarot項目宣布完成以太坊虛擬機全功能實現，計劃通過STARK證明系統實時證明以太坊Layer1區塊。採用Cairo語言構建，提供獨立零知識證明方案。項目能在8秒內生成區塊證明，優於以太坊12秒出塊時間。避免依賴主流方案，構建了生成以太坊區塊零知識證明的替代方案。團隊回應不急於轉向RISC-V。