21 小時前
讓我們一起進入 @brevis_zk V2：
一個 ZK 協處理器，讓開發者可以無信任地讀取、計算和證明來自所有支持的區塊鏈的整個歷史的見解。
把它想像成加密貨幣的“Google BigQuery”，不過它是用零知識證明來驗證，而不是憑感覺。
那麼它實際上是如何運作的呢？
➤ 數據訪問 – 開發者指定他們想要的歷史數據（區塊頭、交易、事件等）。
➤ 計算 – Brevis 通過一個抽象所有繁瑣 ZK 內容的 SDK 運行你的邏輯。
➤ 證明 + 驗證 – Brevis 在鏈下生成 ZK 證明，智能合約在鏈上無信任地驗證它。
範例：
一個去中心化交易所可以使用 Brevis 來證明某人進行了 350 次交易，交易量達到 300 萬美元。所有的驗證都是直接在鏈上進行的，無需 Dune 儀表板或 SQL 黑客。
沒有 ZK 背景？沒問題。
Brevis 的 SDK 是基於 gnark（由 Linea/Consensys 提供），但包裝在開發者友好的抽象中。
那麼接下來是什麼？
➣ 10 倍性能提升正在開發中
➣ 更多支持的數據類型
➣ 跨鏈擴展
➣ 在 EigenLayer 上的 coChain 進一步降低 ZK 成本
簡而言之，Brevis 剛剛將“鏈上數據”從你查看的東西轉變為你實際可以計算的東西，這可不是一個小的升級。
2025/10/06
Brevis 為 ZK 協處理器進行了腦部移植
忘掉那種「純 ZK」的掙扎，因為一切都慢、昂貴，且對擴展性過敏。
@brevis_zk 推出了 Brevis coChain，一種「提議-挑戰」模型，將權益證明 + 零知識合併 = 更便宜、更快，且實際可用的數據協處理。
這裡是給非技術人員的解讀 ⇓
舊模型（純 ZK）：
每個結果 = ZK 證明。安全？是的。可擴展？不太。
計算成本高，延遲時間長，甚至無法證明簡單的事情，比如誰沒有交易。
新模型（coChain）：
驗證者通過 PoS 共識「提議」結果，不需要證明，沒有前期成本。
如果有人發現謊言，他們可以提出 ZK 挑戰，壞的驗證者會被削減。
如果沒有人挑戰？結果成立。
把 Brevis 想成這樣：
純 ZK = 絕對真理，但慢且昂貴。
CoChain = 樂觀真理，但有實時的詐騙保護和 PoS 執行。
894
29
本頁面內容由第三方提供。除非另有說明，OKX 不是所引用文章的作者，也不對此類材料主張任何版權。該內容僅供參考，並不代表 OKX 觀點，不作為任何形式的認可，也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下，此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章，瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險，其價值可能會產生較大波動。請根據自身財務狀況，仔細考慮交易或持有數字資產是否適合您。