search

IntersectMBO / cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.
Apache License 2.0
258 stars 158 forks source link

Review all uses of unbounded numbers #1432

Closed nc6 closed 3 months ago

nc6 commented 4 years ago

We use Natural/Integer in various places in the spec, most likely for consistency with the formal spec. But this is a little annoying for implementation, where we'd like to make assumptions about the maximum size. Consider whether we can replace these with bounded types.

lehins commented 3 months ago

All protocol parameters have been switched to bounded types. To my knowledge there are no unbounded types anymore that can be provided by the user, with a natural exception of Plutus' Data and TxAuxData's Metadata.