# Layer 2 Transacting

As previously mentioned, 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
