4
Various Papers
4.14
Lattice Proofs for Exact Euclidean Norm Bounds and Quadratic Relations
4.16
LaBRADOR
4.15
Practical Sublinear Proofs for R1CS from Lattices
TODO
:
stuff from
[
NS22
]
.