Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation.
Tiancheng XieJiaheng ZhangYupeng ZhangCharalampos PapamanthouDawn SongPublished in: CRYPTO (3) (2019)
Keyphrases
- theorem proving
- domain knowledge
- theorem prover
- knowledge sources
- knowledge acquisition
- knowledge management
- optimal solution
- worst case
- dynamic programming
- closed form
- knowledge discovery
- prior knowledge
- machine learning
- software reuse
- knowledge transfer
- knowledge extraction
- efficient computation
- database
- domain experts
- higher level
- knowledge based systems
- data mining techniques
- knowledge representation
- relational databases
- objective function
- genetic algorithm
- data mining