Composition of Zero-Knowledge Proofs with Efficient Provers.
Eleanor BirrellSalil P. VadhanPublished in: IACR Cryptol. ePrint Arch. (2009)
Keyphrases
- theorem proving
- knowledge base
- domain knowledge
- theorem prover
- prior knowledge
- mathematical knowledge
- cost effective
- expert systems
- real time
- knowledge management
- computationally expensive
- lightweight
- knowledge acquisition
- data mining techniques
- knowledge representation
- knowledge based systems
- knowledge transfer
- knowledge extraction
- knowledge sources
- conceptual model
- background knowledge
- higher level
- natural language
- neural network
- data sets