# Introducing LayerEdge Devnet By [LayerEdge](https://paragraph.com/@layeredge) · 2024-11-26 --- After months of dedicated development, we are thrilled to announce the launch of LayerEdge Devnet, marking a significant milestone in our vision for Bitcoin scalability through proof aggregation and efficient verification. Our Devnet represents months of focused development towards enabling cost-effective zero-knowledge proof verification on Bitcoin. ![](https://storage.googleapis.com/papyrus_images/0a4dc2893c225dcd865b275557a341be0afa5d35d050496338055a9c397f2547.png) **What is LayerEdge?** ====================== [**LayerEdge**](https://www.layeredge.io/) is the first proof aggregation layer for Bitcoin that drastically reduces verification costs. By combining multiple zero-knowledge proofs into a single aggregated proof, we achieve significant cost reduction while maintaining Bitcoin’s security guarantees. **Key benefits:** * Up to 99% reduction in verification costs through proof aggregation. * Native Bitcoin verification compatibility. * Shared computation costs across protocols. * Seamless integration with existing Bitcoin infrastructure (No dependency on Opcode changes). **About LayerEdge Devnet** ========================== The LayerEdge Devnet is a comprehensive testing environment that allows developers and users to experiment with zero-knowledge proof aggregation where final proofs settle on a public Bitcoin Signet. **What is part of our Devnet?** ------------------------------- Developers can immediately access our **proof aggregation module**, which seamlessly handles the combining of multiple proofs into one final compact aggregated proof. We’ve implemented inscribing of state transition on a [**Public Bitcoin Signet**](http://catsignet.com/). The Devnet includes a comprehensive verification layer testing framework, complemented by a straightforward **sample application for testing the verification layer**, simplifying the process of submitting proofs to the aggregation layer. To make it easier for everyone to test, we’ve prepared documentation and guides that walk through every aspect of the system. [**GitHub - Layer-Edge/verification-layer-tester**](https://github.com/Layer-Edge/verification-layer-tester?source=post_page-----cb27d50bd551--------------------------------) ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ### [Contribute to Layer-Edge/verification-layer-tester development by creating an account on GitHub.](https://github.com/Layer-Edge/verification-layer-tester?source=post_page-----cb27d50bd551--------------------------------) [https://github.com/Layer-Edge/verification-layer-tester?source=post\_page-----cb27d50bd551--------------------------------](https://github.com/Layer-Edge/verification-layer-tester?source=post_page-----cb27d50bd551--------------------------------) **What’s missing? (currently)** ------------------------------- The implementation of native Bitcoin verification using BitVM 2’s approach, is still a work in progress. This means that **LayerEdge Devnet does not yet implement native verification on Bitcoin for the final aggregated proof**. The economic framework of LayerEdge is being carefully crafted, with ongoing development of our final fee structure and economic model. Additionally, we’re building enhanced monitoring and debugging tools. A gradual rollout of the features will enable us to stress-test our proof aggregation module and identify bugs before moving on to the next phases. **Getting Started with our Devnet** ----------------------------------- [**Add a Proof to the Proof Aggregation Module & Track Aggregated Proof on Bitcoin Signet**](https://github.com/Layer-Edge/verification-layer-tester): We’ve prepared a sample application for testing which enables developers to send a ZK proof to the proof aggregation layer, and track state-transitioned aggregated proof on Bitcoin Signet. Here’s a video demonstration on interacting with the Devnet: **Vision & Impact** =================== By enabling shared verification costs across protocols, we’re making Bitcoin-secured computation accessible and cost-effective for a new generation of applications. Our proof aggregation approach means that as more protocols join the network, verification costs per protocol decrease dramatically through amortization. This network effect creates a powerful incentive for early adoption. PROOF AGGREGATION INPUT ZK PROOFS [P₁][P₂][P₃]...[Pₙ] ┄┄> Collect │ ▼ AGGREGATION [P_agg] ┄┄> Combine │ ▼ SINGLE VERIFICATION [Final P] ┄┄> Verify **Join us in bringing Efficient Verification to Bitcoin** ========================================================= By unifying computational security for ZK chains with Bitcoin’s robust PoW security, we’re creating a future where verifiable off-chain execution becomes both practical and secure, while the huge associated compute and cost is shared between all. This isn’t just about scaling; it’s about enabling a new generation of applications that can leverage Bitcoin’s security without compromise. **Get Involved:** 1. Join our [Discord](https://discord.gg/layeredge). 2. Follow us on [Twitter](https://x.com/layeredge). 3. Explore our [documentation](http://docs.layeredge.io/). 4. Start testing our [Devnet](https://github.com/Layer-Edge/verification-layer-tester) today. **Frequently Asked Questions:** =============================== * **Is ZK Verification Possible on Bitcoin; OP\_Cat Or Not** Yes, we’ve written [**a comprehensive blog on how ZK Verification if Possible on Bitcoin, Whether OP\_Cat or not.**](https://blog.layeredge.io/is-zk-verification-possible-on-bitcoin-op-cat-or-not-6d5b4614ce72) * **Is LayerEdge dependent on OP\_CAT or other Bitcoin opcode changes?** No. LayerEdge’s proof aggregation works natively on Bitcoin without requiring any protocol changes. While we can leverage future opcodes like OP\_CAT for additional optimization if they’re activated, our core functionality is completely independent of such changes. * **What is the approach to natively verify on Bitcoin without OP\_Cat?** We implement a chain of verifier functions where each function validates a portion of the aggregated proof progressively. This native verification pipeline, similar to BitVM 2’s approach, enables efficient on-chain verification without requiring opcode change, which would require exorbitant fees but since in our verification layer, cost is divided between all the integrated chains, the final cost would be significantly lower. * **How much cost reduction can protocols expect?** Protocols can expect between 90% to up to 99% reduction with current committed in verification costs through our proof aggregation system. As more protocols join the network, the cost per protocol decreases further through amortization. --- *Originally published on [LayerEdge](https://paragraph.com/@layeredge/introducing-layeredge-devnet)*