Dive Deeper

If you're interested in contributing to BeL2 development:

Explore our GitHub repositories:

• Core Technology: https://github.com/BeL2Labs/BTCVerifier
• ZKP Contracts: https://github.com/BeL2Labs/zkproof-demo-contracts
• BTC Transaction Verifier: https://github.com/BeL2Labs/BtcTxVerifier

Key components to integrate:

• Cairo Circuit: Used for generating and verifying BTC transaction proofs
• EVM ZKP Contract: For verifying BTC transactions in your smart contracts
• ZKP BTC Transaction Verifier: Enables easy verification of BTC transactions in your dApps
• BTC Oracle: For transmitting proof information into Layer 2 smart contracts

Testing and deployment:

• Information on testnet environments
• Guidelines for mainnet deployment