Efficient Perfectly Sound One-message Zero-Knowledge Proofs via Oracle-aided Simulation.
Vincenzo IovinoPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- knowledge base
- knowledge representation
- domain knowledge
- neural network
- machine learning
- expert systems
- knowledge acquisition
- design process
- knowledge sharing
- knowledge discovery
- prior knowledge
- collaborative learning
- computationally efficient
- real time
- database applications
- learning systems
- background knowledge
- knowledge sources
- theorem proving
- knowledge transfer
- knowledge extraction
- simulation environment
- simulation models
- mathematical knowledge