Efficient Zero-Knowledge Argument in Discrete Logarithm Setting: Sublogarithmic Proof or Sublinear Verifier.
Hyeonbum LeeJae Hong SeoPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- domain knowledge
- knowledge based systems
- efficient algorithms to compute
- knowledge transfer
- knowledge sources
- learning systems
- knowledge management
- knowledge acquisition
- finite number
- cost effective
- lightweight
- database
- prior knowledge
- knowledge base
- databases
- knowledge discovery
- data mining techniques
- knowledge representation
- natural language
- metadata
- semantic information
- computationally expensive
- human experts
- search engine
- theorem proving
- data mining
- neural network
- knowledge extraction