{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifxfocgkrbymbdqmfekfhpvbxcicgmqei3c42z6nkenkj5pkp7uuy",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3mjyhr3vwy2j2"
  },
  "path": "/blog/2026-4-20-signal-shot-the-platform-is-ready/",
  "publishedAt": "2026-04-21T01:14:08.000Z",
  "site": "https://leodemoura.github.io",
  "tags": [
    "security",
    "cryptography",
    "formalmethods",
    "vibecoding",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean"
}