activity
20202025
most citedOn the Estimation of the Number of Unreachable Peers in the Bitcoin P2P Network by Observation of Peer Announcements

3 citations · 7 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2023★ 2 cited

Towards a Formal Verification of the Lightning Network with TLA+

Matthias Grundmann, Hannes Hartenstein

Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. Because payment channel networks are used for transfer of financial value,…