{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiajk3lj3n6v6vnegyzv4mhpdesidpeuzlfn3jgze4gmeldzkornyi",
    "uri": "at://did:plc:avkh7zze5iapdkk6naaunrjn/app.bsky.feed.post/3mm6brvabljf2"
  },
  "path": "/260518/p49#a260518p49",
  "publishedAt": "2026-05-19T00:55:13.000Z",
  "site": "https://www.techmeme.com",
  "tags": [
    "Decrypt",
    "Vitalik Buterin says AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws"
  ],
  "textContent": "Jason Nelson / Decrypt:\n**Vitalik Buterin says AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws** — Ethereum co-founder Vitalik Buterin said that mathematically verified software is becoming essential to protecting Ethereum …",
  "title": "Vitalik Buterin says AI-assisted \"formal verification\" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws (Jason Nelson/Decrypt)"
}