1. 核心論點:下一代互聯網的去中心化可驗證計算

每個去中心化網絡的核心都存在一個基本的低效性:每個節點必須冗餘地重新執行所有交易。這種努力的重複——儘管對信任至關重要——在可擴展性上造成了結構性的上限。它推高了燃氣成本,降低了吞吐量,並限制了可以安全地在鏈上運行的應用範圍。


Boundless通過引入區塊鏈計算的激進重構來挑戰這一範式——將執行與共識解耦。Boundless允許由去中心化的證明者網絡執行繁重的工作負載,而不是強迫每個節點運行每個計算。這些證明者生成零知識證明(ZKP)——簡潔的加密證明——在鏈上以低成本進行驗證。


這一轉變改變了去中心化計算的經濟學。複雜的任務(如 DeFi 風險建模、AI 推理、遊戲邏輯和跨鏈驗證)可以在鏈下處理,並以比傳統方法低 99.9% 的燃料費用進行驗證。結果:為 Web3 的未來提供一個可擴展、可驗證和經濟高效的計算層。

1.1 Boundless 概述:通用 ZK 證明基礎設施 (ZKC)

Boundless,也稱為 ZKC,是一個通用中介層,旨在實現由 ZKP(包括 zk-SNARKs 和 zk-STARKs)驗證的鏈下計算。它充當一個去中心化市場,區塊鏈、滾動鏈和去中心化應用程序可以按需獲取可驗證的計算能力——就像輕鬆地插入雲 API 一樣。


這一模組化設計消除了每個區塊鏈構建自己昂貴證明基礎設施的必要性。Boundless 提供:

無需許可的可驗證計算訪問

密碼學安全保證

跨鏈互操作性

可擴展且具有成本效益的執行

簡而言之,Boundless 正在為 Web3 構建“可驗證計算雲”——在這裡,證明而非信任是基礎。

1.2 起源、團隊和機構支持

Boundless 由 RISC Zero 孵化,創造了世界上第一個 RISC-V zkVM,並由擁有 Web2 和 Web3 深厚根基的領導團隊指導。


Boundless 於 2022 年由 Shiv Shankar 和 Jeremy Bruestle 創立,團隊包括來自 Microsoft、Intel、Coinbase 和 Avalanche 的資深人士。他們專注於現實世界的可擴展性、開發者可訪問性和證明協調,使 Boundless 與純粹研究驅動的 ZK 項目區別開來。


在財務上,該項目站在堅實的基礎上。獲得了 5400 萬美元的資金,跨越三輪(2022–2023),Boundless 吸引了來自 Blockchain Capital、Bain Capital Crypto、Delphi Ventures、Galaxy Digital、IOSG Ventures 和 Fenbushi Capital 的資本。

這一級別的投資表明強烈的信念,ZK 證明將從小眾密碼學演變為核心 Web3 基礎設施——與共識本身一樣重要。

2. 核心技術:RISC-V zkVM 和證明協調

2.1 模塊化 zkVM 層

在其基礎上,Boundless 使用基於 RISC-V 的 zkVM——一種能夠在鏈下運行任意程序並生成其正確性的密碼學證明的虛擬機。


與傳統的 ZK 系統不同,Boundless 的 zkVM 支持 Rust 和 C++,這意味著開發者可以部署熟悉的代碼庫,而無需學習 ZK 特定的語言。


為了賦能建設者,Boundless 提供:

鋼框架 – 一種協處理器系統,將複雜邏輯卸載自 EVM,同時保持燃料成本不變。


Solidity 2.0 工具鏈(通過 Vlayer)– 擴展智能合約以執行跨鏈查詢、網絡證明和歷史狀態訪問。

這些組件共同消除了區塊鏈執行的傳統燃料和計算上限——解鎖了無限的鏈下計算並提供鏈上可驗證性。

2.2 ZK 協調層

Boundless 的真正突破在於其 ZK 協調架構——一個統一層,整合來自任何 ZK 系統或虛擬機的證明。


此設計使 Boundless 變得與證明無關。它可以聚合和驗證由 SP1、Boojum(ZKsync)、Jolt 或未來系統生成的證明,有效地吸收創新而不是與之競爭。


這一互操作性確保即使在密碼學技術演變的過程中,經濟和協調價值仍然集中在 Boundless 內部。


作為通用驗證者,Boundless 成為日益模組化的區塊鏈世界的信任支柱——通過一個共享的證明標準連接滾動鏈、結算層(如以太坊)和安全系統(如 EigenLayer)。

結果是:一種“通用證明適用於所有”的模型,將分散的驗證系統替換為一個安全且可組合的標準,適用於多鏈環境。

3. 經濟學:ZKC 代幣和可驗證計算市場

3.1 可驗證工作證明 (PoVW)


Boundless 引入了一種突破性的原語:可驗證工作證明(PoVW)——由 RISC Zero 所擁有的專利密碼學機制。


與傳統挖礦不同,PoVW 允許對證明的計算成本進行測量和驗證。這意味著提供者的獎勵與他們所貢獻的可驗證努力成正比。


每次成功的證明提交都會生成可驗證的元數據,證明計算是合法的。Boundless 相應地鑄造 ZKC 代幣,推動社區所稱的“ZK 挖礦”。


這確保了公平、透明和抗欺詐的獎勵系統,為整個 Boundless 經濟提供支持。

3.2 Boundless 計算市場

Boundless 將計算能力轉化為可交易的商品。其去中心化市場將計算提供者(提供者)與計算請求者(去中心化應用程序、協議或網絡)匹配。


通過反向荷蘭拍賣等機制,用戶可以高效地獲取低成本的 ZK 計算,而提供者則競爭獎勵。


甚至消費者 GPU 也可以參與——使訪問民主化,形成一個大規模的、社區驅動的計算網格。這一模型自然推動價格向下,推動 Boundless 朝著“接近免費的證明經濟”發展。

3.3 代幣實用性和可驗證質押 (sZKC)

ZKC 代幣作為 Boundless 的經濟和安全支柱。

提供者必須質押 ZKC 以鑄造 sZKC——一種可驗證的質押代幣,用作接受計算任務時的抵押品。未能產生有效證明將導致質押金被削減。

50% 的股份被燒毀(減少代幣供應)


50% 被成功替換的提供者獎勵

此設計引入了通脹壓力並強化責任感,對誠實參與者的激勵進行對齊。

代幣經濟概述:

總供應量:1 億 ZKC


通脹時間表:7%(第 1 年)→ 3%(第 8 年)


通脹分配:70% 給提供者,30% 給治理質押者


生態系統增長配置:總供應量的 49%

該代幣模型優先考慮可擴展性和可持續性,將 ZKC 定位為可驗證計算經濟的基石資產。

4. 性能:通過橫向擴展進行擴展

4.1 已證明的吞吐量和基準結果

在其主網 Beta 階段,Boundless 實現了每天 26 兆計算周期的驗證吞吐量——比其測試網增長了 10 倍。

這一性能得益於橫向擴展:每個新的提供者節點直接增加了總網絡容量。與硬件受限的系統不同,Boundless 隨著參與者的增加而有機擴展,而不是依賴於專用芯片。

節點刷新速度:5.63 MHz(行業記錄,超過 2.5 MHz 的平均值)


性能結果:全球分佈的 GPU 節點之間的無縫協調

4.2 證明延遲和實時最終性

Boundless 的目標是實現可在以太坊上驗證的低於 12 秒的證明,實現近乎實時的執行。


這是通過以下優化實現的:

FRI 加速(快速 Reed-Solomon 證明)


多項式並行化

向量處理單元 (VPU) 硬件優化

這些創新縮小了樂觀滾動鏈和 ZK 滾動鏈之間的差距,提供即時最終性,消除長期挑戰窗口。

4.3 成本效率和擴展的使用案例

Boundless 的架構實現了高達 99.9% 的燃料費用減少,開啟了全新類別的鏈上應用:

可驗證的 AI 推理 – 在鏈下運行 AI 模型,並保持密碼學的完整性


跨鏈流動性 – 使安全和即時的資產轉移成為可能

科學計算 – 允許去中心化的高強度模擬

這使得 Boundless 不僅僅是一種擴展工具——它是一個通用的可驗證計算基礎設施,適用於遠超 Web3 的範疇。

5. 生態系統增長與整合

5.1 通用互操作性


Boundless 支持以太坊、比特幣、Solana、Cosmos 和各種滾動鏈。自 2025 年 9 月主網啟動以來,已有超過 30 個協議集成了 Boundless 用於 DeFi、AI 和跨鏈使用案例。

5.2 案例研究:BOB(構建於比特幣上)

BOB 代表世界上第一個混合 ZK 滾動鏈,完全由 Boundless 驅動。


使用 OP Stack 的 OP Kailua 擴展,BOB 將樂觀和 ZK 架構合併——允許即時以太坊提現和按需 ZK 有效性證明。


這一創新不僅改善了用戶體驗,還擴大了市場,包括每個希望升級到 ZK 最終性的樂觀滾動鏈。在其第一周內,BOB 達到了 1 億美元的交易量——強有力驗證了 Boundless 的現實世界影響。

5.3 案例研究:Ronin 集成

Ronin,最大的遊戲第二層網絡之一,選擇了 Boundless 來處理數百萬用戶的實時高吞吐量計算。

這一整合展示了 Boundless 在關鍵任務的高容量環境中的可擴展性和可靠性——證明可驗證計算已準備好進入主流採用。

結論:Boundless 的可驗證計算時代

Boundless 不僅僅是另一種區塊鏈協議——它是將計算轉化為可驗證的共享資源的通用 ZK 協調層。


通過將性能、可擴展性和密碼學信任相結合,Boundless 為可驗證計算的新時代奠定了基礎——一個去中心化的 AI、跨鏈流動性和複雜邏輯變得無縫、成本有效和安全的時代。


這不僅僅是擴展 Web3——它正在重寫其計算 DNA。

$ZKC @Boundless #boundless