靜修的第二天正在進行中。今天的會議將專注於密碼學和可信執行環境（TEEs）： 來自@Yale的Giannis Kaklamanis介紹了"可驗證的聚合收據及其在用戶參與審計中的應用" ⬇️

在這篇論文中，Giannis 和他的合著者正式定義了可驗證的聚合收據（VAR），以解決「通脹」威脅模型。例如，惡意的證明者無法說服驗證者其計數高於實際花費的代幣數量。

可能的使用案例：公司贊助的福利以及防止服務提供商的指標膨脹。 本研究介紹： - 隱私保護的聚合 - 緊湊的計數證明 - 對策略性指標膨脹具有韌性