从 Merkle 防篡改审计日志到 OWASP ASI 2026 合规门禁【免费下载链接】agent-governance-toolkitAI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.项目地址: https://gitcode.com/GitHub_Trending/ag/agent-governance-toolkit审计员问这个 Agent 上周三到底改了什么数据、谁批准的Agent Governance Toolkit 用两个包回答这个问题agentmesh-platform 把每次工具调用、策略决策、信任握手都写进基于 Merkle 树的防篡改审计日志agent-governance-toolkit 把 OWASP ASI 2026 的十项安全控制变成 CI/CD 里自动执行、失败即阻断的合规门禁。记录归记录证明归证明两条线在流水线里汇合——缺任何一环审计员都不认。3 行代码建一条不可篡改的审计链先装包pip install agentmesh-platform。然后建一条内存审计链并记录第一条事件from agentmesh.governance.audit import AuditLog audit AuditLog() entry audit.log( event_typetool_invocation, agent_diddid:web:sales-assistant.example.com, actionallow, resource/crm/contacts, data{tool: crm_lookup, query: acme corp}, outcomesuccess, trace_idtrace-7f3a, ) print(entry.entry_id, entry.entry_hash) ok, err audit.verify_integrity() # 整链校验 assert ok, fChain broken: {err}那行audit.log()背后依次做了三件事构造AuditEntry数据模型交给内部MerkleAuditChain.add_entry()先把上一条的entry_hash写进本条的previous_hash再算出本条的 SHA-256entry_hash并增量更新树路径若配置了外部 sink 则同步写入。同时还会按agent_did和event_type维护两份反向索引为后面查询做准备——一次调用同时完成记录、链式哈希与建索引实现见 audit.py。关键在为什么它比简单 hash 链强。每条记录是 Merkle 树的一个叶子Root / \ H(AB) H(CD) / \ / \ A B C D ← leaf 条目的 SHA-256改任意一条记录root hash 立刻变篡改当场暴露而证明某条记录在日志里不需要重算整条链——只需那条叶子到根路径上 O(log n) 个兄弟哈希对比全链重算的 O(n)。查、验、证审计链的三个典型问题问题一怎么按条件查query()的过滤条件全部可组合Agent、事件类型、时间窗、结果随便搭配返回按时间升序的最近limit条时间比较一律基于 UTCdenied audit.query( event_typetool_blocked, outcomedenied, start_timeyesterday, # UTC 时间窗起点 limit200, )只有单一条件时get_entries_for_agent()和get_entries_by_type()更省事直接走反向索引拿该 Agent 或该类型最近 N 条。想跨 Agent 用trace_id追踪一次请求query()不直接支持这个过滤export()后在内存里筛一把是最简单的做法。问题二怎么证明整条链没被动过ok, err audit.verify_integrity()逐条重算entry_hash并核对每条的previous_hash是否与前一条的entry_hash衔接对不上就返回出错位置。建议定期跑一次导出数据前再跑一次。问题三怎么给外部审计员一个最小证据包用get_proof()拿单条记录的Merkle 包含性证明——像快递底单发货方日志持有者开底单收件方审计员不必翻遍仓库每个包裹拿底单对一下声明的 root 就行proof audit.get_proof(entry.entry_id) # proof 含 entry、merkle_proof、merkle_root 与 verified assert proof[verified] # 审计员侧拿 entry_hash 沿 merkle_proof 的 (hash, position) 对 # 逐层拼接重算结果等于公布的 merkle_root 即确认该条目在链中这套日志持有者与验证者分离正是审计场景的关键持有全量日志的一方没法事后偷改记录而不被 root 变化暴露外部审计员也不需要读全量日志。从内存到磁盘审计日志的持久化内存日志够 demo 用生产必须落盘。FileAuditSink写 JSON-Lines 到磁盘每行过三道锁把条目序列化成规范 JSON 载荷排除哈希与签名字段本身→ 算 SHA-256内容哈希→ 用你提供的密钥做HMAC 签名。校验时哈希与签名双通过才算数细节在 audit_backends.py。把条目签名落盘并独立校验磁盘链from agentmesh.governance.audit_backends import FileAuditSink sink FileAuditSink( pathaudit_trail.jsonl, secret_keybchange-me-to-a-real-secret, max_file_size50 * 1024 * 1024, # 超过 50MB 自动轮转 ) audit AuditLog(sinksink) # 之后每条 log() 自动落盘 ok, err sink.verify_integrity() # 不依赖内存直接校验磁盘链 sink.close()生产环境还要注意两点文件达到max_file_size自动轮转重命名为带 UTC 时间戳的文件并重置链也兼容 logrotate 式的外部替换恢复续链时若既有链用当前密钥验不过会直接拒绝启动——fail-closed好过在可能已被篡改的文件上继续追加。要把条目推到数据库或消息队列实现AuditSink协议即可共 4 个方法write()写单条、write_batch()批量写、verify_integrity()自检链完整性、close()释放资源。协议用runtime_checkable声明isinstance(my_sink, AuditSink)就能判断你的实现是否齐活。容器化日志采集场景可用每行一个 JSON 打到 stdout 的StdoutAuditSink但它不做签名需要密码学完整性时还是用FileAuditSink。 把 OWASP ASI 2026 合规塞进 CI 门禁这一节的主线只有一条不通过就不许发布。agt verify逐项检查十项 OWASP ASI 2026 安全控制对应的治理组件能否被导入覆盖范围从提示注入、越权升级、信任边界失守到日志不足、供应链完整性、行为异常——能导入即视为该控制已部署没装对应包就标记缺失。挑两项展开ASI-06 Insufficient Logging 对应AuditChain就是你前面一直在用的MerkleAuditChain证明日志存在且不可改ASI-09 Supply Chain Integrity 对应IntegrityVerifier防的是治理模块本身被动手脚。跑一条命令agt verify看输出OWASP ASI 2026 Governance Verification OK ASI-06 Insufficient Logging AuditChain OK ASI-09 Supply Chain Integrity IntegrityVerifier Coverage: 10/10 (100%)供应链检查针对热修补场景有人直接改了治理模块的源码或替换了关键函数。agt integrity --generate integrity.json先生成基线——除每个模块源文件的 SHA-256还对PolicyEngine.evaluate等关键函数做字节码哈希。这里有个坑只哈希字节码的co_code字段会被绕过同长度 opcode、引用换掉的替换函数就能混过去覆盖整个 code 对象含co_names、co_consts、嵌套 code才堵得死。校验同样是 fail-closed配了 manifest 却缺某模块的条目直接判失败而非默认通过——否则攻击者删掉清单条目就能掩盖篡改逻辑在 integrity.py。把这套检查锁进流水线任一失败阻断部署name: Governance Compliance on: push: branches: [main] jobs: compliance: runs-on: ubuntu-latest steps: - uses: actions/checkoutv4 - uses: actions/setup-pythonv5 with: { python-version: 3.11 } - run: pip install agentmesh-platform agent-governance - run: agt integrity --generate integrity.json - run: agt verify --json asi_report.json # 控制缺失时退出码为 1步骤自动失败 - run: agt integrity --manifest integrity.json --json关键在退出码agt verify全部通过返回 0否则 1见 cli/main.pyCI 步骤天然变红不用你写任何断言逻辑。机器可读模式下未知异常只回吐脱敏的InternalError流水线日志不会泄露系统内部细节。 给审计员交一份 JSON 就够最终交付物不是三份文件而是一份。把审计导出、合规 attestation、完整性校验组装进同一个 dictdef compliance_report(audit: AuditLog, days: int 30) - dict: now datetime.now(timezone.utc) start now - timedelta(daysdays) export audit.export(start_timestart, end_timenow) chain_ok, _ audit.verify_integrity() att GovernanceVerifier().verify() # OWASP ASI 覆盖 integ IntegrityVerifier(integrity.json).verify() # 供应链完整性 return { period: [start.isoformat(), now.isoformat()], audit_trail: { total: export[entry_count], chain_valid: chain_ok, merkle_root: export[merkle_root], }, owasp_asi_2026: { passed: att.passed, coverage_pct: att.coverage_pct(), attestation_hash: att.attestation_hash, }, supply_chain_integrity: {passed: integ.passed}, }这样一份报告把三类证据合而为一日志可审计事件量 链完整性 Merkle root、治理可证明ASI 覆盖 attestation 哈希、代码未篡改供应链完整性。attestation_hash是对 attestation 全部语义字段控制列表、通过数、时间等的 SHA-256审计员改掉任何一个字段都会哈希失配可以当整份报告的指纹用。速查AuditLog 方法与 AuditEntry 字段AuditLog 核心方法方法一行说明关键参数log()记录事件返回AuditEntryevent_type、agent_did、action、outcome、trace_idquery()可组合过滤按时间升序返回最近limit条agent_did、event_type、start_time、outcome、limitget_entries_for_agent()按 Agent 走反向索引agent_did、limitget_entries_by_type()按事件类型走反向索引event_type、limitverify_integrity()全链哈希 链连续性校验—get_proof()/export()Merkle 包含性证明 / 按时间窗导出entry_id/start_time、end_timeAuditEntry 核心字段字段类型说明entry_idstr唯一 IDtimestampdatetimeUTC 时间戳event_typestr事件类型agent_didstr行为 Agent 的 DIDactionstr策略动作allow / deny / audit / quarantine / warningresourcestr | None访问的资源outcomestrsuccess / failure / denied / errorentry_hashstr本条目的 SHA-256 哈希事件类型共六种内联列出tool_invocation工具调用成功、tool_blocked策略拦截、policy_evaluation、policy_violation、rogue_detection、agent_invocationAgent 间委派。哈希口径上compute_hash()只对规范字段entry_id、timestamp、event_type、agent_did、action、resource、data、outcome、previous_hash做sort_keysTrue序列化后取 SHA-256verify_hash()用常数时间比较避免时序侧信道。issued_at、arguments_hash、approver_did、policy_version等高级字段暂不参与 v1.0 规范哈希但会完整写进to_cloudevent()/export_cloudevents()的 CloudEvents v1.0 信封留给审批链与策略版本追溯场景。【免费下载链接】agent-governance-toolkitAI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.项目地址: https://gitcode.com/GitHub_Trending/ag/agent-governance-toolkit创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考