Batch Verification for Statistical Zero Knowledge Proofs.
Inbar KaslasiGuy N. RothblumRon D. RothblumAdam SealfonPrashant Nalini VasudevanPublished in: TCC (2) (2020)
Keyphrases
- domain knowledge
- knowledge acquisition
- expert systems
- model checking
- data sets
- knowledge extraction
- formal verification
- prior knowledge
- knowledge representation
- higher level
- statistical analysis
- learning systems
- statistical models
- formal proof
- verification method
- knowledge transfer
- knowledge sources
- knowledge based systems
- knowledge management
- face recognition
- knowledge base
- data mining