如果你曾經嘗試將零知識證明應用到一個應用程序或彙總中，你就知道那種痛苦：重計算、繁瑣的工具，以及“誰來運行證明者”的無盡問題。Boundless將這種混亂轉化爲一個乾淨、開放的市場。你請求一個證明，獨立節點競爭在鏈下生成它，然後一個小小的收據在鏈上被驗證。就是這樣。沒有爲每個新網絡或功能重建整個證明後端。
以下是關於Boundless的通俗易懂的，無品牌的介紹，它是什麼，它如何從頭到尾工作，真正的難點在哪裏，以及一個團隊如何在實踐中集成它。
無界的定義，一句話
一個去中心化的零知識證明市場，其中應用程序、區塊鏈和滾動外包重型計算給外部證明者，而鏈上合約則驗證緊湊的收據以保持一切誠實。
為什麼這個存在
當每個人重新執行相同的工作時，區塊鏈會變慢並變得昂貴。通過零知識，您翻轉了模型：在鏈外完成重型工作，然後發布任何人都可以快速檢查的簡短證明。無界將這一理念打包為一個網絡服務，因此您不需要定制的證明農場、特殊礦工或專門的運營團隊來發送可驗證的計算。
心理模型
將無界視為三層協同工作：
1. 請求層
您發布一個證明工作，說明“用這些輸入運行這個程序並證明它。”您還指定您的預算和時限。
2. 執行層
獨立證明者節點接收工作，在零知識虛擬機內運行程序（通用 zkVM），並生成收據，證明正確執行而不透露私有輸入。
3. 驗證層
鏈上，一個最小的驗證者合約檢查這些收據。您永遠不會在鏈上重新執行重計算；您只需驗證加密證據以確認其正確執行。
保持每個人誠實的市場設計
反向拍賣報價
每個工作都有隨時間上升的報價。早期，價格較低；如果沒有人接手，價格會向上調整，直到證明者認為值得。這會將價格推向實際成本，獎勵更快的證明者，並幫助您在靜默期避免過度支付。
鎖定和抵押
當證明者接下您的工作時，他們會鎖定它並發布抵押品。如果他們未能交付，該抵押品可能會被削減。這會抑制“幽靈化”，並保持工作流動。
履行與結算
在證明後，節點從您的報價中獲得報酬。如果他們錯過截止日期或提交了無效收據，合約將自動執行規則。
證明如何在鏈上保持便宜
聚合首先，包含其後
提交許多單獨的收據會浪費資源。相反，證明者將多個結果批量處理並提交一個簡潔的證明在鏈上。每個單獨的工作被捆綁到 Merkle 樹（緊湊的數據結構）中，因此您的應用程序只需要一個微小的“包含證明”來顯示您的特定工作被該批次涵蓋。驗證者合約檢查批次一次，您的應用檢查輕量級的包含路徑。節省的 gas，提高的吞吐量。
當您需要獨立證明時
如果您的用例需要，您可以請求單一工作的原始簡潔證明。這會稍微花費更多，但對於跨域工作流程或計劃在其他證明內組合證明時非常方便。
去掉行話的證明者堆疊
容器化工作者
證明者運行一個可以從單個 GPU 擴展到小型集群的容器化堆疊。工作根據可能性分割為段，調度到硬體上，並重新拼接成最終收據。
工作經紀人
一個小型服務監控市場，對符合操作員硬體和價格目標的工作出價，資金鎖定和抵押品，並在鏈上提交完成的結果。
可觀察性
操作員跟踪隊列深度、吞吐量和成功率，以調整定價和容量。健康的艦隊旨在保持卡片溫暖、隊列短小，並將錯誤率保持在接近零。
數據處理和隱私
公共輸入
如果您的輸入已經是公開的，只需將它們與請求一起包含即可。任何人都可以驗證最終結果。
敏感輸入
當輸入是私有時，您可以限制訪問，只有經批准的證明者可以從您的存儲中下載它們。最終證明仍然可以在鏈上公開驗證，但原始輸入永遠不會進入公共空間。想想“受控訪問的對象存儲”加上證明者的身份檢查。
代幣機制概覽
本地代幣
該網絡使用本地代幣進行質押、治理，以及在配置的情況下，作為抵押品或獎勵。將其視為協調和激勵層。
可驗證工作證明
與其支付浪費的哈希費用，不如將獎勵流向能夠證明他們在嚴格驗證下完成了有用的 zk 週期的證明者。質押者分享一部分排放以保護系統。具體百分比和時期定義在鏈上參數和治理中，並可以進化。
請求實際流動的方式
1. 您打包您的計算
為 zkVM 編寫一個程序，定義輸入和預期輸出，並發布工作請求。請求包括報價設置：您的預算範圍、價格應該多快上升、截止日期和所需的抵押品。
2. 一個節點鎖定工作
證明者在鎖定超時之前發布抵押品並聲明工作。
3. 鏈外計算
該工作在證明者的硬體上運行。如果程序很大，則將其分段並並行處理。
4. 收據和聚合
證明者創建一個簡潔的收據，並直接提交或將其添加到將在一個鏈上交易中結算的批次中。
5. 鏈上驗證
驗證者合約檢查一次聚合證明。您的應用程序驗證特定工作的緊湊包含路徑。資金根據報價條款釋放。
6. 應用層使用
您的合約或後端在您需要的地方消耗經過驗證的結果——結算、狀態更新、支付或喂入管道的下一個階段。
為建設者準備的整合手冊
從小型試點開始
選擇一個自包含且確定性的計算密集型函數。將其包裝為 zkVM，定義 I/O 格式，並以保守的截止日期和適度的預算請求證明。
連接驗證
在您的合約中導入驗證者介面。對於批量結果，存儲包含路徑和您需要重播的工作元數據。公開一個視圖函數，以便鏈外客戶端可以交叉檢查收據。
調整報價
對於延遲敏感的工作，使用較短的截止日期和稍高的起始價格。對於背景工作，容忍較長的時間窗口，並依賴價格上升來尋找高效的填充。
為失敗模式計劃
如果工作超時會發生什麼情況？應該是冪等的重新發布。如果結果看起來錯誤，重新驗證然後再升級。保持請求計數、中位數鎖定時間、證明時間和履行百分比的遙測。
無界的亮點
成本和吞吐量
鏈外執行加上批次鏈上驗證意味著您根據實際工作而非鏈擁堵支付接近線性費用。
互操作性
驗證者介面抽象出 zkVM 版本和批次格式，因此您不必每次都重新編寫合約，當證明後端演變時。
運營槓桿
您不需要招募和管理證明者團隊。您從一個隨需求增減的競爭市場租用能力。
隱私選項
敏感輸入保持在您的控制之下，而不放棄公共可驗證性。
您應該認真對待的現實世界警告
開發者體驗
zkVM 程序是常規代碼，具有一些額外的約束。您需要仔細考慮輸入、輸出，以及如何在段之間處理狀態。預留時間學習模式。
硬體經濟學
證明仍然是計算密集型的。價格取決於週期計數、並行化以及用於最終壓縮步驟的確切證明系統。隨著您測量實際工作負載，預期要調整您的報價參數。
治理和參數
排放、質押規則和市場調整會隨時間變化。將鏈上參數視為真相的來源，避免將假設硬編碼到業務邏輯中。
為您的團隊準備的五分鐘快速參考
一行
無界使我們能夠將昂貴的計算外包給專門的節點，並便宜地在鏈上驗證結果。
我們實施的內容
一個 zkVM 程序、一個請求發布者和我們合約中的小型驗證介面。
我們如何控制成本
反向拍賣、批次處理和合理的截止日期。
我們如何保護用戶
鏈上的嚴格驗證、因錯過工作而削減的措施，以及可選的私有輸入處理。
LFG
這裡的魔法不僅是零知識。它是圍繞它的市場。通過將證明轉變為一個競爭性、抵押化的市場，並實現清晰的驗證，無界使可驗證的計算成為可能。
像日常工具而非研究項目。如果您願意，我可以接下來量身定制一個短的入門包：一個最小的 zkVM 函數、一個示例請求和一個可在您的合約中放入的驗證片段。