近期，以太坊聯合創始人Vitalik Buterin提出，計劃對以太坊網絡的執行層進行重大調整：將現行的以太坊虛擬機（Ethereum Virtual Machine，EVM）字節碼替換成RISC-V指令集。新方案並不改變賬戶、存儲等智能合約的核心功能，但將從根本上改變合約代碼的編譯與運行方式。

從某種程度上看，Vitalik的這一提議不僅是對以太坊執行層標準化與可組合性的再昇級，也再次把“可驗証計算”這一曾被視爲昂貴且實驗性的技術，推到了行業敘事的中心。

在這條可驗証計算的演進路徑上，來自美國的零知識証明起步公司RISC Zero是最早也是最具代表性的實踐者之一。他們不僅基於同樣的RISC-V架構打造了業界首個通用zkVM，更進一步構建了Boundless這一可驗証計算層，試圖將零知識証明從單點工具昇級爲跨鏈共享、可市場化的“雲算力”。這意味着，未來開髮者不必再被高昂的鏈上Gas或EVM自身的局限所束縛，而是可以在任意區塊鏈上，調用近乎無限的可驗証計算資源。

目前，Boundless主網Beta版現已上線。 其首席執行官Shiv Shankar表示：“Boundless通過避免重複計算任務來實現安全的跨鏈計算，從而提昇區塊鏈的可擴展性。這既提高了效率、增強了安全性，也讓開髮者和礦工能夠跨生態繫統參與。"

以太坊基金會研究員Justin Drake表示："支撐Boundless生態的 RISC Zero zkVM 滿足了以太坊擴容的所有關鍵需求：實時証明能力、家用多GPU驗証環境、寬鬆的開源許可，以及從零構建的底層實現。"

在Boundless主網Beta版上的短短幾天內，這個首個驗証以太坊共識的市場，已達到目前最大驗証（30億）的10倍規模（500億），成爲最大的驗証規模。；共有576個証明者成功提交証明，使其成爲全球最去中心化的証明者網絡；市場規模實現10倍增長，日訂單量最高達到8000單，計算循環數高達2.6萬億，幾乎無宕機，每天完成超過99%的訂單；一位外部証明者刷新了新的速度紀錄，達到5.63MHz，遠超此前的2.5MHz；訂單幾乎始終保持在0鎖單，這讓我們提前看到了POVW（証明工作量証明）在主網啟動初期對ZK証明採用的潛在影響；証明者之間的開放式創新已經開始，其中一個亮點是証明者能夠在同一個區塊內以小於100毫秒的速度鎖定任務。 

Boundless的工作原理與設計突破

在把零知識証明從單點工具進化爲通用計算層的路上，Boundless的關鍵突破在於把可驗証計算從孤立的技術能力，轉化爲可市場化、可組合的鏈上基礎設施。

具體來看，Boundless的核心邏輯有三大要素：通用zkVM、跨鏈驗証協議和 PoVW（Proof of Verifiable Work）經濟模型。

首先，Boundless 底層依托 RISC Zero 自研的 zkVM（R0VM 2.0），它基於開放標準的 RISC-V 架構，可執行任意通用程序，並生成可驗証的零知識証明。這意味着，不論是EVM智能合約、Rollup狀態証明，還是鏈下複雜計算，都可以由zkVM負責生成有效性証明，隨後交由鏈上合約快速驗証，整個過程對最終用戶和主鏈都是透明的。

其次，Boundless 並非局限在某一條鏈，而是從一開始就按原生跨鏈設計：它通過在多條鏈上同時部署 Boundless Market 合約，打造了一個無需許可的清算市場，自動把開髮者的証明需求與全球各地的 Prover 節點的算力資源匹配起來。更重要的是，Boundless Market 已經原生部署在所有主流鏈上，開髮者不必離開自己熟悉的生態環境，隻需與本地合約地址交互，用所在鏈的原生代幣即可支付費用並即時獲取可驗証的計算証明。這種跨鏈分佈式市場的設計，極大降低了接入門檻，讓可驗証計算真正成爲像雲服務一樣可調度、可結算、可組合的鏈上公共資源。

最具突破性的部分在於PoVW激勵機製。不同於PoW隻獎勵哈希計算、PoS獎勵閒置資本，PoVW首次把零知識証明的真實計算工作量商品化，用鏈上計量和支付完成閉環。Prover完成多少有效循環，就能獲得與工作量匹配的代幣激勵，並且計量數據全程上鏈、可審計。這種機製不僅保障了算力供應彈性，還激勵更多節點持續優化証明性能、降低成本，形成了可驗証算力的供需市場。

技術産品負責人Jacob Everly在今年3月份與媒體的採訪中透露，新加坡的國際清算銀行（BIS）已經使用RISC Zero和Boundless的技術開髮了一個原型繫統，能夠驗証亞太地區的交易者是否可以在新加坡交易所進行交易，而無需他們提供完整的個人信息。用戶隻需要上傳護照和手機號碼，就可以生成一個零知識証明（ZKP），証明他們符合交易資格即可。

目前，已有30多個團隊計劃在Boundless上構建和部署應用。Jacob Everly説：“我們的目標是在明年達到100個合作團隊，讓Boundless成爲行業標準。”

ZK不隻是Boundless：RISC Zero的多維技術版圖全解

除了Boundless，RISC Zero還在零知識証明可用性和可擴展性方麵持續迭代，推出了多項關鍵産品，進一步夯實其作爲通用可驗証計算平颱的技術護城河。

比如，其近日髮佈的R0VM 2.0，就是其核心zkVM的全新版本，不僅將以太坊單區塊的証明時間從35分鐘縮短至44秒，OP鏈的証明成本更是下降了5倍，單筆交易最低僅需0.0012美元，大幅降低了開髮者接入ZK的門檻。

同時，R0VM 2.0版本增強了內存和預編譯支持，能處理更大規模的EVM証明以及可驗証媒體內容，並計劃在今年實現12秒級別的實時証明，進一步推動零知識証明從實驗走向量産。

值得注意的是，R0VM3.0版本也正在開髮中，預計將在今年晚些時候推出。該版本採用以太坊最新推出的Binius証明繫統，屆時証明速度將進一步提昇。

針對EVM生態的固有限製，RISC Zero還髮佈了ZK協處理器Steel 2.0，可在鏈下執行複雜運算、曆史狀態訪問及跨區塊計算，並通過低至27萬gas的証明成本實現鏈上安全驗証，兼容Solidity和R0-Helios輕客戶端，方便在以太坊及OP Stack部署。

此外，OP Kailua有效性模式爲OP Rollup提供向 ZK Rollup 平滑過渡的能力，無需大幅重構即可獲得ZK帶來的高安全性與快速結算，Base、BOB等項目已率先集成，爲高吞吐量鏈提供了具備成本效益的昇級選項。

技術理想主義者：RISC Zero的使命與野心

RISC Zero，是一個兼具叛逆精神與理性技術追求的團隊。2022年初，在ETH Denver大會現場，RISC Zero的幾位成員手裡攥着從當地打印店購得的佈料和簡易工具，對照官方手環的樣式一遍遍裁剪、縫製，成功混入會場。也正是在這場“黑客式突圍”中，他們與第一批投資人達成了早期投資意向。

憑藉這股不按常理出牌的冒險精神與對零知識計算技術的深度探索，RISC Zero繼續贏得了資本市場的持續押注：2022年3月，他們完成了200萬美元的天使輪融資，並在同年8月拿下1200萬美元的種子輪融資；2023 年7月，又順利獲得了4000萬美元的新一輪資金支持。

與其他零知識項目不同，RISC Zero選擇了更爲通用的路徑：以開源的 RISC-V指令集爲底座，打造全球首個可執行任意通用代碼的zkVM，讓零知識証明真正具備普適計算能力，並降低開髮門檻，使開髮者可以繼續使用熟悉的編程工具鏈，如Rust等現代語言，無需爲ZK犧牲效率與易用性。

如今，這支由極客與未來主義者組成的小型團隊，正試圖在zkVM之上構建一個開放、跨鏈、無需許可的可驗証計算生態，爲去中心化互聯網帶來新的信任底座——這也正是Boundless的由來與野心所在。

總結： 

Boundless不隻是RISC Zero在零知識証明領域的又一次技術嚐試，更是可驗証計算走向開放市場、跨鏈協作與規模化雲算力的一次現實演練。隨着Boundless及其背後的zkVM、PoVW等組件持續進化，這場圍繞“可驗証的去中心化超級計算引擎”的實驗，或許正爲區塊鏈世界開啟一條更通用、也更野心勃勃的算力路徑。