リトリートの2日目が始まりました。本日のセッションでは暗号学とTEEに焦点を当てます。 @Yaleのヤニス・カクラマニス氏が「ユーザーエンゲージメント監査への応用を含む検証可能な集計領収書」を発表しました。 ⬇️

@gianniskakl 本論文では、ヤニス氏と共著者たちが「インフレ」脅威モデルを解くために検証可能な集計収入(VAR)を形式化しています。例えば、悪意のある証明者は、実際に使われたトークン数よりも高い数を検証者に納得させることはできません。

可能なユースケース:企業提供の福利厚生やサービスプロバイダーによる過大評価の防止。 この研究は以下のことを紹介します: - プライバシー保護アグリゲーション - コンパクトなカウント証明 - 戦略的なメトリックインフレに対する強靭性