LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs.

Matteo Campanelli Dario Fiore Anaïs Querol

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

Keyphrases

modular design
domain knowledge
knowledge sharing
real time
knowledge management
knowledge discovery
expert systems
theorem prover
theorem proving
knowledge base
case study
database systems
knowledge representation
data mining techniques
knowledge transfer
knowledge extraction