Specifications

Precise specifications for

• Parts of the wallet API
• Data structures used in the wallet

Additional information:

• Formal Specification for a Cardano Wallet
• Cardano Improvement Proposals (CIPs)