pull down to refresh

Towards a Formal Verification of the Lightning Network with TLA+arxiv.org/pdf/2307.02342
124 sats \ 0 comments \ @Kathleen_Croteau 14 Feb 2024 lightning
related
Too Embarassed To Ask - Your Bitcoin & Lightning Questions Answered
2987 sats \ 77 comments \ @sn 1 Jun 2023 bitcoin
Comparing the Lightning Network to validia chains and validity rollupslightco.in/2023/12/13/lightning-validia-rollups/
6546 sats \ 5 comments \ @lightcoin_ 13 Dec 2023 bitcoin
The Lightning Network explained ⚡️
8807 sats \ 13 comments \ @CarlBMenger 21 Sep 2023 bitcoin
Validating Lightning Signer - AMA
11k sats \ 34 comments \ @devrandom 13 Jul 2023 bitcoin
Fake Channels Are Real: Client-Side-Validated Lightning Is Easier Than You Thinkpetertodd.org/2025/fake-channels-and-rgb-lightning
4379 sats \ 7 comments \ @petertodd 25 Jan bitdevs
Summary of the Lightning Specification Meeting 2023/04/24github.com/lightning/bolts/issues/1067
8998 sats \ 0 comments \ @astronaut 25 Apr 2023 bitcoin
How CTV (BIP 119) Could Create Channel Factories for Casual Users (John Law)
6257 sats \ 9 comments \ @nerd2ninja 14 Sep 2023 bitcoin
The Ultimate Lightning Network Privacy Explainedvoltage.cloud/blog/lightning-network-faq/lightning-network-privacy-explainer/
1179 sats \ 10 comments \ @DarthCoin 30 Apr 2024 bitcoin
Bitcoin Explained #90 - Asynchronous Lightning Paymentsbitcoinexplainedpodcast.com/@nado/episodes/episode-90-asynchronous-lightning-payments-31owp
3870 sats \ 5 comments \ @DarthCoin 23 Feb 2024 bitcoin
Mass Exit Attacks on the Lightning Network [PDF]arxiv.org/pdf/2208.01908
951 sats \ 18 comments \ @cryptocoin 8 Aug 2022 bitcoin
Mass Exit Attacks on the Lightning Networkarxiv.org/abs/2208.01908
877 sats \ 9 comments \ @beorange 19 Feb 2024 bitcoin
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
Post-Mortem on the Lightning Network Replacement Cycling Attackbitcoinmagazine.com/technical/postmortem-on-the-lightning-replacement-cycling-attack
1691 sats \ 7 comments \ @kr 24 Oct 2023 bitcoin
Super Testnet reviews paper analyzing lightning privacy attacksnjump.me/nevent1qy28wumn8ghj7un9d3shjtnyv9kh2uewd9hsqgqswtdl95mv0hampp3afduhs6rhzzyx839uzh7xsacnw20h980nhytc7j4p
655 sats \ 2 comments \ @Scoresby 20 Jul lightning
A Centrality Analysis Of The Lightning Network
3629 sats \ 6 comments \ @0xbitcoiner 10 Apr 2024 lightning
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
L402: internet-native paywallsl402.org
3279 sats \ 10 comments \ @fewsats 1 Jul 2024 builders
Shortcomings of the Lightning Network
1825 sats \ 20 comments \ @nout 7 May 2022 bitcoin
State of Lightning Privacy - Elias Rohrerwww.youtube.com/watch?v=2Jg6jxws8ko
390 sats \ 2 comments \ @supratic 22 Jun lightning
[Ln-dev] A security review of Validating Lightning Signer architecture and codelists.linuxfoundation.org/pipermail/lightning-dev/2023-January/003829.html
1083 sats \ 0 comments \ @AR0w 28 Jun 2023 bitcoin
Lightning Network : our high-maintenance crazy-exallesvoorbitcoin.substack.com/p/lightning-network-our-high-maintenance
2690 sats \ 7 comments \ @avbpod 11 May lightning