Quasi-Optimal SNARGs via Linear Multi-Prover Interactive Proofs.
Dan BonehYuval IshaiAmit SahaiDavid J. WuPublished in: EUROCRYPT (3) (2018)
Keyphrases
- theorem proving
- theorem prover
- optimal linear
- dynamic programming
- piecewise linear
- semi infinite programming
- grassmann manifold
- optimal solution
- real time
- closed form
- automated theorem proving
- exhaustive search
- virtual reality
- optimal control
- knowledge representation
- evolutionary algorithm
- case study
- computer vision
- databases