New Techniques for Zero-Knowledge: Leveraging Inefficient Provers to Reduce Assumptions and Interaction.
Marshall BallDana Dachman-SoledMukul KulkarniPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- domain knowledge
- expert systems
- prior knowledge
- data sets
- knowledge management
- expert knowledge
- knowledge sharing
- databases
- decision making
- natural language
- knowledge acquisition
- underlying assumptions
- knowledge structures
- human users
- theorem prover
- knowledge sources
- human experts
- user interaction
- data mining techniques
- knowledge discovery
- knowledge representation
- website