Architecture Overview

BeL2's architecture is designed to integrate Bitcoin with other blockchain networks while maintaining Bitcoin's security and decentralization. Here's a high-level overview of the key components:

Transaction Verifier Contract

This smart contract on EVM-compatible chains receives and processes requests to verify Bitcoin transactions. It stores a list of verified transactions, allowing other contracts to know when a Bitcoin transaction has been confirmed.

https://github.com/BeL2Labs/zkproof-demo-contracts https://github.com/BeL2Labs/BtcTxVerifier

Cairo Circuit

This is the core technology used to generate and verify Bitcoin transaction proofs. It's essential for creating zero-knowledge proofs that can be verified on other chains.

https://github.com/BeL2Labs/BTCVerifier

Arbitrator Network

This network of nodes facilitates the transmission of data and proofs between the Bitcoin network and other blockchains.

https://github.com/BeL2Labs/Loan_Arbiter

zkBTC Full Nodes

These specialized nodes can run on ordinary hardware (even mobile phones) and provide full Bitcoin node functionality with the added benefit of zero-knowledge proofs.

This architecture allows BeL2 to create a robust ecosystem where Bitcoin can interact with smart contract platforms, enabling a wide range of applications while maintaining the highest levels of security and decentralization.

https://github.com/BeL2Labs/zkBVM

By understanding these core concepts and architectural components, you can appreciate how BeL2 is pushing the boundaries of what's possible with Bitcoin, opening up new horizons for decentralized finance and blockchain interoperability.