Zero-Knowledge in EasyCrypt.

Denis Firsov Dominique Unruh

Published in: CSF (2023)

Keyphrases

domain knowledge
knowledge representation
knowledge acquisition
knowledge extraction
design process
learning systems
expert knowledge
database systems
search algorithm
prior knowledge
knowledge management
higher level
knowledge sharing
raw data