Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time VerificationJonathan BootleAlessandro Chiesaet al.2023CRYPTO 2023