Aegon
可自审计的密钥透明系统,基于多项式承诺构建透明字典,旨在降低密钥透明审计成本并解决公告板与审计角色混淆问题。
时间轴 (近 90 天)
Aegon 是一个可自审计的密钥透明系统,是 IronDict 的续作,由剑桥大学研究者 Hossein Hafezi 团队提出。
Aegon 用标签级一致性检查取代全局索引检查,对索引映射也应用随机化机制,客户端验证解析路径上所有位置在整个区间内不变,使服务器计算量只与更新数线性相关。
Aegon 采用字典分片:协调者用可验证随机函数(VRF)将标签确定性地路由到独立运行的实例,协调者无法伪造 VRF 证明来重定向。
Aegon 的 45KB 审计证明覆盖整个密钥透明历史,可在一秒内验证,客户端可按周或按月检查,无需每 epoch 在线;相比之下 WhatsApp 的审计证明是每 epoch 约 80MB。
Aegon 的构造对多项式承诺方案是通用的,具体实例化采用 KZG,效率高但需要 powers of tau 可信设置,且为前量子安全。
在问答环节,Hafezi 表示 Aegon 的隐私在零知识意义上定义,不泄露额外信息,优于 Seamless 系方案;但若无访问控制,元数据隐私在实践中意义有限。
Hafezi 透露 WhatsApp 团队内部“在试用 Aegon”,是否上线未知。
全部知识事实 (7)
Aegon 是一个可自审计的密钥透明系统,是 IronDict 的续作,由剑桥大学研究者 Hossein Hafezi 团队提出。
50%待验证Aegon 用标签级一致性检查取代全局索引检查,对索引映射也应用随机化机制,客户端验证解析路径上所有位置在整个区间内不变,使服务器计算量只与更新数线性相关。
50%待验证Aegon 采用字典分片:协调者用可验证随机函数(VRF)将标签确定性地路由到独立运行的实例,协调者无法伪造 VRF 证明来重定向。
50%待验证Aegon 的 45KB 审计证明覆盖整个密钥透明历史,可在一秒内验证,客户端可按周或按月检查,无需每 epoch 在线;相比之下 WhatsApp 的审计证明是每 epoch 约 80MB。
50%待验证Aegon 的构造对多项式承诺方案是通用的,具体实例化采用 KZG,效率高但需要 powers of tau 可信设置,且为前量子安全。
50%待验证在问答环节,Hafezi 表示 Aegon 的隐私在零知识意义上定义,不泄露额外信息,优于 Seamless 系方案;但若无访问控制,元数据隐私在实践中意义有限。
50%待验证Hafezi 透露 WhatsApp 团队内部“在试用 Aegon”,是否上线未知。
50%