Amortized Complexity of Zero-Knowledge Proofs Revisited: Achieving Linear Soundness Slack.
Ronald CramerIvan DamgårdChaoping XingChen YuanPublished in: EUROCRYPT (1) (2017)
Keyphrases
- worst case
- domain knowledge
- knowledge base
- knowledge acquisition
- knowledge management
- knowledge extraction
- higher level
- knowledge representation
- prior knowledge
- expert systems
- computational complexity
- background knowledge
- computational cost
- data mining
- knowledge based systems
- artificial intelligence
- learning systems
- loss function
- domain experts
- memory requirements
- theorem prover
- knowledge transfer
- machine learning