Function simplicity_output_hash

src/simplicity/elements/elementsJets.c:1116–1133

output_hash : TWO^32 |- S TWO^256 */

/* output_hash : TWO^32 |- S TWO^256 */
bool simplicity_output_hash(frameItem* dst, frameItem src, const txEnv* env) {
  uint_fast32_t i = simplicity_read32(&src);
  if (writeBit(dst, i < env->tx->numOutputs)) {
    const sigOutput* output = &env->tx->output[i];
    sha256_midstate midstate;
    sha256_context ctx = sha256_init(midstate.s);
    simplicity_sha256_confAsset(&ctx, &output->asset);
    simplicity_sha256_confAmt(&ctx, &output->amt);
    simplicity_sha256_confNonce(&ctx, &output->nonce);
    sha256_hash(&ctx, &output->scriptPubKey);
    sha256_hash(&ctx, &output->rangeProofHash);
    sha256_finalize(&ctx);
    writeHash(dst, &midstate);
  } else {
    skipBits(dst, 256);
  }
  return true;
}

/* input_outpoints_hash : ONE |- TWO^256 */
bool simplicity_input_outpoints_hash(frameItem* dst, frameItem src, const txEnv* env) {