Zero-Knowledge Proofs with Witness Elimination.
Aggelos KiayiasHong-Sheng ZhouPublished in: Public Key Cryptography (2009)
Keyphrases
- knowledge base
- domain knowledge
- prior knowledge
- data mining techniques
- knowledge discovery
- knowledge acquisition
- databases
- information systems
- background knowledge
- formal proofs
- knowledge extraction
- knowledge structures
- knowledge transfer
- theorem proving
- learning systems
- search algorithm
- high level
- case study
- artificial intelligence
- real world
- neural network