1/9
Bitlayer V2, a major upgrade to Bitlayer's Layer 2 infrastructure, is coming soon...
As a Bitcoin native rollup, Bitlayer V2 will supersede the current sidechain design.
Bitlayer V2 is our big move in pursuing Bitcoin-equivalent security and programmability beyond scripting.
2/9
Bitlayer V2 offers several core features:
- EVM-Compatible: EVM applications running on Bitlayer V1 continue to work
- Finality Bridge: a trust-minimized two-way peg BTC bridge, superseding the multi-sig one
- Bitcoin-Equivalent Security: both the bridge and EVM state transitions are verified on Bitcoin through a cutting-edge fraud-proof gadget
- Flexible Data Availability Options: users may select either Bitcoin native DA or third-party DA based on their individual preferences.
3/9
Finality Bridge is built based on the BitVM paradigm, which employs a front-and-reimburse workflow to facilitate pre-signing-based covenant emulation in conjunction with L1 verification of the bridge state transition.
All wBTCs in Bitlayer V2 will be minted through Finality Bridge, and are guaranteed to be backed by L1 BTCs. DeFi applications can take wBTC in without worrying about the validity of assets. Combined with atomic swaps, users can move BTC between Bitcoin and Bitlayer trustless.
4/9
The groundbreaking rollup protocol in Bitlayer V2 is the first in its field. In its kernel lies a recursive covenant, which maintains rollup state updates and verifies state transitions through an ingenious verification gadget built around a combination of ZK proofs and fraud proofs.
5/9
Our zkVM generates ZK proofs for state transitions in Bitlayer V2, which cover:
▶️ The STF program is correct
▶️ The STF of the current batch is correct
▶️ All STFs of previous batches are correct
▶️ Data availability of the current STF is ready
▶️ Bitcoin block at some height is finalized and witness data in the block is correct
▶️ Forced transactions are correctly extracted from the Bitcoin block and included in the rollup block
One proof to rule them ALL!
6/9
To verify ZK proofs on Bitcoin, the ZK verifier is cut into multiple segments, each of which meets Bitcoin runtime constraints and can be hosted in a single transaction. The compiler conducts segmenting through AST splitting. The segments are then linked using bit commitments to form a complete and consistent covenant.
7/9
Bitlayer is committed to enhancing the system's liveness to the greatest extent possible. Bitlayer V2 is also a fully decentralized system. If the rollup operator fails, other operators will assume responsibility for submitting rollup batches.
8/9
Bitlayer V2 provides users with flexible data availability options. Users may elect to utilize either Bitcoin native DA, which offers the highest level of security, or third-party DA, which provides a much lower cost alternative with a minor compromise in security.
9/9
Bitlayer V2 represents a monumental leap forward in Bitcoin scaling technology. It opens new horizons for developers and users alike, fostering innovation and expanding what's possible on the Bitcoin network.
We invite you to explore Bitlayer V2 and contribute to the evolution of a more scalable, secure, and programmable Bitcoin ecosystem.
Visit
bitlayer.org for more information, and gain access to our latest documentation.
Retweet:
https://x.com/bitlayerlabs/status/1840654132723814890?s=46