Get rid of ExpectedBox by noticing that it's same as InputBoxRef where proof is replaced with sigma expression. So we could just make type of "proof" type parameter to InputBoxRef
Introduce type GTx which unify both Tx ~ GTx Proof Box and PreTx a ~ GTx a PreBox. Tx is provided as type synonym.
Use crypto-hashable machinery for calculation of TxId & BoxId
Get rid of
ExpectedBoxby noticing that it's same asInputBoxRefwhere proof is replaced with sigma expression. So we could just make type of "proof" type parameter to InputBoxRefIntroduce type
GTxwhich unify bothTx ~ GTx Proof BoxandPreTx a ~ GTx a PreBox.Txis provided as type synonym.Use crypto-hashable machinery for calculation of TxId & BoxId