{"schemaVersion":1,"target":{"type":"reading","id":"aa394fb912e8d14efd58fcc7657f0f4499fb20da4c8d1135d26411e66d27cc1d","revision":"9b6c6627-23b7-4143-8b67-642307a89d51","revisionKind":"publication-id","title":"Google DeepMind says AlphaProof Code formally verified Signal protocol code","url":"https://escapemeridian.com/readings/google-deepmind-says-alphaproof-code-formally-verified-signal-aa394fb9"},"source":{"type":"source","id":"https://deepmind.google/blog/introducing-alphaproof-code/","revision":"48569dd69196ba75588162371c10f4ccb8a38a85e8fc2400e6c153719ea698ed","revisionKind":"sha256-source-text","title":"Formal Verification of Signal’s Protocol with Gemini","url":"https://deepmind.google/blog/introducing-alphaproof-code/"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}