The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

🌴 Empowering everyone to build reliable and efficient smart contracts.

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications