RT DW A1 Weng, Chenkai. T1 A New Paradigm for Efficient and Scalable Zero-Knowledge Proofs