With the recent launch of EigenLayer on Mainnet—we are excited to announce that Brevis’s coChain AVS is joining the fun by introducing a new ZK Coprocessor architecture that combines the benefits of crypto-economic security and Zero Knowledge proofs into one model! This new architecture offers a significant cost reduction for ZK coprocessing requests and enables dApp developers to explore exciting new feature possibilities previously not possible with a “pure-ZK” model. Brevis is supported by a diverse set of 29 AVS operators and has received $1.6 billion in restaking commitments from Ether.Fi, Renzo, Swell and Bedrock.
Brevis is a smart zero-knowledge coprocessor that empowers smart contracts to read from and utilize the full historical on-chain data from any chain and run customizable computations in a completely trust-free way. Using Brevis, developers can create a multitude of data-driven features — DEXes are able to build VIP loyalty programs based on a user’s past trading volume; active liquidity management protocols can trigger predefined user intents with ZK-verified on-chain states and events; AMMs can have strong LVR protection and more robust farming reward distribution programs; protocols can utilize multi-dimensional ZK-reputation metrics to segment users and provide a personalized UX based on an address’s on-chain footprint.
Before the introduction of the Brevis coChain AVS, Brevis operated only in a “pure-ZK” model. In this model, ZK proofs for data access and computation results are always generated upfront. Smart contract applications using the pure-ZK could only utilize these results after the on-chain verification of the ZK proofs. While the pure-ZK model provides a simple and trustless framework to work from, some dApps would prefer a solution with lower costs while maintaining strong security finality with a reasonable tradeoff on latency.
To help significantly lower the costs for many use cases, we introduced a Brevis coChain, an EigenLayer AVS that can accept coprocessing requests from smart contracts and then “optimistically” generate the coprocessing results secured by a restaking quorum. The coprocessing results are submitted to blockchains as “proposals” that can be “challenged” via Zero-Knowledge fraud proofs. If no challenge is initiated, which is likely to be the vast majority of cases, the results can be used by dApps directly without incurring ZK proof generation costs!
Security is also ensured by the overarching coChain Slashing Window which accepts ZKPs to rectify any invalid results. In addition to the significant cost reduction, the Brevis AVS also creates the opportunity for features that are fundamentally difficult to create in the “pure-ZK” model, such as proof of non-existence or proof of completeness.
Starting on Day 1, the Brevis AVS is secured by 29 operators from the decentralized EigenLayer operator ecosystem, including: 01node, 0Y, A41, Allnodes, AltLayer, Ankr, Black Sand, BwareLabs, Chorus One, CoinSummer Labs, DAIC, DSRV, Everstake, Finoa Consensus Services, Forbole, HashKey Cloud, InfStones, Kiln, Luganodes, Nethermind, Nodes.Guru, P2P.org, Pier Two, RockX, Simply Staking, Stakely, Staketab, Stakin, and Staking4All.
Brevis coChain has received a total of $1.6 billion in restaking commitments from Ether.Fi, Renzo, Swell, and Bedrock, laying a solid crypto-economic foundation to start with on mainnet.
Interested in building with Brevis? Reach out to us to explore ideas!
Brevis Network© 2023 