2026-07-20 18:32:13
AI支援によるハッキングが従来のコードレビューを上回っていると、NEARの共同創業者が語る
月曜にThe BlockのインタビューでNEAR Protocolの共同創設者イリヤ・ポロスキンが述べたところによると、人工知能は現在、従来のセキュリティ審査が修正するよりも速く進展しており、それによってハッカーがソフトウェアの脆弱性を見つけられるようになっている。ポロスキンは、経験豊富な開発者がコードを手作業でレビューするという従来のやり方は、新しいAIモデルの能力を踏まえると、もはや持続可能ではないと主張した。より効果的な解決策として、コードが「それが言っているとおりのことを行う」ことを数学的に証明する形式的検証を提案している。歴史的には高コストで労働集約的だったものの、AIなら現在は必要となる証明の大部分を生成するのに役立ち、その後それを独立して検証できる。Zcashの取り組みであるProject Tachyonは、AI支援による検証を用いて、数年ではなく数週間で数学的証明を作り出すことで、このアプローチを示した。