search

IntersectMBO / formal-ledger-specifications

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

Document changes to `BaseAddr` #617

Open williamdemeo opened 3 days ago

williamdemeo commented 3 days ago

Specifically, stake field of BaseAddr was changed from Credential to Maybe Credential.

Mention that in Shelley an address with empty stake was called an "Enterprise" address.