
时间锁谜题允许今日锁定消息,仅在特定时间过后才能揭示。这一理念具有广泛的应用场景,从延迟加密货币支付和密封投标拍卖,到基于时间的访问控制和零知识证明。
在我们的最新工作中,我们提出了委托时间锁谜题(D-TLPs)的概念,这是一个新颖的可扩展框架,支持安全外包时间锁谜题的生成和求解,即使不同客户端和服务器具有截然不同的计算能力。完整论文《可扩展时间锁谜题》已在ACM AsiaCCS 2025上发表,是纽卡斯尔大学、伦敦大学学院和牛津大学研究人员的合作成果。
现有TLPs通常假设服务器具有在时间间隔内解决谜题的计算能力,这一假设在实践中很快就会被打破。想象两个客户端各创建一个TLP:一个计划在24小时后解锁,另一个在40小时后。接收这两个谜题的服务器需要并行解决它们,执行64小时的计算。更糟糕的是,如果提交数百或数千个谜题,服务器的工作负载将变得不切实际。
当前的解决方案,如链式或可批处理TLPs,在时间间隔变化或客户端无关时并无帮助。具体而言,链式时间锁谜题(C-TLP)允许客户端编码多个谜题,每个谜题之间由固定时间间隔分隔。服务器必须按顺序解决这些谜题——一个接一个——以按时获取每个消息,而不是并行解决所有谜题。
然而,C-TLP有两个关键限制:
相比之下,可批处理时间锁谜题允许将不同客户端的多个谜题合并为单个复合谜题。解决此复合谜题会立即揭示所有嵌入的消息。然而,这种方法仅适用于所有消息计划同时披露的情况。
我们开发了ED-TLP,这是首个允许客户端和服务器将其TLP任务委托给可能不受信任的第三方求解器的协议。该协议是模块化、安全且高效的,支持:
这对我们之前的示例意味着什么?两个谜题可以由两个客户端安全地组合成链。就像之前一样,第一个谜题需要24小时,但第二个消息可以在16小时后获得。因此,它保留了整体的40小时延迟,但仅施加40小时的总计算,而不是64小时。组合的谜题越多,效率节省越大。为了说明我们的协议如何帮助避免过度计算并按预期延迟检索消息,我们准备了一个简短的动画。
视频链接:https://www.benthamsgaze.org/wp-content/uploads/2025/06/tlp-encoded.mp4
图1:视频比较了我们新协议与现有解决方案的工作方式。最初,它显示三个设置者产生谜题并将其发送给求解器并行解决;它按时从谜题中提取消息,但使用大量资源。更糟的情况是,三个谜题发送到只有一个空闲CPU且功能不足的服务器,因此谜题需要顺序且单独解决,比预期慢,导致总体延迟远高于谜题设置者的期望。最后,它显示我们的协议将谜题组合成单个谜题,可以在单个CPU上解决,时间与之前最长的谜题相同。此外,它显示我们的协议如何允许弱服务器通过智能合约安全地将谜题求解委托给强大的助手,当谜题解决方案交付时支付助手。此视频由合著者Dan Ristea创建。
TLPs具有强大的现实世界应用,尤其是在大规模部署时。我们的可扩展ED-TLP框架使得支持以下场景变得可行:
在每种这些设置中,我们的协议确保可扩展性和公平性,支持数千个独立定时的谜题,同时以可验证、隐私保护的方式将计算工作卸载给助手。
我们实现了ED-TLP并在多达10,000个谜题上进行了测试。结果包括:
源代码是开源的,可自由获取。
我们在可扩展时间锁谜题上的工作是使时间依赖密码学更可用、高效和公平的一步。通过支持安全委托和可变时间间隔,我们的解决方案使时间锁谜题适用于广泛的实际大规模应用,从金融和教育到人权和安全通信。
我们对这项工作的更广泛应用感到兴奋,并邀请安全、密码学和区块链系统的研究人员和从业者合作。
最初由Aydin Abadi在From Newcastle博客上发布。
原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。
如有侵权,请联系 cloudcommunity@tencent.com 删除。
原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。
如有侵权,请联系 cloudcommunity@tencent.com 删除。