ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

Our paper "Beyond the Circuit" was accepted at IACR's Communications in Cryptology! It contains a few simple protocols for simplifying foreign arithmetic in zero-knowledge proofs. Formally we introduce "Σ-reductions", a mix of "Σ-protocols" and "reductions of knowledge". 🗞️ cic.iacr.org/p/2/1/23/pdf

Apr 11, 2025, 12:25 PM

Record data

{
  "uri": "at://did:plc:5rbctvsq6bk4wumuejd4zdpk/app.bsky.feed.post/3lmjzaw5sms2e",
  "cid": "bafyreidkyhiumflrdv7xqa2i5yxe37wv3pjd4jv6sq2scdhqxzzjo72274",
  "value": {
    "text": "Our paper \"Beyond the Circuit\" was accepted at IACR's Communications in Cryptology!\nIt contains a few simple protocols for simplifying foreign arithmetic in zero-knowledge proofs. Formally we introduce \"Σ-reductions\", a mix of \"Σ-protocols\" and \"reductions of knowledge\".\n\n🗞️ cic.iacr.org/p/2/1/23/pdf",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreielgahkd763ugejkvv6kuzkeqnyl4qvhs3pbrenqtsnqz6vgks5ju"
            },
            "mimeType": "image/jpeg",
            "size": 330952
          },
          "aspectRatio": {
            "width": 1030,
            "height": 982
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 308,
          "byteStart": 283
        },
        "features": [
          {
            "uri": "https://cic.iacr.org/p/2/1/23/pdf",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-04-11T12:25:54.530Z"
  }
}