安全模型
基于密码学的可验证安全
安全模型概述
AEP 的安全设计围绕一个核心理念:提供密码学证据能力,而非断言内容真实。协议不声称内容本身是真实的,而是提供可验证的证据,让任何人都能独立核验内容的来源、时间与完整性。
所有安全属性都建立在成熟的国密密码学算法(SM2、SM3)和标准数据结构(Merkle 树、时间戳)之上。
密码学基础
SM2 数字签名
国密标准非对称算法,用于来源认证与不可否认性
SM3 哈希算法
国密标准哈希,256 位摘要,用于内容完整性验证
Merkle 树证明
高效集合完整性验证,支持海量数据的独立校验
时间戳机制
提供时间证明,降低重放攻击风险
威胁模型
内容篡改
攻击者修改已存证的 AI 内容
防护
SM3 哈希 + Merkle 树:任何字节修改都会导致摘要不匹配,验证失败
身份伪造
攻击者冒充他人生成证据
防护
SM2 数字签名:只有私钥持有者能生成有效签名,验证方可用公钥核验
重放攻击
攻击者重复提交旧证据冒充新证据
防护
时间戳 + 事件序列号:验证方可核对时间与顺序
验证流程详解
-
容器安全检查
检查证据包结构与内部文件是否合规
-
结构校验
按协议规范校验所有对象的字段与格式
-
图谱完整性
验证事件与制品的关系图谱是否闭环
-
Merkle 验证
重算 Merkle 树,确认所有内容一致
-
SM2 签名验证
用公钥验证签名,确认来源真实
-
身份验证
核验签名者身份信息
-
等级计算
根据证据强度计算证据等级
安全声明
-
AEP 提供的是密码学证据能力:证据可独立验证、可审计、可追溯。
-
安全性基于 SM2/SM3 的计算安全性假设,在现有算力下不可伪造签名或碰撞哈希。
-
私钥管理是使用者的责任,密钥泄露会削弱来源认证的可信度。
-
AEP 不承诺内容的真实性,也不承诺无条件的安全;它让篡改和伪造在密码学上可被检测。