Practical Sublinear Proofs for R1CS from Lattices.

Ngoc Khanh Nguyen Gregor Seiler

Published in: CRYPTO (2) (2022)

Keyphrases

computer science
real world
data sets
computer vision
database systems
mobile robot
probabilistic model
theorem prover
mathematical proofs