RT DW A1 Nguyen, Wilson. T1 Scalable Succinct Arguments from Interactive Reductions