Function make_unsigned_proof_

common/bolt12_proof.c:56–167

}

struct tlv_payer_proof *make_unsigned_proof_(const tal_t *ctx,
					     const struct tlv_invoice *inv,
					     const struct preimage *preimage,
					     const char *note,
					     bool (*include_field)(const struct tlv_field *f, void *),
					     void *arg)
{
	size_t last_type = 0, len;
	struct sha256 *leaf_hashes, merkle;
	struct creator creator;
	struct tlv_payer_proof *pptlv;
	struct tlv_field *included;
	bigsize_t *omitted;
	u8 *tlvstream;
	struct sha256_ctx lnnonce_ctx;

	/* Calculates (H("LnNonce"||TLV0,...) ready for calc_nonce */
	bolt12_lnnonce_ctx(&lnnonce_ctx, &inv->fields[0]);

	included = tal_arr(tmpctx, struct tlv_field, 0);
	leaf_hashes = tal_arr(tmpctx, struct sha256, 0);
	omitted = tal_arr(tmpctx, bigsize_t, 0);

	/* BOLT-payer_proof #12:
	 * - For each non-signature TLV in the invoice in ascending-type order:
	 */
	for (size_t i = 0; i < tal_count(inv->fields); i++) {
		const struct tlv_field *f = &inv->fields[i];

		if (is_tlv_signature_field(f))
			continue;

		/* BOLT-payer_proof #12:
		 *   - If the field is to be included in the payer_proof:
		 *     - MUST copy it into the payer_proof.
		 *   - MUST append the nonce (H("LnNonce"||TLV0,type)) to
		 *     `proof_leaf_hashes`.
		 */
		if (include_field(f, arg)) {
			struct sha256 hash;
			tal_arr_expand(&included, *f);
			bolt12_calc_nonce(&lnnonce_ctx, f->numtype, &hash, NULL);
			tal_arr_expand(&leaf_hashes, hash);
			last_type = f->numtype;
			continue;
		}
		/* BOLT-payer_proof #12:
		 *   - otherwise, if the TLV type is not zero:
		 *     - MUST append a *marker number* to `proof_omitted_tlvs`
		 *       - If the previous TLV type was included:
		 *         - The *marker number* is that previous tlv type,
		 *           plus one.
		 *       - Otherwise, if `proof_omitted_tlvs` is empty:
		 *         - The *marker number* is 1.
		 *       - Otherwise:
		 *         - The *marker number* is one greater than the last
		 *           `proof_omitted_tlvs` entry.
		 */