Alexey Kuleshevich
Alexey Kuleshevich
Currently we force pulser prior to serializing the result. This has couple of downsides: * This sometimes results in a massive computation at an arbitrary point, especially at the beginning...
It is counterproductive to uncompact the value in order to store it on disk in the ledger state. There is not really requirement for TxOut to be serialized in the...
We are switching ledger codebase to use `hspec` throughout almost all packages. `small-steps-test` needs to be switched to `hspec`
There are many predicate failures that contain either a Set or a list of offending elements. It is almost always the case that they contain at least element, which is...
There is a one line sentence in the CIP-1694 that: > It [the deposit] will also be counted towards the stake of the reward address it will be paid back...
Current binary format for witnesses has some issues: * It allows duplicates, which are just discarded * It uses list syntax, where all of them are either sets or maps...
`ppDRepActivity` should be greater or equal to `ppGovActionExpiration` This check can only be implemented if we enforce a linear history of proposals and we can predict the value of PParams...
We should be able to reliably predict values of PParams at the point when `ParameterUpdate` governance action will be enacted, since we have the full path of all the governance...
There is a tiny executable in `plutus-preprocessor` package that can load and rerun Plutus failures that happened on chain. This executable need to be: * moved into `cardano-ledger-api` * given...