Succinct Non-Interactive Arguments via Linear Interactive Proofs. - Bitansky, Nir; Chiesa, Alessandro; Ishai, Yuval; Ostrovsky, Rafail; Paneth, Omer (Journal of Cryptology, 2022)