ATProto Browser

Record data

{
  "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3ln3jjudabs2g",
  "cid": "bafyreihyj56rkotry5gb6c34zqw4kcbyxazyun2eu5cazakasggzg6tgs4",
  "value": {
    "text": "In this step-by-step tutorial, teddav explores the fundamentals of Halo2 and the importance of correctly constraining circuits to ensure soundness, highlighting common vulnerabilities and fixing them.\n\nGitHub repo: github.com/teddav/halo2...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://github.com/teddav/halo2-soundness-bugs",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreiela3w6nzg5m7sjfw3vvtqqallm3ri4o476rax366ueu6rt2tfvay"
          },
          "mimeType": "image/jpeg",
          "size": 355583
        },
        "title": "GitHub - teddav/halo2-soundness-bugs",
        "description": "Contribute to teddav/halo2-soundness-bugs development by creating an account on GitHub."
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreiepv2yqeg3akmojrvjweoen5rgvr6bglmobsk5kksin7hz5vl6aqq",
        "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3ln3jjtn6a22g"
      },
      "parent": {
        "cid": "bafyreiepv2yqeg3akmojrvjweoen5rgvr6bglmobsk5kksin7hz5vl6aqq",
        "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3ln3jjtn6a22g"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 241,
          "byteStart": 215
        },
        "features": [
          {
            "uri": "https://github.com/teddav/halo2-soundness-bugs",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-04-18T11:32:29.305Z"
  }
}