VitalikとStarkWareが支援するKakarotは、2025年末までにイーサリアムのリアルタイムゼロ知識証明を実現する予定

TechFlowの報道によると、4月29日、イーサリアムの共同創設者であるVitalik Buterin氏とStarkWareが出資するスタートアップKakarotは、イーサリアム仮想マシン（EVM）の動作実装を完了し、2025年末までにイーサリアムLayer 1ブロックのリアルタイムZK-STARK証明を実現する計画だ。KakarotのCTOであるClement Walter氏は、今年末までに証明時間を8秒に短縮することを目指しており、これはイーサリアムの12秒のブロック生成時間よりも速い。同プロジェクトはCairo言語を使用して構築されており、RISC-Vやrust-evm、Plonky3に依存しない独立したZKスタックを提供することで、イーサリアムのZK検証の多様性と堅牢性を強化する。イーサリアム財団の研究員Justin Drake氏は、これを「ゼロ知識証明の堅牢性」の実現に寄与すると評価している。Kakarotはすでに600万ドルの資金調達を果たしている。