Damian Nadales
Damian Nadales
## Background We should check that transactions have have an non-canonical encoding are rejected by the ledger layer. ## Proposed Solution We could modify the abstract signature defined in `cardano-ledger-specs`:...
## Background https://github.com/input-output-hk/cardano-ledger/pull/569 introduced `ToCBOR` and `FromCBOR` instances for `ChainValidationState`. However these instances do not have tests. ## Proposed Solution Write tests.
At the moment we check that both the concrete and abstract validation (specs) agree on the result. However we should check that the concrete failure corresponds (via abstraction) with the...
## Background At the moment the maximum sizes of the protocol parameters are `Natural`s: ```haskell , ppMaxBlockSize :: !Natural , ppMaxHeaderSize :: !Natural , ppMaxTxSize :: !Natural , ppMaxProposalSize ::...
Use the [`Relation`](https://github.com/input-output-hk/cardano-ledger-specs/blob/ed8424e9a85b9a3be44bb72e69a404426c7e334f/byron/ledger/executable-spec/src/Ledger/Core.hs) class defined by @nc6 in `cardano-ledger-specs` whenever we implement the domain restriction, exclusion, and similar operations from the spec. _Originally posted by @dnadales in https://github.com/input-output-hk/cardano-ledger/pull/407_
[`doctests`](http://hackage.haskell.org/package/doctest) allows to document and test the code by means of examples. This is quite useful as it: - contributes to a better documentation - provides a convenient and easy...
With the introduction of UTxO HD the `LedgerState` type family gained an extra parameter: ```haskell data family LedgerState blk :: LedgerStateKind type MapKind = {- key -} Type -> {-...
The functions and types that are defined in `Ledger.Basics` can be somewhat specialized and allow for more precise constraints on several functions. In particular, we are referring to the rework...
Until now we have only had the UTxO table on the UTxO-HD prototype. In the foreseeable future, we will add more tables to the implementation, possibly delegations. We should add...
- [ ] Write tests for all the Cardano transitions. - [x] Byron to Shelley - [ ] Shelley to Allegra - [ ] Allegra to Mary - [ ]...