在快速變化的區塊鏈技術環境中,兩個主要的緊迫挑戰是可擴展性和安全性。隨着以太坊和比特幣在擁堵和高昂價格中掙扎,新協議正在開發,以填補這些漏洞,而不需要破壞去中心化的原則。進入 Boundless 是一個開創性的通用協議,它以零知識(ZK)證明重新定義可驗證計算。其設計的主要原則在於,其核心是一個被稱爲 Boundless Security 的範式——圍繞 Boundless 範式創新的協議和應用可以直接繼承它們所構建的底層鏈的活性和安全保證。這不僅是增加互操作性的一種方式,還將爲更具韌性和更高效的多鏈生態系統開闢路徑。

到2025年10月,無界主網Beta將啟動,該協議已擁有超過411,000名參與者,並與20多個大型項目(如以太坊和Base)進行集成。無界通過解耦執行和共識,並使用去中心化的證明者市場,確立自己作為所有區塊鏈上的可驗證計算層。本文討論了無界安全的機制、其對連續性繼承的影響,以及為何它是一種區塊鏈建設的範式轉變。

安全性、可擴展性與連續性:區塊鏈的三難問題。

區塊鏈系統的問題在於其歷史上受到臭名昭著的三難問題的限制,即要同時去中心化、安全和可擴展。傳統的第一層(L1)網絡將吞吐量視為安全性和連續性的次要因素,即壞事不會發生(安全性)或好事最終會發生(連續性)。在這種情況下,連續性可以定義為系統在對抗環境中保持出塊和運行交易的能力。鏈中因驗證者數量過少而導致單個區塊未能發生(連續性故障)可能使整個生態系統無法運作。

試圖解決可擴展性挑戰的解決方案包括滾動和第二層(L2)解決方案,這些解決方案旨在卸載計算,但在許多情況下,引入新的信任假設或未繼承底層層的穩健連續性。無界通過將其功能作為智能合約直接集成到現有的L1和L2中來顛覆這一劇本,這意味著所有驗證都具有主機鏈的整個安全模型,即無橋接、無額外信任集、無受損保證。

什麼是無界?

無界是一個無許可的協議,由RISC Zero創建,並將零知識能力擴展到所有鏈上。它作為可驗證計算的去中心化平台運作,開發人員請求複雜任務的證明,例如滾動狀態轉換、跨鏈數據聚合或鏈上治理,獨立的證明者節點競爭以生成零知識證明。

它擁有RISC-V zkVM(零知識虛擬機)的核心,使開發者能夠使用標準語言(如Rust或Solidity)進行編碼,並將其編譯為零知識證明,而無需自定義電路。這一抽象層用於生成證明、聚合證明、在鏈上結算,消除對基礎設施的擔憂。為了驗證誠實性和連續性,提供者在可驗證工作證明(PoVW)系統中對原生ZKC代幣下注,無效證明將面臨削減。

無界的架構基於橫向擴展的網絡:連接到網絡的證明者越多,網絡的整體容量就越大。零知識證明成為商品。鏈上證明通過逆荷蘭拍賣出售,隨著時間的推移變得更便宜、更快,這是由市場力量驅動的。

無條件安全的精神。

名為無界安全的協議所使用的巧妙方法,以將零知識驗證插入當前區塊鏈的框架中。通過在目標網絡(例如,以太坊、比特幣、索拉納)上實施輕量級智能合約,無界不必陷入引入新網絡的陷阱,包括啟動驗證者或孤立連續性故障的可能性。相反,它繼承了底層鏈的安全性和連續性屬性,並將零知識證明視為擴展,而非引入。

通過擁有小型鏈上存在來實現這一點:滿足的證明請求成本僅為35,000 EVM gas,或基本的DEX交換,而離鏈證明者則完成大部分工作。驗證在鏈上進行,其效率與主機鏈相同,主機鏈本身也具有主機鏈的完全經濟安全,例如以太坊上超過500億美元的質押ETH。

關鍵組件包括:

去中心化證明者市場:證明者是獨立的節點,只需要一個誠實的節點保持運行——這些離鏈生成的證明只需要一個誠實的證明者來滿足連續性要求——類似於權益證明鏈的一個誠實驗證者。

鏈上結算:批量證明通過智能合約驗證,並繼承鏈的出塊和爭議解決屬性。

抵制審查:沒有權威控制證明的生成,因此在集中式滾動中出現的序列化失敗在這種情況下不適用。

這是一個非主權模型,通過解耦執行(離鏈、可擴展)和共識(鏈上、安全)來形成可驗證的計算層,該層補充但不取代現有基礎設施。

遺傳連續性:過程。

無界的最佳特徵是其連續性繼承,這保證了一個零知識應用程序永遠不會成為活力鏈中的弱點。傳統系統中的離鏈組件可能會帶來連續性風險——當證明者網絡停止時,應用程序也會停止。無界是一種未通過將其活動與底層鏈的共識引擎相連來減少這一點的解決方案。

這是過程:

證明請求提交:開發人員或協議提交請求給鏈上的智能合約,進行計算(例如,滾動狀態驗證)。

證明者競爭:質押的證明者進行逆荷蘭拍賣,通過zkVM生成零知識證明。初始的合法證據將吸引ZKC獎勵。

鏈上驗證:提供驗證以進行結算,並且主機鏈的驗證者有效地驗證它。如果無效,證明者將被削減。

連續性強制執行:由於驗證是基於鏈的出塊進行的,任何證明生成的鬆懈不會停止鏈的運行,而只有個別計算可以停止,直到新的證明者進入。協議的去中心化結構保證至少有一個證明者的持續存在,使鏈上超過99%的可用性得以繼承。

該模型提供了極佳的連續性保證,即使在攻擊的情況下,因為消除了對證明生成的聯盟壟斷。例如,在運行於無界的比特幣L2 Citrea中,執行證明確保狀態轉換,而比特幣則保持其傳奇的連續性和抵制審查。

在現實世界中的應用與影響。

無界安全使得解鎖因鏈上困難而受限的用例成為可能:

第二階段滾動:通過零知識證明每小時完成,並繼承L1安全性至DeFi和遊戲dApps。

跨鏈超級應用程式:在單一可驗證環境中使用以太坊、比特幣和索拉納構建數據。

@Boundless #Boundless $ZKC