Kakarotプロジェクトは、イーサリアム仮想マシンの全機能実装を完了したことを発表し、STARK証明システムを通じてイーサリアムLayer1ブロックをリアルタイムで証明する計画を立てています。Cairo言語を使用して構築され、独立したzk-SNARKsソリューションを提供します。プロジェクトは8秒以内にブロック証明を生成でき、イーサリアムの12秒のブロック生成時間を上回ります。主流のソリューションに依存せず、イーサリアムブロックのzk-SNARKsを生成する代替ソリューションを構築しました。チームはRISC-Vへの移行を急いでいないと応答しています。