An Efficient Noninteractive Zero-Knowledge Proof System for NP with General Assumptions.
Joe KilianErez PetrankPublished in: J. Cryptol. (1998)
Keyphrases
- special case
- domain knowledge
- knowledge base
- knowledge extraction
- knowledge discovery
- restrictive assumptions
- wide class
- knowledge sources
- knowledge based systems
- knowledge acquisition
- knowledge management
- knowledge representation
- logic programs
- data mining techniques
- closely related
- modal logic
- prior knowledge
- computational complexity
- real time