第14章:全球首个链上大语言模型 Modulus Labs 成功完成了对 1.5B 参数 GPT2-XL 模型的完整 ZK 证明,并首次在以太坊上链验证。他们使用通用 ZK 证明器 Halo2 进行了 144 个子块的证明,总耗时超过 200 小时,证明密钥占用超 10TB 存储。相比原生推理,通用 ZK 证明引入了约 112 万倍的开销。这一里程碑表明 ZKML 的可行性,但通用证明器效率低下,专用证明器(如自家的 Remainder)是实用化的关键。 零知识证明 大语言模型 GPT2-XL Halo2 ZKML 性能基准 CountableMagic 发布于 2024-03-15 21 0 0