{
  "authors": [
    "Baris Erdem"
  ],
  "depends-on": [
    {
      "hmac_ada": "~0.2.0"
    }
  ],
  "description": "NIST P-256 / ECDSA (ES256) library for Ada with SPARK flow analysis",
  "licenses": "Apache-2.0",
  "long-description": "NIST P-256 (secp256r1) / ECDSA (ES256) for Ada 2022 with SPARK flow\nanalysis. Constant-time field, scalar, and point arithmetic; Jacobian\ncoordinates with a 4-bit fixed-window scalar multiply; deterministic\nnonces per RFC 6979; low-S signature normalisation. Stack-resident\nsecrets are wiped at function exit. Suitable for embedded and\nsafety-critical systems. Tests and SPARK proofs live in the nested\n`prove/` crate; from the repo root:\n  cd prove && alr exec -- gnatprove -P ../p256_ada.gpr -j0 --mode=flow\n",
  "maintainers": [
    "Baris Erdem <baris@erdem.dev>"
  ],
  "maintainers-logins": [
    "b-erdem"
  ],
  "name": "p256_ada",
  "origin": {
    "commit": "5f6553821fcf314cc8897df3b5b2ef3553c1695d",
    "url": "git+https://github.com/b-erdem/p256_ada.git"
  },
  "tags": [
    "p256",
    "ecdsa",
    "es256",
    "cryptography",
    "spark",
    "nist",
    "secp256r1"
  ],
  "version": "0.1.0",
  "website": "https://github.com/b-erdem/p256_ada"
}