Cryptology ePrint Archive: BibTeX Citation of Report 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},
    note         = {\url{}},

You will need the url.sty package (comes with most LaTeX installations) for the last line. Otherwise, remove the \url command.

[ Cryptology ePrint archive ]