SoK: PIOP-based SNARKs for General Computation. - Yonghui Guan; Rihe Zhang; Bin Liu 077; Tianyu Zhao; Jialu Hao; Antonis Michalas (APKC@AsiaCCS, 2026)