Layer 1 Deposits to Layer 2

Every time a state transition is applied, the update_state_verifier.circom circuit checks that that a state transition is valid. At the instantiation of your roll-up, as the sequencer you must first prime the account tree by adding two accounts:

• 0x00 address for withdrawals and burns at tree index 0