fixed prover and verifier to outcome_check:opened_output_commitments