IntersectMBO / cardano-ledger

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

Improve `DELEG` predicate failures #4655

Open lehins opened 2 months ago

lehins commented 2 months ago

DELEG rule contains a predicate failure IncorrectDepositDELEG that doesn't report enough information and is overused. We need to add two new predicate failures that will not only report the expected value using the Mismatch type from #4649, but will also report different predicate for mismatched deposit vs refund. This has to be done only at protocol version 10, so branching on bootstrapPhase, in order not to break Node-To-Client protocol.

lehins commented 1 month ago

This has been postponed until next era, unless we decide that we will have another intra-era hardfork that advances Conway era to PV11