{
  "authors": [
    "Baris Erdem"
  ],
  "depends-on": [
    {
      "hmac_ada": "~0.2.0"
    }
  ],
  "description": "SPARK-proved HKDF (RFC 5869) - HKDF_SHA256 proved at Level 2",
  "licenses": "Apache-2.0",
  "long-description": "SPARK-proved HKDF (RFC 5869) for Ada 2022, built on `hmac_ada`. The\nHKDF-SHA-256 instantiation is fully proved at SPARK Level 2 (266 checks,\nzero `pragma Assume`). Uses `System.Storage_Elements.Storage_Array` for\nembedded and constrained-runtime (Light, ZFP) compatibility, no heap\nallocation, `pragma Pure`. A separate generic `HKDF` package provides an\nunproved convenience layer for other HMAC functions.\n",
  "maintainers": [
    "Baris Erdem <baris@erdem.dev>"
  ],
  "maintainers-logins": [
    "b-erdem"
  ],
  "name": "hkdf_ada",
  "origin": {
    "commit": "cdde31c8e98cc1e101556eeab7c9ed88101a3366",
    "url": "git+https://github.com/b-erdem/hkdf_ada.git"
  },
  "tags": [
    "hkdf",
    "rfc5869",
    "kdf",
    "cryptography",
    "spark",
    "embedded",
    "security"
  ],
  "version": "0.1.0",
  "website": "https://github.com/b-erdem/hkdf_ada"
}