Kakarot 是在Starknet 上用Cairo 語言實現的一個EVM，以Cairo 智能合約形式去模擬EVM 中堆棧、內存、執行等內容。

本文將對比zkEVM 和zkVM 在技術上的差異，並介紹RISC Zero zkVM 及其即將推出的Bonsai 網絡。

Cairo 是一個圖靈完備的ZK 友好高級語言，也是以太坊L2-Starknet 的合約開發語言，它正在進行改版升級。

在區塊鏈基建創新的背景下，鏈上游戲可能是下一代殺手級應用的雛形。