{"as_of":"2026-08-19T18:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0bae7ea276d51d3013c50cf7805970986ce4914377916611f527b36c9a0ca388","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-19T06:32:44.657259+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:0c0da30ec068652d6094a07448cc4615861c3052b5347cc935e7704fa80a6828","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:28938ce7ee5cca24346a27197bcb594b2a8c000b598cfaa0b2b80df2aee97876","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:86dcd927796182ad4fa6371779726a00b26c81e46abdfbcb14e51db7fbc71c1f","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:2b03d20b58cc2be0a0c86619470d38de9e54e1a25b693eeb6e1a15b4b1d6a087","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:80a314f47a65356c0da0728eda8233d7be3eeedb88803386aebd49d05d33cdd0","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:73eb266c52ca97610af1ede1a78fa5f4b3d0ad0481fc29e1c2d23af7d9abec2b","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:ce0602462ea97b8c17fedf6f69083f38b3553bbff8aafe5bb809d80bae754730","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:94e8730aa4507a720e4ba315af5c09e9cc0b38f153c14c987e55141f4949b4f1","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-18T22:23:46.875176Z","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:15615ae92d85fd8a5374980878c1709e11382899a2ea054effa4a42ebf048e37","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:4821d2a2f45ed8ce5d8f4bae920bdb94b68da432a62b3bb8573e4cad6db25ea3","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:e124d5fdd55fb72661794806d2b4acfaedafccff4fd98aa94355c0721715ae3a","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:6a71c90e3e50535577e344dcfbe75d77336444a1f40c39972a816c91d6d2c4cf","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:4b5bdadda2114967b4b8a5c376c7d794ddad2785f136735864af700446307267","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:e114dcaf0b228f2bfc087447352769cd9bea150e14666d027fbc432a63824289","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:5a5d522749a35c5d598c5c205d212c1cca4e2993e01c306e1740a79e50ea6f21","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:5cd495ab649472cd8aeaa2165391f5df32541031af86cafc613bccfe0e6c9a2a","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:51c2b51085ca788c4b504bbf6c7be4c6605944f33e716a0c4238b880f6b1fc82","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:549932099316bb4a90597c243ef76bfb31249ddf1eae21f12176d79ae3a19027","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:f534eb4041a0c5a1a4fb2d223d54e6ac409c0169b9e507b5be4b7bd9d96aa0f6","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:82f529c64749401a3ee2bb9539713cd462d37b671c8e2156e6cc1cfec3df0273","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:a5bbfc4e1950800914990c346362a40b760ac95972b313d2f8aa8a7352420e24","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:9932b6785b15eb6f77d0f65abd5c458a8d40ef9b1b786b5621267041b95aaec7","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:8a26b63a14dc5e463a5e351e42dec10942656e53b419cf20fb51c232cede6c9e","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:19189f49ba90780826a7da39cd416f2edb8e5ef6fb3c6e72e369ad32aa9b7a7c","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:8d6f57bd627c192cb6d25af7fc1cf5f73261cbeaf487c3f642da27c6ea783464","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:e3482bf343d15e11c7f9850662735c5941c4cb8ea5bce8bed6ba10678638f3ac","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:2464caacc9200216bec43d5cdc3f5b93ea6f6c285c376333d2cd16fdf6558a63","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:f27726b75f87cd239cdf86c6ad83fa05b8db36b394867ef7541cdc81feb3aa08","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:2c520587500de5381d5a8e04d9027f222ce6c1a9cb7437c3db69f436d64806d1","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:b5e5fab4607c6ec600b72f1580858ea19f6f8f4bac3e2edac12b2fddaf454a4f","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:3b7b485c06c39e2fef090a7e443ae5e30e56aa51e6e2a7fbb76c780ab7183482","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-18T12:17:21.076769Z","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:87af0b6f532db5dd508ffb52311d80a1984d8268a3b51816fef585f9b921c3e9","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:704bf6f7bade02f03d691f746ba8e131b12e02647e61f3a2073e8ef043574d35","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:d7ec8218d01d7a3eb6237394a4e4c5038ed5e7a870ecd2701837ea0d59fe1936","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:1d54ebe330a887c984b462c9e31ed6a1870b93693bc64390739c74aa5c8f5d74","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:b9baa5cc9493ecff1f7f9634bb984e61ff7f09c0bf14de6f325f803bdb3d4263","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:67fa9317e34247d6162fd108126c7de9394a6cc9a9612bd74c0b70317ad3ba54","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:95d9b89702ac3a2dc04773fa28d8528538a75784c791f00bc230e4c8df82ef92","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:aa2e303567e501e3ac350ef5f097e71acafd383f90cff8b9bb8d4a7b4498af9d","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:fdacc5265535d6a1dafa50d67794b3d8fc954c5d4f19c196c2b40124ba0c1b61","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:dbfd5ee6b0f6ce71cf2fe2e8d982a2b86a9ec09d250fedc7512f835ebe75929f","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:82c46435332cb491c589f5f6d82d9771c645450192beaed3c391fb46156bc558","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:22a3f4ad3be2556e8035cea1f92d19897c81a1565f35c48fc6470b106f87a5f9","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:99f5169e808ba97fffa4bc0f1f7bb1e26e37376c6125d9071ffc64bcf80ae1f4","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:c7960c75a2abd70d24c2040c9dd1b52225ce2d22fb84b02c6838181041d7cbbb","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:8e7b0bab11a294b7a42504ea9f779f60d8c825523754b23c08b3522f71f8f864","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:62e5285d0190cd1b3069c4084b547e6a78f76199013aa5d0d9e49c21c1081916","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:b108db716bd6133626ad9375b0edb26f67c988f3cb45607d86f4c5af2a53c119","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:b102d13e459120c26c836aa4bd035abacb4b3a6ca3c2188e9106510ac560d110","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-19T11:27:32.583785Z","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:3bf87caf8e63b397b275586515a6c8e691595f6a55f08e169a262a67bdf9e20c","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:24e9edeb199957338b20f3df061c9fe101dd063a15430ad347c48e79eab5f99a","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:1e293a592212498f8a482d28e9bcc9deb0ad8c8d42d7d4fbc363754186cff03c","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:80fffd9fe2db37bc8985c00f1f0c9f6999413e42b4c363674cacfacd5b9577f0","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:eb4b5be88d5c2ba9292fb3eba98de5db7ea5cea6ecf9ecef3f72d899a66af384","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:a8d8fdfa12b4fecfdbf47b69fb54c39364318c38332c22791ec966b6e09cc618","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:12a7c879528752322b650ca39f315e167fe00a1bf624ab89c7bd39abcec61705","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:f9562190517d8230c2a75025e177a3d8b4235a61389dbd1cfa6ff777f63e6ed1","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:ffc9c61fe4bdc25f37583b29eb87c9c078033a75851dd61651ebd6c26db69fdd","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:ba006c9fd9b8ffd50f67eb3d7525a5537f8c46b92fbde324f5c5e622d9d164ec","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:6ee9aebcd030d5db3e1c4aa3934f205713be4a79bbe78e2801727aa6b1d4eedb","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:3b0290aecc233d4c688b90e2695cb916d4374a1ffa97464e4f37584828a0981d","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:d7c36c413a7596235b1ef5e7eefb9d952263dda9a6f81b4bf6037436ecfb7eea","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:a884a6fc487d4b6267edee408682c007bbe14eb7d86a17f284631486c5aa3bed","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:b770c83be082ea2b5beea9fe7aada105f2a36266ee3463dd2789566f28b8626f","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:dd906a6eb59b0874cf3a6bc08e20f7e00cf72878f912106fe3f28de903c94b7d","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:40586c0ca93f78713460684ffe41f96faf1567e34d7e68e1ddef79923a6915b3","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:d10150380864e817aad6aa957324137fbe36a7b18a7ec3d827f1961279efc139","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:8a4d002ed43f63cdd1361068e7cab2b51d003b55878b902df8d1a13a2d4d5408","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:5370bc15fafecff9ed5260ea00269a944386f0fda68a6158f9980d7efbeeafd2","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:e9152cd7ef121e4b3d11e26e530d1b7451525dd90f7e12600cb45eb1bc21d91e","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:a1217e56db8b63158d3dfa1d47c52f8f2db68549dc9767a597a8436adefb71da","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:775633362897dda1ebf1f1a61377dbf8c07daa482e0bb112ae0ff7f004a9fac7","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:fc865cc8f27597f804730405ce34817d2797f88c66add4808f40c71cb7c2af60","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:bee59ef92918ee84f82d13cbd89f957675fd58f9bfdad5343178d791304aa4b9","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:40a143cf495ba739b6487983165fcfd8c34953bdaadf11bf1c9aff673b37e09c","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:200e151efb24094bc9183b238643690ce3bfb6e3ea90ed763fcae930ed75797a","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:fc7bbc9f66a267035d1c662484a43c9882431c9814f9d9856adb3d6c606a4a74","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:46773bf87e9a16acafac9678cf0a8ec3d1432c292bac1622077c8009c9259901","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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:704365169d7a4be353915646dbb1d5e3243a7354889983e8c3d2a32c992ad514","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-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 89 of 89 outbound references and 0 inbound Pith citation observations for arXiv:2505.15568."}