cose_ada

COSE (CBOR Object Signing and Encryption, RFC 9052 / 9053) implementation for Ada 2022 with partial SPARK coverage. Supports the six COSE message types: COSE_Mac0, COSE_Mac, COSE_Sign1, COSE_Sign, COSE_Encrypt0, and COSE_Encrypt. Algorithms: HMAC-SHA-256, HMAC-SHA-512, EdDSA (Ed25519), and ChaCha20-Poly1305 AEAD. Uses cbor_ada for CBOR operations, hmac_ada for HMAC, and SPARKNaCl for Ed25519 and ChaCha20-Poly1305. No heap allocation, suitable for embedded and safety-critical systems.