無界：構建跨鏈的ZK之家

@boundless_network，由RISC Zero創建，正將自己定位爲不僅僅是另一個零知識(ZK)項目——它的雄心是成爲一個通用層，將ZK計算和證明帶到每個區塊鏈，使開發者、rollups、橋接和基礎設施工具能夠利用可驗證、可擴展的計算，而無需重新發明輪子。

從本質上講，Boundless 抽象化了 ZK 的許多復雜性：證明生成、聚合、結算。這樣，開發者可以繼續使用熟悉的工具和語言，部署到他們已經使用的鏈上，並將重的加密/計算工作留給一個證明者市場。當您提交計算請求時，證明者競標以滿足請求；一旦生成並聚合了證明，它將在您選擇的鏈上結算(verified)。

一個關鍵的創新是Boundless如何將執行與共識分開。傳統區塊鏈要求每個節點重新執行每一筆交易；而Boundless只允許在鏈上驗證證明，而不是完整的計算任務。這意味着吞吐量、延遲和容量可以遠遠超出每個節點都做所有事情時的可能性。

Boundless採用了一種新穎的共識/激勵機制，稱爲可驗證工作證明(PoVW)：證明者的獎勵基於他們進行的計算量、計算的復雜性、速度等。這鼓勵高效、高質量的證明生成，並有助於保持證明者市場的競爭力和增長。

架構的另一個部分是證明聚合。與其讓每個證明獨立驗證(，耗費大量的燃氣和鏈資源)，不如將Boundless批量或聚合證明，從而大幅降低驗證成本。這有助於保持對開發者的負擔得起，並在鏈上部署時更具實用性。

Boundless 已經超越了測試階段：在其激勵測試網 (Mainnet Beta) 於 Base 上之後，它正式推出了主網。合作夥伴關係和集成也在不斷增長——例如，它正在與需要 ZK 驗證以確保隱私或安全的協議/橋接如 Wormhole、rollups 和鏈進行合作，並爲像 Stellar 這樣的鏈提供基礎設施，以擴展 ZK 狀態。

工具方面旨在支持開發者：SDK、綁定到現有編程語言、模板(foundry等)、CLI工具、證明請求API。Boundless旨在使使用ZK的構建變得不那麼繁重。 我的收獲 Boundless正在爲下一代區塊鏈基礎設施奠定基礎：一個將ZK證明視爲一種公用事業而非小衆的世界。其模型——將計算、證明和驗證分開；通過PoVW獎勵證明者；聚合證明；提供鏈無關的結算——使其有很強的機會成爲隱私、擴展、跨鏈安全等的基礎設施支柱。挑戰很多：確保證明者可靠、驗證成本保持可控，以及處理法律/監管/安全風險。但考慮到現在(主網已上線，整合不斷增長，強大的技術工作)，Boundless是將ZK帶給每個人的最可信的選擇之一。 $ZKC #無界