graph TD;
    subgraph Bitcoin Layer
    B[Bitcoin Layer]
    H[Taproot/MAST Address]
    end

    subgraph L2 Components
    C[PoS Validators with Full Bitcoin Nodes]
    I[L2 Consensus for Transaction Ordering]
    D[Sharded Execution in L2]
    E[Provers in L2]
    G[Signers - ROAST Protocol]
    end

    A[User] -->|Lock funds| H
    H -->|Observed by PoS Validators| C
    C -->|Propose transactions to L2 Consensus| I
    I -->|Order transactions| D
    A -->|Perform L2 operations: swaps, cross-chain ops| D
    C -->|Create cross-chain Bitcoin deposit| D
    D -->|Generate ZK proof of operations| E
    D -->|Output transactions, eg. withdrawals, etc.| G
    G -->|Process and send transactions via FROST| H
    H -->|Restaking: Eigenlayer/Babylon| F[Eigenlayer/Babylon Restaking]
    E -->|Commit proofs to Bitcoin. Once per Epoch| H
    F -->|Get and verify proofs from Bitcoin| E

    style B fill:#f9f,stroke:#333,stroke-width:4px
    style H fill:#f9f,stroke:#333,stroke-width:4px
    style C fill:#ccf,stroke:#333,stroke-width:2px
    style I fill:#ccf,stroke:#333,stroke-width:2px
    style D fill:#ccf,stroke:#333,stroke-width:2px
    style E fill:#ccf,stroke:#333,stroke-width:2px
    style G fill:#ccf,stroke:#333,stroke-width:2px
    style F fill:#ccf,stroke:#333,stroke-width:2px