开源 INVAR:给本地 LLM 每次推理发 SHA-256 可复现回执

revuprender · reddit · 2026-08-21

开发者发布开源工具 INVAR(Apache-2.0,免费)，为本地 LLM 推理提供可验证的溯源能力。

核心机制：INVAR 封装 llama.cpp，对每次推理生成一条「世界线」——对运行时二进制+模型权重+提示词+采样参数+输出做 SHA-256 认证，并以哈希链形式写入仅追加日志。invar verify 可重跑任意条目并比对摘要，改动一个字节都会校验失败。

定位与限制(作者主动说明):

默认 profile 证明的是「部署锁定」级可复现:同一台机器+相同二进制、权重、temp=0、固定种子→相同输出，不承诺跨机器比特级一致(那是精确算术问题，另做且更慢)。
回执证明「跑了什么」，不证明答案质量——是溯源不是质检。
本机 root 可伪造历史，主机失陷不在本地 agent 范围内，缓解方案是离机 Ledger 收集器，威胁模型在 repo 中公开。

回执格式是开放规范(Computation Receipts)并发布了 conformance 向量，任何人可自行实现验证。一行 curl 脚本即可安装，需 Python 3.10+ 和 PATH 中的 llama.cpp 二进制，提供 OpenAI 兼容端点可无缝接入现有工作流。

Repo: github.com/anomly-labs/invar

「编程与Agent」频道最新