Cryptology ePrint Archive: Report 2021/651

Available versions in chronological order


Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications
Collin Chin and Howard Wu and Raymond Chu and Alessandro Coglio and Eric McCarthy and Eric Smith


[ Cryptology ePrint archive ]