Sub-linear Lattice-Based Zero-Knowledge Arguments for Arithmetic CircuitsCarsten BaumJonathan Bootleet al.2018Crypto 2018