1 个仓库
Awesome GitHub RepositoriesZK Programming Languages
High-level languages specifically designed to compile into zero-knowledge cryptographic circuits.
Distinct from Zero-Knowledge Proof Frameworks: Distinct from ZK Proof Frameworks: this is a full language for writing the logic, not just a library of cryptographic primitives.
Explore 1 awesome GitHub repository matching security & cryptography · ZK Programming Languages. Refine with filters or upvote what's useful.
Awesome ZK Programming Languages GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- provablehq/leo
ProvableHQ/leo
4,818在 GitHub 上查看Leo 是一种零知识证明编程语言，也是一种经过形式化验证的语言，旨在证明应用程序逻辑和密码学电路的数学正确性。它作为一个私有应用程序框架和 ZK 电路编译器，将高级源代码转换为生成和验证零知识证明所需的低级约束。 该项目提供了一套用于零知识应用程序开发和 ZK 电路工程的工具集，支持创建私有智能合约逻辑。它允许开发者编写高级代码，编译为密码学电路，从而生成私有的、可验证的计算证明。 该框架包含形式化验证编程功能，允许用户将代码编译为电路、执行私有程序，并通过测试验证逻辑的准确性。
Provides a high-level language for writing code that compiles into cryptographic circuits.
Rustcompilerleoprogramming-language
