GitHub 热门项目：n-ary_notebooks

GitHub 项目：n-ary_notebooks 仓库地址：https://github.com/inference-labs-inc/n-ary_notebooks 星级：1409 | 作者：推理实验室公司 项目描述：笔记本涵盖 ZKP 构建模块的数学分析、各种证明系统的算法实现以及协议优化技术。 =================================================== 自述文件内容： # n 元笔记本 **n 进制笔记本** 是数学笔记本的集合，探索零知识证明和密码学相关领域研究中自然产生的想法。重点是*理解*、*推导*和*机制*，而不是生产就绪的实现。 目前，笔记本主要关注**和检查协议**、**多线性扩展**、**算术电路**和**GKR协议**，重点介绍这些结构为何有效、它们提供什么保证以及它们的复杂性如何表现。随着时间的推移，范围可能会扩大到包括与密码学、验证或交互式证明系统相关的其他数学主题。 最好将其视为一组**带有可执行示例的工作笔记**，而不是一本综合性的教科书或完整的密码框架。 --- ## 这些笔记本是什么（和不是） **他们是：** - 对 sum-check 和 GKR 背后的核心思想进行精确的数学解释 - 旨在使抽象论点具体化的交互式演示 - 试验小规模实现和反例的地方 - 写得清晰并考虑到教学法 **他们不是：** - 完整的 zk-SNARK 系统 - 性能优化的证明者或验证者 - 通用密码库 - 同行评审协议规范的替代品 --- ## 当前笔记本主题 目前的笔记本包括（但不限于）： - **和检查协议** - 正确性、健全性和错误界限 - 学位跟踪和验证者效率 - 有限域上的具体例子 - **多线性扩展** - 布尔超立方和多项式插值 - 为什么多重线性在交互式证明中很重要 - **算术电路** - 电路作为结构化多项式 - 电路结构如何输入和检查和 GKR - **GKR协议** - 高级结构和直觉 - 与和检查和电路深度的关系 未来的笔记本可能会涵盖更多相关的数学工具。 --- ## 安装 该项目被打包为标准 Python 包，以便笔记本仍然专注于数学而不是设置代码。 唯一的**系统级依赖项**是**Graphviz**，它是电路和协议可视化所需的。 --- ### 1.系统前提：Graphviz Graphviz 必须**在操作系统级别**安装（仅 Python 包是不够的）。 #### macOS ````bash 酿造安装graphviz ```` #### Linux（Debian / Ubuntu） ````bash 须藤apt更新 sudo apt安装graphviz ```` #### 窗口 1.从以下位置下载Graphviz：[https://graphviz.org/download/](https://graphviz.org/download/) 2. 安装它并确保“dot”可执行文件已添加到您的“PATH”中 3. 验证安装： ````powershell 点-V ```` --- ### 2.创建Python环境（推荐） 您可以使用 **conda** 或 **pip + venv**。如果你愿意的话推荐Conda