Toward Non-interactive Zero-Knowledge Proofs for NP from LWE.
Ron D. RothblumAdam SealfonKaterina SotirakiPublished in: J. Cryptol. (2021)
Keyphrases
- learning systems
- knowledge base
- expert systems
- knowledge sharing
- knowledge extraction
- information technology
- knowledge sources
- special case
- knowledge discovery
- virtual reality
- domain specific
- theorem prover
- human experts
- background knowledge
- np complete
- knowledge acquisition
- data mining techniques
- data sets
- knowledge management
- knowledge representation
- domain knowledge
- prior knowledge
- information systems
- computer vision