Closed aszepieniec closed 3 months ago
RemovalRecordsIntegrity :: (transaction_kernel_mast_hash : Digest) ⟶ (inputs_salted_utxos_hash : Digest)
Is the RemovalRecordsIntegrity
program supposed to output something? I don't see that being the case currently. But maybe that's just in the pipeline?
RemovalRecordsIntegrity :: (transaction_kernel_mast_hash : Digest) ⟶ (inputs_salted_utxos_hash : Digest)
Is the
RemovalRecordsIntegrity
program supposed to output something? I don't see that being the case currently. But maybe that's just in the pipeline?
Yes, although an equally valid design would have been to take input_salted_utxos_hash
as an argument and authenticate it. We still need to update the code.