Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng 0001. Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptology ePrint Archive, 2023:190, 2023. [doi]
Abstract is missing.