TY  - RPRT
TI  - Formal Verification of Zero-Knowledge Circuits
AU  - Alessandro Coglio
AU  - Eric McCarthy
AU  - Eric W. Smith
PY  - 2023
DO  - 10.4204/eptcs.393.9
UR  - https://arxiv.org/abs/2311.08858
ID  - 2311.08858
ER  -