2026-07-20 18:32:13
AI 輔助駭入速度超越傳統程式碼審查,NEAR 聯合創辦人表示
根據 NEAR Protocol 共同創辦人 Illia Polosukhin 在週一接受 The Block 訪談時表示,AI 現在能讓駭客比傳統的安全審查更快找出軟體弱點,而傳統審查在修補上往往趕不上。Polosukhin 主張,傳統做法——由有經驗的開發者手動審查程式碼——在現代更強的 AI 模型能力之下已不再具備可持續性。他提出形式化驗證,該方法以數學方式證明程式碼「做的就是它說要做的事」,作為更有效的解決方案。雖然歷史上費用高且需要大量人力,但如今 AI 已能協助產生大部分所需的證明,接著再由他人獨立驗證。Zcash 的倡議計畫 Tachyon 展示了這種做法:透過 AI 輔助驗證,在數週而非數年內產出數學證明。