See: https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/main/zkevm-circuits/src/tx_circuit/sign_verify.rs#L395-L398 left in the last refactor.