Batch Verification for Statistical Zero Knowledge Proofs.
Inbar KaslasiPrashant Nalini VasudevanGuy N. RothblumRon RothblumAdam SealfonPublished in: Electron. Colloquium Comput. Complex. (2020)
Keyphrases
- knowledge base
- knowledge acquisition
- statistical analysis
- knowledge representation
- knowledge discovery
- knowledge management
- knowledge sharing
- domain knowledge
- social networks
- learning systems
- statistical models
- theorem proving
- statistical information
- formal proof
- face recognition
- knowledge based systems
- model checking
- knowledge extraction
- statistical data