➥ 為什麼 ZK Coprocessor 是下一個元宇宙
目前,區塊鏈面臨著重計算的挑戰,導致應用程序緩慢、成本高昂且有限..
@brevis_zk 通過在鏈外運行計算並使用 ZK 證明在鏈上證明結果來解決這個問題。
你需要在 30 秒內了解 Brevis 🧵
— — —
► Brevis 是什麼?
Brevis 是一個零知識協處理器,允許智能合約讀取歷史區塊鏈數據並運行帶有證明的複雜計算。
Brevis 的運作分為三個步驟:
❶ 在鏈外執行計算
❷ 返回鏈上的零知識證明以進行驗證
❸ 這使得區塊鏈計算可以無限擴展
主要特點:
➤ 無限計算層:所有結果都可以被驗證
➤ 隱私優先:在不暴露錢包或餘額的情況下證明活動
➤ 開發者友好:一個 SDK 支持純 ZK 和 coChain 模型
...
► 架構
Brevis 基於粘合劑和協處理器模型構建。
❶ zkVM(粘合劑):一個通用虛擬機,適用於廣泛的任務,具有靈活性。
❷ 協處理器:用於算術、密碼學、機器學習和歷史鏈上數據的專用電路。
❸ 自定義工作流程:開發者可以將 zkVM 與協處理器結合,構建針對其應用的電路。
這種設計使得在鏈外進行高級計算,同時保持鏈上驗證的低成本和安全性。
...
► Brevis coChain
Brevis coChain 是一個權益證明區塊鏈,補充純 ZK 模型,降低成本並提高可擴展性,同時保持安全性。
工作流程:
提交協處理請求 → 樂觀生成結果 → 使用 ZK 證明挑戰結果 → 如果無效則在 @ethereum 上削減股份
要點:
➤ 樂觀執行減少了每個請求上昂貴的 ZK 證明的需求
➤ 削減確保了問責制和無信任安全性
➤ 與 @eigenlayer 集成,為開發者提供靈活的安全選擇
➤ 一個 SDK 支持純 ZK 和 coChain 模型,無需額外努力
...
► Brevis zkVM
Brevis zkVM 是協處理器架構的引擎,為開發者提供靈活性以運行各種計算。
要點:
➤ 支持多個證明領域
➤ 與不同的證明系統一起工作,提供性能和設計的靈活性
➤ 基於 Rust 的 SDK 使得原型電路變得簡單
➤ 可自定義的證明工作流程讓開發者可以根據應用需求配置領域、系統和芯片
...
► 總結
區塊鏈無法在不高成本的情況下處理大規模的複雜計算。
Brevis 通過其 zkVM 和 coChain 模型解決了這個問題:計算在鏈外運行,結果在鏈上驗證,應用安全地擴展。
到目前為止的影響:7000 萬+ 證明,2.23 億+ 獎勵,10 億代幣在 @LineaBuild 上,3000 萬流動性提升在 @PancakeSwap 上,以及 @KaitoAI Yapper 排行榜使用 Brevis 進行隱私保護的 InfoFi。
鏈外計算使區塊鏈更快、更便宜,而證明則保持鏈上的信任。

— 免責聲明

1.3萬
106
本頁面內容由第三方提供。除非另有說明,OKX 不是所引用文章的作者,也不對此類材料主張任何版權。該內容僅供參考,並不代表 OKX 觀點,不作為任何形式的認可,也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下,此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章,瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險,其價值可能會產生較大波動。請根據自身財務狀況,仔細考慮交易或持有數字資產是否適合您。