Sumcheck-based delegation of quantum computing to rational server (Q5925559): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4226224471
@@ Property / OpenAlex ID: W4226224471 / rank @@
+Normal rank
@@ Property / cites work @@
+Sumcheck-based delegation of quantum computing to rational server
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
+Normal rank
@@ Property / cites work @@
+Simulation of topological field theories by quantum computers
+Normal rank
@@ Property / cites work @@
+A modular functor which is universal for quantum computation
+Normal rank
@@ Property / cites work @@
+A polynomial quantum algorithm for approximating the Jones polynomial
+Normal rank
@@ Property / cites work @@
+Universal Quantum Simulators
@@ Property / cites work: Universal Quantum Simulators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5741632
@@ Property / cites work: Q5741632 / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness and device independence of verifiable blind quantum computing
+Normal rank
@@ Property / cites work @@
+Verifier-on-a-leash: new schemes for verifiable delegated quantum computation, with quasilinear resources
+Normal rank
@@ Property / cites work @@
+A quantum linearity test for robustly verifying entanglement
+Normal rank
@@ Property / cites work @@
+Q5091177
@@ Property / cites work: Q5091177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5414601
@@ Property / cites work: Q5414601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5005126
@@ Property / cites work: Q5005126 / rank @@
+Normal rank
@@ Property / cites work @@
+Qfactory: classically-instructed remote secret qubits preparation
+Normal rank
@@ Property / cites work @@
+Rational proofs
@@ Property / cites work: Rational proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Rational arguments
@@ Property / cites work: Rational arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Oracle separation of BQP and PH
@@ Property / cites work: Oracle separation of BQP and PH / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient rational proofs with strong utility-gap guarantees
+Normal rank
@@ Property / cites work @@
+Rational Sumchecks
@@ Property / cites work: Rational Sumchecks / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Proofs with Multiple Provers
@@ Property / cites work: Rational Proofs with Multiple Provers / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum computing and quadratically signed weight enumerators
+Normal rank
@@ Property / cites work @@
+Determining acceptance possibility for a quantum computation is hard for the polynomial hierarchy
+Normal rank
@@ Property / cites work @@
+Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
+Normal rank
@@ Property / cites work @@
+The Knowledge Complexity of Interactive Proof Systems
+Normal rank
@@ Property / cites work @@
+On lattices, learning with errors, random linear codes, and cryptography
+Normal rank
@@ Property / cites work @@
+Q5091154
@@ Property / cites work: Q5091154 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability Inequalities for Sums of Bounded Random Variables
+Normal rank