静修的第二天正在进行中。今天的会议将专注于密码学和可信执行环境（TEEs）： 来自@Yale的Giannis Kaklamanis展示了"可验证的聚合收据及其在用户参与审计中的应用" ⬇️

在这篇论文中，Giannis及其合著者正式化了可验证的聚合收据（VAR），以解决“通货膨胀”威胁模型。例如，恶意证明者无法说服验证者其计数高于实际花费的代币数量。

可能的用例：公司赞助的福利以及防止服务提供商的指标膨胀。 本研究介绍： - 隐私保护聚合 - 紧凑的计数证明 - 抵御战略性指标膨胀的能力