Formal Verification of ZK Constraint Systems
By Morgan Thomas and Ventali Tan
Thanks to Eric McCarthy from Kestrel Institute for helping with some sections of this document, and to Grigore Rosu (UIUC), Shashank Agrawal (Delendum), Daniel Lubarov (Delendum), Tim Carstens…