The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications - View it on GitHub