TL;DR
We are thrilled to announce that we are one of NEBRA’s first partners and are excited to be working with them! Brevis is integrating with NEBRA’s Universal Proof Aggregation (UPA) technology, which will take multiple ZK proofs generated from Brevis’s ZK coprocessing and aggregate them into a single proof for verification on-chain. Thus significantly reducing end-to-end proof verification costs.
Scaling ZKP Verification
One of the challenges of utilizing ZK proofs is the verification costs at scale. It is exciting to see multiple solutions to this challenge being proposed, NEBRA’s proof aggregation approach being one of these. By using zero knowledge proofs themselves to scale zero knowledge proof verification. This means they can recursively prove multiple zero-knowledge proofs off-chain, and verify only a single aggregated proof on-chain.
As a ZK coprocessor, Brevis generates a large amount of ZK proofs based on historical on-chain data. One example of this is to use Uniswap V4 hooks and Brevis to provide data-driven DEX experiences, such as VIP or loyalty programs based on trader volume or other metrics. By integrating with NEBRA, it brings down the ZK proof verification cost as well. This will help make Brevis one of the most cost-efficient ZK coprocessors available.
More specifically, NEBRA UPA is able to aggregate multiple ZK proofs (from different parties, applications etc) into a single aggregated proof on-chain. By using NEBRA UPA as the shared settlement layer of the proofs, the proof verification cost is amortized among different parties and can bring the proof verification cost down by 10x on both Ethereum and its L2s.
We are thrilled to be working with NEBRA and will continue to support NEBRA’s endeavor to move towards a scalable and efficient proof-based future and look forward to our future collaborations!
About NEBRA
NEBRA is a research & development organization working to make the zero-knowledge future a reality. We research and build technologies, infrastructure, and products to facilitate the mass adoption of zero-knowledge proofs.
Learn more here: Website
About Brevis
Brevis is a smart ZK coprocessor that empowers smart contracts to read the full historical on-chain data from any chain and run customizable computations in a completely trust-free way.
Brevis can trustlessly read the states, transactions, and receipts of any time frame. It efficiently runs computations on data of any size: as the data to prove increases in size, Brevis significantly reduces the per unit cost and time for proof generation. Additionally, Brevis seamlessly verifies Zero-Knowledge (ZK) proofs on any blockchain, providing a unified and trustless user experience for decentralized applications (dApps) operating across multiple chains.
Brevis empowers data-rich use cases including data-driven DeFi, user-segment optimized live-ops features, zkBridges, zkDID, and smart-contract native risk control, all executed in a trustless manner.
Dive Deeper into Brevis:
🌐Website | 🗨️Telegram | 🐦X | 🎮Demo | 📘SDK Docs
Brevis Network© 2023 