Robuta

https://collaborate.princeton.edu/en/publications/snargs-under-lwe-via-propositional-proofs/ SNARGs under LWE via Propositional Proofs - Princeton University lwe via proofs princeton university https://toc.csail.mit.edu/node/1653 Batching Adaptively-Sound SNARGs for NP | MIT CSAIL Theory of Computation mit csail batching sound