{
  "annotation_id": "9a0e9d6d-9b35-4295-a908-d6fdc639f297",
  "date_created": "2026-03-02T18:02:24.182000Z",
  "date_modified": "2026-03-02T18:02:24.182000Z",
  "file_hash": "bd40098e6aa5a584fa0a684180c64610e2c2892d9da38ddeced66b19d68fb456",
  "private": false,
  "record": {
    "abstract": "Watrous had presented the first proof of zero-knowledge property of a proof\nsystem against a quantum verifier. The key of the proof is the construction of\na quantum simulator. In the construction, the \u0027failure state\u0027 is rotated to the\n\u0027success\u0027 state by a tricky operation which is initially developped for the\namplification of QMA proof systems.\n  This manuscript presents a new and simpler construction of a simulator. In\nthe construction, we simply amplify the success probability of a classical\nsimulator using Grover\u0027s amplification.",
    "arxiv_id": "quant-ph/0602186",
    "authors": [
      "Keiji Matsumoto"
    ],
    "categories": [
      "quant-ph"
    ],
    "title": "A simpler proof of zero-knowledge against quantum attacks using Grover\u0027s   amplitude amplification",
    "url": "https://arxiv.org/abs/quant-ph/0602186"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "1be144d8-6f9c-4850-863e-8226c8659172",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}