ヴィタリック氏:AIと形式検証はイーサリアムのセキュリティと開発を根本的に変えるだろう

PANewsは4月22日、ヴィタリック・ブテリン氏がシャオ・フェン氏との対談で、AIは脆弱性発見能力を急速に向上させており、形式検証と組み合わせることで、より安全なスマートコントラクト開発が可能になり、プログラマー以外の人でも脆弱性のないコントラクトを構築できるようになると期待していると述べたと報じた。また、イーサリアムL1は引き続き分散化とセキュリティに注力し、将来のAIや量子コンピューティングによってもたらされるセキュリティ上の課題に対処するため、量子耐性暗号(ハッシュやSTARKなど)やZK技術の応用を推進していくと強調した。

共有先:

著者:PA一线

この内容は市場情報の提供のみを目的としており、投資助言を構成しません。

PANews公式アカウントをフォローして、強気・弱気相場を一緒に乗り越えましょう
PANews APP
イラン:軍は厳戒態勢にあり、いつでも決定的な反撃を行う準備ができている。
PANews 速報