ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

Comparing classical and quantum conditional disclosure of secrets (Uma Girish, Alex May, Leo Orshansky, Chris Waddell) ia.cr/2025/800

May 5, 2025, 10:05 AM

Record data

{
  "uri": "at://did:plc:fwa55bujvdrwlwlwgqmmxmuf/app.bsky.feed.post/3log4mnc33v26",
  "cid": "bafyreihr4udtnkxu6n2ebknkckoon44qmb3vkefg4fv4xwvj7vshjfrik4",
  "value": {
    "text": "Comparing classical and quantum conditional disclosure of secrets (Uma Girish, Alex May, Leo Orshansky, Chris Waddell) ia.cr/2025/800",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "Abstract. The conditional disclosure of secrets (CDS) setting is among the most basic primitives studied in information-theoretic cryptography. Motivated by a connection to non-local quantum computation and position-based cryptography, CDS with quantum resources has recently been considered. Here, we study the differences between quantum and classical CDS, with the aims of clarifying the power of quantum resources in information-theoretic cryptography. We establish the following results:\n\n1)  For perfectly correct CDS, we give a separation for a promise version of the not-equals function, showing a quantum upper bound of O(logn) and classical lower bound of Ω(n).\n\n2)  We prove a Ω(logR_(0, A → B)(f)+logR_(0, B → A)(f)) lower bound on quantum CDS where R_(0, A → B)(f) is the classical one-way communication complexity with perfect correctness.\n\n3)  We prove a lower bound on quantum CDS in terms of two round, public coin, two-prover interactive proofs.\n\n4)  We give a logarithmic upper bound for quantum CDS on forrelation, while the best known classical algorithm is linear. We interpret this as preliminary evidence that classical and quantum CDS are separated even with correctness and security error allowed.\n\nWe also give a separation for classical and quantum private simultaneous message passing for a partial function, improving on an earlier relational separation. Our results use novel combinations of techniques from non-local quantum computation and communication complexity.\n",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreic53pqzjolr5gmylx5ltz6bc2xia26lwtbaxbdtqncdftbbal26c4"
            },
            "mimeType": "image/png",
            "size": 88452
          },
          "aspectRatio": {
            "width": 1200,
            "height": 800
          }
        },
        {
          "alt": "Image showing part 2 of abstract.",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreif3rwjmv57tw5blnm6gpx4bvhc3zt7vpugueldchuxgvfn4dici6y"
            },
            "mimeType": "image/png",
            "size": 62048
          },
          "aspectRatio": {
            "width": 1200,
            "height": 800
          }
        }
      ]
    },
    "facets": [
      {
        "index": {
          "byteEnd": 133,
          "byteStart": 119
        },
        "features": [
          {
            "uri": "https://ia.cr/2025/800",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-05-05T10:05:37.244401Z"
  }
}