IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger
Apache License 2.0
38 stars 13 forks source link

Add legacy registration certificates #615

Open Soupstraw opened 1 week ago

Soupstraw commented 1 week ago

The Haskell implementation supports legacy staking credential registration certificates that are different from the delegate cert in that they do not require the witnessing of the staking credential.

We should add an additional certificate that registers a staking credential without requiring a witness to align the spec with the implementation.