In V1 and V2, the Value used in a mint field of a TxInfo must contain a zero Ada value, and any other currencies it contains should be positive. In V3, this changed: now the zero Ada entry is implicit. Our generators currently don't take account of this, and the V3 ledger equivalent is technically less strict than it could be due to this: it currently assumes NoGuarantees, but it could assume Positive.
In V1 and V2, the
Value
used in amint
field of aTxInfo
must contain a zero Ada value, and any other currencies it contains should be positive. In V3, this changed: now the zero Ada entry is implicit. Our generators currently don't take account of this, and the V3 ledger equivalent is technically less strict than it could be due to this: it currently assumesNoGuarantees
, but it could assumePositive
.