Quasi-Optimal SNARGs via Linear Multi-Prover Interactive Proofs.
Dan BonehYuval IshaiAmit SahaiDavid J. WuPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- theorem proving
- theorem prover
- optimal linear
- optimal solution
- closed form
- automated theorem proving
- semi infinite programming
- dynamic programming
- user interaction
- piecewise linear
- real time
- computer algebra
- optimal design
- first order logic
- computer graphics
- worst case
- website
- information systems
- user friendly
- answer set programming
- exhaustive search
- closed form solutions
- special case
- database