ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5blac22l",
  "cid": "bafyreic3agj63japf6fjrmqxq4bqoaqckrx6dzcu5e6obb7lz6ymi4wlbm",
  "value": {
    "text": "Lean is rapidly becoming essential infrastructure for critical cryptographic implementations. The recent #ZKProof 7 conference in Sofia featured three talks highlighting how Lean's formal verification capabilities are transforming zero-knowledge proof systems.\n\nHere's what you missed 🧵",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 113,
          "byteStart": 105
        },
        "features": [
          {
            "tag": "ZKProof",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-04-03T20:40:07.329Z"
  }
}