Verifier: Data
Validates the data component of a transaction proof is properly formatted.
The data field in an unsigned transaction is a list of the unique state elements that are being consumed by the inputs. Since the key for these state elements (a hash) commits to sufficient information to verify their values, we simply need to provide the preimage to each hash.
For each provided state element stateElement
and each data data
in the list of proof data proof.data
:
- The hash of
stateElement
must matchdata
.
Note that stateElement
can come in different types, depending on the type of the input (i.e. what is being spent).