On the Randomness Complexity of Interactive Proofs and Statistical Zero-Knowledge Proofs.
Benny ApplebaumEyal GolombekPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- equational theories
- domain knowledge
- mathematical knowledge
- theorem prover
- knowledge acquisition
- knowledge base
- expert systems
- statistical analysis
- knowledge management
- statistical information
- user friendly
- information theoretic
- statistical data
- formal proof
- data driven
- knowledge representation
- computational cost
- prior knowledge
- website
- formal proofs
- mathematical proofs
- computer programs
- interactive theorem proving
- knowledge based systems
- theorem proving
- computer graphics
- learning systems
- databases
- knowledge discovery
- search engine
- artificial intelligence
- genetic algorithm
- neural network