先看一個做完的實例:一張收據,查核三步
公開收據 5eccf113 記錄了一次 live_price 呼叫。保存下來的結果以英文原文保留如下:
"BTC · $81,866.00 USD ▲ 0.51% (24h) · Market cap: $1645.69B Live price via CoinGecko · Fri, 23 Oct 2026 13:49:58 GMT"
引號裡面是保存下來的結果本身,沒有翻譯(翻成中文的意思是:BTC 為 81,866.00 美元,24 小時上漲 0.51%,市值為 16,456.9 億美元)。查核方法是:打開收據,針對保存的結果重新計算承諾,再讀結論。這張收據在 zambo.dev/verify 的查核結果為 verified(已驗證)。
為什麼摘要無法驗證它自己
代理交回來的通常是一段話:做了什麼、找到了什麼、結論是什麼。這段話是代理對自己工作的描述。拿這段描述去驗證這段描述,繞了一圈什麼都沒有查到。漏掉的步驟不會出現在摘要裡,寫錯的數字看起來和正確的數字一樣有把握,先講結論再補理由的判斷,在文字裡也看不出破綻。
驗證需要一個摘要以外的東西:一份在工作執行當下就固定下來的記錄,事後改不了,也不是為了交差才寫的。這就是可驗證收據(zambo receipt)存在的原因。每一次透過 Zambo 執行的呼叫,都會保存實際執行的工具、記錄下來的輸入和保存下來的結果,並以執行當下計算出的雜湊承諾固定下來。
驗證的流程
- 把摘要拆成主張。代理說它查了價格、寄了信、改了檔案。每一個說法都是一個主張,要分別查核。
- 找出每個主張底下的收據。沒有收據的主張就是未驗證,不管語氣多肯定。先把這一類挑出來,本身就是有用的資訊。
- 打開收據,讀保存下來的結果。讀實際保存的輸出,不要讀代理對輸出的形容。
- 重新計算承諾。針對保存的標準位元組重新計算 SHA-256,確認和收據記錄的承諾吻合。在 zambo.dev/verify 貼上收據連結即可完成。
- 針對記錄下判斷。吻合的主張可以採信為「記錄屬實」;工作是否正確,由你針對這份已查核的記錄判斷,並把同一個連結交給下一個需要判斷的人。
AER-1 是什麼,為什麼驗證可以被獨立重做
收據的格式是 AER-1,一份公開的開放規格,以 IETF 網際網路草案 draft-zambo-aer1-26 發佈。因為格式是公開的,驗證不依賴 Zambo 的伺服器說了算:任何人都可以依照規格,用同一份保存的記錄重做一次計算。公開的符合性語料目前有 126 個向量、129 項查核(即時語料,2026 年 10 月 23 日從 zambo.dev/aer1/corpus.json 查核);草案本身記錄的數字是 124 個向量、127 項查核。兩組數字講的是同一套查核,只是時間點不同。
讓下一份工作從一開始就能驗證
透過 zambo.dev/mcp 執行工作,每一次呼叫都會在當下留下可驗證收據,之後任何人都能查核。Day Pass 為 $0.99 美元,可使用 24 小時,收據查核在 zambo.dev/verify 永遠免費。