ATProto Browser

Record data

{
  "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3ln3jk4w46k2g",
  "cid": "bafyreigyvzro4r65d3m37xl7xktpgze6jhuqv5mzxyjl6oos4xrxcniege",
  "value": {
    "text": "Tianyi Liu & Yupeng Zhang present efficient SNARKs for Boolean circuits, designing efficient IOP protocols over small-characteristic fields that use a novel tower sumcheck protocol and a tower zero-check protocol tailored for tower fields.\n\nPaper: eprint.iacr.org/2025/594",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://eprint.iacr.org/2025/594",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreia7pp3677247apxjiaxftnpyfqnpesd77uoanqkhj5nxtbgb377wy"
          },
          "mimeType": "image/jpeg",
          "size": 804027
        },
        "title": "Efficient SNARKs for Boolean Circuits via Sumcheck over Tower Fields",
        "description": "In this paper, we present efficient SNARKs for Boolean circuits, achieving significant improvements in the prover efficiency. The core of our technique is a novel tower sumcheck protocol and a tower z..."
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreiepv2yqeg3akmojrvjweoen5rgvr6bglmobsk5kksin7hz5vl6aqq",
        "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3ln3jjtn6a22g"
      },
      "parent": {
        "cid": "bafyreihvlsi3jhnnmbbw7cxjackf35lqyo4fnizeylysx5momxfpig67fa",
        "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3ln3jjzir5s2g"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 272,
          "byteStart": 248
        },
        "features": [
          {
            "uri": "https://eprint.iacr.org/2025/594",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-04-18T11:32:29.308Z"
  }
}