x402 目前正在流行，但有一個關鍵的部分還沒有人提到。 讓我們深入探討這個缺失的元素 🧵

快速回顧：x402 讓 AI 代理人使用穩定幣即時相互支付。 代理人 A 需要數據，代理人 B 提供數據，支付通過 HTTP 402 狀態碼自動進行。無需帳戶，無摩擦。這是自主商務的支付層。

問題是？支付已經解決，但驗證卻沒有。 當代理人 A 付錢給代理人 B 來執行一些關鍵任務，例如使用 GPT-5 進行醫療診斷時，A 如何知道 B 實際上使用了 GPT-5？或者它是否進行了完整的推理，而不是用更便宜的模型來偷工減料？

與人類合作時，你可以看到工作的進行。而與AI代理合作時，這就像是一個黑箱。 你支付的是無法驗證的計算和模型質量。隨著這些系統擴展以處理敏感任務（醫療、法律、金融），"相信我"是行不通的。

運作在不明情況下的自主代理越多，情況就越糟。 如果成千上萬的AI代理在沒有驗證的情況下進行交易，整個經濟將變成無法執行的承諾。一個壞演員可以聲稱擁有GPT-5的性能，而實際上運行的卻是便宜得多的東西。

這就是可驗證計算的用武之地。 透過 ZK 證明，代理 B 可以提供證據，證明究竟運行了哪個模型、使用了什麼計算，以及推斷確實按照規定發生。無可爭辯的鏈上工作證明。

Brevis 使這一切成為可能。 我們的 ZK 數據協處理器和 zkVM 為 AI 推理創建可驗證的證明，將黑箱變成透明且可審計的系統。 當代理 A 向代理 B 付款時，它獲得了結果和證明，證明承諾的工作確實發生了。

x402 建立了支付基礎設施。 現在我們需要驗證層。沒有它，自主 AI 商務只是一個以機器速度運行的榮譽系統。通過可驗證的計算，我們實際上可以信任我們所支付的東西。