Brevis 推出 Pico:下一代 zkVM
簡單來說 Brevis 推出了 Pico v1.0 zkVM,使開發人員能夠自訂素數位段、證明系統、工作流程、應用程式級協處理器集成,並存取歷史鏈上資料。
可驗證的鏈下計算引擎 布雷維斯 宣布推出 Pico v1.0,這是一款專為模組化和靈活的可驗證計算而設計的零知識虛擬機 (zkVM)。 Pico 是第一個允許開發人員自訂素數域、證明系統、工作流程、應用程式級協處理器整合以及存取歷史鏈上資料的 zkVM。這種靈活性使應用程式可以完全控制零知識證明 (ZKP) 的生成和優化方式,從而實現證明生成過程的更高客製化和效率。
Brevis 聯合創始人 Michael Dong 在一份書面聲明中表示:“Pico 代表了 zkVM 設計和部署方式的轉變。” 「透過引入具有內建 zkCoprocessors 的模組化、應用感知的 zkVM,我們正在優化效能,並在可驗證計算中創建前所未有的客製化水平, Web3,“ 他加了。
與通常提供一刀切方法的傳統 zkVM 不同,Pico 採用模組化設計,可實現更大程度的客製化。這種設計使 Pico 能夠在 CPU 上提供最快的效能,速度比第二佳解決方案快 84% 到 155%。未來的更新將引入 GPU 加速,進一步增強效能。這種方法為鏈上協定和去中心化應用程式 (dApps) 提供了 zkVM,可確保提高效率、表現力和無需信任度。
Pico 的模組化「黏合和協處理器」架構將通用 zkVM 與高效能專用電路結合,為驗證領域、系統和工作流程提供了靈活性。與依賴低階預編譯的傳統 zkVM 不同,Pico 支援針對特定應用的電路,可根據不同的應用需求進行客製化。開發人員能夠透過內建選項或自訂實作將自訂電路集成為協處理器或預編譯器。這種設計使處理歷史區塊鏈數據的效能提高了 35 倍,減少了證明生成時間。
Pico:實現特定領域的證明結構,引入可自訂的證明工作流程 ProverChain,並支援 RISC-V 和 Rust
透過 Pico,開發人員可以創建特定領域的證明結構,將證明與專門的語言或自訂證明系統結合。 zkVM 首次支援可自訂的證明系統和素數域,無需任何程式碼修改。這種靈活性增強了零知識 (ZK) 加密,提高了速度、證明大小和整體效率。
此外,Pico 還推出了可自訂的證明工作流程 ProverChain。此工作流程使開發人員能夠產生驗證語句有效性的證明,並允許根據速度、記憶體使用情況或大小對證明生成進行微調。它還允許開發人員調整證明步驟以優化成本和可擴展性,同時在鏈下驗證的情況下繞過不必要的證明壓縮。
Pico 支援 RISC-V(一種開源模組化指令集架構)和 Rust(一種以注重安全性和效能而聞名的系統程式語言)。這種組合使開發人員能夠使用熟悉的工具和設定來建立 ZK 應用程式。
幾個 Web3 協定和 dApp 已經在主網上推出了由 Brevis 提供支援的功能,包括 Kwenta、Usual、Algebra Labs、JoJo Exchange 和 Trusta。還有許多其他的,例如 薄煎餅交換 、Celer、Frax、Gamma、Quickswap、Mask Network、Kernel、 西娜 ,金協議, 0G 、Bedrock、Mellow Finance、ZettaBlock、Hemera 和 Mendi Finance 正在建造由 布雷維斯 .
免責聲明:文章中的所有內容僅代表作者的觀點,與本平台無關。用戶不應以本文作為投資決策的參考。
您也可能喜歡
$HTX:以DAO治理重新定義交易所代幣

Strategy擴大STRF永久優先股發行至7.225億美元以購買更多比特幣
Quick Take Strategy 宣布其 STRF 永續優先股發行的定價,將交易規模擴大至 7.225 億美元。Strategy 計劃將所得款項用於一般公司用途,包括收購比特幣。

報告指出,美國國際開發署可能會遵循馬斯克領導的DOGE單位的想法,根據特朗普助手的提議採用區塊鏈技術
快速摘要 據稱在國務院流傳的一份文件顯示,特朗普政府官員已制定了一項提案,計劃重新品牌化美國國際開發署(USAID),並利用區塊鏈技術作為更透明的採購過程的一部分。該提案緊隨由埃隆·馬斯克領導的DOGE小組最近建議對USAID進行一系列削減,探索將聯邦政府系統上鏈的選項。

澳大利亞政府概述「適用」的數字資產框架計劃,成為「全球行業領導者」
澳洲政府已公布計劃,將制定一個「適用於目的」的數位資產制度,以平衡創新與消費者保護。與行業代表、監管機構及更廣泛的社區合作,計劃包括為數位資產平台和穩定幣創建新的框架。

加密貨幣價格
更多








