LEO

Summary from the TLDR Web Dev newsletter

Leo is a functional, statically typed programming language designed for creating private applications. It abstracts low-level cryptographic concepts, facilitating the integration of private apps into existing systems by compiling to circuits, making zero-knowledge proofs feasible. Leo offers developers tools for circuit sanity checks, including unit tests, integration tests, and console functions.