Deterministic-Prover Zero-Knowledge Proofs.
Hila DahariYehuda LindellPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- theorem proving
- knowledge base
- theorem prover
- knowledge representation
- knowledge management
- prior knowledge
- domain knowledge
- knowledge extraction
- knowledge discovery
- higher level
- learning systems
- knowledge based systems
- knowledge transfer
- expert knowledge
- black box
- knowledge sharing
- background knowledge
- information retrieval
- information systems
- social networks
- genetic algorithm