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
lightning++ is programming payments || 2+3+4 Oct 2025, Berlinbtcplusplus.dev/conf/berlin25
612 sats \ 4 comments \ @supratic 5 Aug lightning
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
Lipa Wallet: From Lightning DevKit to Breez SDK ⚡medium.com/@lipa_btc/navigating-lightning-innovation-lipas-journey-from-ldk-to-breez-sdk-c5ba36550000
5548 sats \ 2 comments \ @lipa 3 May 2024 lightning freebie
Ask Stacker News - Your Bitcoin, Lightning, & Nostr Questions Answered
449 sats \ 9 comments \ @sn 13 Jul 2023 meta
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
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin