Chainfeeds 導讀：
Risc Zero 撰文介紹了其最新發布的基於新一代零知識證明的可驗證計算層 Boundless 的核心組建及發展前景。
文章來源：
https://risczero.com/blog/boundless-the-verifiable-compute-layer
文章作者：
RISC Zero
觀點：
RISC Zero：通過利用零知識證明的力量，Boundless 使區塊鏈能夠驗證計算的正確性而無需重新執行。這種突破性的功能稱為可驗證計算，允許網絡中單個節點執行的操作由每個節點以低成本進行驗證。在 Boundless 上，開發人員可以獲得：1）無限執行：以極低的成本進行無限計算，繞過傳統的鏈上執行限制；2）全球可組合性：跨不同區塊鏈生態系統的資產和信息無縫交互；3）按需可擴展性：彈性擴展，不影響性能，直接滿足實際需求；4）不妥協的安全性：繼承目標鏈的完整安全保障。Boundless 建立在最新一代零知識證明的基礎上，能夠以比以前低幾個數量級的計算量實現更大數量級的計算。Boundless 的核心是強大的零知識堆棧，這是實現可驗證計算的關鍵。Boundless 堆棧的每個組件如何實現這一點：1）使用熟悉的語言進行構建：創建任何基於區塊鏈的解決方案（從 L2 和 L1 到 dApp 等），無需應對 ZK 複雜性或不熟悉的語言。在編碼時利用 ZK 的可驗證性，就像在現代軟件開發中一樣。2）精簡的 ZK 集成：一套強大的組件，包括 Steel、Blobstream Zero 和 Zeth。這一層簡化了開發人員體驗，簡化了 ZK 技術與現有和新基礎設施和合約的集成，加快了產品上市時間。3）按需去中心化證明：一種按需、去中心化的證明者網絡，由一種新型激勵機制（ZK 挖礦）支持，可動態擴展。憑藉內置的有效性保證和抗審查能力，可確保應用程序始終具有必要的證明能力。4）高效證明聚合：來自不同系統的批量證明，允許共享鏈上驗證成本並提高效率。隨著證明需求的增長，鏈上成本大幅降低，使 ZK 解決方案在規模上更具經濟效率。5）通用證明驗證：支持跨任何區塊鏈進行證明驗證，允許開發人員繼承其首選結算層的安全性。這為跨鏈可組合性奠定了基礎，同時使開發人員能夠靈活地選擇他們的信任假設。6）全球可組合性和執行： Boundless 利用 ZKP 實現跨多個區塊鏈應用程序之間的無縫、原生交互。這使得 Boundless 應用程序不僅可以跨鏈交互，還可以使用來自任何區塊鏈的數據進行安全計算，而無需犧牲信任或安全性。【原文為英文】
內容來源
