Layer 2 Transacting

As previously mentioned, every time a state transition is applied, the update_state_verifier.circom circuit checks that that a state transition is valid