Block Finality

Block finality ensures that transactions and state changes within an L1 batch are recognized as final and irreversible. This process involves leveraging the Bitcoin blockchain for decentralized attestation and follows these steps:

• Consensus Mechanism: At the interpretation level of our system (involving the Sequencer, Verifiers and Block Explorer), an L1 batch is considered final if a majority of the Verifiers attest to the validity of the proof associated with that batch.

• Finality Determination: Once the required number of attestations indicating ZK proof validity is reached, the L1 batch is considered final. This finality ensures that the transactions and state changes within the batch are recognized as permanent and cannot be reverted.