{
  "schema_version": "2.0",
  "name": "Quang Dao — Paper Mirror and Citation Catalogue",
  "description": "A machine-readable catalogue of authored papers, an unlisted external-paper mirror, and the citation closure available from allowlisted writing sources.",
  "updated": "2026-07-25",
  "schema_url": "https://quangvdao.github.io/papers/manifest.schema.json",
  "visibility": {
    "authored": "homepage-linked",
    "external_library": "unlisted",
    "note": "Unlisted is not access control. Anyone with a paper or manifest URL can retrieve it. The external library is not linked from the human-facing site."
  },
  "agent_entrypoint": "https://quangvdao.github.io/papers/manifest.json",
  "agent_instructions": "https://quangvdao.github.io/papers/AGENTS.md",
  "collection_license_note": "No blanket license is asserted over the catalogue. Read each paper's license fields. Absence of a reviewed license is not permission to redistribute.",
  "availability_definitions": {
    "mirrored": "A self-hosted PDF is available at mirror_url.",
    "source-only": "A canonical source URL is recorded, but no self-hosted PDF is provided.",
    "metadata-only": "Citation metadata is recorded, but no reliable public source URL was resolved."
  },
  "collections": [
    {
      "id": "applications-and-tools",
      "description": "Applications and tooling for lattice proof systems.",
      "paper_count": 4
    },
    {
      "id": "authored",
      "description": "Papers authored or co-authored by Quang Dao and linked from the homepage.",
      "paper_count": 15
    },
    {
      "id": "citation-closure",
      "description": "Works cited by the currently resolvable allowlisted writing sources.",
      "paper_count": 200
    },
    {
      "id": "folding",
      "description": "Lattice folding schemes and related recursive arguments.",
      "paper_count": 3
    },
    {
      "id": "formal-verification",
      "description": "Formal verification and mechanized cryptographic-proof references.",
      "paper_count": 47
    },
    {
      "id": "foundations",
      "description": "Foundational lattice proof-system papers.",
      "paper_count": 3
    },
    {
      "id": "lattice-zk",
      "description": "Lattice-based proof systems, polynomial commitments, folding, and applications.",
      "paper_count": 94
    },
    {
      "id": "pcs",
      "description": "Polynomial commitment schemes.",
      "paper_count": 89
    },
    {
      "id": "polynomial-commitments",
      "description": "Lattice-based polynomial commitments.",
      "paper_count": 5
    },
    {
      "id": "snarks",
      "description": "General SNARK, succinct-argument, polynomial-protocol, and zkVM references.",
      "paper_count": 153
    },
    {
      "id": "succinct-arguments",
      "description": "Lattice-based succinct arguments.",
      "paper_count": 6
    },
    {
      "id": "sumcheck",
      "description": "Sum-check protocols and prover optimizations.",
      "paper_count": 81
    },
    {
      "id": "zkvm",
      "description": "Zero-knowledge virtual machines and their proof systems.",
      "paper_count": 5
    }
  ],
  "coverage": {
    "catalog_records": 216,
    "by_relation": {
      "authored": 15,
      "cited": 200,
      "curated": 21
    },
    "by_availability": {
      "metadata-only": 78,
      "mirrored": 36,
      "source-only": 102
    },
    "citation_sources_processed": 5,
    "citation_sources_missing": 5,
    "citation_keys_across_sources": 262,
    "distinct_citation_keys": 204,
    "source_reports": [
      {
        "id": "akita",
        "folder": "lattice-jolt",
        "entry": "akita.tex",
        "status": "processed",
        "files_scanned": 24,
        "bibliography_files": [
          "lattice-jolt/abbrev3.bib",
          "lattice-jolt/spice.bib"
        ],
        "citation_keys": 89,
        "resolved_citation_keys": 89,
        "unresolved_citation_keys": 0
      },
      {
        "id": "lattice-jolt",
        "folder": "lattice-jolt",
        "entry": "jolt-spec.tex",
        "status": "processed",
        "files_scanned": 137,
        "bibliography_files": [
          "lattice-jolt/abbrev3.bib",
          "lattice-jolt/spice.bib"
        ],
        "citation_keys": 5,
        "resolved_citation_keys": 5,
        "unresolved_citation_keys": 0
      },
      {
        "id": "vcvio",
        "folder": "vcvio-paper",
        "entry": "main.tex",
        "status": "processed",
        "files_scanned": 9,
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ],
        "citation_keys": 50,
        "resolved_citation_keys": 50,
        "unresolved_citation_keys": 0
      },
      {
        "id": "monomial-sumcheck",
        "folder": "monomial-sumcheck",
        "entry": "main.tex",
        "status": "processed",
        "files_scanned": 11,
        "bibliography_files": [
          "monomial-sumcheck/abbrev3.bib",
          "monomial-sumcheck/spice.bib"
        ],
        "citation_keys": 48,
        "resolved_citation_keys": 48,
        "unresolved_citation_keys": 0
      },
      {
        "id": "speeding-up-sumcheck",
        "folder": "speeding-up-sumcheck",
        "entry": "main.tex",
        "status": "processed",
        "files_scanned": 36,
        "bibliography_files": [
          "speeding-up-sumcheck/abbrev3.bib",
          "speeding-up-sumcheck/spice.bib"
        ],
        "citation_keys": 70,
        "resolved_citation_keys": 70,
        "unresolved_citation_keys": 0
      },
      {
        "id": "abcs-jolt",
        "folder": "jolt-advice-bytecode-paper",
        "entry": "pst_short.tex",
        "status": "folder-missing"
      },
      {
        "id": "jolt-spec",
        "folder": "jolt-spec",
        "entry": "main.tex",
        "status": "folder-missing"
      },
      {
        "id": "jolt-recursion",
        "folder": "jolt-zkproof-submission",
        "entry": "paper.tex",
        "status": "folder-missing"
      },
      {
        "id": "lattice-vid",
        "folder": "lattice-vid",
        "entry": "main.tex",
        "status": "folder-missing"
      },
      {
        "id": "hawk-buff",
        "folder": "hawk-buff",
        "entry": "main.tex",
        "status": "folder-missing"
      }
    ],
    "unresolved_citations": [],
    "scope_note": "Citation closure covers only source trees listed in catalog-sources.json that resolve on this machine. It does not yet cover every paper on the homepage."
  },
  "papers": [
    {
      "id": "eprint:2026/1036",
      "title": "Resettable Non-Interactive Zero-Knowledge: Attacks and Defenses",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2026/1036"
      },
      "source_url": "https://eprint.iacr.org/2026/1036",
      "mirror_url": "https://quangvdao.github.io/papers/authored/resettable-nizk-attacks-defenses.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 41,
      "bytes": 745752,
      "sha256": "7172eb01223dd01f33b285ced4d6f1579cb48acafcb3ec223029c73bc537215c",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "year": 2026
    },
    {
      "id": "eprint:2026/587",
      "title": "Speeding Up Sum-Check Proving",
      "kind": "paper",
      "relations": [
        "authored",
        "cited"
      ],
      "collections": [
        "authored",
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2025/1117"
      },
      "source_url": "https://eprint.iacr.org/2026/587",
      "mirror_url": "https://quangvdao.github.io/papers/authored/speeding-up-sum-check-proving.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 51,
      "bytes": 756773,
      "sha256": "04ac867dc2d2e68f967bbb4550c1afe1340439e8b0aae1611464c4e433f8a1a7",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json",
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "year": 2026,
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "speeding-up-sumcheck",
        "speeding-up-sumcheck-old",
        "speedingsumcheck"
      ],
      "authors": [
        "Quang Dao",
        "Zachary DeStefano",
        "Suyash Bagad",
        "Yuval Domb",
        "Justin Thaler"
      ]
    },
    {
      "id": "eprint:2026/762",
      "title": "The Sum-Check Protocol over the Monomial Basis, and Other Optimizations",
      "kind": "paper",
      "relations": [
        "authored",
        "cited"
      ],
      "collections": [
        "authored",
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2026/762"
      },
      "source_url": "https://eprint.iacr.org/2026/762",
      "mirror_url": "https://quangvdao.github.io/papers/authored/monomial-basis-sum-check.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 34,
      "bytes": 590707,
      "sha256": "1a61becbb76ffaf8a21c5251886ac4eae8fe7595e66c024057e1fbce1150bdd5",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "year": 2026,
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "monomialsumcheck"
      ],
      "authors": [
        "Quang Dao",
        "Ari Biswas",
        "Liam Eagen",
        "Andrew Milson",
        "Shahar Papini",
        "Justin Thaler"
      ]
    },
    {
      "id": "eprint:2026/899",
      "title": "VCVio: Verified Cryptography in Lean via Oracle Effects and Handlers",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2026/899"
      },
      "source_url": "https://eprint.iacr.org/2026/899",
      "mirror_url": "https://quangvdao.github.io/papers/authored/vcvio-verified-cryptography-lean.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 26,
      "bytes": 851343,
      "sha256": "572ef03f00e0a08e94471ac3eb6c726bd19d154aea17c3e34fe3cecc8148d6bd",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "year": 2026
    },
    {
      "id": "eprint:2026/1298",
      "title": "Weak Keys Break the BUFF Security of HAWK",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2026/1298"
      },
      "source_url": "https://eprint.iacr.org/2026/1298",
      "mirror_url": "https://quangvdao.github.io/papers/authored/weak-keys-break-buff-security-hawk.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 17,
      "bytes": 597197,
      "sha256": "c21e74b4a00f73fa07247b8699be98e536ecda4ee8e148ec03d150181a7a27c0",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "year": 2026
    },
    {
      "id": "eprint:2025/2037",
      "title": "On the Simulation-Extractability of Proof-Carrying Data",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2025/2037"
      },
      "source_url": "https://eprint.iacr.org/2025/2037",
      "mirror_url": "https://quangvdao.github.io/papers/authored/simulation-extractability-proof-carrying-data.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 28,
      "bytes": 470624,
      "sha256": "aa5310a1608368186ba703b52baf8f500f402ec20190ba6b07f78bfdf72d1e26",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "alternate_versions": [
        {
          "label": "PKC 2026 proceedings",
          "url": "https://doi.org/10.1007/978-3-032-26737-5_9"
        }
      ],
      "year": 2025
    },
    {
      "id": "eprint:2024/1038",
      "title": "Constraint-Packing and the Sum-Check Protocol over Binary Tower Fields",
      "kind": "paper",
      "relations": [
        "authored",
        "cited"
      ],
      "collections": [
        "authored",
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2024/1038"
      },
      "source_url": "https://eprint.iacr.org/2024/1038",
      "mirror_url": "https://quangvdao.github.io/papers/authored/constraint-packing-binary-tower-fields.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 11,
      "bytes": 394737,
      "sha256": "7261faf635fa5aed9bd38cb5450683c511874a543a2da0a89a8ddb7ee91114dc",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json",
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "year": 2024,
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "daothalertower"
      ],
      "authors": [
        "Quang Dao",
        "Justin Thaler"
      ]
    },
    {
      "id": "eprint:2024/175",
      "title": "Lossy Cryptography from Code-Based Assumptions",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2024/175"
      },
      "source_url": "https://eprint.iacr.org/2024/175",
      "mirror_url": "https://quangvdao.github.io/papers/authored/lossy-cryptography-code-based-assumptions.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 43,
      "bytes": 591610,
      "sha256": "aace66c446bff9291834a0b158c2752a435c4b611b6b6c9e4e826afe731fbf11",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "alternate_versions": [
        {
          "label": "CRYPTO 2024 proceedings",
          "url": "https://doi.org/10.1007/978-3-031-68382-4_2"
        },
        {
          "label": "Journal of Cryptology",
          "url": "https://doi.org/10.1007/s00145-025-09553-6"
        }
      ],
      "year": 2024
    },
    {
      "id": "eprint:2024/1254",
      "title": "Non-Interactive Zero-Knowledge from LPN and MQ",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2024/1254"
      },
      "source_url": "https://eprint.iacr.org/2024/1254",
      "mirror_url": "https://quangvdao.github.io/papers/authored/nizk-lpn-mq.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 38,
      "bytes": 608616,
      "sha256": "54d5fbe46836cccd36aab40b8a2839028b64169f0ac0a8960d637352c4ada13d",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "alternate_versions": [
        {
          "label": "CRYPTO 2024 proceedings",
          "url": "https://doi.org/10.1007/978-3-031-68400-5_10"
        }
      ],
      "year": 2024
    },
    {
      "id": "eprint:2024/1841",
      "title": "Verifying Jolt zkVM Lookup Semantics",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2024/1841"
      },
      "source_url": "https://eprint.iacr.org/2024/1841",
      "mirror_url": "https://quangvdao.github.io/papers/authored/verifying-jolt-zkvm-lookup-semantics.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 50,
      "bytes": 668627,
      "sha256": "9bbd882b160a585cc058df9f01692f7e4e0630b65eefa959c103c92bf2155ddd",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "alternate_versions": [
        {
          "label": "Financial Cryptography 2025 proceedings",
          "url": "https://doi.org/10.1007/978-3-032-07024-1_10"
        }
      ],
      "year": 2024
    },
    {
      "id": "eprint:2023/1593",
      "title": "Multi-party Homomorphic Secret Sharing and Sublinear MPC from Sparse LPN",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2023/1593"
      },
      "source_url": "https://eprint.iacr.org/2023/1593",
      "mirror_url": "https://quangvdao.github.io/papers/authored/multi-party-hss-sublinear-mpc-sparse-lpn.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 45,
      "bytes": 624982,
      "sha256": "7c069044d31f0c387ffb91dfc69a5490865ae73b76d0f245be2c70fd0ff31785",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "alternate_versions": [
        {
          "label": "CRYPTO 2023 proceedings",
          "url": "https://doi.org/10.1007/978-3-031-38545-2_11"
        }
      ],
      "year": 2023
    },
    {
      "id": "eprint:2023/494",
      "title": "Spartan and Bulletproofs are simulation-extractable (for free!)",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2023/494"
      },
      "source_url": "https://eprint.iacr.org/2023/494",
      "mirror_url": "https://quangvdao.github.io/papers/authored/spartan-bulletproofs-simulation-extractable.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 44,
      "bytes": 871166,
      "sha256": "b7ae9273551ea837c5c6c6b51b85901de8942fd305fb28da65bca7a4be989fee",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "alternate_versions": [
        {
          "label": "EUROCRYPT 2023 proceedings",
          "url": "https://doi.org/10.1007/978-3-031-30617-4_18"
        }
      ],
      "year": 2023
    },
    {
      "id": "eprint:2023/691",
      "title": "Weak Fiat-Shamir Attacks on Modern Proof Systems",
      "kind": "paper",
      "relations": [
        "authored",
        "cited"
      ],
      "collections": [
        "authored",
        "citation-closure",
        "formal-verification"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "eprint": "2023/691"
      },
      "source_url": "https://eprint.iacr.org/2023/691",
      "mirror_url": "https://quangvdao.github.io/papers/authored/weak-fiat-shamir-attacks.pdf",
      "artifact_basis": "latest ePrint PDF checked 2026-07-25",
      "pages": 18,
      "bytes": 524547,
      "sha256": "44286b6e197b44c5a7a464be732630099e8c0c695cfe0a2e15bd2c3fa875904e",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json",
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "alternate_versions": [
        {
          "label": "IEEE Symposium on Security and Privacy 2023",
          "url": "https://doi.org/10.1109/SP46215.2023.10179408"
        }
      ],
      "year": 2023,
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "WeakFA"
      ],
      "authors": [
        "Quang Dao",
        "Jim Miller",
        "Opal Wright",
        "Paul Grubbs"
      ]
    },
    {
      "id": "arxiv:2002.04810",
      "title": "Rowmotion Orbits of Trapezoid Posets",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "arxiv": "2002.04810"
      },
      "source_url": "https://arxiv.org/abs/2002.04810",
      "mirror_url": "https://quangvdao.github.io/papers/authored/rowmotion-orbits-trapezoid-posets.pdf",
      "artifact_basis": "arXiv v1, the current arXiv PDF checked 2026-07-25",
      "pages": 31,
      "bytes": 1314423,
      "sha256": "da725f284bdc1690aa128edfc4162a88d47f80051281e0b90949d650d0f4ee91",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "alternate_versions": [
        {
          "label": "Electronic Journal of Combinatorics",
          "url": "https://doi.org/10.37236/9769"
        }
      ],
      "year": 2002
    },
    {
      "id": "arxiv:1912.00273",
      "title": "Extended Nestohedra and their Face Numbers",
      "kind": "paper",
      "relations": [
        "authored"
      ],
      "collections": [
        "authored"
      ],
      "availability": "mirrored",
      "license_status": "not-recorded",
      "identifiers": {
        "arxiv": "1912.00273"
      },
      "source_url": "https://arxiv.org/abs/1912.00273",
      "mirror_url": "https://quangvdao.github.io/papers/authored/extended-nestohedra-face-numbers.pdf",
      "artifact_basis": "arXiv v2, the current arXiv PDF checked 2026-07-25",
      "pages": 66,
      "bytes": 1891320,
      "sha256": "e718ee96bd813f1314c196530f7c521e27d1b122f74b70181f3bb2837b99cc9f",
      "provenance": {
        "collection_manifest": "papers/authored/manifest.json"
      },
      "year": 1912
    },
    {
      "id": "eprint:2026/1289",
      "title": "A Toolkit for Succinct Lattice-Based Zero Knowledge Proofs",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "lazer-zk-toolkit"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Beatrice Biasioli",
        "Madalina Bolboceanu",
        "Vadim Lyubashevsky",
        "Antonio Merino-Gallardo",
        "Micha Osadnik",
        "Gregor Seiler",
        "Patrick Steuer"
      ],
      "year": 2026,
      "identifiers": {
        "eprint": "2026/1289"
      },
      "source_url": "https://eprint.iacr.org/2026/1289"
    },
    {
      "id": "title:akita-codebase",
      "title": "Akita Codebase",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "akita-impl"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "LayerZero Labs"
      ],
      "year": 2026,
      "source_url": "https://github.com/LayerZero-Labs/akita"
    },
    {
      "id": "title:akita-a-high-performance-lattice-polynomial-commitment-scheme",
      "title": "Akita: A High-Performance Lattice Polynomial Commitment Scheme",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "zkvm"
      ],
      "cited_by": [
        "lattice-jolt"
      ],
      "citation_keys": [
        "akita-companion"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "lattice-jolt"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Quang Dao",
        "Omid Bodaghi",
        "Markos Georghiades",
        "Giuseppe Vitto",
        "Amirhossein Khajehpour",
        "Thomas Kim",
        "Justin Thaler"
      ],
      "year": 2026
    },
    {
      "id": "eprint:2026/310",
      "title": "Bolt: Faster SNARKs from Sketched Codes",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "bolt"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Kemal Gürkan",
        "Andrija Novakovic",
        "Ron D. Rothblum"
      ],
      "year": 2026,
      "identifiers": {
        "eprint": "2026/310"
      },
      "source_url": "https://eprint.iacr.org/2026/310"
    },
    {
      "id": "eprint:2026/359",
      "title": "Cyclo: Lightweight Lattice-based Folding via Partial Range Checks",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "cyclo"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Albert Garreta",
        "Helger Lipmaa",
        "Urmas Luhaäär",
        "Micha Osadnik"
      ],
      "year": 2026,
      "identifiers": {
        "eprint": "2026/359"
      },
      "source_url": "https://eprint.iacr.org/2026/359"
    },
    {
      "id": "eprint:2026/1329",
      "title": "Flock: Fast Proving for Batch Boolean Computations",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "flock"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Benedikt Bünz",
        "Ron Rothblum",
        "William Wang"
      ],
      "year": 2026,
      "identifiers": {
        "eprint": "2026/1329"
      },
      "source_url": "https://eprint.iacr.org/2026/1329"
    },
    {
      "id": "eprint:2026/1196",
      "title": "Grand Danois: Succinct Multilinear Polynomial Commitments over Lattices",
      "authors": [
        "Anders Kallesøe",
        "Hamidreza Khoshakhlagh"
      ],
      "year": 2026,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "polynomial-commitments",
        "snarks"
      ],
      "tags": [
        "multilinear PCS",
        "sumcheck",
        "structured projections",
        "vSIS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2026/1196"
      },
      "source_url": "https://eprint.iacr.org/2026/1196",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2026-1196.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 23,
      "bytes": 474373,
      "sha256": "740f58726a666e22707a38308c3b108c9319658037427ab611b95a433a106d5c",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "grand_danois"
      ]
    },
    {
      "id": "eprint:2026/156",
      "title": "Hachi: Efficient Lattice-Based Multilinear Polynomial Commitments over Extension Fields",
      "authors": [
        "Ngoc Khanh Nguyen",
        "George O'Rourke",
        "Jiapeng Zhang"
      ],
      "year": 2026,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "polynomial-commitments",
        "snarks"
      ],
      "tags": [
        "multilinear PCS",
        "extension fields",
        "sumcheck",
        "Module-SIS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2026/156"
      },
      "source_url": "https://eprint.iacr.org/2026/156",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2026-156.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 33,
      "bytes": 678598,
      "sha256": "c7c98591c2576ecd8403d22e63861cb322d2995b0a88f0bc234f161afd5e6a15",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "hachi"
      ]
    },
    {
      "id": "eprint:2026/44",
      "title": "Jindo: Practical Lattice-Based Polynomial Commitments for Client-Side Proving",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "jindo"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Intak Hwang",
        "Hyeonbum Lee",
        "Jinyeong Seo",
        "Yongsoo Song"
      ],
      "year": 2026,
      "identifiers": {
        "eprint": "2026/44"
      },
      "source_url": "https://eprint.iacr.org/2026/44"
    },
    {
      "id": "title:leanvm-minimal-hash-based-zkvm-for-a-post-quantum-ethereum",
      "title": "leanVM: Minimal Hash-Based zkVM for a Post-Quantum Ethereum",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "leanvm"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "leanEthereum"
      ],
      "year": 2026,
      "source_url": "https://github.com/leanEthereum/leanVM"
    },
    {
      "id": "eprint:2026/471",
      "title": "Lookup Arguments over Rings and Applications to Batch-Verification of RAM Programs",
      "authors": [
        "Jonathan Bootle",
        "Julia Guskind",
        "Sikhar Patranabis",
        "Katerina Sotiraki"
      ],
      "year": 2026,
      "kind": "paper",
      "relations": [
        "curated"
      ],
      "collections": [
        "applications-and-tools",
        "lattice-zk"
      ],
      "tags": [
        "lookups",
        "PIOP",
        "rings",
        "RAM"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2026/471"
      },
      "source_url": "https://eprint.iacr.org/2026/471",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2026-471.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 69,
      "bytes": 743406,
      "sha256": "ad5c0c5369822ff69c1ff20485b7cbf89ce3e764ad129dfcfe06b718c74ae063",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json"
      }
    },
    {
      "id": "eprint:2026/242",
      "title": "Neo and SuperNeo: Post-quantum folding with pay-per-bit costs over small fields",
      "authors": [
        "Wilson Nguyen",
        "Srinath Setty"
      ],
      "year": 2026,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "folding",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "tags": [
        "folding",
        "small fields",
        "CCS",
        "Module-SIS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2026/242"
      },
      "source_url": "https://eprint.iacr.org/2026/242",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2026-242.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 62,
      "bytes": 757321,
      "sha256": "079b18f459451d386b5ea1fa67e252c91b33d546d1d4658550b32a67f9e6b584",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "superneo"
      ]
    },
    {
      "id": "eprint:2026/680",
      "title": "Open Problems in List Decoding and Correlated Agreement",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "abf26"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Gal Arnon",
        "Dan Boneh",
        "Giacomo Fenzi"
      ],
      "year": 2026,
      "identifiers": {
        "eprint": "2026/680"
      },
      "source_url": "https://eprint.iacr.org/2026/680"
    },
    {
      "id": "eprint:2026/398",
      "title": "Orthus: Practical Sublinear Batch-Verification of Lattice Relations from Standard Assumptions",
      "authors": [
        "Madalina Bolboceanu",
        "Jonathan Bootle",
        "Vadim Lyubashevsky",
        "Antonio Merino-Gallardo",
        "Gregor Seiler"
      ],
      "year": 2026,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "succinct-arguments"
      ],
      "tags": [
        "sublinear verification",
        "batch verification",
        "LaBRADOR"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2026/398"
      },
      "source_url": "https://eprint.iacr.org/2026/398",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2026-398.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 44,
      "bytes": 811565,
      "sha256": "33958b04c6e571a0cd5f53496d4d006a820a5dcb0c888451c00ebd7c15be5275",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "orthus"
      ]
    },
    {
      "id": "title:plonky3-a-toolkit-for-polynomial-iops-piops",
      "title": "Plonky3: A toolkit for polynomial IOPs (PIOPs)",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "plonky3"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "year": 2026,
      "source_url": "https://github.com/Plonky3/Plonky3"
    },
    {
      "id": "eprint:2026/1317",
      "title": "ProtogaLattice: Constant-Round Lattice-based Folding for General Polynomial Relations",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "protogalattice"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "David Balbás",
        "Anca Nitulescu",
        "Maxime Plançon"
      ],
      "year": 2026,
      "identifiers": {
        "eprint": "2026/1317"
      },
      "source_url": "https://eprint.iacr.org/2026/1317"
    },
    {
      "id": "eprint:2026/575",
      "title": "RoKoko: Lattice-based Succinct Arguments, a Committed Refinement",
      "authors": [
        "Michael Klooss",
        "Russell W. F. Lai",
        "Ngoc Khanh Nguyen",
        "Michał Osadnik",
        "Lorenzo Tucci"
      ],
      "year": 2026,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "succinct-arguments"
      ],
      "tags": [
        "SNARK",
        "committed folding",
        "recursive commitments",
        "sumcheck"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2026/575"
      },
      "source_url": "https://eprint.iacr.org/2026/575",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2026-575.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 62,
      "bytes": 976387,
      "sha256": "6630ed528f6ce886ab85688877ec0385b43cb9ef68ae50a883cc9623972f00c0",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "rokoko"
      ]
    },
    {
      "id": "title:the-proximity-prize",
      "title": "The Proximity Prize",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "proximity-prize"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Ethereum Foundation"
      ],
      "year": 2026,
      "source_url": "https://proximityprize.org/"
    },
    {
      "id": "title:whiteout-low-overhead-zero-knowledge-for-lattice-based-succinct-arguments",
      "title": "Whiteout: Low-Overhead Zero-Knowledge for Lattice-Based Succinct Arguments",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "zkvm"
      ],
      "cited_by": [
        "akita",
        "lattice-jolt"
      ],
      "citation_keys": [
        "whiteout-companion"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "lattice-jolt"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Quang Dao",
        "Omid Bodaghi",
        "Amirhossein Khajehpour",
        "Giuseppe Vitto",
        "Taghi Badakhshan",
        "Markos Georghiades",
        "Fengrun Liu",
        "Jiapeng Zhang",
        "Justin Thaler"
      ],
      "year": 2026
    },
    {
      "id": "doi:10.1145/3704877",
      "title": "Approximate Relational Reasoning for Higher-Order Probabilistic Programs",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "approxis"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Haselwarter, Philipp G.",
        "Li, Kwing Hei",
        "Aguirre, Alejandro",
        "Gregersen, Simon Oddershede",
        "Tassarotti, Joseph",
        "Birkedal, Lars"
      ],
      "year": 2025,
      "identifiers": {
        "doi": "10.1145/3704877"
      },
      "source_url": "https://doi.org/10.1145/3704877"
    },
    {
      "id": "title:binius64-binary-field-arithmetic-library",
      "title": "binius64: Binary field arithmetic library",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "binius64"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "The Binius contributors"
      ],
      "year": 2025,
      "source_url": "https://github.com/binius-zk/binius64"
    },
    {
      "id": "doi:10.1145/3704894",
      "title": "Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "bluebell"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Bao, Jialu",
        "D'Osualdo, Emanuele",
        "Farzan, Azadeh"
      ],
      "year": 2025,
      "identifiers": {
        "doi": "10.1145/3704894"
      },
      "source_url": "https://doi.org/10.1145/3704894"
    },
    {
      "id": "title:ceno-non-uniform-segment-and-parallel-zero-knowledge-virtual-machine",
      "title": "Ceno: Non-uniform, segment and parallel zero-knowledge virtual machine",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "cenopaper"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Liu, Tianyi",
        "Zhang, Zhenfei",
        "Zhang, Yuncong",
        "Hu, Wenqing",
        "Zhang, Ye"
      ],
      "year": 2025
    },
    {
      "id": "doi:10.1007/978-3-032-01855-7_17",
      "title": "Compact Lattice Signatures via Iterative Rejection Sampling",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "gaertner25irs"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Joel Gärtner"
      ],
      "year": 2025,
      "identifiers": {
        "doi": "10.1007/978-3-032-01855-7_17"
      },
      "source_url": "https://doi.org/10.1007/978-3-032-01855-7_17"
    },
    {
      "id": "eprint:2025/594",
      "title": "Efficient SNARKs for Boolean Circuits via Sumcheck over Tower Fields",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "tianyipaper"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Tianyi Liu",
        "Yupeng Zhang"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/594"
      },
      "source_url": "https://eprint.iacr.org/2025/594"
    },
    {
      "id": "title:ethproofs-tracking-real-time-proving-for-ethereum",
      "title": "Ethproofs: Tracking Real-Time Proving for Ethereum",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "ethproofs"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Ethereum Foundation"
      ],
      "year": 2025,
      "source_url": "https://ethproofs.org/"
    },
    {
      "id": "eprint:2025/573",
      "title": "Forking Lemma in EasyCrypt",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "EasyCrypt_forking",
        "firsov-janku-forking"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Denis Firsov",
        "Jakub Janků"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/573"
      },
      "source_url": "https://eprint.iacr.org/2025/573"
    },
    {
      "id": "title:instruction-tables-lists-of-instruction-latencies-throughputs-and-micro-operation-breakdowns-for-intel-amd-and-via-cpus",
      "title": "Instruction Tables: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD and VIA CPUs",
      "kind": "manual",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "fog-instruction-tables"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Agner Fog"
      ],
      "year": 2025,
      "source_url": "https://www.agner.org/optimize/instruction_tables.pdf"
    },
    {
      "id": "eprint:2025/917",
      "title": "Jagged Polynomial Commitments (or: How to Stack Multilinears)",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "jagged-pcs"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Tamir Hemo",
        "Kevin Jue",
        "Eugene Rabinovich",
        "Gyumin Roh",
        "Ron D. Rothblum"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/917"
      },
      "source_url": "https://eprint.iacr.org/2025/917"
    },
    {
      "id": "title:jolt-codebase",
      "title": "Jolt Codebase",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "jolt-impl"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Arun, Arasu",
        "Setty, Srinath",
        "Thaler, Justin"
      ],
      "year": 2025,
      "source_url": "https://github.com/a16z/jolt"
    },
    {
      "id": "eprint:2025/247",
      "title": "LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems",
      "authors": [
        "Dan Boneh",
        "Binyi Chen"
      ],
      "year": 2025,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "folding",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "tags": [
        "folding",
        "succinct proofs",
        "range proofs",
        "Module-SIS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2025/247"
      },
      "source_url": "https://eprint.iacr.org/2025/247",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2025-247.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 54,
      "bytes": 657128,
      "sha256": "48f40d28f42978236d7fcaa335022d124df76061ef48ccbd400127e7eb130ea1",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "boneh2025latticefold+"
      ]
    },
    {
      "id": "eprint:2025/1187",
      "title": "Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "ligerito"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Andrija Novakovic",
        "Guillermo Angeris"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/1187"
      },
      "source_url": "https://eprint.iacr.org/2025/1187"
    },
    {
      "id": "title:neo-lattice-based-folding-scheme-for-ccs-over-small-fields-and-pay-per-bit-commitments",
      "title": "Neo: Lattice-based folding scheme for CCS over small fields and pay-per-bit commitments",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "neo"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Nguyen, Wilson",
        "Setty, Srinath"
      ],
      "year": 2025
    },
    {
      "id": "eprint:2025/719",
      "title": "Packed Sumcheck over Fields of Small Characteristic",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "packedsumcheck"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Yuanju Wei",
        "Kaixuan Wang",
        "Binwu Xiang",
        "Xinxuan Zhang",
        "Yi Deng",
        "Xudong Zhu",
        "Hailong Wang",
        "Li Lin",
        "Lei Wang"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/719"
      },
      "source_url": "https://eprint.iacr.org/2025/719"
    },
    {
      "id": "eprint:2025/611",
      "title": "Proving CPU Executions in Small Space",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "streamingjolt"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Vineet Nair",
        "Justin Thaler",
        "Michael Zhu"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/611"
      },
      "source_url": "https://eprint.iacr.org/2025/611"
    },
    {
      "id": "doi:10.1007/978-981-95-5099-9_10",
      "title": "RoK and Roll - Verifier-Efficient Random Projection for O (λ)-Size Lattice Arguments - (Extended Abstract)",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "rok_and_roll"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Michael Klooß",
        "Russell W. F. Lai",
        "Ngoc Khanh Nguyen",
        "Michal Osadnik"
      ],
      "year": 2025,
      "identifiers": {
        "doi": "10.1007/978-981-95-5099-9_10"
      },
      "source_url": "https://doi.org/10.1007/978-981-95-5099-9_10"
    },
    {
      "id": "eprint:2025/1220",
      "title": "RoK and Roll — Verifier-Efficient Random Projection for Õ(λ)-size Lattice Arguments",
      "authors": [
        "Michael Klooß",
        "Russell W. F. Lai",
        "Ngoc Khanh Nguyen",
        "Michał Osadnik"
      ],
      "year": 2025,
      "kind": "paper",
      "relations": [
        "curated"
      ],
      "collections": [
        "lattice-zk",
        "succinct-arguments"
      ],
      "tags": [
        "SNARK",
        "random projections",
        "succinct verification",
        "vSIS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2025/1220"
      },
      "source_url": "https://eprint.iacr.org/2025/1220",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2025-1220.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 35,
      "bytes": 871343,
      "sha256": "a0357548feb53b771d826cd70a385c8f2f59d29c8a1274677d5ef7d9f90c7789",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json"
      }
    },
    {
      "id": "eprint:2025/2124",
      "title": "SALSAA — Sumcheck-Aided Lattice-based Succinct Arguments and Applications",
      "authors": [
        "Shuto Kuriyama",
        "Russell W. F. Lai",
        "Michał Osadnik",
        "Lorenzo Tucci"
      ],
      "year": 2025,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "succinct-arguments"
      ],
      "tags": [
        "SNARK",
        "sumcheck",
        "linear-time prover",
        "folding"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2025/2124"
      },
      "source_url": "https://eprint.iacr.org/2025/2124",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2025-2124.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 37,
      "bytes": 905872,
      "sha256": "7b8c482ba5ef5a0d6e67c5b97ab05515d67ce868da7a326ec1df4e007fc15d0f",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "salsaa"
      ]
    },
    {
      "id": "title:semantic-parsing-analyzing-and-comparing-source-code-across-many-languages",
      "title": "Semantic: Parsing, analyzing, and comparing source code across many languages",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "github-semantic"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "year": 2025,
      "source_url": "https://github.com/github/semantic"
    },
    {
      "id": "title:shipping-an-l1-zkevm-1-realtime-proving",
      "title": "Shipping an L1 zkEVM #1: Realtime Proving",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "ef-realtime-proving"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Ethereum Foundation"
      ],
      "year": 2025,
      "source_url": "https://blog.ethereum.org/2025/07/10/realtime-proving"
    },
    {
      "id": "title:soundness-failures-in-labrador-implementations-from-ntt-friendly-rings",
      "title": "Soundness Failures in LaBRADOR Implementations from NTT-Friendly Rings",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "zksecurity-labrador-bugs"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Georgios Raikos",
        "David Wong"
      ],
      "year": 2025,
      "source_url": "https://blog.zksecurity.xyz/posts/labrador-bugs/"
    },
    {
      "id": "title:sp1-hypercube-proving-ethereum-in-real-time",
      "title": "SP1 Hypercube: Proving Ethereum in Real-Time",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "sp1hypercube"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Succinct"
      ],
      "year": 2025,
      "source_url": "https://blog.succinct.xyz/sp1-hypercube/"
    },
    {
      "id": "eprint:2025/199",
      "title": "Sublinear Proofs over Polynomial Rings",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "hmz25"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Mi-Ying Miryam Huang",
        "Xinyu Mao",
        "Jiapeng Zhang"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/199"
      },
      "source_url": "https://eprint.iacr.org/2025/199"
    },
    {
      "id": "title:sumchecks-of-medium-degree",
      "title": "Sumchecks of Medium Degree",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "ben-note-high-d"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Ben Diamond"
      ],
      "year": 2025,
      "source_url": "https://hackmd.io/@benediamond/Sye_bB1wJl"
    },
    {
      "id": "eprint:2025/1905",
      "title": "Symphony: Scalable SNARKs in the Random Oracle Model from Lattice-Based High-Arity Folding",
      "authors": [
        "Binyi Chen"
      ],
      "year": 2025,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "folding",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "tags": [
        "SNARK",
        "high-arity folding",
        "random oracle model"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2025/1905"
      },
      "source_url": "https://eprint.iacr.org/2025/1905",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2025-1905.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 56,
      "bytes": 721114,
      "sha256": "40e90475b6d2fffbf2a80cce41df554378ab4f737f12d9dd92f5ffe1b711d91d",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "symphony"
      ]
    },
    {
      "id": "eprint:2025/1473",
      "title": "Time-Space Trade-Offs for Sumcheck",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "loglogsumcheck"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Anubhav Baweja",
        "Alessandro Chiesa",
        "Elisabetta Fedele",
        "Giacomo Fenzi",
        "Pratyush Mishra",
        "Tushar Mopuri",
        "Andrew Zitek-Estrada"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/1473"
      },
      "source_url": "https://eprint.iacr.org/2025/1473"
    },
    {
      "id": "eprint:2025/105",
      "title": "Twist and Shout: Faster memory checking arguments via one-hot addressing and increments",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "twist-shout"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Srinath Setty",
        "Justin Thaler"
      ],
      "year": 2025,
      "identifiers": {
        "eprint": "2025/105"
      },
      "source_url": "https://eprint.iacr.org/2025/105"
    },
    {
      "id": "title:vcvio-implementation",
      "title": "VCVio Implementation",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "vcvio-anonymized"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "year": 2025,
      "source_url": "https://anonymous.4open.science/r/VCV-io-7B60/README.md"
    },
    {
      "id": "title:verified-proof-systems-in-lean",
      "title": "Verified Proof Systems in Lean",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "zklib"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "year": 2025,
      "source_url": "https://github.com/Verified-zkEVM/ZKLib"
    },
    {
      "id": "title:whir-p3-whir-implementation-in-plonky3",
      "title": "whir-p3: WHIR implementation in Plonky3",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "whir-p3"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Coratger, Thomas",
        "Wambsgans, Tom",
        "others"
      ],
      "year": 2025,
      "source_url": "https://github.com/tcoratger/whir-p3"
    },
    {
      "id": "eprint:2024/311",
      "title": "Aggregating Falcon Signatures with LaBRADOR",
      "authors": [
        "Marius A. Aardal",
        "Diego F. Aranha",
        "Katharina Boudgoust",
        "Sebastian Kolby",
        "Akira Takahashi"
      ],
      "year": 2024,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "applications-and-tools",
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "tags": [
        "LaBRADOR",
        "Falcon",
        "aggregate signatures",
        "Fiat-Shamir"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2024/311"
      },
      "source_url": "https://eprint.iacr.org/2024/311",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2024-311.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 69,
      "bytes": 1250273,
      "sha256": "4196fd931c8e3affb353d54ca37c5ac9c92080177ede2ec2835d622a55ef8322",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "aggregatefalconlabrador"
      ]
    },
    {
      "id": "doi:10.1145/3632868",
      "title": "Asynchronous Probabilistic Couplings in Higher-Order Separation Logic",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "clutch"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Gregersen, Simon Oddershede",
        "Aguirre, Alejandro",
        "Haselwarter, Philipp G.",
        "Tassarotti, Joseph",
        "Birkedal, Lars"
      ],
      "year": 2024,
      "identifiers": {
        "doi": "10.1145/3632868"
      },
      "source_url": "https://doi.org/10.1145/3632868"
    },
    {
      "id": "title:blaze-fast-snarks-from-interleaved-raa-codes",
      "title": "Blaze: Fast SNARKs from interleaved RAA codes",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "blaze"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Brehm, Martijn",
        "Chen, Binyi",
        "Fisch, Ben",
        "Resch, Nicolas",
        "Rothblum, Ron D",
        "Zeilberger, Hadas"
      ],
      "year": 2024
    },
    {
      "id": "title:blst-multilingual-rsa-and-ecdsa-capable-bls12-381-signature-library",
      "title": "blst: Multilingual RSA-and ECDSA-capable BLS12-381 signature library",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "blst"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Supranational"
      ],
      "year": 2024,
      "source_url": "https://github.com/supranational/blst"
    },
    {
      "id": "title:building-cryptographic-proofs-from-hash-functions",
      "title": "Building Cryptographic Proofs from Hash Functions",
      "kind": "book",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "ChiesaYogev2024"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Chiesa, Alessandro",
        "Yogev, Eylon"
      ],
      "year": 2024,
      "source_url": "https://github.com/hash-based-snargs-book"
    },
    {
      "id": "eprint:2024/306",
      "title": "Concretely Efficient Lattice-based Polynomial Commitment from Standard Assumptions",
      "authors": [
        "Intak Hwang",
        "Jinyeong Seo",
        "Yongsoo Song"
      ],
      "year": 2024,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "polynomial-commitments",
        "snarks"
      ],
      "tags": [
        "PCS",
        "standard assumptions",
        "transparent setup"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2024/306"
      },
      "source_url": "https://eprint.iacr.org/2024/306",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2024-306.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 39,
      "bytes": 816022,
      "sha256": "cd63a1da0dbc28e56b93442be5b0ef56699545a362c69103edaf80853fd5851b",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "celpc"
      ]
    },
    {
      "id": "title:criterion-rs-statistics-driven-micro-benchmarking-in-rust",
      "title": "Criterion.rs: Statistics-driven Micro-benchmarking in Rust",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "criterion"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Brook Heisler"
      ],
      "year": 2024,
      "source_url": "https://github.com/criterion-rs/criterion.rs"
    },
    {
      "id": "doi:10.1145/3674635",
      "title": "Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "eris"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Aguirre, Alejandro",
        "Haselwarter, Philipp G.",
        "de Medeiros, Markus",
        "Li, Kwing Hei",
        "Gregersen, Simon Oddershede",
        "Tassarotti, Joseph",
        "Birkedal, Lars"
      ],
      "year": 2024,
      "identifiers": {
        "doi": "10.1145/3674635"
      },
      "source_url": "https://doi.org/10.1145/3674635"
    },
    {
      "id": "doi:10.6028/nist.fips.204",
      "title": "FIPS 204: Module-Lattice-Based Digital Signature Standard",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "fips204"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "National Institute of Standards",
        "Technology"
      ],
      "year": 2024,
      "identifiers": {
        "doi": "10.6028/nist.fips.204"
      },
      "source_url": "https://doi.org/10.6028/nist.fips.204"
    },
    {
      "id": "title:gnark-crypto-high-performance-cryptographic-and-elliptic-curve-library-in-go",
      "title": "gnark-crypto: High-performance cryptographic and elliptic curve library in Go",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "gnark-crypto"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Consensys"
      ],
      "year": 2024,
      "source_url": "https://github.com/Consensys/gnark-crypto"
    },
    {
      "id": "eprint:2024/1293",
      "title": "Greyhound: Fast Polynomial Commitments from Lattices",
      "authors": [
        "Ngoc Khanh Nguyen",
        "Gregor Seiler"
      ],
      "year": 2024,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "polynomial-commitments",
        "snarks"
      ],
      "tags": [
        "PCS",
        "SNARK",
        "sublinear verification",
        "implementation"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2024/1293",
        "doi": "10.1007/978-3-031-68403-6_8"
      },
      "source_url": "https://eprint.iacr.org/2024/1293",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2024-1293.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 33,
      "bytes": 557273,
      "sha256": "cec9aa888c5a26733b78d61e5002265b6bc44571d43d94fc4d70b70511ce1cf9",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "greyhound"
      ]
    },
    {
      "id": "title:hypernova-recursive-arguments-for-customizable-constraint-systems",
      "title": "HyperNova: Recursive arguments for customizable constraint systems",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "hypernova"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Kothapalli, Abhiram",
        "Setty, Srinath"
      ],
      "year": 2024
    },
    {
      "id": "title:jolt-snarks-for-virtual-machines-via-lookups",
      "title": "Jolt: Snarks for virtual machines via lookups",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck",
        "zkvm"
      ],
      "cited_by": [
        "akita",
        "lattice-jolt",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "jolt"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "lattice-jolt",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Arun, Arasu",
        "Setty, Srinath",
        "Thaler, Justin"
      ],
      "year": 2024
    },
    {
      "id": "eprint:2024/257",
      "title": "LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "latticefold"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Dan Boneh",
        "Binyi Chen"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/257"
      },
      "source_url": "https://eprint.iacr.org/2024/257"
    },
    {
      "id": "eprint:2024/1210",
      "title": "More Optimizations to Sum-Check Proving",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "daothalerspliteq"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Quang Dao",
        "Justin Thaler"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/1210"
      },
      "source_url": "https://eprint.iacr.org/2024/1210"
    },
    {
      "id": "eprint:2024/1606",
      "title": "NeutronNova: Folding everything that reduces to zero-check",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "neutronnova"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Abhiram Kothapalli",
        "Srinath Setty"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/1606"
      },
      "source_url": "https://eprint.iacr.org/2024/1606"
    },
    {
      "id": "title:perspectives-on-sumcheck-batching",
      "title": "Perspectives on Sumcheck Batching",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "perspectives-on-sumcheck"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Posen, Jim"
      ],
      "year": 2024,
      "source_url": "https://hackmd.io/s/HyxaupAAA"
    },
    {
      "id": "title:plonky3-a-toolkit-for-polynomial-iops",
      "title": "Plonky3: A toolkit for polynomial IOPs",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "plonky3"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Polygon Labs"
      ],
      "year": 2024,
      "source_url": "https://github.com/Plonky3/Plonky3"
    },
    {
      "id": "eprint:2024/504",
      "title": "Polylogarithmic Proofs for Multilinears over Binary Towers",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "binius2"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Benjamin E. Diamond",
        "Jim Posen"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/504"
      },
      "source_url": "https://eprint.iacr.org/2024/504"
    },
    {
      "id": "eprint:2024/281",
      "title": "Polynomial Commitments from Lattices: Post-Quantum Security, Fast Verification and Transparent Setup",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "cmnw-lattice-pcs"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Valerio Cini",
        "Giulio Malavolta",
        "Ngoc Khanh Nguyen",
        "Hoeteck Wee"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/281"
      },
      "source_url": "https://eprint.iacr.org/2024/281"
    },
    {
      "id": "eprint:2024/1972",
      "title": "RoK, Paper, SISsors — Toolkit for Lattice-based Succinct Arguments",
      "authors": [
        "Michael Klooß",
        "Russell W. F. Lai",
        "Ngoc Khanh Nguyen",
        "Michał Osadnik"
      ],
      "year": 2024,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "succinct-arguments"
      ],
      "tags": [
        "SNARK",
        "reductions of knowledge",
        "structured projections",
        "vSIS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2024/1972"
      },
      "source_url": "https://eprint.iacr.org/2024/1972",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2024-1972.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 54,
      "bytes": 1264015,
      "sha256": "c16825db42acaed29dbdfd79c1bb4015948a7db65f2333afbbf36708093f82de",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "rok_sissors"
      ]
    },
    {
      "id": "eprint:2024/108",
      "title": "Some Improvements for the PIOP for ZeroCheck",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "gruen"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Angus Gruen"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/108"
      },
      "source_url": "https://eprint.iacr.org/2024/108"
    },
    {
      "id": "eprint:2024/390",
      "title": "STIR: Reed--Solomon Proximity Testing with Fewer Queries",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "stir"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Gal Arnon",
        "Alessandro Chiesa",
        "Giacomo Fenzi",
        "Eylon Yogev"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/390"
      },
      "source_url": "https://eprint.iacr.org/2024/390"
    },
    {
      "id": "eprint:2024/457",
      "title": "Studying Lattice-Based Zero-Knowledge Proofs: A Tutorial and an Implementation of Lantern",
      "authors": [
        "Lena Heimberger",
        "Florian Lugstein",
        "Christian Rechberger"
      ],
      "year": 2024,
      "kind": "paper",
      "relations": [
        "curated"
      ],
      "collections": [
        "applications-and-tools",
        "lattice-zk"
      ],
      "tags": [
        "Lantern",
        "tutorial",
        "implementation",
        "zero knowledge"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2024/457"
      },
      "source_url": "https://eprint.iacr.org/2024/457",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2024-457.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 4,
      "bytes": 117514,
      "sha256": "039c59a6ff74fcba60ef341e93bd298d9fe48f9988a54bc0fb809fdac119a193",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json"
      }
    },
    {
      "id": "doi:10.1145/3689753",
      "title": "Tachis: Higher-Order Separation Logic with Credits for Expected Costs",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "tachis"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Haselwarter, Philipp G.",
        "Li, Kwing Hei",
        "de Medeiros, Markus",
        "Gregersen, Simon Oddershede",
        "Aguirre, Alejandro",
        "Tassarotti, Joseph",
        "Birkedal, Lars"
      ],
      "year": 2024,
      "identifiers": {
        "doi": "10.1145/3689753"
      },
      "source_url": "https://doi.org/10.1145/3689753"
    },
    {
      "id": "title:the-barrett-montgomery-duality-and-a-new-multi-precision-modular-reduction-scheme-with-only-n-2-1-operations",
      "title": "The Barrett-Montgomery Duality and a New Multi-Precision Modular Reduction Scheme with Only n^2 - 1 Operations",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "yuvalblogpost"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Yuval Domb"
      ],
      "year": 2024,
      "source_url": "https://medium.com/@ingonyama/the-barrett-montgomery-duality-and-a-new-multi-precision-modular-reduction-scheme-with-only-n2-1-b40ede4792da"
    },
    {
      "id": "eprint:2024/1846",
      "title": "The LaZer Library: Lattice-Based Zero Knowledge and Succinct Proofs for Quantum-Safe Privacy",
      "authors": [
        "Vadim Lyubashevsky",
        "Gregor Seiler",
        "Patrick Steuer"
      ],
      "year": 2024,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "applications-and-tools",
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "tags": [
        "LaZer",
        "library",
        "zero knowledge",
        "succinct proofs"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2024/1846"
      },
      "source_url": "https://eprint.iacr.org/2024/1846",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2024-1846.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 13,
      "bytes": 720757,
      "sha256": "c4a91560a84983d51f8334d57147ea4710bc9b40f1826b93299afde3f22a539f",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "lazer"
      ]
    },
    {
      "id": "eprint:2024/1046",
      "title": "The Sum-Check Protocol over Fields of Small Characteristic",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "smallvaluesumcheck"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Suyash Bagad",
        "Yuval Domb",
        "Justin Thaler"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/1046"
      },
      "source_url": "https://eprint.iacr.org/2024/1046"
    },
    {
      "id": "title:trace-event-format",
      "title": "Trace Event Format",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "chrome-trace"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Google"
      ],
      "year": 2024,
      "source_url": "https://docs.google.com/document/d/1CvAClvFfyA5R-PhYUmn5OOQtYMH4h6I0nSsKchNAySU/preview"
    },
    {
      "id": "title:unlocking-the-lookup-singularity-with-lasso",
      "title": "Unlocking the lookup singularity with lasso",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "lasso"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Setty, Srinath",
        "Thaler, Justin",
        "Wahby, Riad"
      ],
      "year": 2024
    },
    {
      "id": "eprint:2024/1586",
      "title": "WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "whir"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Gal Arnon",
        "Alessandro Chiesa",
        "Giacomo Fenzi",
        "Eylon Yogev"
      ],
      "year": 2024,
      "identifiers": {
        "eprint": "2024/1586"
      },
      "source_url": "https://eprint.iacr.org/2024/1586"
    },
    {
      "id": "eprint:2023/1705",
      "title": "BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "basefold"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Hadas Zeilberger",
        "Binyi Chen",
        "Ben Fisch"
      ],
      "year": 2023,
      "identifiers": {
        "eprint": "2023/1705"
      },
      "source_url": "https://eprint.iacr.org/2023/1705"
    },
    {
      "id": "title:binius-rust-implementation-of-snark-over-towers-of-binary-fields",
      "title": "Binius: Rust implementation of SNARK over towers of binary fields",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "biniuscode"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "The Irreducible team"
      ],
      "year": 2023,
      "source_url": "https://gitlab.com/IrreducibleOSS/binius"
    },
    {
      "id": "eprint:2023/552",
      "title": "Customizable constraint systems for succinct arguments",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "setty23ccs"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Srinath Setty",
        "Justin Thaler",
        "Riad Wahby"
      ],
      "year": 2023,
      "identifiers": {
        "eprint": "2023/552"
      },
      "source_url": "https://eprint.iacr.org/2023/552"
    },
    {
      "id": "doi:10.1145/3609026.3609729",
      "title": "Effect Handlers for Programmable Inference",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "Nguyen_2023"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Nguyen, Minh",
        "Perera, Roly",
        "Wang, Meng",
        "Ramsay, Steven"
      ],
      "year": 2023,
      "identifiers": {
        "doi": "10.1145/3609026.3609729"
      },
      "source_url": "https://doi.org/10.1145/3609026.3609729"
    },
    {
      "id": "eprint:2022/1400",
      "title": "Faster Montgomery multiplication and Multi-Scalar-Multiplication for SNARKs",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "edmsm"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Gautam Botrel",
        "Youssef El Housni"
      ],
      "year": 2023,
      "identifiers": {
        "doi": "10.46586/tches.v2023.i3.504-521",
        "eprint": "2022/1400"
      },
      "source_url": "https://eprint.iacr.org/2022/1400"
    },
    {
      "id": "doi:10.1007/s00145-023-09478-y",
      "title": "Fiat–Shamir Transformation of Multi-Round Interactive Proofs (Extended Version)",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "afk-multi-round-fiat-shamir"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Attema, Thomas",
        "Fehr, Serge",
        "Klooß, Michael"
      ],
      "year": 2023,
      "identifiers": {
        "doi": "10.1007/s00145-023-09478-y"
      },
      "source_url": "https://doi.org/10.1007/s00145-023-09478-y"
    },
    {
      "id": "title:hyperplonk-plonk-with-linear-time-prover-and-high-degree-custom-gates",
      "title": "HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "hyperplonk"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Chen, Binyi",
        "Bünz, Benedikt",
        "Boneh, Dan",
        "Zhang, Zhenfei"
      ],
      "year": 2023
    },
    {
      "id": "eprint:2023/846",
      "title": "Lattice-Based Polynomial Commitments: Towards Asymptotic and Concrete Efficiency",
      "authors": [
        "Giacomo Fenzi",
        "Hossein Moghaddas",
        "Ngoc Khanh Nguyen"
      ],
      "year": 2023,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "polynomial-commitments",
        "snarks"
      ],
      "tags": [
        "PCS",
        "succinct arguments",
        "BASIS",
        "R1CS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2023/846",
        "doi": "10.1007/s00145-024-09511-8"
      },
      "source_url": "https://eprint.iacr.org/2023/846",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2023-846.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 88,
      "bytes": 1143970,
      "sha256": "eae5beb27d9875c5c38cd029604c012b91456d597017471ca6978b8834c42dec",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "fmn-lattice-pcs"
      ]
    },
    {
      "id": "doi:10.1007/978-3-031-38545-2_3",
      "title": "Lattice-Based Succinct Arguments from Vanishing Polynomials",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "clm23"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Valerio Cini",
        "Russell W. F. Lai",
        "Giulio Malavolta"
      ],
      "year": 2023,
      "identifiers": {
        "doi": "10.1007/978-3-031-38545-2_3"
      },
      "source_url": "https://doi.org/10.1007/978-3-031-38545-2_3"
    },
    {
      "id": "doi:10.1145/3591226",
      "title": "Lilac: A Modal Separation Logic for Conditional Probability",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "lilac"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Li, John M.",
        "Ahmed, Amal",
        "Holtzen, Steven"
      ],
      "year": 2023,
      "identifiers": {
        "doi": "10.1145/3591226"
      },
      "source_url": "https://doi.org/10.1145/3591226"
    },
    {
      "id": "title:owl-compositional-verification-of-security-protocols-via-an-information-flow-type-system",
      "title": "OWL: Compositional Verification of Security Protocols via an Information-Flow Type System",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "OWL"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Joshua Gancher",
        "Sydney Gibson",
        "Pratap Singh",
        "Samvid Dharanikota",
        "Bryan Parno"
      ],
      "year": 2023
    },
    {
      "id": "title:risc-zero-zkvm-scalable-transparent-arguments-of-risc-v-integrity",
      "title": "RISC Zero zkVM: Scalable, Transparent Arguments of RISC-V Integrity",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "risczerowhitepaper"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Jeremy Bruestle",
        "Paul Gafni",
        "the RISC Zero Team"
      ],
      "year": 2023
    },
    {
      "id": "eprint:2023/1469",
      "title": "SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "slap"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Martin R. Albrecht",
        "Giacomo Fenzi",
        "Oleksandra Lapiha",
        "Ngoc Khanh Nguyen"
      ],
      "year": 2023,
      "identifiers": {
        "eprint": "2023/1469"
      },
      "source_url": "https://eprint.iacr.org/2023/1469"
    },
    {
      "id": "eprint:2023/1784",
      "title": "Succinct Arguments over Towers of Binary Fields",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "binius"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Benjamin E. Diamond",
        "Jim Posen"
      ],
      "year": 2023,
      "identifiers": {
        "eprint": "2023/1784"
      },
      "source_url": "https://eprint.iacr.org/2023/1784"
    },
    {
      "id": "title:arkworks-zksnark-ecosystem",
      "title": "arkworks zkSNARK ecosystem",
      "kind": "software",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "arkworks"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "arkworks contributors"
      ],
      "year": 2022,
      "source_url": "https://arkworks.rs"
    },
    {
      "id": "title:fiat-shamir-transformation-of-multi-round-interactive-proofs",
      "title": "Fiat-shamir transformation of multi-round interactive proofs",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "attema2022fiat"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Attema, Thomas",
        "Fehr, Serge",
        "Klooß, Michael"
      ],
      "year": 2022
    },
    {
      "id": "eprint:2022/1155",
      "title": "Hawk: Module LIP makes Lattice Signatures Fast, Compact and Simple",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "hawk-lip"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Léo Ducas",
        "Eleanor Postlethwaite",
        "Stephen Pulles",
        "Wessel van Woerden"
      ],
      "year": 2022,
      "identifiers": {
        "eprint": "2022/1155"
      },
      "source_url": "https://eprint.iacr.org/2022/1155"
    },
    {
      "id": "eprint:2022/1341",
      "title": "LaBRADOR: Compact Proofs for R1CS from Module-SIS",
      "authors": [
        "Ward Beullens",
        "Gregor Seiler"
      ],
      "year": 2022,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "succinct-arguments"
      ],
      "tags": [
        "SNARK",
        "R1CS",
        "Module-SIS",
        "recursive amortization"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2022/1341",
        "doi": "10.1007/978-3-031-38554-4_17"
      },
      "source_url": "https://eprint.iacr.org/2022/1341",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2022-1341.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 34,
      "bytes": 569118,
      "sha256": "87b99030c9cc11d922ebcb7cc475a5f44ccb20188ec18b1442c2d8f45412e581",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "labrador"
      ]
    },
    {
      "id": "eprint:2022/284",
      "title": "Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General",
      "authors": [
        "Vadim Lyubashevsky",
        "Ngoc Khanh Nguyen",
        "Maxime Plançon"
      ],
      "year": 2022,
      "kind": "paper",
      "relations": [
        "curated"
      ],
      "collections": [
        "foundations",
        "lattice-zk"
      ],
      "tags": [
        "zero knowledge",
        "norm proofs",
        "Module-SIS",
        "Module-LWE"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2022/284"
      },
      "source_url": "https://eprint.iacr.org/2022/284",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2022-284.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 84,
      "bytes": 1041252,
      "sha256": "8559bd4979c074b33392a3f5629a4b1613f41a46c497f2dbfa1c198f7ecc30d5",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json"
      }
    },
    {
      "id": "doi:10.3929/ethz-b-000574844",
      "title": "Lattice-Based Zero-Knowledge Proofs Under a Few Dozen Kilobytes",
      "kind": "phdthesis",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "nguyen-thesis"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Ngoc Khanh Nguyen"
      ],
      "year": 2022,
      "identifiers": {
        "doi": "10.3929/ethz-b-000574844"
      },
      "source_url": "https://doi.org/10.3929/ethz-b-000574844"
    },
    {
      "id": "eprint:2021/1397",
      "title": "Practical Non-interactive Publicly Verifiable Secret Sharing with Thousands of Parties",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "ghl_pvss"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Craig Gentry",
        "Shai Halevi",
        "Vadim Lyubashevsky"
      ],
      "year": 2022,
      "identifiers": {
        "eprint": "2021/1397"
      },
      "source_url": "https://eprint.iacr.org/2021/1397"
    },
    {
      "id": "title:proofs-arguments-and-zero-knowledge",
      "title": "Proofs, arguments, and zero-knowledge",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "thaler20proofs"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Thaler, Justin"
      ],
      "year": 2022
    },
    {
      "id": "title:reflection-rewinding-and-coin-toss-in-easycrypt",
      "title": "Reflection, Rewinding, and Coin-Toss in EasyCrypt",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "rewinding"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Denis Firsoz",
        "Dominique Unruh"
      ],
      "year": 2022
    },
    {
      "id": "title:an-interactive-prover-for-protocol-verification-in-the-computational-model",
      "title": "An interactive prover for protocol verification in the computational model",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "Squirrel"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "D. Baelde",
        "S. Delaune",
        "C. Jacomme",
        "A. Koutsos",
        "S. Moreau"
      ],
      "year": 2021
    },
    {
      "id": "title:brakedown-linear-time-and-post-quantum-snarks-for-r1cs",
      "title": "Brakedown: Linear-time and post-quantum SNARKs for R1CS",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "golovnev21brakedown"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Alexander Golovnev",
        "Jonathan Lee",
        "Srinath Setty",
        "Justin Thaler",
        "Riad S. Wahby"
      ],
      "year": 2021
    },
    {
      "id": "title:cryptolib-security-proofs-in-the-lean-theorem-prover",
      "title": "cryptolib: Security Proofs in the Lean Theorem Prover",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "CryptoLib"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Joey Lupo"
      ],
      "year": 2021
    },
    {
      "id": "title:dory-efficient-transparent-arguments-for-generalised-inner-products-and-polynomial-commitments",
      "title": "Dory: Efficient, transparent arguments for generalised inner products and polynomial commitments",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "zkvm"
      ],
      "cited_by": [
        "akita",
        "lattice-jolt"
      ],
      "citation_keys": [
        "lee2021dory"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "lattice-jolt"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Lee, Jonathan"
      ],
      "year": 2021
    },
    {
      "id": "eprint:2021/582",
      "title": "ethSTARK Documentation",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "ethstark-doc"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "StarkWare"
      ],
      "year": 2021,
      "identifiers": {
        "eprint": "2021/582"
      },
      "source_url": "https://eprint.iacr.org/2021/582"
    },
    {
      "id": "title:frost-flexible-round-optimized-schnorr-threshold-signatures",
      "title": "FROST: Flexible round-optimized Schnorr threshold signatures",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "komlo2021frost"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Komlo, Chelsea",
        "Goldberg, Ian"
      ],
      "year": 2021
    },
    {
      "id": "title:optimizing-pairing-based-cryptography-montgomery-multiplication-in-assembly",
      "title": "Optimizing Pairing-Based Cryptography: Montgomery Multiplication in Assembly",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "ncc-montgomery-asm"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Eric Schorn"
      ],
      "year": 2021,
      "source_url": "https://www.nccgroup.com/research-blog/optimizing-pairing-based-cryptography-montgomery-multiplication-in-assembly/"
    },
    {
      "id": "doi:10.1109/sp40001.2021.00008",
      "title": "SoK: Computer-Aided Cryptography",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "NewSurvey"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Barbosa, Manuel",
        "Barthe, Gilles",
        "Bhargavan, Karthik",
        "Blanchet, Bruno",
        "Cremers, Cas",
        "Liao, Kevin",
        "Parno, Bryan"
      ],
      "year": 2021,
      "identifiers": {
        "doi": "10.1109/sp40001.2021.00008"
      },
      "source_url": "https://doi.org/10.1109/sp40001.2021.00008"
    },
    {
      "id": "title:ssprove-a-foundational-framework-for-modular-cryptographic-proofs-in-coq",
      "title": "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "SSProve"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Philipp G. Haselwarter",
        "Exequiel Rivas",
        "Antoine Van Muylder",
        "Théo Winterhalter",
        "Carmine Abate",
        "Nikolaj Sidorenco",
        "Catalin Hritcu",
        "Kenji Maillard",
        "Bas Spitters"
      ],
      "year": 2021
    },
    {
      "id": "eprint:2021/333",
      "title": "Sumcheck Arguments and their Applications",
      "authors": [
        "Jonathan Bootle",
        "Alessandro Chiesa",
        "Katerina Sotiraki"
      ],
      "year": 2021,
      "kind": "paper",
      "relations": [
        "cited",
        "curated"
      ],
      "collections": [
        "citation-closure",
        "foundations",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "tags": [
        "sumcheck",
        "succinct arguments",
        "R1CS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2021/333"
      },
      "source_url": "https://eprint.iacr.org/2021/333",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2021-333.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 82,
      "bytes": 816209,
      "sha256": "6353310a4d42501a9c028349aefca46b839d1efb27e09f542d4d567514f478a3",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json",
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "bootle21sumcheck"
      ]
    },
    {
      "id": "title:a-non-pcp-approach-to-succinct-quantum-safe-zero-knowledge",
      "title": "A non-PCP approach to succinct quantum-safe zero knowledge",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "bootle20nonpcp"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Jonathan Bootle",
        "Vadim Lyubashevsky",
        "Ngoc Khanh Nguyen",
        "Gregor Seiler"
      ],
      "year": 2020
    },
    {
      "id": "title:falcon-fast-fourier-lattice-based-compact-signatures-over-ntru",
      "title": "Falcon: Fast-Fourier Lattice-based Compact Signatures over NTRU",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "falcon"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Pierre-Alain Fouque",
        "Jeffrey Hoffstein",
        "Paul Kirchner",
        "Vadim Lyubashevsky",
        "Thomas Pornin",
        "Thomas Prest",
        "Thomas Ricosset",
        "Gregor Seiler",
        "William Whyte",
        "Zhenfei Zhang"
      ],
      "year": 2020,
      "source_url": "https://falcon-sign.info/falcon.pdf"
    },
    {
      "id": "title:marlin-preprocessing-zksnarks-with-universal-and-updatable-srs",
      "title": "Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "chiesa19marlin"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Alessandro Chiesa",
        "Yuncong Hu",
        "Mary Maller",
        "Pratyush Mishra",
        "Noah Vesely",
        "Nicholas Ward"
      ],
      "year": 2020
    },
    {
      "id": "eprint:2020/1448",
      "title": "Shorter Lattice-Based Zero-Knowledge Proofs via One-Time Commitments",
      "authors": [
        "Vadim Lyubashevsky",
        "Ngoc Khanh Nguyen",
        "Gregor Seiler"
      ],
      "year": 2020,
      "kind": "paper",
      "relations": [
        "curated"
      ],
      "collections": [
        "foundations",
        "lattice-zk"
      ],
      "tags": [
        "zero knowledge",
        "one-time commitments",
        "Module-SIS"
      ],
      "availability": "mirrored",
      "license_status": "reviewed",
      "identifiers": {
        "eprint": "2020/1448"
      },
      "source_url": "https://eprint.iacr.org/2020/1448",
      "mirror_url": "https://quangvdao.github.io/papers/lattice-zk/2020-1448.pdf",
      "license": "CC BY 4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "modified": false,
      "pages": 41,
      "bytes": 713569,
      "sha256": "e7b5d1ca691b629465bb63b72dd3937f5932e537e7822c32d0bc7f824349c5c1",
      "provenance": {
        "collection_manifest": "papers/collections/lattice-zk.json"
      }
    },
    {
      "id": "title:spartan-efficient-and-general-purpose-zksnarks-without-trusted-setup",
      "title": "Spartan: Efficient and general-purpose zkSNARKs without trusted setup",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "setty2020spartan"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Setty, Srinath"
      ],
      "year": 2020
    },
    {
      "id": "doi:10.1145/3372885.3373824",
      "title": "The lean mathematical library",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "mathlib"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "The mathlib Community"
      ],
      "year": 2020,
      "identifiers": {
        "doi": "10.1145/3372885.3373824"
      },
      "source_url": "https://doi.org/10.1145/3372885.3373824"
    },
    {
      "id": "title:transparent-polynomial-delegation-and-its-applications-to-zero-knowledge-proof",
      "title": "Transparent polynomial delegation and its applications to zero knowledge proof",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "virgo"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Zhang, Jiaheng",
        "Xie, Tiancheng",
        "Zhang, Yupeng",
        "Song, Dawn"
      ],
      "year": 2020
    },
    {
      "id": "title:transparent-snarks-from-dark-compilers",
      "title": "Transparent SNARKs from DARK Compilers",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "bunz19transparent"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Benedikt Bünz",
        "Ben Fisch",
        "Alan Szepieniec"
      ],
      "year": 2020
    },
    {
      "id": "doi:10.1145/3371123",
      "title": "A probabilistic separation logic",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "psl"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Barthe, Gilles",
        "Hsu, Justin",
        "Liao, Kevin"
      ],
      "year": 2019,
      "identifiers": {
        "doi": "10.1145/3371123"
      },
      "source_url": "https://doi.org/10.1145/3371123"
    },
    {
      "id": "title:crypthol-game-based-proofs-in-higher-order-logic",
      "title": "CryptHOL: Game-based Proofs in Higher-order Logic",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "CryptHOL"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "David Basin",
        "Andreas Lochbihler",
        "Reza Sefidgar"
      ],
      "year": 2019
    },
    {
      "id": "title:easyuc-using-easycrypt-to-mechanize-proofs-of-universally-composable-security",
      "title": "EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "EasyUC"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Ran Canetti",
        "Alley Stoughton",
        "Mayank Varia"
      ],
      "year": 2019
    },
    {
      "id": "title:fiat-shamir-from-practice-to-theory",
      "title": "Fiat-Shamir: from practice to theory",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "roundbyround"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Ran Canetti",
        "Yilei Chen",
        "Justin Holmgren",
        "Alex Lombardi",
        "Guy N. Rothblum",
        "Ron D. Rothblum",
        "Daniel Wichs"
      ],
      "year": 2019
    },
    {
      "id": "title:interaction-trees-representing-recursive-and-impure-programs-in-coq",
      "title": "Interaction trees: representing recursive and impure programs in Coq",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "interactiontree"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Li-yao Xia",
        "Yannick Zakowski",
        "Paul He",
        "Chung-Kil Hur",
        "Gregory Malecha",
        "Benjamin C. Pierce",
        "Steve Zdancewic"
      ],
      "year": 2019
    },
    {
      "id": "title:libra-succinct-zero-knowledge-proofs-with-optimal-prover-computation",
      "title": "Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "xie19libra"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Tiancheng Xie",
        "Jiaheng Zhang",
        "Yupeng Zhang",
        "Charalampos Papamanthou",
        "Dawn Song"
      ],
      "year": 2019
    },
    {
      "id": "title:plonk-permutations-over-lagrange-bases-for-oecumenical-noninteractive-arguments-of-knowledge",
      "title": "PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "gabizon19plonk"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Ariel Gabizon",
        "Zachary J. Williamson",
        "Oana Ciobotaru"
      ],
      "year": 2019
    },
    {
      "id": "title:bulletproofs-short-proofs-for-confidential-transactions-and-more",
      "title": "Bulletproofs: Short Proofs for Confidential Transactions and More",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "bunz17bulletproofs"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Benedikt Bünz",
        "Jonathan Bootle",
        "Dan Boneh",
        "Andrew Poelstra",
        "Pieter Wuille",
        "Greg Maxwell"
      ],
      "year": 2018
    },
    {
      "id": "doi:10.1109/focs.2018.00021",
      "title": "Delegating Computations with (Almost) Minimal Time and Space Overhead",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "holmgren-rothblum-robp"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Justin Holmgren",
        "Ron D. Rothblum"
      ],
      "year": 2018,
      "identifiers": {
        "doi": "10.1109/focs.2018.00021"
      },
      "source_url": "https://doi.org/10.1109/focs.2018.00021"
    },
    {
      "id": "title:doubly-efficient-zksnarks-without-trusted-setup",
      "title": "Doubly-efficient zkSNARKs without trusted setup",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "wahby18doubly"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Riad S. Wahby",
        "Ioanna Tzialla",
        "Abhi Shelat",
        "Justin Thaler",
        "Michael Walfish"
      ],
      "year": 2018
    },
    {
      "id": "title:fast-reed-solomon-interactive-oracle-proofs-of-proximity",
      "title": "Fast Reed-Solomon interactive oracle proofs of proximity",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "bensasson18fast"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Ben-Sasson, Eli",
        "Bentov, Iddo",
        "Horesh, Yinon",
        "Riabzev, Michael"
      ],
      "year": 2018
    },
    {
      "id": "title:fiat-shamir-from-simpler-assumptions",
      "title": "Fiat-Shamir from simpler assumptions",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "canetti2018fiat"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Canetti, Ran",
        "Chen, Yilei",
        "Holmgren, Justin",
        "Lombardi, Alex",
        "Rothblum, Guy N",
        "Rothblum, Ron D"
      ],
      "year": 2018
    },
    {
      "id": "title:iris-from-the-ground-up-a-modular-foundation-for-higher-order-concurrent-separation-logic",
      "title": "Iris from the ground up: A modular foundation for higher-order concurrent separation logic",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "iris-from-the-ground-up"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Jung, Ralf",
        "Krebbers, Robbert",
        "Jourdan, Jacques-Henri",
        "Bizjak, Ales",
        "Birkedal, Lars",
        "Dreyer, Derek"
      ],
      "year": 2018
    },
    {
      "id": "title:proving-the-correct-execution-of-concurrent-services-in-zero-knowledge",
      "title": "Proving the correct execution of concurrent services in zero-knowledge",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "setty18proving"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Srinath Setty",
        "Sebastian Angel",
        "Trinabh Gupta",
        "Jonathan Lee"
      ],
      "year": 2018
    },
    {
      "id": "doi:10.1007/978-3-319-78381-9_8",
      "title": "Short, Invertible Elements in Partially Splitting Cyclotomic Rings and Applications to Lattice-Based Zero-Knowledge Proofs",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "ls18"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Vadim Lyubashevsky",
        "Gregor Seiler"
      ],
      "year": 2018,
      "identifiers": {
        "doi": "10.1007/978-3-319-78381-9_8"
      },
      "source_url": "https://doi.org/10.1007/978-3-319-78381-9_8"
    },
    {
      "id": "title:vram-faster-verifiable-ram-with-program-independent-preprocessing",
      "title": "vRAM: Faster Verifiable RAM With Program-Independent Preprocessing",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "zhang18vram"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Yupeng Zhang",
        "Daniel Genkin",
        "Jonathan Katz",
        "Dimitrios Papadopoulos",
        "Charalampos Papamanthou"
      ],
      "year": 2018
    },
    {
      "id": "title:cryptoverif-a-computationally-sound-security-protocol-verifier",
      "title": "CryptoVerif: A Computationally-Sound Security Protocol Verifier",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "CryptoVerif"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Bruno Blanchet"
      ],
      "year": 2017
    },
    {
      "id": "title:full-accounting-for-verifiable-outsourcing",
      "title": "Full accounting for verifiable outsourcing",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "wahby17full"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Riad S. Wahby",
        "Ye Ji",
        "Andrew J. Blumberg",
        "Abhi Shelat",
        "Justin Thaler",
        "Michael Walfish",
        "Thomas Wies"
      ],
      "year": 2017
    },
    {
      "id": "title:key-reinstallation-attacks-forcing-nonce-reuse-in-wpa2",
      "title": "Key reinstallation attacks: Forcing nonce reuse in WPA2",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "wpa2-krack"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Vanhoef, Mathy",
        "Piessens, Frank"
      ],
      "year": 2017
    },
    {
      "id": "title:ligero-lightweight-sublinear-arguments-without-a-trusted-setup",
      "title": "Ligero: Lightweight Sublinear Arguments Without a Trusted Setup",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "ames17ligero"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Scott Ames",
        "Carmit Hazay",
        "Yuval Ishai",
        "Muthu Venkitasubramaniam"
      ],
      "year": 2017
    },
    {
      "id": "eprint:2017/437",
      "title": "Slothful reduction",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "slothful-reduction"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Michael Scott"
      ],
      "year": 2017,
      "identifiers": {
        "eprint": "2017/437"
      },
      "source_url": "https://eprint.iacr.org/2017/437"
    },
    {
      "id": "doi:10.1145/3133956.3133969",
      "title": "The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "roca-vuln"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Nemec, Matus",
        "Sys, Marek",
        "Svenda, Petr",
        "Klinec, Dusan",
        "Matyas, Vashek"
      ],
      "year": 2017,
      "identifiers": {
        "doi": "10.1145/3133956.3133969"
      },
      "source_url": "https://doi.org/10.1145/3133956.3133969"
    },
    {
      "id": "title:vsql-verifying-arbitrary-sql-queries-over-dynamic-outsourced-databases",
      "title": "vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "zhang17vsql"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Yupeng Zhang",
        "Daniel Genkin",
        "Jonathan Katz",
        "Dimitrios Papadopoulos",
        "Charalampos Papamanthou"
      ],
      "year": 2017
    },
    {
      "id": "title:interactive-oracle-proofs",
      "title": "Interactive oracle proofs",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "iop-paper"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Ben-Sasson, Eli",
        "Chiesa, Alessandro",
        "Spooner, Nicholas"
      ],
      "year": 2016
    },
    {
      "id": "title:modeling-and-verifying-security-protocols-with-the-applied-pi-calculus-and-proverif",
      "title": "Modeling and verifying security protocols with the applied pi calculus and ProVerif",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "ProVerif",
        "blanchet2016modeling"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "B. Blanchet"
      ],
      "year": 2016
    },
    {
      "id": "title:on-the-size-of-pairing-based-non-interactive-arguments",
      "title": "On the Size of Pairing-based Non-interactive Arguments",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "groth16size"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Jens Groth"
      ],
      "year": 2016
    },
    {
      "id": "title:post-quantum-key-exchange-a-new-hope",
      "title": "Post-quantum Key Exchange---A New Hope",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "alkim2016newhope"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Erdem Alkim",
        "Léo Ducas",
        "Thomas Pöppelmann",
        "Peter Schwabe"
      ],
      "year": 2016,
      "source_url": "https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/alkim"
    },
    {
      "id": "title:a-foundational-proof-framework-for-cryptography",
      "title": "A Foundational Proof Framework for Cryptography",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "FCF"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Adam Petcher"
      ],
      "year": 2015
    },
    {
      "id": "title:delegating-computation-interactive-proofs-for-muggles",
      "title": "Delegating computation: interactive proofs for muggles",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "goldwasser2015delegating"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Goldwasser, Shafi",
        "Kalai, Yael Tauman",
        "Rothblum, Guy N"
      ],
      "year": 2015
    },
    {
      "id": "title:implementing-gcm-on-armv8",
      "title": "Implementing gcm on armv8",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "gouvea2015implementing"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Gouvêa, Conrado PL",
        "López, Julio"
      ],
      "year": 2015
    },
    {
      "id": "doi:10.1145/2775051.2676980",
      "title": "Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "iris-original"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Jung, Ralf",
        "Swasey, David",
        "Sieczkowski, Filip",
        "Svendsen, Kasper",
        "Turon, Aaron",
        "Birkedal, Lars",
        "Dreyer, Derek"
      ],
      "year": 2015,
      "identifiers": {
        "doi": "10.1145/2775051.2676980"
      },
      "source_url": "https://doi.org/10.1145/2775051.2676980"
    },
    {
      "id": "eprint:2015/46",
      "title": "On the concrete hardness of Learning with Errors",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "albrecht2015concrete"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Albrecht, Martin R.",
        "Player, Rachel",
        "Scott, Sam"
      ],
      "year": 2015,
      "identifiers": {
        "doi": "10.1515/jmc-2015-0016",
        "eprint": "2015/46"
      },
      "source_url": "https://eprint.iacr.org/2015/46"
    },
    {
      "id": "title:the-lean-theorem-prover-system-description",
      "title": "The Lean theorem prover (system description)",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "lean"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "De Moura, Leonardo",
        "Kong, Soonho",
        "Avigad, Jeremy",
        "Van Doorn, Floris",
        "von Raumer, Jakob"
      ],
      "year": 2015
    },
    {
      "id": "title:what-is-the-difference-between-the-adc-and-adcx-instructions-on-x86",
      "title": "What is the difference between the ADC and ADCX instructions on x86?",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "so-adcx-adox"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Peter Cordes",
        "others"
      ],
      "year": 2015,
      "source_url": "https://stackoverflow.com/questions/29747508/what-is-the-difference-between-the-adc-and-adcx-instructions-on-x86"
    },
    {
      "id": "title:this-poodle-bites-exploiting-the-ssl-3-0-fallback",
      "title": "This POODLE bites: exploiting the SSL 3.0 fallback",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "moller2014poodle"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Möller, Bodo",
        "Duong, Thai",
        "Kotowicz, Krzysztof"
      ],
      "year": 2014
    },
    {
      "id": "title:a-hybrid-architecture-for-verifiable-computation",
      "title": "A hybrid architecture for verifiable computation",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "vu13hybrid"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Victor Vu",
        "Srinath Setty",
        "Andrew J. Blumberg",
        "Michael Walfish"
      ],
      "year": 2013
    },
    {
      "id": "title:new-instructions-supporting-large-integer-arithmetic-on-intel-architecture-processors",
      "title": "New Instructions Supporting Large Integer Arithmetic on Intel Architecture Processors",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "intel-adx-whitepaper"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Intel Corporation"
      ],
      "year": 2013,
      "source_url": "https://raw.githubusercontent.com/wiki/intel/intel-ipsec-mb/doc/ia-large-integer-arithmetic-paper.pdf"
    },
    {
      "id": "title:the-tamarin-prover-for-the-symbolic-analysis-of-security-protocols",
      "title": "The TAMARIN prover for the symbolic analysis of security protocols",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "Tamarin",
        "meier2013tamarin"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "S. Meier",
        "B. Schmidt",
        "C. Cremers",
        "D. A. Basin"
      ],
      "year": 2013
    },
    {
      "id": "title:time-optimal-interactive-proofs-for-circuit-evaluation",
      "title": "Time-Optimal Interactive Proofs for Circuit Evaluation",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "thaler13time"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Justin Thaler"
      ],
      "year": 2013
    },
    {
      "id": "title:how-not-to-prove-yourself-pitfalls-of-the-fiat-shamir-heuristic-and-applications-to-helios",
      "title": "How not to prove yourself: Pitfalls of the fiat-shamir heuristic and applications to helios",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "bernhard2012not"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Bernhard, David",
        "Pereira, Olivier",
        "Warinschi, Bogdan"
      ],
      "year": 2012
    },
    {
      "id": "doi:10.1007/978-3-642-29011-4_43",
      "title": "Lattice Signatures without Trapdoors",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "lyubashevsky12trapdoors"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Vadim Lyubashevsky"
      ],
      "year": 2012,
      "identifiers": {
        "doi": "10.1007/978-3-642-29011-4_43"
      },
      "source_url": "https://doi.org/10.1007/978-3-642-29011-4_43"
    },
    {
      "id": "title:practical-verified-computation-with-streaming-interactive-proofs",
      "title": "Practical Verified Computation with Streaming Interactive Proofs",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "cormode12practical"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Graham Cormode",
        "Michael Mitzenmacher",
        "Justin Thaler"
      ],
      "year": 2012
    },
    {
      "id": "eprint:2012/90",
      "title": "Worst-Case to Average-Case Reductions for Module Lattices",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "modulelattices"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Adeline Langlois",
        "Damien Stehlé"
      ],
      "year": 2012,
      "identifiers": {
        "eprint": "2012/90"
      },
      "source_url": "https://eprint.iacr.org/2012/90"
    },
    {
      "id": "title:computer-aided-security-proofs-for-the-working-cryptographer",
      "title": "Computer-aided security proofs for the working cryptographer",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "EasyCrypt"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "G. Barthe",
        "B. Gregoire",
        "S. Heraud",
        "S. Zanella-Beguelin"
      ],
      "year": 2011
    },
    {
      "id": "title:faster-software-for-sparse-isogenies-and-pairings",
      "title": "Faster software for sparse isogenies and pairings",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "aranha2011faster"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Aranha, Diego F",
        "Karabina, Koray",
        "Longa, Patrick",
        "Gebotys, Catherine H",
        "López, Julio"
      ],
      "year": 2011
    },
    {
      "id": "title:formal-certification-of-game-based-cryptographic-proofs",
      "title": "Formal certification of game-based cryptographic proofs",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "CertiCrypt"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Santiago Zanella-Beguelin"
      ],
      "year": 2011
    },
    {
      "id": "doi:10.14778/2047485.2047488",
      "title": "Verifying Computations with Streaming Interactive Proofs",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "cty"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Graham Cormode",
        "Justin Thaler",
        "Ke Yi"
      ],
      "year": 2011,
      "identifiers": {
        "doi": "10.14778/2047485.2047488"
      },
      "source_url": "https://doi.org/10.14778/2047485.2047488"
    },
    {
      "id": "title:constant-size-commitments-to-polynomials-and-their-applications",
      "title": "Constant-Size Commitments to Polynomials and Their Applications",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "kate10constant"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Kate, Aniket",
        "Zaverucha, Gregory M.",
        "Goldberg, Ian"
      ],
      "year": 2010
    },
    {
      "id": "title:fiat-shamir-with-aborts-applications-to-lattice-and-factoring-based-signatures",
      "title": "Fiat-Shamir with aborts: Applications to lattice and factoring-based signatures",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "fiat-shamir-with-aborts"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Lyubashevsky, Vadim"
      ],
      "year": 2009
    },
    {
      "id": "title:handlers-of-algebraic-effects",
      "title": "Handlers of algebraic effects",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "plotkin2009handlers"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Plotkin, Gordon",
        "Pretnar, Matija"
      ],
      "year": 2009
    },
    {
      "id": "doi:10.1103/physreva.78.012356",
      "title": "Finite Automata for Caching in Matrix Product Algorithms",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "crosswhite-bacon-automata"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Gregory M. Crosswhite",
        "Dave Bacon"
      ],
      "year": 2008,
      "identifiers": {
        "doi": "10.1103/physreva.78.012356",
        "arxiv": "0708.1221"
      },
      "source_url": "https://arxiv.org/abs/0708.1221"
    },
    {
      "id": "title:implementing-cryptographic-pairings",
      "title": "Implementing cryptographic pairings",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "scott2007implementing"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Scott, Michael"
      ],
      "year": 2007
    },
    {
      "id": "title:new-multi-signature-schemes-and-a-general-forking-lemma",
      "title": "New multi-signature schemes and a general forking lemma",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "forking_lemma"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Bellare, Mihir",
        "Neven, Gregory"
      ],
      "year": 2006
    },
    {
      "id": "title:breaking-and-provably-repairing-the-ssh-authenticated-encryption-scheme-a-case-study-of-the-encode-then-encrypt-and-mac-",
      "title": "Breaking and provably repairing the SSH authenticated encryption scheme: A case study of the encode-then-encrypt-and- MAC paradigm",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "SSH_break"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Mihir Bellare",
        "T. Kohno",
        "C. Namprempre"
      ],
      "year": 2004
    },
    {
      "id": "title:algebraic-operations-and-generic-effects",
      "title": "Algebraic operations and generic effects",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "plotkin2003algebraic"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Plotkin, Gordon",
        "Power, John"
      ],
      "year": 2003
    },
    {
      "id": "title:the-order-of-encryption-and-authentication-for-protecting-communications-or-how-secure-is-ssl",
      "title": "The order of encryption and authentication for protecting communications (or: How secure is SSL?)",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "SSL_break"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "H. Krawczyk"
      ],
      "year": 2001
    },
    {
      "id": "title:security-arguments-for-digital-signatures-and-blind-signatures",
      "title": "Security arguments for digital signatures and blind signatures",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "pointcheval2000security"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Pointcheval, David",
        "Stern, Jacques"
      ],
      "year": 2000
    },
    {
      "id": "title:generalized-mersenne-numbers",
      "title": "Generalized Mersenne Numbers",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "solinas99gmn"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Jerome A. Solinas"
      ],
      "year": 1999,
      "source_url": "https://cacr.uwaterloo.ca/techreports/1999/corr99-39.ps"
    },
    {
      "id": "title:analyzing-and-comparing-montgomery-multiplication-algorithms",
      "title": "Analyzing and Comparing Montgomery Multiplication Algorithms",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "koc_acar_kaliski"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Koç, çetin Kaya",
        "Acar, Tolga",
        "Kaliski, Burton S."
      ],
      "year": 1996
    },
    {
      "id": "doi:10.1145/237814.237838",
      "title": "Generating Hard Instances of Lattice Problems",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "ajtai96"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Ajtai, Miklós"
      ],
      "year": 1996,
      "identifiers": {
        "doi": "10.1145/237814.237838"
      },
      "source_url": "https://doi.org/10.1145/237814.237838"
    },
    {
      "id": "title:the-complexity-of-computations",
      "title": "The complexity of computations",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "karatsuba"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Karatsuba, Anatolii Alexeevich"
      ],
      "year": 1995
    },
    {
      "id": "title:computational-frameworks-for-the-fast-fourier-transform",
      "title": "Computational Frameworks for the Fast Fourier Transform",
      "kind": "book",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "vanloan92fft"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Van Loan, Charles F."
      ],
      "year": 1992
    },
    {
      "id": "title:ip-pspace",
      "title": "Ip= pspace",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "shamir"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Shamir, Adi"
      ],
      "year": 1992
    },
    {
      "id": "title:efficient-signature-generation-by-smart-cards",
      "title": "Efficient signature generation by smart cards",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "formal-verification"
      ],
      "cited_by": [
        "vcvio"
      ],
      "citation_keys": [
        "schnorr1991efficient"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "vcvio"
        ],
        "bibliography_files": [
          "vcvio-paper/ref.bib"
        ]
      },
      "authors": [
        "Schnorr, Claus-Peter"
      ],
      "year": 1991
    },
    {
      "id": "title:algebraic-methods-for-interactive-proof-systems",
      "title": "Algebraic methods for interactive proof systems",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck",
        "zkvm"
      ],
      "cited_by": [
        "akita",
        "lattice-jolt",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "lund90algebraic"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "lattice-jolt",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Lund, Carsten",
        "Fortnow, Lance",
        "Karloff, Howard",
        "Nisan, Noam"
      ],
      "year": 1990
    },
    {
      "id": "title:how-to-prove-yourself-practical-solutions-to-identification-and-signature-problems",
      "title": "How to Prove Yourself: Practical Solutions to Identification and Signature Problems",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "fiat87how"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Fiat, Amos",
        "Shamir, Adi"
      ],
      "year": 1986
    },
    {
      "id": "title:implementing-the-rivest-shamir-and-adleman-public-key-encryption-algorithm-on-a-standard-digital-signal-processor",
      "title": "Implementing the Rivest Shamir and Adleman public key encryption algorithm on a standard digital signal processor",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "barrett-reduction"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Barrett, Paul"
      ],
      "year": 1986
    },
    {
      "id": "doi:10.2307/2007970",
      "title": "Modular multiplication without trial division",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "akita",
        "monomial-sumcheck",
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "Montgomery85"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita",
          "monomial-sumcheck",
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib",
          "monomial-sumcheck/spice.bib",
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Montgomery, Peter L."
      ],
      "year": 1985,
      "identifiers": {
        "doi": "10.2307/2007970"
      },
      "source_url": "https://doi.org/10.2307/2007970"
    },
    {
      "id": "doi:10.1090/s0025-5718-1978-0468306-4",
      "title": "On Computing the Discrete Fourier Transform",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "winograd78dft"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Winograd, Shmuel"
      ],
      "year": 1978,
      "identifiers": {
        "doi": "10.1090/s0025-5718-1978-0468306-4"
      },
      "source_url": "https://doi.org/10.1090/s0025-5718-1978-0468306-4"
    },
    {
      "id": "title:unified-matrix-treatment-of-the-fast-walsh-hadamard-transform",
      "title": "Unified Matrix Treatment of the Fast Walsh-Hadamard Transform",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "monomial-sumcheck"
      ],
      "citation_keys": [
        "Fino1976UnifiedMT"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "monomial-sumcheck"
        ],
        "bibliography_files": [
          "monomial-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Bernard J. Fino",
        "V. Ralph Algazi"
      ],
      "year": 1976,
      "source_url": "https://api.semanticscholar.org/CorpusID:13252360"
    },
    {
      "id": "title:on-the-minimum-computation-time-of-functions",
      "title": "On the minimum computation time of functions",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "cook1966arithmetical"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Cook, Stephen A."
      ],
      "year": 1969
    },
    {
      "id": "doi:10.1090/s0025-5718-1965-0178586-1",
      "title": "An Algorithm for the Machine Calculation of Complex Fourier Series",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "cooley65fft"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Cooley, James W.",
        "Tukey, John W."
      ],
      "year": 1965,
      "identifiers": {
        "doi": "10.1090/s0025-5718-1965-0178586-1"
      },
      "source_url": "https://doi.org/10.1090/s0025-5718-1965-0178586-1"
    },
    {
      "id": "title:the-complexity-of-a-scheme-of-functional-elements-realizing-the-multiplication-of-integers",
      "title": "The Complexity of a Scheme of Functional Elements Realizing the Multiplication of Integers",
      "kind": "inproceedings",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "toom63"
      ],
      "availability": "metadata-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Andrei Toom"
      ],
      "year": 1963
    },
    {
      "id": "doi:10.1137/0108018",
      "title": "Polynomial Codes Over Certain Finite Fields",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "reedsolomon60"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Reed, I. S.",
        "Solomon, G."
      ],
      "year": 1960,
      "identifiers": {
        "doi": "10.1137/0108018"
      },
      "source_url": "https://doi.org/10.1137/0108018"
    },
    {
      "id": "doi:10.1109/tec.1959.5219515",
      "title": "The Residue Number System",
      "kind": "article",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "garner59residue"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "Garner, Harvey L."
      ],
      "year": 1959,
      "identifiers": {
        "doi": "10.1109/tec.1959.5219515"
      },
      "source_url": "https://doi.org/10.1109/tec.1959.5219515"
    },
    {
      "id": "title:hyrax-reference-implementation",
      "title": "Hyrax reference implementation",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "lattice-zk",
        "pcs",
        "snarks"
      ],
      "cited_by": [
        "akita"
      ],
      "citation_keys": [
        "hyrax"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "akita"
        ],
        "bibliography_files": [
          "lattice-jolt/spice.bib"
        ]
      },
      "authors": [
        "libfennel"
      ],
      "source_url": "https://github.com/hyraxZK/fennel"
    },
    {
      "id": "title:mulx-unsigned-multiply-without-affecting-flags",
      "title": "MULX --- Unsigned Multiply Without Affecting Flags",
      "kind": "manual",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "cloutier-mulx"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "Félix Cloutier"
      ],
      "source_url": "https://www.felixcloutier.com/x86/mulx"
    },
    {
      "id": "title:secp256k1-x64-avx-very-fast-not-secure-implementation-of-arithmetic-on-curve-secp256k1-on-x86-64",
      "title": "secp256k1-x64-avx: very fast (NOT SECURE) implementation of arithmetic on curve secp256k1 on x86_64",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "microbench"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "authors": [
        "XopMC"
      ],
      "source_url": "https://github.com/XopMC/secp256k1-x64-avx"
    },
    {
      "id": "title:spartan-high-speed-zksnarks-without-trusted-setup",
      "title": "Spartan: High-speed zkSNARKs without trusted setup",
      "kind": "misc",
      "relations": [
        "cited"
      ],
      "collections": [
        "citation-closure",
        "snarks",
        "sumcheck"
      ],
      "cited_by": [
        "speeding-up-sumcheck"
      ],
      "citation_keys": [
        "libspartan"
      ],
      "availability": "source-only",
      "license_status": "not-reviewed",
      "provenance": {
        "writing_sources": [
          "speeding-up-sumcheck"
        ],
        "bibliography_files": [
          "speeding-up-sumcheck/spice.bib"
        ]
      },
      "source_url": "https://github.com/Microsoft/Spartan"
    }
  ]
}