Constant-Round Blind Classical Verification of Quantum Sampling.
Kai-Min ChungYi LeeHan-Hsuan LinXiaodi WuPublished in: EUROCRYPT (3) (2022)
Keyphrases
- quantum computation
- quantum mechanics
- model checking
- quantum computing
- quantum probability
- sampling strategy
- web services
- random sampling
- signature verification
- sampling rate
- quantum inspired
- formal verification
- sampling methods
- real time
- formal methods
- face verification
- sampling strategies
- resource allocation
- monte carlo
- sample size
- artificial intelligence