Physical Time-Lock Puzzles

arXiv:2607.17328 · cs.CR · Submitted 2026-07-19 · Read on arXiv

Niloufar Sayadi, Chenglu Jin, Phuong Ha Nguyen, Zheng Yang, Marten van Dijk

cs.CR

Submitted: 2026-07-19

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Geometric Distribution — 10× in this paper · explained in 2 episodes
• Hamming Distance — 9× in this paper · explained in 2 episodes
• Arbiter — 7× in this paper · explained in 1 episode
• Decode — 3× in this paper · explained in 2 episodes
• False Negatives — 3× in this paper
• False Positives — 3× in this paper
• Physically Unclonable Function — 3× in this paper
• Hardware-Oriented Security and Trust — 2× in this paper
• Verifiability — 2× in this paper · explained in 2 episodes
• Verification — 2× in this paper · explained in 2 episodes
• XOR Configurable Ring Oscillator — 2× in this paper
• Adversarial Model — 1× in this paper · explained in 1 episode
• Core — 1× in this paper · explained in 2 episodes
• Physical Constraints — 1× in this paper · explained in 7 episodes
• Redundancy — 1× in this paper · explained in 2 episodes

Sources

• On the absolute constants in the Berry-Esseen type inequalities for identically distributed summands

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs