Efficient Zero-Knowledge Proofs of Non-algebraic Statements with Sublinear Amortized Cost.

Zhangxiang Hu Payman Mohassel Mike Rosulek

Published in: CRYPTO (2) (2015)

Keyphrases

knowledge base
domain knowledge
domain experts
worst case
knowledge extraction
search tree
knowledge acquisition
knowledge based systems
memory efficient
data sets
cost effective
higher level
knowledge management
learning systems
data mining techniques
information systems
theorem proving
data mining
neural network