Low Communication 2-Prover Zero-Knowledge Proofs for NP.
Cynthia DworkUriel FeigeJoe KilianMoni NaorShmuel SafraPublished in: CRYPTO (1992)
Keyphrases
- theorem prover
- theorem proving
- domain knowledge
- high levels
- knowledge base
- knowledge representation
- knowledge management
- communication systems
- higher level
- knowledge sharing
- database
- knowledge sources
- communication overhead
- communication channels
- uniform distribution
- knowledge extraction
- background knowledge
- knowledge based systems
- knowledge acquisition
- data mining techniques
- np hard
- computational complexity
- information systems
- artificial intelligence