> For the complete documentation index, see [llms.txt](https://battlezips.gitbook.io/battlezips/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://battlezips.gitbook.io/battlezips/examples/rollupnc/layer-1-deposits-to-layer-2.md).

# Layer 1 Deposits to Layer 2

Every time a state transition is applied, the [`update_state_verifier.circom`](https://github.com/BattleZips/RollupNC/blob/master/zk/circuits/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
*