安全模型
基于密码学可验证的零信任安全
安全模型概述
AEP 的安全设计围绕核心理念展开:提供客观、可验证的证据基础设施,而非主观担保内容结论的真假。协议不预设中心化信任,而是通过密码学与时间定序机制,让任何实体都能脱离原执行环境,对 Agent 行为的主体、发生时段与数据完整性进行客观审计追溯。
全链路安全属性建立在严格的非对称密码学、抗碰撞哈希算法、Merkle 树证明以及 RFC 3161 时间戳机制之上,让任何擅自篡改或伪造行为在密码学层面显露无疑。
密码学基础设施
SM2 / 非对称数字签名
基于离散对数与椭圆曲线数学假设,提供执行主体的真实性与不可否认性
SM3 / 密码学哈希算法
256 位安全哈希摘要,严格保证所有输入制品的雪崩级完整性校验
Merkle 树存在性证明
高效证明局部数据归属性,支持海量行为记录的高性能独立检索与校验
AEP TSA 可信时间戳
高精度因果时间定序(RFC 3161),杜绝时序伪造与重放风险
威胁模型与缓解策略
恶意行为者篡改已存证的 Agent 代码、决策或生成制品
密码学哈希 + Merkle 树:任何单比特修改都会引发根哈希雪崩式突变,使核验立即失败
伪造 Agent 身份凭证生成虚假证据
AEP PKI 证书链与非对称私钥签名:私钥独占持有,验签方凭借公钥与证书链即时揭穿伪造
重放旧证据或篡改动作先后因果关系
事件单调递增序列号结合 AEP TSA 时间戳证明,确立严格时序闭环
七阶段独立核验详解
-
容器解析
解构 .aep 容器层级,校验目录规范与跨路径逃逸防护
-
图谱构建
提取对象拓扑关系,构建因果图谱并校验有向无环属性
-
对象校验
基于 JSON Schema 严格校验事件、制品及元数据字段有效性
-
Merkle 验证
独立重算 Merkle 树根哈希,核实集合内容完整一致
-
签名与身份核验
基于公钥及 AEP PKI 证书链校验非对称签名合法性与有效性
-
证据等级判定
根据密码学强度与外部锚定状态精确判定证据等级(L0–L7)
-
客观审计报告
生成机器可读的结构化审计报告(支持 JSON / SARIF / HTML)
客观安全声明
-
AEP 提供客观中立的密码学证据基础设施:证据全生命周期独立可验、透明可溯、支持全量审计。
-
安全性依托现代公钥密码学与哈希抗碰撞假设,在现行算力条件下签名不可伪造、哈希不可逆。
-
Agent 私钥与证书生命周期管理是安全基石,私钥妥善保管是保证机器身份不可否认的前提。
-
AEP 聚焦行为证据链(Proof of AI Action),让一切非授权篡改与冒充在数学与密码学层面清晰可检。