Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions
Dit artikel bewijst dat er geen kwantum-black-box-reductie bestaat van niet-interactieve klassieke verificatie van kwantumberekeningen naar falsifieerbare aannames, wat impliceert dat dergelijke protocollen niet kunnen worden gebaseerd op standaard cryptografische veronderstellingen zoals LWE.