解讀 Boundless

Boundless 建立了一個市場，促進安全的 zk 計算，從而實現開發人員和 Prover 之間的高效協作。

隨着 zk 技術的增長，它正在變得模塊化。各個層開始湧現：一些處理計算，另一些進行優化，而像 Boundless 這樣的市場讓任何擁有硬件的人都可以加入。

爲了說明這個概念，我們將把 Boundless 視爲一家全球快遞公司。

Boundless 可以最好地理解爲一個全球交付市場，只是它處理的是任何類型的 zk 計算，而不是運輸包裹。

客戶是需要完成工作的開發人員或應用程序。

快遞員是有硬件來完成繁重工作的 Prover。

中央樞紐是一個智能合約系統，確保每個包裹（計算）按時交付，快遞員得到公平的報酬，作弊者受到懲罰。

1. 市場

想象一個繁忙的市場廣場：

1. 客戶（用戶 / 請求者）帶着工作走進來：「我需要交付這個包裹, 這是目的地, 這是我的預算, 我會預先鎖定一些資金。」
2. 他們將這些請求發布在市場公告欄（市場合約）上。
3. 快遞員 (Prover) 聚集在公告欄周圍。通過荷蘭式逆向拍賣宣布一項工作：價格不會像 eBay 那樣下降，而是會隨着時間的推移而漲。
4. 早期參與者可以以低價獲得它，但等待太久，價格會變得更具吸引力，從而吸引競爭。
5. 當快遞員接受時，他們還在櫃臺（抵押 ZKC）留下保證金。這證明他們是認真的。如果他們放棄，他們將失去該筆押金。
6. 一旦鎖定，快遞員會將包裹（zk 程序 + 輸入）帶回他們的卡車（硬件）。
7. 他們運行交付路線（zkVM 計算或不會說謊的數學計算器），並返回一個密封的信封（證明），表明包裹已按照要求準確交付，沒有篡改。

回到樞紐：

• 驗證者（RISC Zero，即時雙重檢查機器）在幾秒鍾內雙重檢查密封件。
• 如果有效，快遞員將獲得報酬，他們的押金將退還，並且客戶將收到經過驗證的交付。

2. 如果快遞員失敗了怎麼辦？

現在，想象一下，一位快遞員拿了一個包裹，但從未交付。樞紐不能讓客戶失望。這是發生的情況：

• 快遞員失去了他們的保證金（slashing）：一部分進入樞紐的金庫，一部分被預留作爲獎勵給任何營救這項工作的人。
• 該工作將重新發布在公告欄上，但這次沒有獨家預訂，任何快遞員都可以競相交付。

這種重試模式會產生緊迫感。其他快遞員不僅看到原始付款，還看到了失敗快遞員的部分押金。突然，這項工作變得格外有價值，因此有人 Swift 拿起並交付了。

這確保了市場保持運轉。即使是不良行爲者也無法阻止它：最壞的情況是，他們只需支付罰款。

3. 我們如何才能長期支持市場？

在繁華的廣場後面是一個金庫，投資者和快遞員可以在其中存入市場的 token（ZKC）。運作方式如下：

1. 當你將 ZKC 鎖定在金庫中時，你將獲得不可轉讓的積分，例如會員卡。
2. 隨着時間的推移，當市場從每次交付中收取費用時，金庫參與者可以消耗他們的積分，以提取收入的按比例份額或解鎖他們的 token。
3. 快遞員也可以在這裏進行抵押。他們鎖定的 token 不僅可以賺取積分，還可以兼作他們接受工作時需要的保證金。

該系統確保了工人（快遞員）和支持者（投資者）都分享市場的成功。市場越繁忙，回報就越多。

4. Boundless 作爲一家全球快遞公司。

通過這個類比，Boundless 變得更容易想象：

• 市場合約是城鎮廣場的招聘板。
• 逆向拍賣是工作公平定價的方式。
• 快遞員 (Prover) 在押金的支持下完成繁重的工作。
• 證明是密封的信封：易於檢查，無法僞造。
• Slashing 和重試使交付保持可靠。
• 金庫 + 積分系統讓長期支持者和快遞員保持投資。

所有這些都由底層密碼學提供支持，但對於用戶和開發人員來說，它感覺就像一個自我調節、始終在線的零工經濟。唯一的區別是，它提供的不是移動盒子，而是爲區塊鏈提供計算。

5. Boundless 上的應用程序。

Boundless 將輕客戶端轉換爲 zk 無狀態客戶端，通過將其驗證工作外包給 Prover 網路，使其更加安全和無需信任。這些客戶端可以並行驗證多個鏈狀態，並通過 Boundless Signal 在全球範圍內廣播結果，從而有效地充當所有鏈的通用輕客戶端。

這種架構釋放了區塊鏈世界中新型的交付。

• 對於跨鏈通信，Signal 的作用類似於全球公告板，每個交付都經過蓋章和發布。
• 任何鏈都可以簡單地檢查公告板並看到經過認證的收據，表明另一條鏈的包裹已到達，而無需發送你必須信任的信使（橋、多重籤名、托管人）。
• 對於開發人員來說，Steel 就像在快遞網路內租用一個私人工作室。你交出原材料，它在異地構建產品，而返回的是一份密封的報告（zk 證明），任何人都可以信任，而無需重新進行工作。

通過這種方式，Boundless 將計算轉換爲共享的快遞經濟，包裹移動得更快，收據可以被任何人信任，並且網路中的每個站點都成爲可驗證的交付系統的一部分。