Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
- Pailoor, S.
- Chen, Y.
- Wang, F.
- Rodríguez, C.
- Van Geffen, J.
- Morton, J.
- Chu, M.
- Gu, B.
- Feng, Y.
- Dillig, I.
Journal:
Proceedings of the ACM on Programming Languages
ISSN: 2475-1421
Year of publication: 2023
Volume: 7
Type: Article