As previously mentioned, every time a state transition is applied, the update_state_verifier.circomarrow-up-right circuit checks that that a state transition is valid
update_state_verifier.circom
Last updated 3 years ago