NotesNotes要点

• The author foresaw the development of zkVMs in terms of security and performance stages.
• Security stage: 1. Protocol correctness, 2. Verifier implementation correctness, 3. Prover implementation correctness.
• Performance stage: 1. Reasonable verification cost, 2. At most 256k proof and 16ms verification time.
• Currently at performance stage 1, security stage 1 has not been reached.
• Although it is hope to reach performance stage 2 within two years, it may be at the cost of sacrificing security. A security stage upgrade may come with a performance stage downgrade.

• 作者预见了zkVM发展中的安全发展阶段和性能发展阶段。
• 安全阶段：1. 协议正确，2. 验证器实现正确，3. 证明器实现正确。
• 性能阶段：1. 合理的验证成本，2. 至多256k证据及16ms验证时间。
• 目前为性能阶段1，安全阶段1尚未达到。
• 虽然近两年有可能达到性能阶段2，但可能是以牺牲安全性为前提的，安全阶段的提升，可能会伴随性能阶段的降低。

• 著者は、セキュリティとパフォーマンスの段階という観点からzkVMsの開発を予見していた。
• セキュリティ段階：1. プロトコルの正しさ、2. Verifierの実装の正しさ、3. Proverの実装の正しさ。
• パフォーマンス段階：1. 合理的な検証コスト、2. 最大256kの証明と16msの検証時間。
• 現在、パフォーマンス段階1にあり、セキュリティ段階1には到達していない。
• 2年以内にパフォーマンス段階2に到達することが望まれているものの、セキュリティを犠牲にする可能性がある。セキュリティ段階のアップグレードは、パフォーマンス段階のダウングレードを伴う場合がある。