2 papers
cs.CR2026
Bitcoin Staking
Xinshu Dong, Orfeas Stefanos Thyfronitis Litos, Ertem Nusret Tas +4
The idea of security sharing goes back to Nakamoto's introduction of merge mining, a technique that enables Bitcoin miners to reuse their hash power to bootstrap and secure other P…
cs.CR2025
A Formally Verified Lightning Network
Grzegorz FabiaÅski, RafaÅ StefaÅski, Orfeas Stefanos Thyfronitis Litos
In this work we use formal verification to prove that the Lightning Network (LN), the most prominent scaling technique for Bitcoin, always safeguards the funds of honest users. We…