Request for Comments for the A New Check Transactions Opcode TZIP.
The Michelson details in the TZIP seem to be incorrect.
IS_TX_INCLUDED :: key : nat : 'S -> bool : 'S
and
IS_TX_INCLUDED int 5;
should read:
IS_TX_INCLUDED :: operation_hash : 'S -> bool : 'S
and
IS_TX_INCLUDED;
based on the draft MR?
An interesting side effect of this, I think, is that it will enable smart contracts to verify a “proof” of the block hash which is the branch of the operation, providing a workaround for the absence of BLOCK_HASH. This in turn enables proofs of the context hash, and so also any data in the context.
Thank you @tom for the feedback.
Indeed, the TZIP needed the update as per the implementation. Just made the changes.