Want the Lether paper artifact? This repo has the C/Sage code, witness data, and a demo for the LNP22 lattice proof.