Function audit_psbt

bitcoin/psbt.c:129–174

}

void audit_psbt(const tal_t *ctx, const struct wally_psbt *psbt)
{
	assert(psbt);
	assert(NULL_OR_MATCH_P(psbt->tx, ctx));
	assert(NULL_OR_MATCH_P(psbt->inputs, ctx));
	assert(NULL_OR_MATCH_P(psbt->outputs, ctx));
	audit_map(ctx, &psbt->unknowns);
	audit_map(ctx, &psbt->global_xpubs);
#ifndef WALLY_ABI_NO_ELEMENTS
	audit_map(ctx, &psbt->global_scalars);
#endif
	for (size_t i = 0; i < psbt->num_inputs; i++) {
		assert(NULL_OR_MATCH_P(psbt->inputs[i].utxo, ctx));
		assert(NULL_OR_MATCH_P(psbt->inputs[i].witness_utxo, ctx));
		assert(NULL_OR_MATCH_P(psbt->inputs[i].final_witness, ctx));
		audit_map(ctx, &psbt->inputs[i].keypaths);
		audit_map(ctx, &psbt->inputs[i].signatures);
		audit_map(ctx, &psbt->inputs[i].unknowns);
		audit_map(ctx, &psbt->inputs[i].preimages);
		audit_map(ctx, &psbt->inputs[i].psbt_fields);
		audit_map(ctx, &psbt->inputs[i].taproot_leaf_signatures);
		audit_map(ctx, &psbt->inputs[i].taproot_leaf_scripts);
		audit_map(ctx, &psbt->inputs[i].taproot_leaf_hashes);
		audit_map(ctx, &psbt->inputs[i].taproot_leaf_paths);
		/* DTODO: Investigate if taproot wally maps have child maps */
#ifndef WALLY_ABI_NO_ELEMENTS
		assert(NULL_OR_MATCH_P(psbt->inputs[i].pegin_tx, ctx));
		assert(NULL_OR_MATCH_P(psbt->inputs[i].pegin_witness, ctx));
		audit_map(ctx, &psbt->inputs[i].pset_fields);
#endif
	}
	for (size_t i = 0; i < psbt->num_outputs; i++) {
		assert(NULL_OR_MATCH_P(psbt->outputs[i].script, ctx));
		assert(psbt->outputs[i].script_len
			== tal_bytelen(psbt->outputs[i].script));
		audit_map(ctx, &psbt->outputs[i].keypaths);
		audit_map(ctx, &psbt->outputs[i].unknowns);
		audit_map(ctx, &psbt->outputs[i].psbt_fields);
		audit_map(ctx, &psbt->outputs[i].taproot_tree);
		audit_map(ctx, &psbt->outputs[i].taproot_leaf_hashes);
		audit_map(ctx, &psbt->outputs[i].taproot_leaf_paths);
#ifndef WALLY_ABI_NO_ELEMENTS
		audit_map(ctx, &psbt->outputs[i].pset_fields);
#endif
	}
}

bool psbt_is_finalized(const struct wally_psbt *psbt)
{