Paper Citation Record · LEDGER

Verification of Quantum Computations: Hardware-Efficient Security Proofs

As of 21 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2607.03983.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.03983 v1

Coverage vector

measured 49 of 49 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T22:33:05.770461Z

measured 49 of 49 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

49 of 49 outbound references displayed

verified exact0
verified fuzzy0
unresolved49
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ae6d1501-afac-4f13-9c84-32b7be3cd6f7 · outbound

This paper cites Interactive proofs for quantum computation.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Interactive proofs for quantum computation

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d10a9992-bed1-45d4-b609-e35dd8baea5b · outbound

This paper cites Interactive Proofs for Quantum Computations.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Interactive Proofs for Quantum Computations

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31a2a7f3-9753-47ad-912c-2541492deb7e · outbound

This paper cites Requirements for a processing-node quantum repeater on a real-world fiber grid.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Requirements for a processing-node quantum repeater on a real-world fiber grid

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0289552-96a2-45a7-ab0a-e2ac447708b7 · outbound

This paper cites Quantum accuracy threshold for concatenated distance-3 codes.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Quantum accuracy threshold for concatenated distance-3 codes

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8920803-d12f-4760-9405-de22d6c3a2d5 · outbound

This paper cites Vazirani.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Vazirani

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 679ceff2-f532-41df-bbb7-91690aa0323c · outbound

This paper cites Security Limitations of Classical-Client Delegated Quantum Computing , page 667–696.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Security Limitations of Classical-Client Delegated Quantum Computing , page 667–696

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a968a8d8-5ab0-45d8-87a1-67a54ddb9bdc · outbound

This paper cites Universal blind quantum computation.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Universal blind quantum computation

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a25fdfec-0f42-4062-b6c8-997e12272063 · outbound

This paper cites Generalized flow and determinism in measurement-based quantum computation.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Generalized flow and determinism in measurement-based quantum computation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aad9bbfc-3a23-4f19-9877-6d789cf7c9ca · outbound

This paper cites Secure multiparty quantum computation with (only) a strict honest majority.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Secure multiparty quantum computation with (only) a strict honest majority

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59cc8fbd-b07c-460b-851b-0b5290d94669 · outbound

This paper cites How to verify a quantum computation.

Verification of Quantum Computations: Hardware-Efficient Security Proofs How to verify a quantum computation

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68ab2ac8-86e3-424b-9f29-60f9f4d987c9 · outbound

This paper cites Secure multi-party quantum computation.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Secure multi-party quantum computation

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c7424cf-49ac-49fb-8f32-9da7a687eb69 · outbound

This paper cites Exact and approximate unitary 2-designs and their application to fidelity estimation.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Exact and approximate unitary 2-designs and their application to fidelity estimation

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 024e9061-1722-4356-8845-f53ba1b3dd49 · outbound

This paper cites Fitzsimons, Christopher Portmann, and Renato Renner.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Fitzsimons, Christopher Portmann, and Renato Renner

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2aa33b0-b07e-4bf2-993f-b9b2827b9bca · outbound

This paper cites Grilo, Stacey Jeffery, Christian Majenz, and Christian Schaffner.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Grilo, Stacey Jeffery, Christian Majenz, and Christian Schaffner

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 919face4-c1e3-4a7b-a614-bf046f8c28dd · outbound

This paper cites Determinism in the one-way model.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Determinism in the one-way model

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7573dffe-36f8-4cdb-9f16-f518682aec4c · outbound

This paper cites Universal blind quantum computing with weak coherent pulses.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Universal blind quantum computing with weak coherent pulses

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae823946-0ef4-425a-87b9-74f7b774970c · outbound

This paper cites The measurement calculus.

Verification of Quantum Computations: Hardware-Efficient Security Proofs The measurement calculus

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5d8f7c5-7d00-4dcd-af56-39158e6ab805 · outbound

This paper cites Actively secure two-party evaluation of any quantum operation.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Actively secure two-party evaluation of any quantum operation

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 164b3799-cec2-42bc-8831-556be398bc80 · outbound

This paper cites Fitzsimons, Michal Hajdu s s ek, and Tomoyuki Morimae.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Fitzsimons, Michal Hajdu s s ek, and Tomoyuki Morimae

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25309adb-bda0-42f6-b444-42ecebab7812 · outbound

This paper cites Fitzsimons and Elham Kashefi.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Fitzsimons and Elham Kashefi

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ab6fb45-80e9-4eee-8504-5bc4fa371655 · outbound

This paper cites Reducing resources for verification of quantum computations.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Reducing resources for verification of quantum computations

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b161e9d-4493-431b-ae43-db5aa24024dd · outbound

This paper cites Accrediting outputs of noisy intermediate-scale quantum computing devices.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Accrediting outputs of noisy intermediate-scale quantum computing devices

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 456514f3-9723-479c-9ba3-6072dc98befc · outbound

This paper cites Robustness and device independence of verifiable blind quantum computing.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Robustness and device independence of verifiable blind quantum computing

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1652c0dd-d57d-4feb-a6c9-5a9f5270e52c · outbound

This paper cites Composably secure delegated quantum computation with weak coherent pulses.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Composably secure delegated quantum computation with weak coherent pulses

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19f066cb-2c3e-457e-aed1-b13e6d4a4bd4 · outbound

This paper cites Multi-pulse protocol for securely preparing a single (qu)bit (in preparation), 2025.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Multi-pulse protocol for securely preparing a single (qu)bit (in preparation), 2025

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de7fabb9-8465-4bb4-a7cd-6558b556a76a · outbound

This paper cites Direct certification of a class of quantum simulations.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Direct certification of a class of quantum simulations

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 354ce427-74e7-4e5c-ab0e-ecb212d4db27 · outbound

This paper cites Remote blind state preparation with weak coherent pulses in the field.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Remote blind state preparation with weak coherent pulses in the field

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 227b4296-559d-45fd-9349-d96a28d2283c · outbound

This paper cites Efficient verification of universal and intermediate quantum computing.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Efficient verification of universal and intermediate quantum computing

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5549952b-c3ae-48bb-a8ff-56d8903fccc9 · outbound

This paper cites On optimising quantum communication in verifiable quantum computing.

Verification of Quantum Computations: Hardware-Efficient Security Proofs On optimising quantum communication in verifiable quantum computing

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a075d8e7-e3d6-4eca-8b6b-d7dde9b9d5ac · outbound

This paper cites Unifying quantum verification and error-detection: Theory and tools for optimisations.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Unifying quantum verification and error-detection: Theory and tools for optimisations

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 030a04ef-af97-4502-9da6-69003f46ebae · outbound

This paper cites Asymmetric quantum secure multi-party computation with weak clients against dishonest majority.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Asymmetric quantum secure multi-party computation with weak clients against dishonest majority

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58f0874a-bac1-49cd-bde4-e5f060463eb3 · outbound

This paper cites Verification of quantum computations without trusted preparations or measurements.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Verification of quantum computations without trusted preparations or measurements

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66fe31e9-0847-45b3-b9af-12f419528be9 · outbound

This paper cites Plugging leaks in fault-tolerant quantum computation and verification, 2025.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Plugging leaks in fault-tolerant quantum computation and verification, 2025

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 145ea7ea-f289-4795-b03d-0a56df589b6a · outbound

This paper cites Multiparty delegated quantum computing.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Multiparty delegated quantum computing

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fb66105-fa46-46f2-856f-8738e5c0ba3c · outbound

This paper cites Optimised resource construction for verifiable quantum computation.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Optimised resource construction for verifiable quantum computation

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24138941-e78a-4278-a72e-059cd58c2210 · outbound

This paper cites Verifying BQP computations on noisy devices with minimal overhead.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Verifying BQP computations on noisy devices with minimal overhead

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8444c8a-31cb-4e73-9e1a-d188657fbbca · outbound

This paper cites Classical-communication cost in distributed quantum-information processing: A generalization of quantum-communication complexity.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Classical-communication cost in distributed quantum-information processing: A generalization of quantum-communication complexity

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af4a2adc-90a3-412d-bd69-ff930329181a · outbound

This paper cites Leung and Peter W.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Leung and Peter W

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c7ff3aa-648d-45f7-9819-92821e4eefd0 · outbound

This paper cites Classical verification of quantum computations.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Classical verification of quantum computations

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b75a5fd3-de53-4dec-b73d-001959a785d5 · outbound

This paper cites Constructive cryptography -- a new paradigm for security definitions and proofs.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Constructive cryptography -- a new paradigm for security definitions and proofs

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56531c88-5ea2-4d10-b267-2e9e2172dca3 · outbound

This paper cites Fitzsimons.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Fitzsimons

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 871941d2-31c7-40ae-8a31-145de9d30018 · outbound

This paper cites QEnclave -- a practical solution for secure quantum cloud computing.

Verification of Quantum Computations: Hardware-Efficient Security Proofs QEnclave -- a practical solution for secure quantum cloud computing

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1de5aa8-2f0e-4ded-8262-ee31fdc589fe · outbound

This paper cites Shadow pauli flow: Characterising determinism in mbqcs involving pauli measurements.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Shadow pauli flow: Characterising determinism in mbqcs involving pauli measurements

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f102ed7-95b4-428b-bb53-9bb36fe1e662 · outbound

This paper cites Abstract cryptography.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Abstract cryptography

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2205237f-a6b5-4bab-8772-bf0dc675fac5 · outbound

This paper cites A quantum linearity test for robustly verifying entanglement.

Verification of Quantum Computations: Hardware-Efficient Security Proofs A quantum linearity test for robustly verifying entanglement

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b63d453f-b181-4ab4-85e8-62cf83140900 · outbound

This paper cites Multi-client distributed blind quantum computation with the qline architecture, 2023.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Multi-client distributed blind quantum computation with the qline architecture, 2023

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4898c3f9-d2a1-4899-ba44-85c7761df32c · outbound

This paper cites an unresolved cited work.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fba074a1-9daf-4b70-81da-c362fcdbcbcb · outbound

This paper cites Reichardt, Reichardt Falk Unger, and Umesh Vazirani.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Reichardt, Reichardt Falk Unger, and Umesh Vazirani

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 618e6260-c43c-4627-a12d-bc0ccf215d8d · outbound

This paper cites Relating measurement patterns to circuits via pauli flow.

Verification of Quantum Computations: Hardware-Efficient Security Proofs Relating measurement patterns to circuits via pauli flow

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-11T22:33:05.770461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.