LaZer: a Lattice Lib for SNARK