Bittensor 上的可验证推理
子网 2 是 Bittensor 网络的一个重大进步,旨在通过为 Bittensor 网络构建推理证明系统,创建全球最大的点对点 验证 智能网络。这一举措符合 Opentensor 基金会对创新子网解决方案的标准。zk-ML 允许将 AI 模型转换为独特的"指纹",一种可用于验证模型预测是由特定 AI 模型生成的电路,从而提供我们所说的推理证明。
矿工和验证器是原生的 Rust 二进制文件,通过 HTTP 和 QUIC(通过 btlightning)进行通信。预构建的二进制文件以 GitHub 版本的形式发布;这些二进制文件包含内置的自动更新机制,每 5 分钟轮询一次以查找新版本,并执行原子二进制替换,以便 PM2 以新版本重新启动。
子网 2 通过专门的奖励机制鼓励矿工和验证者使用高质量、安全且高效的验证 AI 预测来参与生成和验证。零知识证明通常需要更多的 CPU 计算资源，并为非 GPU 矿工提供参与的机会，但最终目标是进一步激励针对基于 GPU 的操作优化的证明系统的开发。激励措施围绕矿工创建简洁、高效的模型来实施，这些模型可以与零知识证明系统进行电路化。
奖励机制根据生成 zk 证明的加密完整性和时间以及输出结果来评估初始 AI 预测，而不是仅根据最终结果。这种方法减轻了验证者的计算负担，因为 zk 证明有效地确认了源模型和 AI 预测的完整性。
暂无开放 Issues，或尚未同步最近议题。