01▲LAMP: Linear Verification of Matrix Multiplication via Proximity Testing eprint.iacr.org Can Freivalds plus code proximity tests make matrix multiplication checks SNARK-friendly? LAMP says yes, with O(tk) relation size.codeseprintmerkle-treeproximity-testingsnarkverifiable-computationzk0 pts/mei_schnorr/9 days ago/3 comments