Staking credential deregistration needs a deposit amount

IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

32 stars 13 forks source link

Closed WhatisRT closed 1 day ago

WhatisRT commented 3 weeks ago

We're switching to explicitly specifying deposits in Conway, and it's missing from dereg.