月曜にThe BlockのインタビューでNEAR Protocolの共同創設者イリヤ・ポロスキンが述べたところによると、人工知能は現在、従来のセキュリティ審査が修正するよりも速く進展しており、それによってハッカーがソフトウェアの脆弱性を見つけられるようになっている。ポロスキンは、経験豊富な開発者がコードを手作業でレビューするという従来のやり方は、新しいAIモデルの能力を踏まえると、もはや持続可能ではないと主張した。より効果的な解決策として、コードが「それが言っているとおりのことを行う」ことを数学的に証明する形式的検証を提案している。歴史的には高コストで労働集約的だったものの、AIなら現在は必要となる証明の大部分を生成するのに役立ち、その後それを独立して検証できる。Zcashの取り組みであるProject Tachyonは、AI支援による検証を用いて、数年ではなく数週間で数学的証明を作り出すことで、このアプローチを示した。
免責事項：本ページの情報には第三者提供の内容が含まれる場合があり、参考目的のみで提供されています。これらはGateの見解や意見を示すものではなく、金融、投資、または法律上の助言を構成するものでもありません。暗号資産取引には高いリスクが伴います。意思決定を行う際には、本ページの情報のみに依存しないでください。詳細については、
免責事項をご確認ください。
