After months of dedicated development, we are excited to announce the official launch of the LayerEdge Devnet. This marks a major step forward in our mission to enhance Bitcoin’s scalability through advanced proof aggregation and efficient verification mechanisms. The Devnet offers developers a robust environment to experiment with and build upon cost-effective zero-knowledge proof verification directly on the Bitcoin network.
What is LayerEdge?
LayerEdge is the first proof aggregation layer built for Bitcoin, designed to significantly reduce verification costs. By intelligently combining multiple zero-knowledge proofs into a single aggregated proof, LayerEdge minimizes on-chain verification overhead while fully preserving Bitcoin's native security guarantees.
Key benefits include:
- Up to 99% reduction in verification costs through proof aggregation.
- Full compatibility with native Bitcoin verification mechanisms.
- Shared computation costs across multiple protocols.
- Seamless integration with existing Bitcoin infrastructure—no dependency on future opcode changes.
Exploring the LayerEdge Devnet
The LayerEdge Devnet is a comprehensive testing environment that enables developers and users to experiment with zero-knowledge proof aggregation, with final proofs settling on a public Bitcoin Signet.
What’s Included in the Devnet?
Developers can immediately access several core components:
- A proof aggregation module that seamlessly combines multiple proofs into a single compact proof.
- Inscription of state transitions on a public Bitcoin Signet.
- A complete verification layer testing framework.
- A sample application for testing the verification layer, simplifying proof submission to the aggregation layer.
- Detailed documentation and step-by-step guides to help users navigate the system.
👉 Explore the proof aggregation tools
Current Limitations
It’s important to note a few features still under active development:
- Native Bitcoin verification using BitVM 2’s approach is a work in progress. As such, the Devnet does not yet support native verification of the final aggregated proof on Bitcoin.
- The economic model and fee structure are being refined.
- Enhanced monitoring and debugging tools are in development.
A gradual rollout of features will allow thorough stress-testing and bug identification before advancing to later phases.
How to Get Started
We’ve prepared a sample application to help developers quickly familiarize themselves with the Devnet. This tool allows you to send a ZK proof to the proof aggregation layer and track the state-transitioned aggregated proof on Bitcoin Signet.
👉 Start testing with the sample application
A video demonstration is also available to guide you through interacting with the Devnet.
Vision and Broader Impact
Our goal is to make Bitcoin-secured computation accessible and affordable for a new generation of decentralized applications. By enabling shared verification costs across multiple protocols, LayerEdge drives down expenses for all participants.
As more protocols join the network, verification costs per protocol decrease dramatically due to amortization. This creates a powerful network effect that rewards early adopters.
The process can be visualized as follows:
- Proof Aggregation Input: Multiple ZK proofs (P₁, P₂, P₃,… Pₙ) are collected.
- Aggregation: These are combined into a single aggregated proof (P_agg).
- Single Verification: The final proof is verified in one efficient step.
This streamlined workflow drastically reduces computational redundancy and cost.
Join the Movement Toward Efficient Bitcoin Verification
By unifying ZK chain security with Bitcoin’s proven proof-of-work model, we are paving the way for verifiable off-chain execution that is both practical and secure. This isn’t just about scaling—it’s about empowering a new class of applications that leverage Bitcoin’s security without compromise.
Frequently Asked Questions
What is proof aggregation?
Proof aggregation is a technique that combines multiple zero-knowledge proofs into a single proof. This dramatically reduces the cost and time required for on-chain verification while maintaining security.
Is LayerEdge dependent on OP_CAT or other Bitcoin opcode changes?
No. LayerEdge is designed to work natively on Bitcoin without requiring any protocol changes. While future opcodes like OP_CAT could offer additional optimizations, they are not necessary for core functionality.
How does native verification work without OP_CAT?
We use a chain of verifier functions where each validates a portion of the proof progressively. This approach, similar to BitVM 2, enables efficient on-chain verification without opcode changes.
How much can protocols save on verification costs?
Protocols can expect between 90% to 99% reduction in verification costs. These savings increase as more protocols join the network and costs are amortized.
Is ZK verification possible on Bitcoin today?
Yes. Techniques such as progressive verification and proof aggregation make it feasible to verify ZK proofs on Bitcoin even without new opcodes.
Who can use the LayerEdge Devnet?
Developers, researchers, and teams building ZK-based applications on Bitcoin can use the Devnet to test proof aggregation and contribute to the ecosystem.