Function simplicity_input_hash

src/simplicity/elements/elementsJets.c:1210–1237

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

/* input_hash : TWO^32 |- S TWO^256 */
bool simplicity_input_hash(frameItem* dst, frameItem src, const txEnv* env) {
  uint_fast32_t i = simplicity_read32(&src);
  if (writeBit(dst, i < env->tx->numInputs)) {
    const sigInput* input = &env->tx->input[i];
    sha256_midstate midstate;
    sha256_context ctx = sha256_init(midstate.s);
    if (input->isPegin) {
      sha256_uchar(&ctx, 1);
      sha256_hash(&ctx, &input->pegin);
    } else {
      sha256_uchar(&ctx, 0);
    }
    sha256_hash(&ctx, &input->prevOutpoint.txid);
    sha256_u32be(&ctx, input->prevOutpoint.ix);
    sha256_u32be(&ctx, input->sequence);
    if (input->hasAnnex) {
      sha256_uchar(&ctx, 1);
      sha256_hash(&ctx, &input->annexHash);
    } else {
      sha256_uchar(&ctx, 0);
    }
    sha256_finalize(&ctx);
    writeHash(dst, &midstate);
  } else {
    skipBits(dst, 256);
  }
  return true;
}

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