NotesNotes要点

• zkEVM upgrade introduces provers to execute EVM and generate proofs, reducing verifier hardware and network needs.
• Security concerns include network composition changes, client and zkVM diversity, and guest program risks.
• Multiproofs strategy requires verifying multiple zkVM+STF combination proofs for enhanced security.
• Formal verification project aims to verify zkSNARK protocols and VM implementations, but not mandatory.
• zkVMs support limited ISA and syscalls, compiling guest programs may introduce new bugs.
• Teams should avoid unnecessary code changes, enhance testing, and analyze shared failure points.

• zkEVM升级引入证明者执行EVM并生成证明，降低验证者硬件和网络需求
• 安全关注点包括网络组成变化、客户端和zkVM多样性、客程序风险
• 多证明策略要求验证多个zkVM+STF组合证明以增强安全性
• 形式验证项目旨在验证zkSNARK协议和虚拟机实现，但非必需
• zkVM支持有限ISA和系统调用，编译客程序可能引入新bug
• 团队应避免不必要代码更改，加强测试，并分析共享故障点

• zkEVMのアップグレードにより、EVMを実行し証明書を生成するプロバーが導入され、検証者のハードウェアおよびネットワーク要件が削減されます。
• セキュリティ上の懸念事項には、ネットワーク構成の変更、クライアントとzkVMの多様性、ゲストプログラムのリスクリクが含まれます。
• Multiproofs戦略では、セキュリティ強化のために複数のzkVM+STF組み合わせの証明書検証が必要です。
• 形式的検証プロジェクトはzkSNARKプロトコルとVMの実装を検証することを目的としていますが、必須ではありません。
• zkVMは限定的なISAとsyscallsをサポートしており、ゲストプログラムのコンパイルによって新たなバグが発生する可能性があります。
• チームは不要なコード変更を避け、テストを強化し、共通の失敗ポイントを分析すべきです。