ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

Jonathan Rouach from QEDIT outlined the motivation for the development of an end-to-end Lean proof for the PLONK verifier. youtube.com/live/dNLa5B2ER74

Apr 3, 2025, 8:40 PM

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5d3m5c2l",
  "cid": "bafyreifjyc7ctdcs3dsajfmqtit7k4s3ljoa2enl4rypjsln3kuqetpgtm",
  "value": {
    "text": "Jonathan Rouach from QEDIT outlined the motivation for the development of an end-to-end Lean proof for the PLONK verifier.\n\nyoutube.com/live/dNLa5B2ER74",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://youtube.com/live/dNLa5B2ER74",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreib6ums62lwopw2eoqrwrxjwwd243i6gg6xwcribbegds4e4fp3bcy"
          },
          "mimeType": "image/jpeg",
          "size": 814221
        },
        "title": "Choosing PLONK, the Verified Verifier - Jonathan Rouach (QEDIT)",
        "description": "YouTube video by ZKProof Standards"
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreic3agj63japf6fjrmqxq4bqoaqckrx6dzcu5e6obb7lz6ymi4wlbm",
        "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5blac22l"
      },
      "parent": {
        "cid": "bafyreifjf4dmdltrjctzypdseep5za3depifyuogl5vueuxrxxgzlginqy",
        "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5cahy22l"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 152,
          "byteStart": 124
        },
        "features": [
          {
            "uri": "https://youtube.com/live/dNLa5B2ER74",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-04-03T20:40:07.332Z"
  }
}