pull down to refresh

Towards a Formal Verification of the Lightning Network with TLA+arxiv.org/pdf/2307.02342
145 sats \ 0 comments \ @Kathleen_Croteau 14 Feb 2024 lightning
related
Specification of the Lightning Network's Protocol in TLA+github.com/kit-dsn/lightning-tla
179 sats \ 0 comments \ @supratic 20 Aug 2025 lightning
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
146 sats \ 0 comments \ @jakoyoh629 14 Mar 2025 lightning
Verification of LN Channel Balances with Trusted Execution Environments (TEE)arxiv.org/html/2512.12095v2
362 sats \ 2 comments \ @jakoyoh629 20 Dec 2025 lightning
Latest Strikes S03E05 - December 15th 2025 - January 4th 2026
1251 sats \ 2 comments \ @fanis 5 Jan bitcoin lightning
Comparing the Lightning Network to validia chains and validity rollupslightco.in/2023/12/13/lightning-validia-rollups/
6556 sats \ 5 comments \ @lightcoin_ 13 Dec 2023 bitcoin
Automating cryptanalysis of LN and mempool
373 sats \ 0 comments \ @supratic 11 Feb lightning
[OG Post] A Mathematical Theory of Payment Channel Networksdelvingbitcoin.org/t/a-mathematical-theory-of-payment-channel-networks/2204
380 sats \ 5 comments \ @0xbitcoiner 16 Jan lightning
A Centrality Analysis Of The Lightning Network
3729 sats \ 6 comments \ @0xbitcoiner 10 Apr 2024 lightning
What's driving Lightning adoption in 2026?
950 sats \ 30 comments \ @supratic 5 Mar lightning
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2221 sats \ 1 comment \ @schmidty 7 Aug 2025 bitcoin
Workshop: The Lightning Networkguggero.github.io/lightning-workshop/
1361 sats \ 0 comments \ @pietro1861 18 May 2023 bitcoin
A Look At the Lightning Networkwww.swanbitcoin.com/a-look-at-the-lightning-network/
431 sats \ 3 comments \ @cryptocoin 6 Aug 2022 bitcoin
Happy Lightning Pizza Day: Proving NO-KYC, safe, secure & anonymous transactions
607 sats \ 4 comments \ @supratic 25 Feb 2024 bitcoin_beginners
What Rust Got Wrong on Formal Verificationgavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/
183 sats \ 0 comments \ @brandonsbytes 23 May 2024 devs
Sam Wouters on the State of the Lightning Network in 2023 | TLS123www.youtube.com/watch?v=flx5jmz92QU&t=9s
333 sats \ 0 comments \ @Rsync25 5 Nov 2023 bitcoin
RGB yellowpaper: the formal specification of Bitcoin & Lightning smart contractsgithub.com/RGB-WG/yellowpaper/blob/master/rgb-yellowpaper.pdf
141.7k sats \ 31 comments \ @dr_orlovsky 31 Jul 2025 rgb
The State of the Lightning Networkriver.com/learn/files/river-lightning-report-2023.pdf
669 sats \ 0 comments \ @beorange 11 Oct 2023 bitcoin
The Lightning Network is a Settlement Layer - Toxic Rant #4
8894 sats \ 16 comments \ @ToxicSaraTV 28 Nov 2023 bitcoin
Differential Fuzzing on the Lightning Networkwww.youtube.com/watch?v=vGFdaVoa3BE
841 sats \ 1 comment \ @btcpp 27 Jan bitcoinplusplus
⚡️ Storm Report: Best posts about the Lightning Network on SN - issue: 871718
1484 sats \ 4 comments \ @HODLR 24 Nov 2024 lightning
Lightning Network Development for Modern Applicationsmedium.com/lightwork/lightning-network-development-for-modern-applications-e4dd012dac82
101 sats \ 0 comments \ @happy 11 Jul 2022 bitcoin