Function simplicity_output_nonce

src/simplicity/elements/elementsJets.c:403–411

output_nonce : TWO^32 |- S (S (Conf TWO^256)) */

/* output_nonce : TWO^32 |- S (S (Conf TWO^256)) */
bool simplicity_output_nonce(frameItem* dst, frameItem src, const txEnv* env) {
  uint_fast32_t i = simplicity_read32(&src);
  if (writeBit(dst, i < env->tx->numOutputs)) {
    nonce(dst, &env->tx->output[i].nonce);
  } else {
    skipBits(dst, 259);
  }
  return true;
}

/* output_script_hash : TWO^32 |- S TWO^256 */
bool simplicity_output_script_hash(frameItem* dst, frameItem src, const txEnv* env) {