如果證明成本可以轉變為一個開放市場呢？ 這就是由@hashcashier（@RiscZero和@boundless_xyz的高級工程師）在這次SBC @WPReadingClub會議上提出的Boundless願景。 Boundless創建了一個無權限的證明市場，開發者不再需要運行自己的證明基礎設施——任何人都可以請求一個證明，設定他們願意支付的價格，而證明者則競爭來滿足這個請求。 該設計引入了一種反向荷蘭拍賣模型，以平衡價格和活躍性：請求者指定超時和最低定價，而證明者則質押抵押品，如果未能交付則會被削減。通過ZKC代幣強化激勵，該代幣通過“可驗證工作證明”機制補貼成本——獎勵證明者不僅僅是生產有效輸出，而是可證明地消耗計算周期。 會議中的關鍵主題： • 為什麼去中心化的證明網絡對於擴展zk應用程序超越單一運營商設置至關重要。 • Boundless如何避免推出另一個L1或L2的陷阱，而是作為可在任何地方部署的一組合約存在。 • 現實世界的需求：從支持rollup，到與@wormhole的無信任橋接，再到企業級可驗證計算。 • 安全權衡，包括冗餘的需求（多證明者設置）和正式驗證，因為zkVM進入生產使用。 Boundless將證明重新定義為你接入的市場，而不是你運行的基礎設施——在這裡，證明成為商品，通過開放競爭定價、供應和保障。 總結： 論文： 也可以在YouTube上觀看：