多实例时间锁定密码中的可验证仿射组合
密码学与安全
2024-08-23 v1 分布式、并行与集群计算
机器学习
摘要
时间锁定密码（TLPs）已开发用于在不依赖可信第三方的情况下安全地将敏感信息传递到未来。多实例 TLP 是一种可扩展变体，使服务器能够一次性高效地找到由客户提供的不同密码的解决方案。尽管如此，现有的多实例 TLP 不支持（可验证的）仿射计算。为解决这一限制，我们引入了"多实例部分仿射 TLP"（MH-TLP），即一种支持高效可验证仿射组合的多实例 TLP。它确保任何人都可以验证计算和解的正确性。基于 MH-TLP，我们进一步提出了"多客户端多实例可验证部分仿射 TLP"（MMH-TLP）。它不仅支持 MH-TLP 的所有功能，还允许来自不同客户的密码进行可验证的仿射组合。我们的方案不使用非对称密钥密码进行验证，并且与大多数仿射 TLP 不同，不需要可信第三方。全面的成本分析表明，我们的方案随客户数和密码数呈线性扩展。
引用
@article{arxiv.2408.12444,
title = {Verifiable Homomorphic Linear Combinations in Multi-Instance Time-Lock Puzzles},
author = {Aydin Abadi},
journal= {arXiv preprint arXiv:2408.12444},
year = {2024}
}
备注
arXiv admin note: text overlap with arXiv:2406.15070