Certifying Zero-Knowledge Circuits with Refinement Types. - Junrui Liu; Ian Kretz; Hanzhi Liu; Bryan Tan; Jonathan Wang; Yi Sun; Luke Pearson; Anders Miltner; Isil Dillig; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2023)