π€ AI Summary
This paper quantifies the security risks arising from validation delays within the βmine-then-validateβ mechanism of Nakamoto consensus. By integrating game theory, probabilistic analysis, and distributed systems theory, we construct a mathematical model incorporating both network and validation delays, revealing that validation delay constitutes an independent security bottleneck distinct from network latency. The study rigorously analyzes the perturbation of the honest chain by invalid blocks alongside potential attack strategies. We derive matching asymptotic bounds for confirmation depth and identify adversarial hash-rate thresholds, proving that under specific conditions, an attacker can dislodge target blocks at arbitrary depths. These findings provide rigorous theoretical foundations for the security evaluation of blockchain protocols.
π Abstract
Mining before validation allows miners to extend a newly received block before completing its validity checks, giving them a head start in the race for the next block reward. This head start, however, comes with a security risk: rejecting one invalid block also discards the honest work built on it, an effect missed when validation is treated as instantaneous. We quantify this risk in a model of Nakamoto consensus with bounded network delay and a validation-time bound independent of processing load. We establish an explicit threshold on adversarial mining power below which honest miners' fully validated chains continue to grow and agree on a stable history with high probability over any fixed observation period. We also construct an attack that repeatedly draws honest mining onto invalid branches. When the adversary produces more than one block on average during the allowed validation time, the attack can eventually remove a target block at any fixed initial confirmation depth. Combined with ordinary private mining, this attack yields a matching asymptotic bound in the fully decentralized regime, where each honest miner has negligible mining power. The results show how validation latency limits the security of mining before validation, beyond the constraint imposed by network delay.