search

IntersectMBO / formal-ledger-specifications

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

Check that the cold credential exists when delegating hot credential #490

Open WhatisRT opened 4 days ago

WhatisRT commented 4 days ago

It doesn't need to be in EnactState, it can also just be in a proposal.