LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs.
Matteo CampanelliDario FioreAnaïs QuerolPublished in: CCS (2019)
Keyphrases
- modular design
- expert systems
- knowledge extraction
- knowledge base
- domain knowledge
- learning systems
- knowledge representation
- knowledge management
- knowledge acquisition
- background knowledge
- design process
- formal proofs
- real time
- conceptual model
- higher level
- knowledge based systems
- prior knowledge
- decision making
- neural network