AbdelStark 开源面向 SASH 可验证 LLM 推理的以太坊验证栈

AbdelStark 在 GitHub 开源 verifiable-inference-ethereum 仓库，为 SASH 可验证 LLM 推理提供基于以太坊 EVM 与 Solidity 的验证栈，采用 Circle STARKs（M31/QM31）构建，已在 Sepolia 和 Hoodi 测试网部署，使用 Apache-2.0 许可证。 针对 TinyLlama-1.1B-Chat-v1.0 的 23 段证明达 296.51 MB、约 464 万个 BLAKE2s 压缩块，单笔交易直接验证的 gas 消耗超出 EIP-7825 的 16,777,216 上限 1200 倍以上，因此项目采用链下段验证压缩加链上验证的两层架构。 按项目说明，链上发出的 InferenceVerified 事件仅证明一次已登记量化模型运行的执行完整性，不声称浮点（bf16/fp32）等价、权重与提示的零知识保密性或模型文本输出的行为安全性。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。