Amortized Complexity of Zero-Knowledge Proofs Revisited: Achieving Linear Soundness Slack.
Ronald CramerIvan DamgårdPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- worst case
- knowledge base
- knowledge acquisition
- computational complexity
- computational cost
- domain experts
- database systems
- theorem proving
- knowledge sharing
- background knowledge
- loss function
- knowledge based systems
- data mining techniques
- knowledge management
- knowledge discovery
- knowledge representation
- domain knowledge
- association rules
- knowledge sources
- theorem prover
- expert systems
- space complexity
- linear complexity
- running times