Showing cs.CRShow all
2 papers · 1 filter
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…
cs.CR2024
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…