@zksync airbenderチームのこのマイルストーン達成を心からお祝いします。
この段階で、速度をめぐる競争には完全に決着がついたと考えています。zkEVMにとって最優先すべきことは、全面的にセキュリティへと移るべきです。
私にとってそれは、以下を正式に検証することを意味します。
(i) 算術化がEthereumの仕様と等価であること
(ii) (証明者のコスト)/(ブロック内のガス量)に厳格な上限が設けられていること
(iii) 証明システム自体のセキュリティ
https://firefly.social/post/x/2110011544360607842
この段階で、速度をめぐる競争には完全に決着がついたと考えています。zkEVMにとって最優先すべきことは、全面的にセキュリティへと移るべきです。
私にとってそれは、以下を正式に検証することを意味します。
(i) 算術化がEthereumの仕様と等価であること
(ii) (証明者のコスト)/(ブロック内のガス量)に厳格な上限が設けられていること
(iii) 証明システム自体のセキュリティ
https://firefly.social/post/x/2110011544360607842