Skip to main content

Core Concepts

Bitcoin Interoperability​

Traditionally, Bitcoin has been isolated from the broader blockchain ecosystem due to its limited scripting capabilities. BeL2 bridges this gap by enabling Bitcoin to communicate and interact with other blockchain networks using zero-knowledge Proofs and Solidity on EVM compatible chains.

  • BeL2 allows proofs of Bitcoin transactions to trigger actions on other blockchains.
  • It unlocks Bitcoin's value and security in cross-chain applications.
  • Interoperability is achieved without moving Bitcoin off its main network, preserving its simplicity and security.

Smart Contract Integration​

While Bitcoin's simple scripting language has been a cornerstone of its security, it has limited its ability to support complex applications. BeL2 solves this by enabling indirect programmability of Bitcoin through smart contract integration.

  • Zero-knowledge proofs of Bitcoin transactions is used as input to enable smart contract interactions on other chains.
  • Smart contracts can initiate actions that affect Bitcoin holdings.
  • This integration opens up a world of applications powered and funded by Bitcoin collateral.

Zero-Knowledge Proofs (ZKP)​

At the heart of BeL2's technology are zero-knowledge proofs. These cryptographic methods allow one party (the prover) to prove to another party (the verifier) that a statement is true, without revealing any information beyond the validity of the statement itself.

  • ZKPs ensure the integrity of Bitcoin transactions when interacting with other chains.
  • They allow for efficient verification of Bitcoin transactions.
  • BeL2 uses advanced ZKP systems built with Cairo circuits to generate and verify Bitcoin transaction proofs.

ZKP Block Explorer​

See the live view of the ZKP service verification here: https://scan.bel2.org/ It shows the blocks verified with ZKP and which proof is being generated.

When a block has been verified you can:

  • download raw verification files, inputs and outputs, used by ZKP.
  • click a verify button, which verifies the ZKPs using WASM, from the browser.
  • view the raw inputs and outputs.

Light Client Verification Solution ( BtcTxVerifier?)​

BeL2's Light Client Verification Solution is an innovative approach to verifying Bitcoin transactions on other blockchains.

  • Requires minimal data compared to full node verification
  • Uses zero-knowledge proofs to ensure validity
  • Can be implemented on various blockchain platforms

NB Settlement Layer

The Native Bitcoin Settlement Layer​

The Native Bitcoin Settlement Layer is a core component of BeL2's architecture. It allows Bitcoin to serve as the settlement layer for complex financial transactions and applications, similar to how gold functioned in the traditional financial system.

  • Bitcoin remains on its main network, ensuring maximum security.
  • Bitcoin can be used as collateral to back stablecoins, loans, and allow Bitcoin holders to participate in other DeFi activities.
  • It introduces the concept of "Native Bitcoin DeFi," where Bitcoin can be used in decentralized finance without wrapping or synthetic representations.

NB Settlement Layer