Foresight News の報道によると、Ethereum 財団と ZKProof が共催したセミナーで、CertiK の上級首席科学者 Vilhelm Sjöberg 博士が講演し、zkWasm の検証成果と Ethereum の拡張計画に焦点を当てました。
Sjöberg は、CertiK が世界初の汎用 zkVM である zkWasm の形式的検証において達成したブレークスルーを紹介し、Ethereum 財団の zkEVM プロジェクトをサポートするゼロ知識仮想マシンの検証技術について探求しました。
この計画は数年にわたるもので、総投資額は 2000 万ドルに達し、Ethereum L1 および L2 層の拡張を実現するための重要な要素です。CertiK は Ethereum 財団およびコミュニティと協力し、Ethereum zkEVM の完全な検証を実現することに尽力します。
