@misc{cryptoeprint:2021:651,
    author = {Collin Chin and Howard Wu and Raymond Chu and Alessandro Coglio and Eric McCarthy and Eric Smith},
    title = {Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications},
    howpublished = {Cryptology ePrint Archive, Report 2021/651},
    year = {2021},
    url = {https://eprint.iacr.org/2021/651},
}