KeyFrame內部研究專用

AI ruined bug bounties

Low Level·2月6日週五·10 min英文

三句話摘要

Curl 專案創辦人 Daniel Stenberg 因 AI 產生的假漏洞報告氾濫,憤而退出 HackerOne 漏洞懸賞計畫。 AI 可以輔助安全研究,但未經人工驗證就直接提交 AI 生成的漏洞報告,是在消耗開源維護者的信任與精力,最終傷害的是整個社群。 AI 假報告導致 Curl 退出 Bug Bounty:Daniel Stenberg 在 2024 年 6 月 26 日宣布退出 HackerOne,原因是收到大量明顯由 AI 生成、根本不存在的漏洞報告,小型志願團隊無力應付龐大的審核負擔。

重點整理

重點
  • 1

    AI 假報告導致 Curl 退出 Bug Bounty:Daniel Stenberg 在 2024 年 6 月 26 日宣布退出 HackerOne,原因是收到大量明顯由 AI 生成、根本不存在的漏洞報告,小型志願團隊無力應付龐大的審核負擔。

  • 2

    假報告有明顯特徵:分析三個案例後發現,這些報告的程式碼指向錯誤的函式庫(如把 OpenSSL 漏洞誤報給 Libcurl),或程式碼本身已有明確的邊界檢查,AI 卻宣稱存在溢位,顯示 AI 根本沒有真正執行或理解程式碼。

  • 3

    Bug Bounty 制度的本意已被扭曲:懸賞計畫原本是為了讓研究者有動機負責任地回報零日漏洞,而非流入黑市。但 AI 讓人可以用極低成本批量生成報告,破壞了這個信任機制。

  • 4

    AI 輔助研究可行,但不能取代人工判斷:AI 做為審計助理(如生成 fuzzing harness、解釋陌生協定)有其價值,但不經人工驗證就直接提交 AI 輸出,等同於對維護者施加無意義的工作負擔。

實用技巧與重點

乾貨
  • 工具與平台:Curl、LibCurl、HackerOne、XBOW(AI 自動化漏洞平台)、O3(OpenAI 模型)
  • XBOW 成功案例:Booking.com、Informatica、Airbnb、Thomson Reuters
  • Shawn Heeland 實驗數據:使用 O3 掃描 Curl,信噪比約 1:50(50 個報告中約 2 個真實漏洞),全部處理需耗費大量人工時間
  • Daniel 退出時間:2024 年 6 月 26 日
  • 三個假報告案例
  • Use-After-Free in OpenSSL Keylog Callback(錯誤歸因給 Libcurl)
  • Buffer Overflow in Curl MQTT test(MQTT = message queue telemetry transport)
  • Buffer Overflow in `curl_inet_ntop`/`inet_ntop4`(程式碼已有 `if (size < length)` 邊界保護,AI 未發現)
  • 路由器漏洞市場參考價:NetGear/Ubiquity 路由器 0-day 約 5–10 萬美元

結論

結論

AI 可以輔助安全研究,但未經人工驗證就直接提交 AI 生成的漏洞報告,是在消耗開源維護者的信任與精力,最終傷害的是整個社群。

完整解析

詳細

Curl 與 LibCurl 是現代網路基礎設施的核心工具,幾乎所有平台的 HTTP 請求都依賴它們。Daniel Stenberg 長期以小型志願團隊維護這個專案,而 HackerOne 的 Bug Bounty 計畫原本是讓安全研究者合法回報漏洞、獲得報酬的良性機制。然而隨著 AI 工具普及,一種新的濫用模式出現了:使用者讓 AI 大量掃描程式碼並直接提交報告,不做任何人工驗證。

影片列舉了三個典型的 AI 假報告。第一個聲稱 Libcurl 的 OpenSSL Keylog Callback 存在 use-after-free,但問題的程式碼範例完全是 OpenSSL 的獨立呼叫,與 Libcurl 毫無關聯,AI 顯然混淆了兩個不同的函式庫。第二個報告指控 Curl 的 MQTT 測試程式存在 buffer overflow,但沒有提供任何可重現的路徑。第三個是最具代表性的案例:AI 聲稱 `curl_inet_ntop` 函式在轉換 IP 位址時會溢位,但實際程式碼在執行 `memcpy` 之前已有明確的 `if (size < length) return NULL` 邊界保護,這是最基礎的防護措施,AI 完全無視。當維護者指出這個保護框時,提交者的回應是繼續用 AI 生成的邏輯辯護,顯示其從未真正執行或理解程式碼。

影片也提到,並非所有 AI 安全研究都是垃圾。XBOW 是一家真正的 AI 漏洞自動化公司,已在 Booking.com、Airbnb 等大型平台上提交並獲接受的真實漏洞,證明在 Web 應用層面 AI 確實能發現有效問題。此外,研究者 Shawn Heeland 用 OpenAI O3 對 Curl 進行掃描,也找到了約 2 個真實漏洞,但代價是必須人工審閱約 50 個信號才能過濾出有效結果——這個過程本身就需要大量專業時間投入,而非自動化的印鈔機。

主講者最後表達了他的立場:AI 作為安全研究的輔助工具是完全合理的,例如用它生成 fuzzing harness、解讀陌生協定文件、或對可疑程式碼做初步分類。但把 AI 的輸出未經驗證直接提交,不只是浪費維護者時間,更直接造成了 Curl 這樣重要的開源基礎設施被迫退出 Bug Bounty 計畫的後果,讓整個安全生態系受損。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「AI 技術」的內容

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
編輯精選
83 min
AI 技術英文PODCAST8月26日

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Latent Space

  • 加速傳統物理模擬的典範轉移:氣象科學家原本認為 AI 無法匹敵數十年的物理建模工作,但傅里葉神經算子不僅達到同等精度,還快了一萬多倍。原本需要超級計算機的計算現在用消費級 GPU 就能完成,這改變了整個領域的思維方式。
  • 傅里葉域的非局部現象捕捉:傅里葉域能有效表示非局部現象(如大氣河流跨越千里的影響),且計算複雜度為準線性,遠優於完全連接的全局模型。這特別適合流體動力學、量子化學等自然現象中普遍存在的非局部相互作用。
  • 多解析度連續函數表示:神經算子將輸入輸出視為連續函數而非固定維度向量,可在推論時以任意解析度查詢,並能在更高解析度上疊加物理約束或額外數據,克服了固定解析度神經網路的限制。
Between Two Nerds: Attribution is dead, long live attribution
32 min
AI 技術英文PODCAST8月25日

Between Two Nerds: Attribution is dead, long live attribution

Risky Business

  • 工具成本的破壞性下降 — 傳統上,攻擊者必須重複使用昂貴自製的惡意軟體或工具組,因為開發和維護成本極高。這種成本結構使得安全研究人員可以通過工具特徵和程式碼簽名來追蹤攻擊者。LLM 自動化了代碼生成與維護工作流,使得攻擊者可以輕易為每個目標生成新工具,或改用通用系統工具,導致傳統的工具特徵分析失效。
  • 所有取證證據都在攻擊者掌控之中 — 無論是使用的 IP 位址、惡意軟體類型或戰術流程,這些都是攻擊者的主動選擇。即使看似是隨機巧合,攻擊者仍有能力在事前決定留下什麼痕跡。因此,所有可恢復的取證證據本質上都是攻擊者願意暴露的信息。
  • LLM 削弱工具簽名但保留高階行為特徵 — LLM 經過公開駭客技術訓練,使不同使用者產生相似的攻擊模式。然而,勒索軟體集團、國家級行為者的受害者選擇、贖金要求方式或目標模式等高階特徵仍具有識別價值。例如,鎖定加密交易所的攻擊幾乎只能指向朝鮮。
Why the Next AI Breakthrough May Come from Physics with Max Welling - #774
55 min
AI 技術英文PODCAST8月25日

Why the Next AI Breakthrough May Come from Physics with Max Welling - #774

TWIML AI

  • 多層篩選的材料設計流程:先搜尋文獻資料庫找現有材料,若無合適的就用生成模型產生數十萬個候選分子,用機器學習力場進行分子動力學模擬篩選,再進行實驗驗證。這套流程相比傳統量子力學計算能加速效率數個數量級。
  • 生成AI與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。