🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
语言:Rust · GitHub 星标:4,821 · Fork:716
话题:compiler · leo · programming-language · zero-knowledge · zksnarks
在 GitHub 上查看原仓库