inference-labs-inc/subnet-2
Verifiable inference on Bittensor
解决的问题
Subnet 2 解决了验证 AI 模型的预测是否确实由特定目标模型生成,而非伪造或篡改的挑战。它创建了一个「推断证明」系统,通过加密验证防止对 AI 输出的「盲目信任」。
工作原理
该项目使用零知识机器学习(zk-ML)将 AI 模型转换为独特的加密「指纹」或电路。
- 矿工:接收输入数据,使用这些可验证模型生成预测,并返回结果以及零知识证明。
- 验证者:分发请求并验证零知识证明的真实性,以确保矿工忠实执行。
- 激励机制:基于加密完整性以及生成证明所用时间,鼓励开发高效、简洁的模型和证明系统。
适用人群
- 计算资源提供者(矿工):拥有 CPU/GPU 资源的个人或组织,希望提供经验证的 AI 推断以获取奖励。
- 网络验证者:希望通过验证 AI 预测来维护 Bittensor 网络完整性的用户。
- AI 开发者:希望创建可被电路化用于零知识证明系统的模型的开发者。
亮点
- 推断证明:使用 zk-ML 对 AI 预测的来源和完整性进行加密验证。
- 高性能:使用原生 Rust 二进制文件,通过 HTTP 和 QUIC 进行通信。
- 硬件包容性:虽然目标是 GPU 优化的证明,但当前 zk 证明的 CPU 密集特性允许非 GPU 矿工参与。
- 自动更新:内置机制,每 5 分钟自动更新二进制文件。
相关
- 项目
- 项目
- Dispatch
- 项目
- Dispatch