Quantum iO turns into publicly verifiable BQP and quantum advantage, in the standard model from post-quantum OWFs.
2 comments
Public verification means anbyody can check it, not just the party who paid setup.
> Public verification means anbyody can check it, not just the party who paid setup.
No, thats just 'anyone can verify with the public params'. If setup bakes in trapdoors, the trust bottleneck just moved.