Enforce that the cost model deserializers prior to version 9 use a list of the expected length.
encodeFoldableAsDefLenList,
encodeMap,
getVersion64,
ifDecoderVersionAtLeast,
)
import Cardano.Ledger.Binary.Coders (
Decode (Ann, D, From, Invalid, RecD, SumD, Summands),
(<!),
(<*!),
)
import Cardano.Ledger.Binary.Version (natVersion)
import Cardano.Ledger.Coin (Coin (..))
import Cardano.Ledger.Core
import Cardano.Ledger.Crypto (Crypto)
getCostModelParams (CostModel _ cm _) = cm
decodeCostModelMap :: Decoder s (Map Language CostModel)
decodeCostModelMap = decodeMapByKey fromCBOR decodeCostModel
decodeCostModelMap =
ifDecoderVersionAtLeast
(natVersion @9)
(decodeMapByKey fromCBOR decodeCostModel)
(decodeMapByKey fromCBOR legacyDecodeCostModel)
-- | Prior to version 9, each 'CostModel' was expected to be serialized as
-- an array of integers of a specific length (depending on the version of Plutus).
-- Starting in version 9, we allow the decoders to accept lists longer than what they
-- require, so that new fields can be added in the future.
-- For this reason, we must hard code the length expectation into the deserializers
-- prior to version 9.
--
-- Note that the number of elements in the V1 and V2 cost models
-- may change in the future, they are only fixed prior to version 9.
--
-- See https://github.com/input-output-hk/cardano-ledger/issues/2902
legacyCostModelLength :: Language -> Int
legacyCostModelLength PlutusV1 = 166
legacyCostModelLength PlutusV2 = 175
-- | See the note for 'legacyCostModelLength'.
legacyDecodeCostModel :: Language -> Decoder s CostModel
legacyDecodeCostModel lang = do
values <- fromCBOR
let numValues = length values
expectedNumValues = legacyCostModelLength lang
when (length values /= expectedNumValues) $
fail $
"Expected array with "
<> show expectedNumValues
<> " entries, but encoded array has "
<> show numValues
<> " entries."
case mkCostModel lang values of
Left e -> fail $ show e
Right cm -> pure cm
decodeCostModel :: Language -> Decoder s CostModel
decodeCostModel lang = do
import Cardano.Ledger.Allegra.Scripts
import Cardano.Ledger.Alonzo (Alonzo)
import Cardano.Ledger.Alonzo.Scripts (CostModels)
import Cardano.Ledger.Alonzo.Scripts.Data (Data)
import Cardano.Ledger.Alonzo.TxWits (AlonzoTxWits, Redeemers)
import Cardano.Ledger.Core
, cddlTest @(PParamsUpdate Alonzo) (eraProtVerHigh @Alonzo) n "protocol_param_update"
, cddlAnnotatorTest @(Redeemers Alonzo) (eraProtVerHigh @Alonzo) n "[* redeemer]"
, cddlAnnotatorTest @(Tx Alonzo) (eraProtVerHigh @Alonzo) n "transaction"
, cddlTest @CostModels (eraProtVerHigh @Alonzo) n "costmdls"
]
<*> pure cddl
/ 1 ; Plutus v2
costmdls =
{ ? 0 : [ 166*166 int ] ; Plutus v1
, ? 1 : [ 175*175 int ] ; Plutus v2
{ ? 0 : [ 166* int ] ; Plutus v1, only 166 integers are used, but more are accepted (and ignored)
, ? 1 : [ 175* int ] ; Plutus v2, only 175 integers are used, but more are accepted (and ignored)
}
transaction_metadatum =
Co-authored-by: Sebastien Guillemot <[email protected]>
![iohk-bors[bot]](https://avatars.githubusercontent.com/in/17473?v=4&s=80)
5018: Use ouroboros-network-0.3.0.2 and ouroboros-network-framework-0.2.0.1 r=dermetfan a=coot Co-authored-by: Marcin Szamotulski <[email protected]> Co-authored-by: Samuel Leathers <[email protected]>
Waiting for a day, at a pace of one block every 20 seconds would generate 4320 blocks which takes forever to be created and processes, even in IO sim. We don't really observe the issue now because we cheat in the way we generate the block. This commit helps preparing for a more realistic block generation.
Everyone collects after observing the last commit
That way, we try to get closer to an actual block production pattern.
