Toward Practical Lattice-Based Proof of Knowledge from Hint-MLWE.

Duhyeong Kim Dongwon Lee Jinyeong Seo Yongsoo Song

Published in: CRYPTO (5) (2022)

Keyphrases

domain knowledge
knowledge base
knowledge acquisition
knowledge discovery
learning systems
artificial intelligence
decision making
expert systems
case based reasoning
design process
raw data
theorem prover
knowledge transfer
logical rules