Function simplicity_issuance_hash

src/simplicity/elements/elementsJets.c:1275–1313

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

/* issuance_hash : TWO^32 |- S TWO^256 */
bool simplicity_issuance_hash(frameItem* dst, frameItem src, const txEnv* env) {
  uint_fast32_t i = simplicity_read32(&src);
  if (writeBit(dst, i < env->tx->numInputs)) {
    const assetIssuance* issuance = &env->tx->input[i].issuance;
    sha256_midstate midstate;
    sha256_context ctx = sha256_init(midstate.s);
    if (NO_ISSUANCE == issuance->type) {
      sha256_uchar(&ctx, 0);
      sha256_uchar(&ctx, 0);
      sha256_uchar(&ctx, 0);
      sha256_uchar(&ctx, 0);
      sha256_hash(&ctx, &issuance->assetRangeProofHash);
      sha256_hash(&ctx, &issuance->tokenRangeProofHash);
      sha256_uchar(&ctx, 0);
    } else {
      simplicity_sha256_confAsset(&ctx, &(confidential){ .prefix = EXPLICIT, .data = issuance->assetId});
      simplicity_sha256_confAmt(&ctx, &issuance->assetAmt);
      simplicity_sha256_confAsset(&ctx, &(confidential){ .prefix = EXPLICIT, .data = issuance->tokenId});
      simplicity_sha256_confAmt(&ctx, NEW_ISSUANCE == issuance->type
                                         ? &issuance->tokenAmt
                                         : &(confAmount){ .prefix = EXPLICIT, .explicit = 0});
      sha256_hash(&ctx, &issuance->assetRangeProofHash);
      sha256_hash(&ctx, &issuance->tokenRangeProofHash);
      sha256_uchar(&ctx, 1);
      if (NEW_ISSUANCE == issuance->type) {
        sha256_uchars(&ctx, (unsigned char[32]){0}, 32);
        sha256_hash(&ctx, &issuance->contractHash);
      } else {
        sha256_hash(&ctx, &issuance->blindingNonce);
        sha256_hash(&ctx, &issuance->entropy);
      }
    }
    sha256_finalize(&ctx);
    writeHash(dst, &midstate);
  } else {
    skipBits(dst, 256);
  }
  return true;
}

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