Text this: Succinct Non-Interactive Arguments via Linear Interactive Proofs.