Tempora-Fusion：基于可验证同态线性组合的高效时间锁拼图
密码学与安全
2024-06-25 v2 计算工程、金融与科学
机器学习
摘要
为安全地将敏感信息传输到未来，已开发出时间锁拼图 (Time-Lock Puzzles, TLP)。其应用包括定期付款、定时承诺、电子投票和密封出价拍卖。同态 TLP 是 TLP 的一种关键变体，使来自不同客户的拼图能够进行计算。这允许求解器/服务器仅解决一个编码计算结果的拼图。然而，现有的同态 TLP缺乏对计算结果正确性的支持。我们通过引入 Tempora-Fusion 来解决这一限制，该方案允许服务器在确保计算正确性验证的同时，对来自不同客户的拼图执行同态线性组合。该方案避免了对称密钥密码学进行验证，从而为高效实现提供了可能。我们讨论了该方案在 various 领域的应用，如联邦学习、线上银行的定期付款和电子投票。
引用
@article{arxiv.2406.15070,
title = {Tempora-Fusion: Time-Lock Puzzle with Efficient Verifiable Homomorphic Linear Combination},
author = {Aydin Abadi},
journal= {arXiv preprint arXiv:2406.15070},
year = {2024}
}