Conditional information reveal systems automate the release of information upon meeting specific predefined conditions, such as time or location. This paper introduces a breakthrough in the understanding, design, and application of conditional information reveal systems that are highly secure and decentralized. By designing a new practical timed-release cryptography system and a secret sharing scheme with reveal-verifiability, a novel data sharing system is devised on the blockchain that "sends messages in the future" with highly accurate decryption times. Notably, the proposed secret sharing scheme applies to other applications requiring verifiability of revealed secret shares. This paper provides a complete evaluation portfolio of this pioneering paradigm, including analytical results, a validation of its robustness in the Tamarin Prover and a performance evaluation of a real-world, open-source system prototype deployed across the globe. Using real-world election data, we also demonstrate the applicability of this innovative system in e-voting, illustrating its capacity to secure and ensure fair electronic voting processes.

翻译：条件信息揭示系统能够在满足特定预定义条件（如时间或位置）时自动释放信息。本文在理解、设计和应用高度安全且去中心化的条件信息揭示系统方面取得了突破性进展。通过设计一种新的实用定时释放密码系统和一个具有揭示可验证性的秘密共享方案，在区块链上构建了一种新颖的数据共享系统，该系统能够以高精度的解密时间“向未来发送信息”。值得注意的是，所提出的秘密共享方案也适用于其他需要验证已揭示秘密份额的应用场景。本文为这一开创性范式提供了完整的评估组合，包括分析结果、在Tamarin Prover中对其鲁棒性的验证，以及一个在全球部署的真实开源系统原型的性能评估。利用真实选举数据，我们还展示了这一创新系统在电子投票中的适用性，阐明了其在保障和确保公平电子投票流程方面的能力。