IronDict

Aegon 是一个可自审计的密钥透明系统，是 IronDict 的续作，由剑桥大学研究者 Hossein Hafezi 团队提出。

IronDict 使用多项式承诺构建透明字典；多线性多项式在布尔超立方上的取值唯一确定该多项式，用 PCS 承诺后可在布尔点打开证明某位置的值。

IronDict 的一致性证明依赖“随机化一致性机制”：对相邻 epoch 的差值向量乘以随机挑战后累加，服务器必须先承诺更新再获知挑战，因此可防御“幽灵密钥”攻击。