{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifbyvxnlle4dwzklum2gde3bp7lbkvhmhvqvdlnf5mfgnr3vnpsnm",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3mmi5pm33z2o2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreifqibr5xuo5ztdzmoyuxxv54b3mgrzt7gjilttzyb4ek7w5gvjv3e"
    },
    "mimeType": "image/jpeg",
    "size": 41769
  },
  "path": "/blog/formal-verification-corecrypto/",
  "publishedAt": "2026-05-22T19:40:05.000Z",
  "site": "https://security.apple.com",
  "tags": [
    "cryptography",
    "formalmethods",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "A blueprint for formal verification of Apple corecrypto"
}