More Efficient Amortization of Exact Zero-Knowledge Proofs for LWE.
Jonathan BootleVadim LyubashevskyNgoc Khanh NguyenGregor SeilerPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- domain knowledge
- knowledge discovery
- knowledge representation
- neural network
- knowledge acquisition
- natural language
- knowledge transfer
- prior knowledge
- learning algorithm
- raw data
- knowledge sharing
- higher level
- formal proof
- learning environment
- expert knowledge
- knowledge sources
- computationally efficient
- knowledge based systems
- real time
- knowledge management
- genetic algorithm
- knowledge base
- information technology
- expert systems