無界限：構建可擴展數字信任的無聲基礎設施

Nina (經歷了)：嘿，塔裏克，你有沒有關注@boundless_network最近在做什麼？我認爲它正在悄然構建Web3基礎設施中最關鍵的層之一——那種支撐可擴展數字信任的無聲基礎。 Tariq (好奇)：我聽說過“ZK”、“可驗證計算”等名稱和一些討論，但我並不完全理解#Boundless是如何構建這種信任的，或者是什麼讓它成爲“靜默基礎設施”。你能用事實給我講解一下嗎？ Nina: 當然。依我看來，Boundless正在設計一種協議，允許每個區塊鏈、rollup或應用將繁重的計算外包到鏈下，然後提交簡潔的證明到鏈上，證明這些計算是正確的。這既保持了安全性，又大大減少了摩擦。這是一個通用的零知識(ZK)協議：每個鏈無需構建自己的定制證明系統。 Tariq：當你說“將計算外包到鏈下”時，你是指 Boundless 有一組服務器或節點在進行計算工作，然後他們提交證明嗎？這如何避免不信任或作弊？ Nina: 正是如此：Boundless 擁有一個無許可的去中心化證明者市場——這意味着許多獨立節點 (provers) 競爭以完成開發者請求的工作。這些證明者生成零知識證明，以確認該工作的正確性。在鏈上，驗證一個簡潔的 ZK 證明比重新執行所有邏輯要便宜和快速得多。系統包括經濟激勵：證明者通過一種稱爲可驗證工作證明 (PoVW) 的機制獲得獎勵，您將因實際有用的計算而獲得補償，而不僅僅是強行計算哈希難題。 Tariq: PoVW？那麼它與比特幣等中的工作量證明(PoW)不同。這在實際操作中如何更好？ 妮娜：是的，這不同，在我看來，更符合區塊連結下來需要的東西。提供者不再是在任意的加密難題上消耗能量，而是在進行有用的計算——某人請求的任務，服務於應用邏輯、驗證等。這改變了激勵結構：你不是因爲消耗能量而獲得獎勵，而是因爲提供可驗證的輸出而獲得獎勵。這降低了浪費，與安全性對齊，並且擴展性更好，因爲隨着更多提供者的加入，協議容量(可驗證計算)的吞吐量會增加。 Tariq: 聽起來很有前景。但是延遲、成本和開發者的負擔怎麼樣？ZK證明生成難道仍然很昂貴、很慢或技術上復雜嗎？ Nina: 好點子。這些正是許多項目所面臨的權衡。Boundless 通過幾種方式來解決這些問題： 抽象化復雜性。開發者只需提交證明請求；他們不需要構建自己的證明電路。他們不需要了解所有的加密內部細節。Boundless 處理證明生成、聚合和鏈上結算。

通過去中心化實現可擴展性。你擁有的證明節點越多，系統的計算能力就越強。因此，隨着採用的增加，它會得到改善。鏈上證明驗證被設計爲成本低廉。

互操作性和模塊化。例如，Boundless 與 Wormhole 合作，爲跨鏈原生代幣轉移 (NTT) 添加可驗證路徑，結合共識證明和基於籤名的認證。這有助於覆蓋或補充較慢、信任度高的橋接機制。

經濟激勵和代幣經濟學。存在一個本地代幣($ZKC)，它提供質押/鎖定、賺取等功能，從而對齊激勵。當證明成本下降(更好的硬件、更好的證明系統)時，系統變得更加高效。

Tariq: 好的，靜態基礎設施意味着沒有那些華麗的應用程序，而是幕後使其他一切更加可信、可擴展、更便宜的東西。Boundless在將這一願景轉化爲廣泛現實時面臨哪些風險或挑戰？ 尼娜：是的，沉默但基礎。雖然存在幾個挑戰，但無界已設計出多種方式來緩解許多。以下是主要挑戰： 證明復雜性和成本：雖然鏈上證明驗證比完全執行便宜，但證明生成仍然可能消耗大量資源，尤其是對於大型計算。優化證明系統、zkVM、硬件加速都是必要的。Boundless 使用 RISC Zero 的 zkVM，並繼續進行優化。採用摩擦：讓 dApp、rollup 和現有鏈集成 Boundless 的證明市場，改變其架構以外包計算並非易事。這需要開發者學習、審計和信任測試。延遲和最終性權衡：對於某些用例，等待證明生成和結算可能會引入與原生執行相比的延遲。挑戰在於平衡速度與可驗證性。安全風險：該協議需要對證明者的不當行爲、惡意證明、共謀或未能響應提供強有力的保障。經濟質押/懲罰、驗證、冗餘和密碼學健全性是防御的一部分。監管/信任問題：雖然 Boundless 主要是密碼基礎設施，但證明與法律標準、責任、隱私、數據主權等的關係可能很重要，尤其是對於企業或受監管的用例。 塔裏克：這一切都很有道理。那麼最終，這種靜默信任基礎設施相比於擁有更強大的L1，或更高效的滾動解決方案，甚至是集中計算解決方案，具體有什麼優勢呢？ Nina: 很好的問題。在我看來，優勢有很多。 可擴展性而不犧牲安全性或去中心化：因爲您不需要每個區塊鏈節點執行每個計算 — 只需要對證據進行驗證 — 您可以避免瓶頸。統一的信任模型：通過通用協議和證明者市場，您減少了信任假設。每個人都可以看到證據，可以審計它們，數學上驗證它們。這減少了黑箱。跨鏈組合性和互操作性：Boundless正在爲生態系統之間的信任構建：鏈、匯總、橋接、消息傳遞。這有助於克服碎片化。隨着時間的推移降低成本：隨着證明生成技術的改善，更多證明者的加入，每單位計算和每個證明的成本應該下降，使許多當前昂貴的操作變得可行。鼓勵創新：因爲開發者不必重建證明系統，他們可以更快地創新。需要大量計算、隱私、可驗證數據流或復雜的鏈外邏輯的新應用變得更加可行。 Tariq: 好吧。在經歷了這一切之後，我相信——Boundless似乎是我所稱之的Web3信任基礎設施的“隱形脊柱”的強有力競爭者。它可能並不總是對最終用戶可見，但它確保信任、可擴展性和安全性是內置的，而不是附加上的。 Nina: 正是如此。沒有像 Boundless 這樣的靜默層，Web3 的許多承諾——可組合性、跨鏈信任、隱私、可擴展應用——仍然脆弱或昂貴。通過 Boundless，有一條現實的路徑可以使數字信任可擴展、高效，並能抵御那些阻礙採用的瓶頸。 #無界 $ZKC