Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation.
Tiancheng XieJiaheng ZhangYupeng ZhangCharalampos PapamanthouDawn SongPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- theorem prover
- theorem proving
- knowledge base
- knowledge representation
- expert systems
- knowledge acquisition
- database
- mathematical knowledge
- efficient computation
- domain knowledge
- knowledge discovery
- knowledge based systems
- closed form
- raw data
- higher level
- knowledge extraction
- knowledge sources
- domain experts
- learning systems
- prior knowledge
- data sets