Practical Sublinear Proofs for R1CS from Lattices.

Ngoc Khanh Nguyen Gregor Seiler

Published in: IACR Cryptol. ePrint Arch. (2022)

Keyphrases

databases
theorem proving
real world
computer science
real time
neural network
practical application
theorem prover