Non-Interactive Zero-Knowledge Proofs of Non-Membership.

Olivier Blazy Céline Chevalier Damien Vergnaud

Published in: IACR Cryptol. ePrint Arch. (2015)

Keyphrases

artificial intelligence
knowledge management
knowledge based systems
knowledge representation
knowledge sharing
machine learning
expert systems
domain knowledge
theorem proving
knowledge acquisition
mathematical knowledge
database
user friendly
virtual environment
fuzzy logic
knowledge discovery
data analysis