A Fast R1CS Normalization Method Based on Parameter Vectors. - Wei-Chung Teng; Chun-Yi Tseng (IEA/AIE (2), 2025)