Check transactions TZIP

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.