PANewsは4月22日、ヴィタリック・ブテリン氏がシャオ・フェン氏との対談で、AIは脆弱性発見能力を急速に向上させており、形式検証と組み合わせることで、より安全なスマートコントラクト開発が可能になり、プログラマー以外の人でも脆弱性のないコントラクトを構築できるようになると期待していると述べたと報じた。また、イーサリアムL1は引き続き分散化とセキュリティに注力し、将来のAIや量子コンピューティングによってもたらされるセキュリティ上の課題に対処するため、量子耐性暗号(ハッシュやSTARKなど)やZK技術の応用を推進していくと強調した。
ヴィタリック氏:AIと形式検証はイーサリアムのセキュリティと開発を根本的に変えるだろう
共有先:
著者:PA一线
この内容は市場情報の提供のみを目的としており、投資助言を構成しません。
PANews公式アカウントをフォローして、強気・弱気相場を一緒に乗り越えましょう
PANewsアプリ
24時間ブロックチェーン業界情報を追跡し、深掘り記事を解析。

