我们介绍了超级阶级问责制,这是安全协议的新概念。可算置性的经典概念通常旨在识别违反对抗假设的特定对抗性游戏,导致了安全失败。超类责任制描述了一个不同的目标:证明存在能够违反安全假设的对手。我们开发了一种协议设计方法,用于实现称为刺激框架(SF)的超级阶级问责制。与经典的问责制不同,SF可用于广泛的应用程序,而无需进行协议修改,即使安全失败不归因于特定玩家。sf为公开验证的超级类对手生成了存在的证据,使SF成为举报人举报,高信任的机构宽松程序等有前途的弹簧董事会。我们描述了如何使用SF来证明能够违反实际应用程序的机密性的广告,这些应用程序包括TOR,Web3中的块基础架构,AD Auctions和私人联系人发现,以及公平交易订购系统的完整性。我们报告了我们已经构建的两个端到端的SF系统(用于TOR和BLOCK构建)以及对这些系统的实验。
©2024作者。开放访问。本文是根据Creative Commons归因4.0国际许可证的许可,该许可允许以任何媒介或格式的使用,共享,适应,分发和复制,只要您适当地归功于原始作者和来源,就可以提供与Creative Commons许可证的链接,并指出是否进行了更改。本文中的图像或其他第三方材料包含在文章的创意共享许可中,除非在信用额度中另有说明。如果本文的创意共享许可中未包含材料,并且您的预期用途不受法定法规的允许或超过允许的用途,则您需要直接从版权所有者那里获得许可。要查看此许可证的副本,请访问http://creativecommons.org/licenses/by/4.0/。