Succinct Non-Interactive Arguments via Linear Interactive Proofs.
['Nir Bitansky', 'Alessandro Chiesa', 'Yuval Ishai', 'Rafail Ostrovsky', 'Omer Paneth']
Succinct Non-Interactive Arguments via Linear Interactive Proofs.