zkSync Era - 0xsanson's results

Judge has assessed an item in Issue #1127 as 2 risk. The relevant finding follows:

LOW) Wrong enforcement on bytecode version In the circuits, this enforcement is inverted

    state
        .state_get_from_queue
        .conditionally_enforce_true(cs, version_hash_matches);

It should be:

    version_hash_matches
        .conditionally_enforce_true(cs, state.state_get_from_queue);

In a future version, contracts with old version may be executed incorrectly. Line: https://github.com/code-423n4/2023-10-zksync/blob/main/code/era-zkevm_circuits/src/code_unpacker_sha256/mod.rs#L208-L210