aerf-spec/aerf

GitHub: aerf-spec/aerf

一个用于 AI Agent 操作的加密收据开放规范,通过 Ed25519 签名生成防篡改、可独立验证的操作证据,填补 AI 治理框架中的证据和日志记录层空白。

Stars: 0 | Forks: 0

# AERF — Agent Evidence Receipt Format **`v0.1.0-draft.1` — 公开审查草案,2026 年 5 月。尚未稳定。** **致审阅者:** | 目标 | 链接 | |---|---| | 所有框架覆盖情况一览 | [docs/COMPLIANCE.md](docs/COMPLIANCE.md) | | AIUC-1 映射(主要目标) | [docs/frameworks/AIUC-1.md](docs/frameworks/AIUC-1.md) | | 运行验证器 | [§ 试试看](#try-it) | | 收据示例 | [§ 收据示例](#sample-receipt) | | 规范 | [SPEC.md](SPEC.md) | AERF 是一种开放的线路格式,用于**AI-agent 操作的加密收据**。每份收据都是一个 Ed25519 签名的 JSON 文档,记录了 agent 执行了*什么*操作、*什么*策略允许了该操作、发生在*什么时候*,以及该操作的*完整证据*。收据可独立验证——不需要任何 AERF 软件、账户或服务即可进行检查。本仓库中的参考验证器是一个仅使用标准库的单个 Go 文件。 AERF 解决了 AI 治理框架中的*证据和日志记录层*问题。它为 [AIUC-1](docs/frameworks/AIUC-1.md)、 [HIPAA](docs/frameworks/HIPAA.md)、 [SOC 2](docs/frameworks/SOC2.md)、 [ISO/IEC 42001](docs/frameworks/ISO-42001.md)、 [EU AI Act](docs/frameworks/EU-AI-ACT.md)、 [NIST AI RMF](docs/frameworks/NIST-AI-RMF.md)、 [SR 11-7](docs/frameworks/SR-11-7.md) 和 [SOX 404](docs/frameworks/SOX-404.md) 中的控制措施提供防篡改和可独立验证的证据。 AERF 不能替代完整的合规计划;有关各项控制措施的映射和具体缺口,请参阅 [docs/COMPLIANCE.md](docs/COMPLIANCE.md)。 本仓库是规范和参考验证器的大本营。参考*生产者*位于 [`agentmint-python`](https://github.com/aniketh-maddipati/agentmint-python) (`pip install agentmint`)。 ## 收据示例 ``` { "id": "7473e179-001c-4d3b-94bc-d0f53dd6eec6", "type": "notarised_evidence", "plan_id": "bc023208-ea24-410a-a280-ff36820e18a6", "agent": "claims-agent", "action": "submit:claim:CLM-9920", "in_policy": true, "policy_reason": "matched scope submit:claim:*", "evidence_hash_sha512": "b35d8ba27ad113c4...bb39e30c", "evidence": { "...": "..." }, "observed_at": "2026-05-06T16:22:33.490443+00:00", "policy_hash": "260eca8ac43ae65e...985d6bf1", "key_id": "c348d3c785c92249", "plan_signature": "3e5b83e83b77bfa2...dea8ee01", "signature": "8bd989a95ab60863...04e97208" } ``` `signature` 是对移除了 `signature` 和 `timestamp` 的收据规范 JSON 编码的 Ed25519 签名。 单份收据加上颁发者的公钥即构成一个完整的审计工件。 ## 试试看 ``` git clone https://github.com/aerf-spec/aerf.git cd aerf/verifiers/go go run verify.go example/receipt.json example/public_key.pem # → "OK receipt 7473e179..." 以及 exit code 0 # 确认 tamper detection go run verify.go example/receipt-tampered.json example/public_key.pem # → "FAIL signature verification FAILED ..." 以及 exit code 1 ``` 被篡改的文件与原始文件仅在一个字段上有所不同(`CLM-9920` → `CLM-9921`)。签名则不一致。 ## 本仓库包含什么 ``` . ├── README.md You are here. ├── SPEC.md The AERF-EVIDENCE specification (draft). ├── DECISIONS.md Locked + held design decisions C-1..C-20. ├── CHANGELOG.md ├── LICENSE Apache 2.0 — code, schemas, examples. ├── LICENSE-spec CC BY 4.0 — prose / specification text. ├── docs/ │ ├── COMPLIANCE.md Compliance navigation hub. │ └── frameworks/ Per-framework AERF mapping pages. ├── schemas/ │ └── aerf-v0.1.json JSON Schema (Draft 2020-12) for the │ EVIDENCE receipt shape. └── verifiers/ └── go/ ├── verify.go ~200 lines, stdlib only. ├── go.mod ├── README.md └── example/ ├── receipt.json ├── receipt-tampered.json ├── public_key.pem └── evidence-package.zip Full agentmint evidence ZIP. ``` ## v0.1.0-draft.1 中不包含什么 以下内容被有意推迟。它们将在后续草案中发布: - **测试向量** — 包含约 8 个一致性向量(创世、链、篡改、重放、格式错误等)的目录。 - **Python 和 TypeScript 参考验证器。** 目前,Python 是参考*生产者*;本仓库仅附带 Go 验证器。 - **`compliance/`** 作为规范性目录 — 已被非规范性的 [`docs/`](docs/COMPLIANCE.md) 框架映射页面 ([AIUC-1](docs/frameworks/AIUC-1.md)、 [HIPAA](docs/frameworks/HIPAA.md)、 [SOC 2](docs/frameworks/SOC2.md)、 [ISO/IEC 42001](docs/frameworks/ISO-42001.md)、 [EU AI Act](docs/frameworks/EU-AI-ACT.md)、 [NIST AI RMF](docs/frameworks/NIST-AI-RMF.md)、 [SR 11-7](docs/frameworks/SR-11-7.md)、 [SOX 404](docs/frameworks/SOX-404.md))取代。 规范治理下(已锁定决定 C-20)的规范性 `compliance/` 目录仍被推迟。 - **治理、贡献和安全策略文档。** - **CI 工作流和验证器的预构建发布二进制文件。** - **AERF-AUTHZ 配置文件** — 规范承认它作为未来的配置文件(保留决定 C-17),但未对其进行具体规定。v0.1 仅发布 EVIDENCE 配置文件。 - **参考验证器哈希链和 RFC 3161 时间戳检查。** 两者都在规范中进行了规范性描述;本草案中的 Go 参考验证器仅强制执行签名。请参阅 [`verifiers/go/README.md`](verifiers/go/README.md)。 ## 状态与稳定性 这是一份**公开审查草案**。在 v0.1.0 稳定版之前,线路格式可能会发生更改。锁定决定(参见 [DECISIONS.md](./DECISIONS.md))对 v0.1.0 具有约束力;保留决定在 v0.1.0 稳定版之前将保持开放。 我们在每个页面的页眉和规范标题页上都进行了相应的标记,以免此处的任何内容被引用为最终版本。 ## 参考实现 - **生产者:** [`agentmint-python`](https://github.com/aniketh-maddipati/agentmint-python) — `pip install agentmint` - **验证器:** 本仓库,[`verifiers/go/`](verifiers/go/) 本草案发布时的参考生产者(`agentmint` 0.1.x)在两个锁定决定(创世哨兵 C-6 和链哈希输入 C-7)上与规范存在分歧。v0.1.0-draft.1 示例是一个单独的创世收据,以避开这一缺口;库的修复进度在 v0.1.0-draft.2 的 [issue #2](https://github.com/aerf-spec/aerf/issues/2) 中跟踪。 保险公司可以将 Plan 收据用作机器可读的承保输入,并将 Evidence 收据用作防篡改的索赔证据。请参阅附录 B。 ## 许可证 双重许可: - **文本**(SPEC、README、DECISIONS、CHANGELOG)— 知识共享署名 4.0 国际许可 ([`LICENSE-spec`](./LICENSE-spec))。 - **代码、模式、示例工件**(验证器、模式、receipt.json 等)— Apache 许可证 2.0 ([`LICENSE`](./LICENSE))。 如果文件的许可证不明确,以每个目录的 `README.md` 或文件自身的标题为准。 ## 编辑 Aniketh Maddipati ([agentmint.run](https://agentmint.run))。 欢迎提交 Issues 和 PRs。
标签:AI治理, API接口, CVE, Ed25519, ETW劫持, EU AI Act, EVTX分析, Go语言, HIPAA, ISO/IEC 42001, JSON, JSONLines, NIST AI RMF, SOC 2, SOX 404, Zenmap, 人工智能安全, 可验证性, 合规性, 密码学收据, 开放规范, 数字签名, 数据完整性, 日志审计, 日志记录, 监管科技, 程序破解, 网络信息收集, 行为监控, 证据追踪, 逆向工具, 防篡改, 零信任