{"as_of":"2026-08-18T00:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1d2bc6bd0a1ecf94186c0fca59784723187d06f3abfdc04478cd6cd7683dd36c","coverage":[{"denominator":89,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":89,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:17:42.143097Z","state":"measured"},{"denominator":89,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":89,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.15568/citation-record","integrity":"/paper/2505.15568/integrity","json":"/paper/2505.15568/citation-record.json","paper":"/paper/2505.15568"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.357689Z","title":"The Bitcoin Lightning Network: Scalable Off- Chain Instant Payments,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.357689Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:9aa6f76583ffa0593a6cd66c71d93120e440438a8e304f7316110d6c06b708cb","observation_id":"b46880ed-f380-4a93-b8ce-9f2c52c56de4","resolution":{"observed_at":"2026-08-07T15:17:36.357689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.423422Z","title":"Bitcoin: A Peer-to-Peer Electronic Cash System,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.423422Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:12fdd0ace53243b7455e7304ffc217c4e28eed120887d65a20843aa4aa046925","observation_id":"2fa17c51-4cc2-4b11-870a-f0fe946540b3","resolution":{"observed_at":"2026-08-07T15:17:36.423422Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.513320Z","title":"Year-over-Year Data Shows Rising Lightning Network Adoption|CoinGate,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.513320Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:5c54c64bb4905b8bee6e125c8a76922be62bd41b5f0ae44eeb89c1c3bcee9786","observation_id":"b3d7685f-8ead-4a75-9996-6792b2050b31","resolution":{"observed_at":"2026-08-07T15:17:36.513320Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.576359Z","title":"(2024) BOLT: Basis of Lightning Technology (Lightning Network In-Progress Specifications)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.576359Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6b12e934057d8d54682a9f8544d9d8b1dde2accded0bf1a87102eccc3ed35ebd","observation_id":"2ff0eb33-2603-497f-acb1-d0604130365f","resolution":{"observed_at":"2026-08-07T15:17:36.576359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.670234Z","title":"The temporal logic of actions,","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.670234Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:68b30c0f4dd62af823b0bbf8c1c1b22c7b8b5b8f92a7797e3f9098936495b723","observation_id":"67616834-d69e-431c-a404-b927bdcd0af0","resolution":{"observed_at":"2026-08-07T15:17:36.670234Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.745455Z","title":"USA: Addison-Wesley Longman Publishing Co., Inc., 2002","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.745455Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:ed74af63eda5024b4984b5acf468c76566203fdc3c9fe29c1100400fd7248d07","observation_id":"8139de9c-35ba-4b40-b314-87fe5b005cf0","resolution":{"observed_at":"2026-08-07T15:17:36.745455Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.778641Z","title":"(2025) TLA+ Toolbox","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.778641Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:a76463454414ad6d7205d6b6f6471da9ee413de5859bd750438291312b194c0f","observation_id":"5816aa7e-4dae-4773-a956-c7374abcf59a","resolution":{"observed_at":"2026-08-07T15:17:36.778641Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.841495Z","title":"(2025) Apalache — The Symbolic Model Checker for TLA+","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.841495Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:8acc811a27aecf3d26e67adecc9b3532aa369c1159c1b808da4f30e04ae6f2bc","observation_id":"b8f2016f-69ba-4b29-84bb-ec72a0c3e04c","resolution":{"observed_at":"2026-08-07T15:17:36.841495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:36.877533Z","title":"(2025) TLA+ Proof System","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.877533Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:fe5b21fe3a2fe59288b9dea19cebbf3717acdc1c9e1df53377f26e0496f269dd","observation_id":"77e955c8-1e4f-4bc1-b7fe-be19dadf4204","resolution":{"observed_at":"2026-08-07T15:17:36.877533Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:58.863044Z","title":"Automata for modeling real-time systems,","venue":null,"work_id":"0d7dfa7f-cbee-4a30-929a-baf9b2676a66","year":1990},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:36.974002Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6ab575452643591bfadb804786a1322fd906c8faf9e32da4fe9f724d7d9db14f","observation_id":"b9ffc88f-3370-4622-aac3-37b0e5b80606","resolution":{"observed_at":"2026-08-07T15:17:58.959857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5772.33357","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:43.079728Z","title":"Formal specification and verification,","venue":null,"work_id":"994e5939-5957-4bc0-ac1c-ae1a528fc32e","year":2019},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.074512Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:137ec29f371630506647b62e22db9861aa01f792c97c8e243629c55e552d94b9","observation_id":"d4013ebc-c908-45e4-a8d9-fd0b214c39f5","resolution":{"observed_at":"2026-08-07T15:17:43.205314Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:58.676910Z","title":"A Systematic Liter- ature Review on a Decade of Industrial TLA+ Practice,","venue":null,"work_id":"e230db7e-da46-440d-ad83-3d840badfa6f","year":2025},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.134183Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:bd0e596d02810459b3073765d5f5bce38136c26a7adf3c7de9990677ebead643","observation_id":"7d378470-1f75-46cb-91f8-97db8e2bc362","resolution":{"observed_at":"2026-08-07T15:17:58.771620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:58.471824Z","title":"The existence of refinement mappings,","venue":null,"work_id":"1d106e10-024d-4a5e-8ee6-98557f5bd217","year":1991},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.205851Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:d6384cefad24501a88550759832e08a15b236614337c19cce823a804d93a1539","observation_id":"d51b8de0-f9e7-43a4-93c6-5ec6726e4bbc","resolution":{"observed_at":"2026-08-07T15:17:58.583292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:58.255739Z","title":"Kronos: A model-checking tool for real-time systems,","venue":null,"work_id":"9f0c6104-de0e-4306-94cd-a218c37187b4","year":1998},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.291423Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6ef00bd2b869eef65e71332e02af5e2a6a43b6c8d1cc50d576d10d2069f1dff4","observation_id":"909cbf23-5226-4775-ab28-85c6b4abf21d","resolution":{"observed_at":"2026-08-07T15:17:58.371273Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:58.081937Z","title":"Uppaal in a nutshell,","venue":null,"work_id":"6c564509-4ac6-4c10-a269-da3b39ac4185","year":1997},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.340172Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:f9a27788122c7d74bd9a74c633de34799a9dc14153ef587321ee55b2855995e9","observation_id":"9c1bf485-7ecf-4d5e-846c-113df2f350ca","resolution":{"observed_at":"2026-08-07T15:17:58.165690Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:57.849973Z","title":"Real-Time Model Checking Is Really Simple,","venue":null,"work_id":"1b84d1e4-c888-46ce-9bf4-12dde74f8cec","year":2005},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.386283Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:c1bbcf7872955c2b6faef0c2f9e03e12305b9c79c6c8c28cdfdd6fbce8d39026","observation_id":"ea5cd35b-4852-4ab3-9539-a16769cb841a","resolution":{"observed_at":"2026-08-07T15:17:57.963215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:57.649896Z","title":"Modeling Bitcoin Contracts by Timed Automata,","venue":null,"work_id":"147f608a-ce3f-4f2d-b5ec-f0e5caeb6e75","year":2014},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.446093Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:2e9e26710f2fe09448909587f171263850dd230d7c2fa8c140fa7c273edbabb0","observation_id":"1c8be0b3-261f-4bf5-bb33-f446be01a8aa","resolution":{"observed_at":"2026-08-07T15:17:57.745201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1804.06398","last_updated":"2018-04-17T17:52:46Z","snapshot_observed_at":"2026-08-14T19:24:56.252794Z","submitted_at":"2018-04-17T17:52:46Z","title":"Modelling Bitcoin in Agda","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.06398","snapshot_observed_at":"2026-08-07T15:17:37.540032Z","title":"Modelling Bitcoin in Agda,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.540032Z"},"links":{"cited_paper":"/paper/1804.06398","citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:c1dbf5f242cc23662c3bbf5bdedf46422a639cb239ae40ebf578ba0448de11d6","observation_id":"c164cd2c-6c45-446f-a8b2-8caf12f11fa3","resolution":{"observed_at":"2026-08-07T15:17:37.540032Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:57.437319Z","title":"A Brief Overview of Agda – A Functional Language with Dependent Types,","venue":null,"work_id":"b1dee347-c8ad-4ae3-b048-981ae4a44aed","year":2009},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.596685Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:a0afbcf04a6037be6dfe62e5433b354fcaa215d63490630c2290362e7d862830","observation_id":"29cf53e6-36dc-4020-868b-e674f52213ce","resolution":{"observed_at":"2026-08-07T15:17:57.551168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:37.637155Z","title":"A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.637155Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:68588793ecb87de7d419fab9b62f1f37f5a25cb81a9bc387ad6c34775de5afe5","observation_id":"7dadb9ff-c0b9-42b8-a382-9af8656413ff","resolution":{"observed_at":"2026-08-07T15:17:37.637155Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:57.220264Z","title":"Secrecy and Authenticity Properties of the Lightning Network Protocol,","venue":null,"work_id":"5d4b541e-c307-4bac-a264-2535fa3fa206","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.748143Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:d3533c6936763b30678406bd3e008825c627ba41c3eed017b55adbff0026fd9a","observation_id":"16572684-e148-4f18-91ac-926f30280f16","resolution":{"observed_at":"2026-08-07T15:17:57.315423Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:57.014730Z","title":"Key Agreement in the Lightning Network Protocol,","venue":null,"work_id":"4cd12322-2b9b-4930-922d-074474d8d14e","year":2022},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.867764Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6b5c35bcda9cbb3aa0429e396edcba4a1fc33e0f928fd497db1260e009cb4c7a","observation_id":"3817a67f-e435-40bf-a8a7-3d7cd7d0129c","resolution":{"observed_at":"2026-08-07T15:17:57.102855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:56.805783Z","title":"Towards a Game- Theoretic Security Analysis of Off-Chain Protocols,","venue":null,"work_id":"bc344940-8e0c-46cc-8a59-3c127444b6fb","year":2023},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.913136Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6ebc63b24b5df523f0c0f676db52c4a64d806f480f821b9e9a965c72009d5edd","observation_id":"2e5ea6c7-a0a0-413e-bad4-23a8aedb2b46","resolution":{"observed_at":"2026-08-07T15:17:56.900534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:56.574937Z","title":"CheckMate: Automated Game-Theoretic Security Reasoning,","venue":null,"work_id":"ee6354c3-bccf-4eec-b118-17de418f406f","year":2023},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:37.957404Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:73e623ebbdfc42ecb89b71776789b797490fbe5198b3c343634647a505ab99fb","observation_id":"1865d77b-1e82-4433-a74e-ee91658988f8","resolution":{"observed_at":"2026-08-07T15:17:56.681814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:56.368766Z","title":"A Composable Security Treatment of the Lightning Network,","venue":null,"work_id":"8d3a8cfc-8a23-4d3d-93f1-d2897b0cd30f","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.035654Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:7765de9b61ac1c0d7c5259c4d8b7330c8de7e9fb36ead2bbb4f4dea2eee040ae","observation_id":"9ade1dde-8efc-4fa3-bc90-b604a5df6ee9","resolution":{"observed_at":"2026-08-07T15:17:56.487159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:56.145080Z","title":"Universally composable security: a new paradigm for cryptographic protocols,","venue":null,"work_id":"931c9fd0-8875-4e28-a8a3-1c3c1bc08a12","year":2001},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.139384Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:c1777c553506661b6dc676a2890b401cc616100b663f3ae31f1e6e5bcc2c1dc0","observation_id":"0100439e-c8a4-445c-a097-e9e382a65a61","resolution":{"observed_at":"2026-08-07T15:17:56.224447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:55.986199Z","title":"Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network,","venue":null,"work_id":"a1aa102c-34ee-4d85-8999-e5b65885a4b8","year":2024},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.232302Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6b14bd61ba018ae62bd20b29023c2eb69d710d3f25508fe1fc92f994cc57a406","observation_id":"4e045639-4bbf-4a69-a371-a654d6a3f0a5","resolution":{"observed_at":"2026-08-07T15:17:56.052970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:55.777505Z","title":"A Formally Verified Lightning Network,","venue":null,"work_id":"d1c95b98-d908-4000-b419-4b2dc964a2b5","year":2025},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.292298Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:968aa4e40fbe4f79cda38af6047c9c12bc65812d7659dca73201f0ccf72515d4","observation_id":"5f636f7b-929e-4560-8afe-f28bb90e96a8","resolution":{"observed_at":"2026-08-07T15:17:55.889114Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:55.530533Z","title":"A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract,","venue":null,"work_id":"187363d9-4004-4013-9dda-6e6f67fe59a5","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.384355Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:e915c9b088e219b7d646ae1fd4d00cc93ddbaba105f5d738dba817e1a9bbdf52","observation_id":"b67b3791-cc9f-4a8f-a486-5d153bccf368","resolution":{"observed_at":"2026-08-07T15:17:55.672703Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:55.332005Z","title":"Modeling Urgency in Timed Sys- tems,","venue":null,"work_id":"8b146441-e86b-458a-a52b-c2a73d5eb6d3","year":1998},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.474523Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:89b46a205d0b234102ae42fe40cbebdf4ad23159954ed05649542a2a0b96f3bd","observation_id":"e7621ede-1f82-4a2a-a6f2-cb4fdb14fad8","resolution":{"observed_at":"2026-08-07T15:17:55.427050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:55.043055Z","title":"Baier and J.-P","venue":null,"work_id":"bbb2b7bf-bc63-4b16-9fe7-f11f9b8bfd34","year":2008},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.572482Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:5e1d11afc2a90e91ababc7dd5e73c76b840b593be443293366c25fd0ef3f72ce","observation_id":"9f60cb37-c983-4ac7-ba1e-7e67b93446c0","resolution":{"observed_at":"2026-08-07T15:17:55.182944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:54.794793Z","title":"The Observational Power of Clocks,","venue":null,"work_id":"9ce0d7c7-b780-442b-a81a-a974a1b3087f","year":1994},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.670734Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:3b4b54e457b76d8d2da50993b92ad145ef859627a3f9902d426778ba3a48c3e4","observation_id":"e1e3429b-239b-4128-975f-a4cf0129fcec","resolution":{"observed_at":"2026-08-07T15:17:54.891860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:54.520466Z","title":"Analysis of Timed Systems Using Time- Abstracting Bisimulations,","venue":null,"work_id":"17ea253d-c6a9-44a4-9df6-56014f58740c","year":2001},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.756469Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:f88f5fd32d5beb948d8073d320cabde5fec239388af4d616b0e985adc6633196","observation_id":"0df248cc-dbdc-4c6b-a34b-ff0d68c69a64","resolution":{"observed_at":"2026-08-07T15:17:54.651939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:54.305751Z","title":"IronFleet: proving practical distributed systems correct,","venue":null,"work_id":"5a566888-27a8-4887-a858-c5d3a58356df","year":2015},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.816356Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:1eb00f168f06601cdf7bf8b1e62615ab7ad142ef397615bd73eff102cb3b3fae","observation_id":"1ecb8608-a287-4160-80fe-b0a2e27ec37d","resolution":{"observed_at":"2026-08-07T15:17:54.421731Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:54.060756Z","title":"IronFleet: proving safety and liveness of practical distributed systems,","venue":null,"work_id":"3a90e5fe-1fcf-47b2-95e0-865798030bf8","year":2017},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.860622Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:52b2c3ac17b116be75f5355b69a2c1450e6047446f651d2812ebdbcee72f8a25","observation_id":"febec4bf-0026-4be5-98c4-b67cb927e416","resolution":{"observed_at":"2026-08-07T15:17:54.159091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:53.862176Z","title":"Dafny: An Automatic Program Verifier for Functional Correctness,","venue":null,"work_id":"a5fbef59-37d9-4772-ae0b-a7190320aa11","year":2010},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:38.950957Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:e844a00700e71e407413e65c2de4555b5a25310936bb5d3b35211ae7caf816f3","observation_id":"6daf489d-bd9e-4e3c-964f-e2bdc9b5287c","resolution":{"observed_at":"2026-08-07T15:17:53.944876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.17455","last_updated":"2024-10-16T12:14:29Z","snapshot_observed_at":"2026-08-16T13:39:48.987305Z","submitted_at":"2024-06-25T10:49:54Z","title":"Smart Casual Verification of the Confidential Consortium Framework","version":2},"cited_work":{"arxiv_id":"2406.17455","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.17455","snapshot_observed_at":"2026-08-07T15:17:42.809231Z","title":"Smart Casual Verification of the Confidential Consortium Framework","venue":"cs.DC","work_id":"a867ddfc-b595-4863-852d-2a15a6a917e2","year":2024},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.034896Z"},"links":{"cited_paper":"/paper/2406.17455","citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:33af19f25ecade0763fb5ab4e314b6cec4a24398c060697c00a6e8c19d8fb5bc","observation_id":"17f07ec6-a2e8-4747-9f39-db7013214352","resolution":{"observed_at":"2026-08-07T15:17:42.907888Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:53.632958Z","title":"The TAMARIN Prover for the Symbolic Analysis of Security Protocols,","venue":null,"work_id":"6db7c835-2d71-40e6-9970-0a0bc06c73fe","year":2013},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.126679Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:2bec27f17a2f2fb8842650ceca5cfe0d42da0e97acf29adf57bd4999f3f9c8bb","observation_id":"2349cf5d-5178-44b7-bc92-e22cf7023791","resolution":{"observed_at":"2026-08-07T15:17:53.730602Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:53.453150Z","title":"Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif,","venue":null,"work_id":"a1ce3c6d-5bb3-4bc9-8366-d9424c8c0f27","year":2016},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.194794Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:dedca635c169ef8eec59c3c5c3793157ca1f793773a6dd0ae4f2fe99656cf0e7","observation_id":"158150a6-d48e-4d98-9041-ff98f1600880","resolution":{"observed_at":"2026-08-07T15:17:53.524213Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:53.264980Z","title":"Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols,","venue":null,"work_id":"b31ceeb1-c58f-41a6-bc0a-0626b985cb65","year":2022},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.262298Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:e66239a72764f255d979a9f6df658a6093d02f17f293aee73af0c4a5618c5f75","observation_id":"9cd555a7-c5b0-490a-8ad4-01d015537c3c","resolution":{"observed_at":"2026-08-07T15:17:53.362832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:53.104989Z","title":null,"venue":null,"work_id":"170ff7fc-52dc-46dd-9730-8cf8399415de","year":2024},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.322435Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6a227ff04b2fd12261e483a791c4cc8f4549e3d994c03bbe3d0a3c927211c92c","observation_id":"205ecf6e-9a20-481f-aecf-836156c9c504","resolution":{"observed_at":"2026-08-07T15:17:53.183239Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.12227","last_updated":"2022-11-22T12:35:04Z","snapshot_observed_at":"2026-08-16T16:14:12.781424Z","submitted_at":"2022-11-22T12:35:04Z","title":"The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.12227","snapshot_observed_at":"2026-08-07T15:17:39.449494Z","title":"The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.449494Z"},"links":{"cited_paper":"/paper/2211.12227","citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:86f609b2bd9f53b164c679f092c17065a67044a006fac9471a250c445e5aca97","observation_id":"f7aa1114-45b6-46d5-8c37-b40b90eac72c","resolution":{"observed_at":"2026-08-07T15:17:39.449494Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:52.893123Z","title":"(2024) BOLT 2: Peer Protocol for Channel Management","venue":null,"work_id":"b11168d3-b7d5-4631-8b7a-41aae5d49427","year":2024},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.560094Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:4dd3e890989e37c77004f393883ce7322c5ed223ea2d0da1dbb88416dd46401e","observation_id":"28f2ecb3-3ab1-4afe-b353-42b1e7fdfe19","resolution":{"observed_at":"2026-08-07T15:17:52.993817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:52.670888Z","title":"LockDown: Balance Availability Attack Against Lightning Network Channels,","venue":null,"work_id":"ef4efb81-798b-4a70-a6d4-59597b479647","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.689517Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:b9c9aa761753133b130d7d0ebeb61bb981c67d9f02eb286720772263ce546b66","observation_id":"a76414bf-b43e-48a4-9a99-8ca0b188d8c4","resolution":{"observed_at":"2026-08-07T15:17:52.779708Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:52.497694Z","title":"Congestion Attacks in Payment Channel Networks,","venue":null,"work_id":"65af5e45-3e04-427e-ad2d-9d8da7e49121","year":2021},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.797940Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6e9a525bf28f51be1d875e78fe9d052db981f00148b7b9f3892d7314ac334587","observation_id":"c96f1114-4c71-4aff-a548-87b264f04128","resolution":{"observed_at":"2026-08-07T15:17:52.571314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:52.323567Z","title":"Discharged Payment Chan- nels: Quantifying the Lightning Network’s Resilience to Topology-Based Attacks,","venue":null,"work_id":"07454c6f-de18-4d77-938d-a325955b39e2","year":2019},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:39.910017Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:dcdb662c80fcb9152cf7728542411645a3a54aeab3ae735a75d11dd61789ab70","observation_id":"9d894142-872a-432e-aac4-d291fc04d356","resolution":{"observed_at":"2026-08-07T15:17:52.409373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/oasics.tokenomics.2021.2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"General Congestion Attack on HTLC-Based Payment Channel Networks,","venue":"Monash University Research Portal (Monash University)","work_id":"e3515095-6fb4-4dc4-b0cb-264a9cdb5fc3","year":2021},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.006098Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:b5b64e1fe1b1f49383578c115f7ec7ecb22434e28bd9b0f2e5aee1f6069ddeb1","observation_id":"157035bf-88ef-4d15-bf20-7f7602870cd5","resolution":{"observed_at":"2026-08-07T15:17:42.416628Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:52.130193Z","title":"Route Hijacking and DoS in Off-Chain Networks,","venue":null,"work_id":"96830a72-4cd9-4d76-8f45-3e13ce5f5e79","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.047905Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:c5eed3a8a2e7bea1b5dde19197947cc568c777b3bd5db7083b731824cb695a9e","observation_id":"bfd9049b-93e1-4729-97a0-1a9f3aa9bb6a","resolution":{"observed_at":"2026-08-07T15:17:52.235924Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:51.890701Z","title":"Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability,","venue":null,"work_id":"8048f20a-c205-4f4f-98ef-cdcf5b4c8098","year":2019},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.095407Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:0775764dde042c6fb35967b7bc76d726472df20285e33280ed405da6f2043baf","observation_id":"d19d3e06-dff6-4881-8a15-afbd67eea431","resolution":{"observed_at":"2026-08-07T15:17:52.019245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:51.631859Z","title":"A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network,","venue":null,"work_id":"559cf0f9-e85a-4497-8f6e-268c544d05ee","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.137812Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6b2393270862f6139277547544c35ad0742555e09afd9e81dafabcc976a3766a","observation_id":"1c3a98a1-bf99-423f-9e44-d34c4a16baff","resolution":{"observed_at":"2026-08-07T15:17:51.773393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:51.379026Z","title":"On the Difficulty of Hiding the Balance of Lightning Network Channels,","venue":null,"work_id":"db930f61-038e-4ac0-93ee-4b8d603c015c","year":2019},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.188588Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:49b17d1ea484726fe87fcb6d3732845d049bbd588e086ed41646de320e52f200","observation_id":"e18289db-e8f6-451a-993a-6653865fff2d","resolution":{"observed_at":"2026-08-07T15:17:51.514250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:51.184177Z","title":"Improvements of the Balance Discovery Attack on Lightning Network Payment Channels,","venue":null,"work_id":"3ccd8bee-a8f3-4bb2-96ee-9f7fb0264d40","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.235193Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:2e5fa43bae001aad5bf21c0d295feeeff9e7b81968c54700c12f14b6636b44f8","observation_id":"98045264-e440-41c1-bac4-72a1232d7075","resolution":{"observed_at":"2026-08-07T15:17:51.261489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:50.961339Z","title":"Counting Down Thunder: Timing Attacks on Privacy in Payment Channel Networks,","venue":null,"work_id":"5951bfcf-0edc-468e-9bf2-9130d42d4ac2","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.265040Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:aac5a2fc9651344d916a1f8f0df34a13fb9e265862bec6bb84fac553813f7bf2","observation_id":"29da9b4c-9b2f-4c4c-8585-0c56221a97ea","resolution":{"observed_at":"2026-08-07T15:17:51.068466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:50.675343Z","title":"An Empirical Analysis of Privacy in the Lightning Network,","venue":null,"work_id":"a5e73c24-4c4f-41f5-b932-b92e455cc266","year":2021},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.319324Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:b03c7c6c9d2a986d857590a87ef1e61deaf6b82fe4c1be392aec23beb6988f4a","observation_id":"d5cbe398-7e56-42bb-8213-d1ddd8adda65","resolution":{"observed_at":"2026-08-07T15:17:50.799534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:50.323948Z","title":"Cross-Layer Deanonymization Methods in the Lightning Protocol,","venue":null,"work_id":"a55816a6-3937-458f-87a3-47929725c757","year":2021},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.366242Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:07d02de3e6c7e60dd241086be19d8945b5f9ba12a62728b49d761ca26ae612de","observation_id":"b24ada91-04f5-4cfb-88cb-4ea783d1d409","resolution":{"observed_at":"2026-08-07T15:17:50.457595Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:50.062626Z","title":"How Lightning’s Routing Diminishes its Anonymity,","venue":null,"work_id":"28f9e3c3-70ac-4039-a53e-1c77e4ff39d9","year":2021},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.405723Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:36405160697c10994d24b8624bc35687dd8542b2507ce071e5f980d6548ba739","observation_id":"deadb889-1c10-41e1-8145-a50bcedaea10","resolution":{"observed_at":"2026-08-07T15:17:50.120396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:49.931757Z","title":"Analysis and Probing of Parallel Channels in the Lightning Network,","venue":null,"work_id":"b1f0429f-85ac-4947-b088-109f7618084e","year":2022},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.446668Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:a3734590b69190b108230ccd75e1766e4798ef61f30a87335beb95aec93a4867","observation_id":"b01f0c17-a4c3-4276-a73e-446ee96adf66","resolution":{"observed_at":"2026-08-07T15:17:49.983780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:49.809008Z","title":"On the (Not So) Surprising Impact of Multi- Path Payments on Performance And Privacy in the Lightning Network,","venue":null,"work_id":"3b3049a8-2b2e-4772-ba7f-e119554941f5","year":2023},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.485313Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:1e60d35cf67b5fa56b2a0b029d4737a033dfc2391de581da9055af9962acb111","observation_id":"9b70afb0-7f02-486f-a8ef-b0a2f9b9ec37","resolution":{"observed_at":"2026-08-07T15:17:49.862092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:49.670532Z","title":"Flood & Loot: A Systemic Attack on The Lightning Network,","venue":null,"work_id":"493dc0ca-0309-4b53-b7a7-ba5307eec0c8","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.517233Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:398678d48913137551cf245350d3a5e39a20c76b682a062c5234781dcdfffd36","observation_id":"15499963-ee38-46ad-bc5c-34b7456cc2a4","resolution":{"observed_at":"2026-08-07T15:17:49.758130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.01418","last_updated":"2020-06-02T06:50:14Z","snapshot_observed_at":"2026-08-17T12:33:56.560534Z","submitted_at":"2020-06-02T06:50:14Z","title":"Time-Dilation Attacks on the Lightning Network","version":1},"cited_work":{"arxiv_id":"2006.01418","doi":null,"metadata_source":"pith","pith_arxiv_id":"2006.01418","snapshot_observed_at":"2026-08-07T15:17:42.559744Z","title":"Time-Dilation Attacks on the Lightning Network","venue":"cs.CR","work_id":"96f80dd4-b151-4385-a6cc-17f5503da7d4","year":2020},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.563474Z"},"links":{"cited_paper":"/paper/2006.01418","citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:d8b9559697f176bd07ff8efca7fd00be5dde8eee1756a90e11c8160c8ee71897","observation_id":"405279ef-8ff2-428d-89ee-e9db2e95f0da","resolution":{"observed_at":"2026-08-07T15:17:42.678636Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:49.537937Z","title":"Timelocked Brib- ing,","venue":null,"work_id":"25e73cfc-48b4-427d-8d0a-fff16bb87cae","year":2021},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.598617Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:9ca81f3eb791ac38a84dda5ea45cf441a5c26e94efae8386d1129683f33e91bf","observation_id":"a8590a40-73c7-447e-b268-7196ac083c60","resolution":{"observed_at":"2026-08-07T15:17:49.583189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:49.395662Z","title":"Mass Exit Attacks on the Lightning Network,","venue":null,"work_id":"666a7819-8397-43f5-9254-474e6c6ab667","year":2023},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.644124Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:d896a20ce826e8e8a07436fcb18a1309b538a7a74441316bb27627028ace65b3","observation_id":"4643de73-bf72-4a02-acb4-d17747fd0e3c","resolution":{"observed_at":"2026-08-07T15:17:49.448507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:49.122682Z","title":null,"venue":null,"work_id":"30d477ec-cec7-445a-80da-5385fc5040fa","year":2019},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.711773Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:d932053eb6142b5ae10ca5b2a48ddcc5ed26081201fd0c319c57662f0b1f053a","observation_id":"63edbe43-0b5a-41ab-b07a-8c3635b0212c","resolution":{"observed_at":"2026-08-07T15:17:49.262166Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:48.804594Z","title":"Validating Traces of Distributed Programs Against TLA+ Specifications,","venue":null,"work_id":"aa69b825-e4ee-471b-83cc-9a29c55ea207","year":2025},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.794499Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:aa7b9f09ffabde8fc3f57ba37c406481fed1779db91c66e53d76ec07ff4d30af","observation_id":"53166d34-04c4-49a6-8f73-880f1282985a","resolution":{"observed_at":"2026-08-07T15:17:48.939440Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:48.406460Z","title":"A Composable Security Treatment of the Lightning Network,","venue":null,"work_id":"f0bcbe43-551b-4533-b138-d33ef5156d3a","year":2019},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.893490Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:c2dadff673f3a74204c2b220b014ecc8227268e69120fe1ab45e7c6a6c919352","observation_id":"c9e47531-7476-46fc-8078-e1436a6a9d71","resolution":{"observed_at":"2026-08-07T15:17:48.606439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:48.068579Z","title":"How to write a 21st century proof,","venue":null,"work_id":"2669e9fd-7bb8-4888-9031-85101b98a2d7","year":2012},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:40.959724Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:6c06a52d5a48d3a4559a9d87084bef300fa71b933b96f857e077ba595321ef3b","observation_id":"c5c7daf7-8ad4-478e-a3ee-276db1ff7e86","resolution":{"observed_at":"2026-08-07T15:17:48.257328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:47.787100Z","title":"If a user wants to receive a payment, the user creates an invoice and sends it to the user who wants to send the payment","venue":null,"work_id":"01774644-d92e-4ef4-87a2-97217087b847","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.007968Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:9694f8462e11faee6fd799aa85fae157ba7c90625eafbf47e2025bef17c8d1b7","observation_id":"c7fbe639-d029-40ef-8c50-de149331fc6d","resolution":{"observed_at":"2026-08-07T15:17:47.880635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:47.587512Z","title":"The formalization describes all possible actions how a user of the payment channel initiates transactions or reacts to messages or events","venue":null,"work_id":"468d8367-32fd-4e7e-9154-45d200f7eea6","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.063610Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:49dd6ed8b87a6718d5352163c9a2006a89296c5f98beea00e190bd6f40df9a44","observation_id":"db9867fd-4675-4db8-b1d2-4ce26f250b3b","resolution":{"observed_at":"2026-08-07T15:17:47.695398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:47.393301Z","title":null,"venue":null,"work_id":"10e83ef5-fd04-4217-a5f7-a72ba61eacd8","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.101115Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:1d9922b518b06df471528f3aaea45188abed0244c84c2ef5f5c90c00858482ba","observation_id":"01e8eb47-4e48-415f-9ba9-95d92d02dc0e","resolution":{"observed_at":"2026-08-07T15:17:47.479244Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:47.190233Z","title":"To reduce the risk of being tracked by third parties, each user in Lightning has a set of private and public keys of which each key is used for one specific purpose","venue":null,"work_id":"0dce4f98-a47a-44f5-a6f5-41cbe1d999ef","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.157757Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:ff46385afc9427463d94c17889aa1cd5e146556d3cf57497f17598d83f9cea1e","observation_id":"64068870-42d9-407f-aa0a-699bbf60d681","resolution":{"observed_at":"2026-08-07T15:17:47.280479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:46.972576Z","title":"Here, we explain these keys as they are used in Lightning","venue":null,"work_id":"8661bad0-4e1f-44ff-8dd7-3567a6c6f00b","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.199853Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:679576422ae6051ecaab3c79c3afab1a9b0060c43446e5af9f27598d7cbaedc7","observation_id":"6a8e8495-5620-459c-9923-f74d6643cb75","resolution":{"observed_at":"2026-08-07T15:17:47.059037Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:46.793610Z","title":"What is left are the revocation public keys that are derived from the revocation basepoint of one user and theotheruser’s per commitment point","venue":null,"work_id":"29ef8f29-7b0d-4961-9734-1ea8f299ef6b","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.239147Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:db4357428301561c0eee44b7d878ea7d71058f69259d984564e7b358ec34379f","observation_id":"7a1b917b-8ddf-47df-988e-07e6cbb3e98f","resolution":{"observed_at":"2026-08-07T15:17:46.891006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:46.463999Z","title":"The commitment transaction has one input that references the funding transaction’s output","venue":null,"work_id":"4419365d-39bb-4b9c-a701-23c7015da40d","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.283753Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:e1107c1f6579d31b75c61f0d8e3f31e213413b264165f996872a8b8d379ed329","observation_id":"2806beba-82fa-4a92-82a2-2b522b3eb3cd","resolution":{"observed_at":"2026-08-07T15:17:46.626379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:46.197613Z","title":"An output of a transaction is a record that contains an id, an amount, and a set of conditions of which one needs to be fulfilled to spend the output","venue":null,"work_id":"86cbceca-28e0-4318-a81a-b4dee5bacdd3","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.320386Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:57eb29a565ef1549b53451b76551d8e891b05474c3b0a4f8d2459d3bb45927fe","observation_id":"5db8dfab-8533-4b42-a99f-fb194b07e540","resolution":{"observed_at":"2026-08-07T15:17:46.314268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:46.017930Z","title":"The open channel message contains several fields for the parameterization of the channel that we ignore for the TLA + formalization (see Table IX)","venue":null,"work_id":"da101fb8-2479-430f-a47e-fbd4d5a5509f","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.353419Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:b90cda471e658f8734cfa1e5f898cbb3015afe863efc1ed49947f72688910f72","observation_id":"20284df0-e297-40b4-b519-423966176bc5","resolution":{"observed_at":"2026-08-07T15:17:46.103599Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:45.755661Z","title":"As in the module HTLCUser, the actions of the module PaymentChannelUser are parameterized for a specific useruand a payment channel cof useru","venue":null,"work_id":"8dff0149-7786-4ab9-845f-223315274b9d","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.408234Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:c14dad7e26d7b936aff37b3c0daeba2f238c6a7c72e2d4779ec106b681205a0c","observation_id":"cd1f5e0c-47ca-43f6-ba88-167e7cf704c3","resolution":{"observed_at":"2026-08-07T15:17:45.892385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:45.505558Z","title":null,"venue":null,"work_id":"9d3c3bf7-2bbf-4659-a5f6-b4051704941a","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.453387Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:0b9522828ea844e5e71454cb23b054c55082e1328012411f008d7d34329adffd","observation_id":"40c41c4d-31bd-4b8d-a52c-6007f0cbe2af","resolution":{"observed_at":"2026-08-07T15:17:45.644608Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:45.266765Z","title":"The actions find HTLCs to be updated by the states of the HTLCs and update the states of the HTLCs according to Fig","venue":null,"work_id":"71cd4581-4ef1-47fa-b2f6-0c688981d232","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.495619Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:ea2eb41e5a49d85049548ece6a5d468577076c9d552cce0bc795592a2d3a6fc6","observation_id":"8981edcb-c75d-4244-a2c4-125287525662","resolution":{"observed_at":"2026-08-07T15:17:45.360496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:45.010513Z","title":null,"venue":null,"work_id":"ffdc5d29-baf9-4bd2-ba96-9164ff578280","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.542622Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:7e30f96ab05ed7ec9f945a09393eafa53a2bf25ea127c8bbaa1ab974b1cb0850","observation_id":"b6db94bb-2df2-4b5f-82d4-9610d5a1ee13","resolution":{"observed_at":"2026-08-07T15:17:45.117721Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:44.766463Z","title":"This can either be done honestly modeled by the action ‘CloseChannel’ or dishonestly modeled by the action ‘Cheat’","venue":null,"work_id":"b549e3d7-bcd0-4960-8407-ef2a20fe8d56","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.583628Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:5b796007a5fa12982dc81c7931e01e9e5475e40d995212424e84be670980e22e","observation_id":"8216a4fd-e16a-4e37-bdea-ae39222e101f","resolution":{"observed_at":"2026-08-07T15:17:44.859523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:44.636892Z","title":"A message is sent by an action that specifies that the channel’s message queue is extended by the message that is sent","venue":null,"work_id":"8f1e0593-7156-4ba3-b09c-0402498f20e7","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.630108Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:8a576af7483363b4ed1f58fe2784a54fac7b434b6b0f54df94115a691964fab1","observation_id":"4056b24a-4fcb-46b1-a2bc-0b44fdf3f16a","resolution":{"observed_at":"2026-08-07T15:17:44.702456Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:44.468250Z","title":"The values used in Lightning for timelocks are numbers that indicate a specific height of the Bitcoin blockchain","venue":null,"work_id":"515628e1-0401-4593-a3ed-f3b92790f864","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.676211Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:77b5c31118fee7b7bba48d82fd0313d94bc1bd0f5e4be04f32d937d91155937c","observation_id":"8d12b570-d1a1-4a89-9af4-d4ca40a88873","resolution":{"observed_at":"2026-08-07T15:17:44.557789Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:44.315156Z","title":"Therefore, to model honest behavior of user B, we need to model that user B performs an action before the variable LedgerTime reaches the value 10","venue":null,"work_id":"b782f09b-e246-43a1-8bff-e33ce3d4acb0","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.722784Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:239844bf989de4d259a8ce78b492312165a91114292d6b79ea17561406cd813b","observation_id":"0f63a71a-f6de-423e-8618-ecb715bbd89c","resolution":{"observed_at":"2026-08-07T15:17:44.407622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:44.150391Z","title":"For example, a user must respond to a ‘commitment signed’ message with a ‘revoke and ack’ message","venue":null,"work_id":"a707f608-d532-436c-996f-4b2536427971","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.753683Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:bfca9d251962260aee23066b90e0b1c4f1cf37e69c6e55ea58cfc95b1517f89c","observation_id":"63c1d8f0-ef27-4f7f-ab62-41642ced930c","resolution":{"observed_at":"2026-08-07T15:17:44.201411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:44.011251Z","title":"The specificationSpec S must be an explicit-time real-time spec- ification with a set of clocksXand anAdvanceTime S action","venue":null,"work_id":"097600d3-7631-4c6e-83cd-14f538bfd28f","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.803937Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:adfc1f6ea874475c823e967a7245fb7ddd2390ab1caa49ab2bc785eb03129583","observation_id":"a6e7c5b1-4119-40ef-a9c8-0652ba39e326","resolution":{"observed_at":"2026-08-07T15:17:44.072684Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:43.888673Z","title":"Thus, the only difference between specificationsSand ˆSis how time is advanced by theAdvanceTimeactions","venue":null,"work_id":"e90726c7-59dc-41b6-8ba5-5e6c1cdad8cd","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.859329Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:15b6b89d08b3011f0bf3a3f77d7665cd4e6c9b9d78dd4eb6a0b47b400d824cc0","observation_id":"43569938-a81d-428c-992c-a14e59679c62","resolution":{"observed_at":"2026-08-07T15:17:43.926918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:43.774935Z","title":null,"venue":null,"work_id":"eaf286ba-78b8-42b3-9142-7ce78e740589","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.867419Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:bfaddd6d0bb3fbe75ea22e4fb46b84a3e109b9964afa4a0996fad7bc138e916f","observation_id":"f1cdfc45-77a2-4e40-baef-16e863af48da","resolution":{"observed_at":"2026-08-07T15:17:43.828888Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:43.540102Z","title":null,"venue":null,"work_id":"8fae2e5e-7597-4997-8956-860f2ff9e056","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:41.986402Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:b63c1fd67edbbb48b57db7e208c2bd9a48451be6db551509445c91be4e1b9ab0","observation_id":"08aa54f3-4b58-4012-a410-9f9301f4022b","resolution":{"observed_at":"2026-08-07T15:17:43.646888Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:17:43.305476Z","title":null,"venue":null,"work_id":"0b131ff3-1959-4309-a66b-9508f25560ea","year":null},"citing_paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:42.143097Z"},"links":{"citing_paper":"/paper/2505.15568"},"observation_digest":"sha256:bf8cd15d7945800116ae384f1bb740eb3b6733cc02cd80e76085842ddc7bc21a","observation_id":"0a3d029a-c8f8-4a6f-8761-6613da6bec09","resolution":{"observed_at":"2026-08-07T15:17:43.426535Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.15568","last_updated":"2025-05-21T14:22:34Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-09T12:00:41.318953Z","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network"},"reference_resolution":{"displayed":89,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":19,"verified_exact":3,"verified_fuzzy":64},"total_outbound_references":89},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 89 of 89 outbound references and 0 inbound Pith citation observations for arXiv:2505.15568."}