Efficient Zero-Knowledge Proofs of Non-Algebraic Statements with Sublinear Amortized Cost.
Zhangxiang HuPayman MohasselMike RosulekPublished in: IACR Cryptol. ePrint Arch. (2015)
Keyphrases
- domain knowledge
- knowledge base
- knowledge representation
- knowledge sharing
- neural network
- knowledge acquisition
- learning systems
- knowledge management
- prior knowledge
- data mining techniques
- worst case
- knowledge discovery
- background knowledge
- cost effective
- cost sensitive
- search tree
- minimum cost
- computer programs
- query plan
- mathematical knowledge