Search papers, labs, and topics across Lattice.
This paper introduces the Physical Time-Lock Puzzle (P-TLP), a novel cryptographic construct that ties the solving delay of puzzles to the intrinsic evaluation latency of silicon hardware, thus overcoming vulnerabilities of traditional time-lock puzzles to hardware acceleration. By utilizing noisy Physical Unclonable Functions (PUFs) as delay oracles, P-TLPs ensure resistance against parallel computation and algorithmic improvements, while a composite architecture mitigates evaluation noise to maintain predictable solving delays. The authors validate their theoretical framework with an FPGA prototype, demonstrating that P-TLPs can provide reliable long-term delay guarantees suitable for high-value applications like digital legacy management.
Traditional time-lock puzzles are rendered obsolete by hardware advancements, but Physical Time-Lock Puzzles ensure predictable delays tied to physical hardware limitations.
Traditional time-lock puzzles enforce delayed access to encrypted secrets by relying on inherently sequential computational steps. However, since software-based constructions impose no fundamental bound on the physical execution speed of individual steps, they remain vulnerable to hardware acceleration and improved implementations. In practice, this renders existing schemes ``step-lock'' rather than true ``time-lock'' puzzles, making long-term delay guarantees highly speculative against decades of unpredictable hardware advancement. To address this fundamental limitation, we introduce the Physical Time-Lock Puzzle (P-TLP), a new paradigm that anchors solving delay directly to the intrinsic, hardware-bounded evaluation latency of silicon hardware. By leveraging noisy Physical Unclonable Functions (PUFs) as non-parallelizable delay oracles, P-TLPs establish resistance against both parallel computation and algorithmic acceleration under the random oracle model. To tolerate PUF evaluation noise while maintaining a tightly concentrated and predictable solving-delay window, we propose a composite puzzle architecture that combines multiple independent basic puzzles. We formally prove the optimality of a sequential greedy solving strategy and derive tightly concentrated solving-delay windows using Hoeffding and Berry-Esseen bounds. We additionally prove early-solve hardness, establishing that adversaries with substantial classical computation budgets cannot bypass the physically-enforced PUF evaluation bottleneck. We validate our theoretical analysis with an FPGA prototype built around a configurable Ring Oscillator PUF, confirming that our analytical delay predictions tightly match empirical measurements. Our results demonstrate that P-TLPs can deliver highly predictable, long-term delay guarantees, enabling practical deployment in high-value applications such as digital legacy management.
