01Entry
Leo Language
Leo is a statically-typed language for building zero-knowledge applications with formal verification capabilities. It enables developers to write private applications with mathematical correctness guarantees, representing substantial compiler engineering for the ZK ecosystem.