Zero-Knowledge Proof Vulnerability Analysis and Security Auditing. - Xueyan Tang; Lingzhi Shi; Xun Wang; Kyle Charbonnet; Shixiang Tang; Shixiao Sun (IACR Cryptol. ePrint Arch., 2024)