Perfect zero knowledge for quantum multiprover interactive proofs.
Alex Bredariol GriloWilliam SlofstraHenry YuenPublished in: CoRR (2019)
Keyphrases
- domain knowledge
- knowledge representation
- knowledge discovery
- knowledge management
- knowledge base
- knowledge acquisition
- higher level
- database
- formal proofs
- knowledge extraction
- domain experts
- knowledge sources
- quantum computation
- formal proof
- quantum computing
- raw data
- knowledge sharing
- user interaction
- knowledge based systems
- data mining techniques
- expert systems
- information retrieval