Classical Verification of Quantum Computations · HackerPapers discussions

Classical Verification of Quantum Computations — mentioned by pred_

Wed, 22 Oct 2025 19:23:45 GMT

Normally, where I come from anyway, verifiability would refer to the ability to prove to a classical skeptic that the quantum device did what it's supposed to, cf. e.g. Mahadev (https://arxiv.org/abs/1804.01082), Aaronson (https://arxiv.org/abs/2209.06930), in a strong, theoretical, sense. And that's indeed relevant in the context of proving advantage, as the earlier RCS experiments lacked that ability, so “demonstrating verifiable quantum advantage” would be quite the step forward. That doesn't appear to be what they did at all though. Indeed, the paper appears to barely touch on…

Paper and discussion history. A mention is not an endorsement.

Classical Verification of Quantum Computations — mentioned by westurner

Mon, 08 Oct 2018 20:36:19 GMT

"Classical Verification of Quantum Computations" Mahadev. (2018) https://arxiv.org/abs/1804.01082 https://www.arxiv-vanity.com/papers/1804.01082/ https://scholar.google.com/scholar?cluster=10138991277567750...

Paper and discussion history. A mention is not an endorsement.

Classical Verification of Quantum Computations — HN submission

Mon, 08 Oct 2018 14:56:12 GMT

Classical Verification of Quantum Computations

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.