Verifiable Bug Bounties in the Age of AI slop
三句話摘要
利用 ZKTLS 零知識 TLS 技術，讓漏洞賞金獵人在不洩露攻擊手法的前提下，以密碼學方式證明漏洞確實存在。 ZKTLS 讓漏洞獵人得以「只公開結果、隱藏手法」，用密碼學取代信任，從根本上解決回報流程中的資訊洩露與真實性驗證兩大痛點。 AI 報告氾濫引發雙重問題：大量 LLM 生成的幻覺報告浪費核實資源，而 AI 分類過程本身也可能引入新的安全漏洞，形成惡性循環。
重點整理
重點- 1
AI 報告氾濫引發雙重問題：大量 LLM 生成的幻覺報告浪費核實資源，而 AI 分類過程本身也可能引入新的安全漏洞，形成惡性循環。
- 2
傳統漏洞回報機制存在資訊洩露風險：回報 SQL Injection 等漏洞時必須附上 payload 才能讓對方重現，但這等於主動洩露攻擊手法，且若平台不認同嚴重性，獵人的「秘密武器」就白白曝光。
- 3
ZKTLS 可讓 HTTP 響應在密碼學上可驗證：透過多方計算（MPC）協議，TLS 公證人（Notary）能對 HTTP 回應加密簽章，同時遮蔽請求輸入，讓接收方確認回應確實來自目標伺服器，而無需知道請求內容。
- 4
ZKVM 可進一步延伸至鏈上漏洞證明：Risk Zero 的 SteelProofs 允許在測試網上用 ZK 證明某操作（如轉移代幣）可行，並在主網上驗證，實現無需中間人的自動化賞金支付與協議暫停。
實用技巧與重點
乾貨- 工具／框架：Circom（ZK DSL）、Groth16 證明系統、TLS Notary（TLS 公證人）、Risk Zero ZKVM、SteelProofs
- 協議：ZKTLS（ZK + TLS 的 MPC 協議）、ZKBMS（本次未深入介紹）
- ZK 特性：隱私性、正確性、選擇性披露（selective disclosure）
- Circom 電路示範：驗證 `a * b = c`，公開 `a = 5`，在不洩露 `b` 的前提下證明知道滿足條件的輸入
- 流程（漏洞賞金）：隱藏 HTTP 請求 payload → 公開含 TLS 公證簽章的 HTTP 回應 → 雙方協商嚴重程度與獎金 → 達成共識後揭露明文 payload → 驗證者以密碼學確認隱藏輸入與新報告一致
- 示範場景：prompt airlines.com CTF——提示注入取得 CTF 密鑰，回應中含密鑰但 prompt 被遮蔽
- Solidity 驗證器：可在智能合約中呼叫，回傳布林值（true/false）
- 局限性：無法保證漏洞可重現性（reproducibility），僅能證明「當時曾被利用」
結論
結論“ZKTLS 讓漏洞獵人得以「只公開結果、隱藏手法」，用密碼學取代信任，從根本上解決回報流程中的資訊洩露與真實性驗證兩大痛點。”
完整解析
詳細漏洞賞金平台近年面臨一個棘手問題：大量 LLM 生成的報告湧入，其中許多是幻覺（hallucination），根本不存在真正的漏洞，卻消耗大量人工核實時間。更糟的是，平台為了效率開始引入 AI 進行自動分類，而 AI 分類器本身又成了新的攻擊面。與此同時，傳統的回報流程還存在另一個結構性問題：獵人必須公開攻擊 payload（例如 SQL 注入語句、XSS 向量），才能讓對方重現漏洞，這不僅可能洩露客戶 PII，更讓攻擊手法在協商階段就曝光，若平台最終不認可嚴重性，獵人等於白白交出了獨門秘方。
講者 Anto Joseph 來自 IEN Labs，提出以應用密碼學解決上述問題，核心技術是 ZKTLS。他先從零知識證明（ZK）的基礎講起：ZK 允許你「證明你知道某個輸入滿足某個條件，而無需揭露該輸入本身」。以 Circom 電路為例，他示範了如何證明知道哈希的原像，而不必公開原像——若輸入錯誤，證明即失效，智能合約的 Solidity 驗證器會回傳 false。
ZKTLS 則更進一步，將 ZK 與 TLS 協議結合，透過多方計算（MPC）在 TLS 連線過程中引入一個「TLS 公證人（Notary）」，對 HTTP 回應進行加密簽章，同時支援選擇性披露——可以遮蔽請求的部分或全部內容，只公開回應。講者以一個 CTF 場景示範：他向 prompt airlines.com 發送提示注入攻擊，成功取得 CTF 密鑰；接著，他展示如何在公開的記錄中將 prompt（輸入）遮蔽，而讓 HTTP 回應（包含密鑰）保持可見且可驗證。整段記錄帶有 TLS 公證人的加密簽章，任何人都能確認這段回應確實來自目標伺服器，而無需知道攻擊者發送了什麼。
這套機制重塑了漏洞賞金的協商流程：獵人先以隱藏 payload 的方式提交加密驗證的 HTTP 回應，雙方在不洩露攻擊手法的前提下討論嚴重程度與獎金；達成共識後，獵人再揭露明文 payload，驗證者以密碼學方式確認隱藏輸入與新報告一致，整個過程無需「相信我，兄弟」的信任假設。Q&A 中講者也坦承局限：ZKTLS 只能證明「某個時刻曾成功利用」，無法保證可重現性——若目標伺服器已下線，漏洞就無法再次觸發；但至少將截圖換成了密碼學證據，大幅提升了可信度。
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
