GitHub 热门项目：zkml-blueprints

GitHub 项目：zkml-blueprints 仓库地址：https://github.com/inference-labs-inc/zkml-blueprints 星级：1536 | 作者：推理实验室公司 项目描述：零知识证明的数学公式和电路设计。 =================================================== 自述文件内容： # zkml 蓝图 > 越来越多的定制电路设计集合——每一个约束都得到了验证，每一个想法都得到了解释。 > 为清晰、严谨和社区协作而构建——我们都希望拥有这样的参考！ --- **zkml-blueprints** 是支持机器学习 (ML) 应用的零知识 (ZK) 证明的数学公式和电路设计的集合，专注于在 ZK 电路中高效实现可证明的计算。该存储库提供了正式的描述、约束和结构化蓝图，用于设计保护隐私的电路，同时确保可验证的正确性。 如果您是新来的，[约束系统设计注释](./constraint_system_design.pdf) 是一个很好的起点。事实上，这代表了对该存储库进行广泛修订的开始。与此同时，其他文档可能仍然有用。 ## 特点 - 📖 **数学公式** – 对 ZK 电路设计的关键原理进行严格解释。 - 🛠 **电路约束** – 有限域中编码计算的有据可查的方法。 - ⚡ **实施指南** – 将数学构造转化为高效电路实施的蓝图。 - 🔒 **用例** – 加密协议、zk-SNARK 和隐私保护机器学习中的应用。 该存储库旨在为研究 ZK 和 zkML 证明系统的研究人员、开发人员和从业者提供结构化参考，提供理论见解和实际实现。 💡 *欢迎贡献和讨论！* --- ## 📁 存储库结构 每个子目录都专注于特定的操作类别： |目录 |内容 | |------------------|----------------------------------------------------------------------------------------| | [`core_ops/`](./core_ops) |范围检查、最大值/最小值和基本 ReLU 公式 | | [`matmul/`](./matmul) | Hadamard 乘积、矩阵加法和矩阵乘法（标准和量化）| | [`池/`](./池) |最大和最小池化电路（⏳即将推出）| | [`conv_layers/`](./conv_layers)|卷积层蓝图（⏳即将推出）| | [`激活/`](./激活) |激活函数，如 ReLU、LeakyReLU 等（现阶段仅 ReLU；其他可能会在未来的工作中跟进）| | [`utils/`](./utils) |用于文档导航的内部链接和共享参考| 每个部分包含： - 📄 **PDF 蓝图** 描述电路逻辑、约束和数学论证 - 📓 *（计划）* 用于现场示例和测试的 Jupyter 笔记本 - 📘 带有上下文和链接的本地 `README.md` ---