[PRESS RELEASE – Singapore, Singapore, February 11th, 2025]
Brevis has launched Pico v1.0, a zero-knowledge digital machine (zkVM) designed for modular and versatile verifiable computing. Pico is the primary zkVM that enables builders to customise prime fields, proving programs, proving workflows, app-level coprocessor integrations, and entry to historic on-chain knowledge, giving purposes full management over how zero-knowledge proofs are generated and optimized.
Not like conventional zkVM’s one-size-fits-all method, Pico constructs zkVMs modularly, a customizable design that achieves the world’s quickest efficiency on CPU performing 84% to 155% quicker than the following finest answer, with GPU acceleration to be rolled out in future updates to Pico. This provides on-chain protocols and dApps a zkVM that enables for optimized effectivity, expressiveness, and trustlessness.
Pico’s modular “glue-and-coprocessor” structure combines a general-purpose zkVM with high-performance specialised circuits, enabling versatile proving fields, programs, and workflows. Not like conventional zkVMs reliant on low-level precompiles, Pico presents app-specific circuits tailor-made to numerous software wants. Builders can combine customized circuits as coprocessors or precompiles, utilizing built-in choices or customized implementations. This design boosts efficiency 35X for historic blockchain knowledge processing, considerably lowering proof technology time.
With Pico, builders create domain-specific proving constructions that align proofs with specialised languages or customized proof programs. For the primary time, a zkVM helps customizable proving programs and prime fields with out code modifications. This flexibility enhances zero-knowledge cryptography, optimizing velocity, proof dimension, and effectivity.
“Pico represents a shift in how zkVMs are designed and deployed,” stated Michael Dong, Co-founder of Brevis. “Bringing a modular, app-aware zkVM with built-in zkCoprocessors, we’re optimizing efficiency and making a by no means earlier than seen stage of customization in verifiable computation for Web3.”
Pico additionally institutes ProverChain, a customizable proving workflow. This customizable sequence generates a proof to confirm an announcement’s validity, permitting builders to fine-tune proof technology for velocity, reminiscence, or dimension, regulate proving steps to optimize value and scalability, and bypass pointless proof compression within the state of affairs of off-chain verification.
Pico helps RISC-V, an open-source instruction set structure with a modular design, and Rust, a programs programming language emphasizing security and efficiency, enabling builders to construct zk purposes utilizing acquainted growth setups. Web3 protocols and dApps have already launched Brevis-powered options on mainnet, together with Kwenta, Usual, Algebra Labs, JoJo Exchange, and Trusta, with many others, akin to PancakeSwap, Celer, Frax, Gamma, Quickswap, Mask Network, Kernel, Thena, Kim Protocol, 0G, Bedrock, Mellow Finance, ZettaBlock, Hemera, and Mendi Finance, constructing Brevis-powered next-generation merchandise and options.
About Brevis
Brevis is an environment friendly, verifiable off-chain computation engine that brings limitless computation capability to current good contract blockchains. Using zero-knowledge proofs, Brevis offloads data-intensive, expensive computations from on-chain environments to a drastically lower-cost off-chain engine, and empowers Web3 purposes to scale seamlessly whereas preserving the safety of L1 belief assumptions.
Website | Blog | Telegram | Twitter | Github | Discord
Binance Free $600 (CryptoPotato Unique): Use this link to register a brand new account and obtain $600 unique welcome supply on Binance (full details).
LIMITED OFFER for CryptoPotato readers at Bybit: Use this link to register and open a $500 FREE place on any coin!
