Prover-Efficient Commit-and-Prove Zero-Knowledge SNARKs.
Helger LipmaaPublished in: AFRICACRYPT (2016)
Keyphrases
- domain knowledge
- knowledge transfer
- prior knowledge
- neural network
- expert knowledge
- computationally expensive
- knowledge based systems
- data mining techniques
- expert systems
- knowledge base
- bayesian networks
- knowledge representation
- social networks
- higher level
- computationally efficient
- domain experts
- background knowledge
- cost effective
- search engine
- artificial intelligence
- theorem proving
- real time
- knowledge extraction