Witness Signatures and Non-Malleable Multi-Prover Zero-Knowledge Proofs.
Vipul GoyalAayush JainDakshita KhuranaPublished in: IACR Cryptol. ePrint Arch. (2015)
Keyphrases
- theorem proving
- theorem prover
- domain knowledge
- expert systems
- prior knowledge
- domain experts
- knowledge management
- data mining techniques
- knowledge acquisition
- knowledge extraction
- databases
- knowledge sharing
- knowledge based systems
- learning process
- bayesian networks
- knowledge base
- genetic algorithm
- real world
- knowledge discovery
- expert knowledge
- knowledge structures