fn make_public_input( step_statement: &StepStatement, messages_for_next_step_proof_hash: [u64; 4], messages_for_next_wrap_proof_hash: &[[u64; 4]], ) -> Vec<Fp> ⓘ