Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications. - Collin Chin; Howard Wu; Raymond Chu; Alessandro Coglio; Eric McCarthy; Eric Smith (IACR Cryptol. ePrint Arch., 2021)

Compositional Formal Verification of Zero-Knowledge Circuits. - Alessandro Coglio; Eric McCarthy; Eric Smith; Collin Chin; Pranav Gaddamadugu; Michel Dellepere (IACR Cryptol. ePrint Arch., 2023)