博链BroadChainが入手した情報によると、4月22日19:16、Vitalik Buterinは肖風氏との対談で、AIの脆弱性検出能力が急速に向上していると指摘しました。形式検証技術と組み合わせることで、スマートコントラクトの開発はより安全になり、プログラマーでなくてもバグのないコントラクトを作成できる可能性があります。
同氏は、イーサリアムのLayer 1は分散化とセキュリティという中核的な位置づけを堅持すると強調しました。同時に、イーサリアムは将来のAIや量子コンピューティングによるセキュリティ脅威に対応するため、耐量子暗号（ハッシュやSTARKなど）やZK技術の応用を推進しています。