Prover-efficient commit-and-prove zero-knowledge SNARKs.
Helger LipmaaPublished in: Int. J. Appl. Cryptogr. (2017)
Keyphrases
- domain knowledge
- knowledge extraction
- knowledge based systems
- knowledge sources
- computationally expensive
- knowledge acquisition
- knowledge management
- knowledge discovery
- expert systems
- knowledge base
- search algorithm
- databases
- lightweight
- learning systems
- background knowledge
- e learning
- theorem proving
- knowledge transfer
- knowledge structures
- artificial intelligence