机构名称：
¥ 2.0
我们介绍了超级阶级问责制，这是安全协议的新概念。可算置性的经典概念通常旨在识别违反对抗假设的特定对抗性游戏，导致了安全失败。超类责任制描述了一个不同的目标：证明存在能够违反安全假设的对手。我们开发了一种协议设计方法，用于实现称为刺激框架（SF）的超级阶级问责制。与经典的问责制不同，SF可用于广泛的应用程序，而无需进行协议修改，即使安全失败不归因于特定玩家。sf为公开验证的超级类对手生成了存在的证据，使SF成为举报人举报，高信任的机构宽松程序等有前途的弹簧董事会。我们描述了如何使用SF来证明能够违反实际应用程序的机密性的广告，这些应用程序包括TOR，Web3中的块基础架构，AD Auctions和私人联系人发现，以及公平交易订购系统的完整性。我们报告了我们已经构建的两个端到端的SF系统（用于TOR和BLOCK构建）以及对这些系统的实验。
刺痛框架：证明超类对手的存在
主要关键词
相关文件推荐
