ヴィタリク・ブテリン：ブロックチェーンは新しい計算の時代に入ろうとしている グローバル・ブロックチェーン・サミット（上海ブロックチェーン・ウィーク）で、ヴィタリク・ブテリンは、ZK証明、形式的検証、AIがどのようにブロックチェーンアーキテクチャを再構築しようとしているかを説明した。彼の核心的な主張は、すべてのノードが同じ計算を再実行する従来のモデルが段階的に廃止されつつあるということだ。SNARKs/STARKsを用いれば、一方が計算と証明を行い、他の全員は単に検証するだけになる。リカーシブSTARKs（彼のEIP-8288提案と関連）は、複数の証明を1つに束ねることで、オンチェーンデータとコストを削減できる。EIP-8141（トランザクションを並列化可能なアクションに分割）とFOCIL（分散型ブロック構築）と組み合わせることで、ローカルデバイスの実行からメムプール、証明の集約、L2、L1に至るまでの完全な計算パイプラインを実現し、分散性を損なうことなくスケーリングすることを目指している。 AIに関して、ブテリンはそれが次世代の必須インフラであると見なしている。つまり、コードの作成・監査、仕様の生成、そして人間が手動で対応できない規模での形式的検証を実行することだ。彼は、これが今日のL2セキュリティのギャップを解決する鍵であると述べている。彼は開発者たちに、高度な暗号技術と自動検証が実用的ではなかった世界を前提に設計するのをやめるよう呼びかけている。なぜなら、その制約は急速に消えつつあるからだ。 #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto