Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs

Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng 0001, Isil Dillig. Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. IACR Cryptology ePrint Archive, 2023:512, 2023. [doi]

Abstract

Abstract is missing.