{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:7VT4SWNNP3PU4UKDRREKE55IGZ","short_pith_number":"pith:7VT4SWNN","canonical_record":{"source":{"id":"2505.15568","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T14:22:34Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"36c49ade929a63c04cad44c5529423472636c5835e88d6c83659d109ff3b2505","abstract_canon_sha256":"c71eb30e6918a17693c2e0213453a463d3f7a09ae72357d072c218b4408a6501"},"schema_version":"1.0"},"canonical_sha256":"fd67c959ad7edf4e51438c48a277a8365777ed87693b60e3b18ac19618ea276b","source":{"kind":"arxiv","id":"2505.15568","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.15568","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"arxiv_version","alias_value":"2505.15568v1","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15568","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"pith_short_12","alias_value":"7VT4SWNNP3PU","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"pith_short_16","alias_value":"7VT4SWNNP3PU4UKD","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"pith_short_8","alias_value":"7VT4SWNN","created_at":"2026-07-05T11:06:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:7VT4SWNNP3PU4UKDRREKE55IGZ","target":"record","payload":{"canonical_record":{"source":{"id":"2505.15568","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T14:22:34Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"36c49ade929a63c04cad44c5529423472636c5835e88d6c83659d109ff3b2505","abstract_canon_sha256":"c71eb30e6918a17693c2e0213453a463d3f7a09ae72357d072c218b4408a6501"},"schema_version":"1.0"},"canonical_sha256":"fd67c959ad7edf4e51438c48a277a8365777ed87693b60e3b18ac19618ea276b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:06:47.887985Z","signature_b64":"NXl5mgWsJz/JwGGpZVK688p0lGqrA7s9pat2qXWr1mpOWmYGlLzHgwCNRnrWjAyy/u/BnlR9MvDTIgEGJH8NCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd67c959ad7edf4e51438c48a277a8365777ed87693b60e3b18ac19618ea276b","last_reissued_at":"2026-07-05T11:06:47.887525Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:06:47.887525Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.15568","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:06:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6tnzVbFefyEtuYTWhgnhTamv6Q4YeEJsRIMaK5DgUzwQVcwrh0Ytn6/SMZxGdfHzvfArq4OoLEmvRE1dJU5jAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T14:24:21.522481Z"},"content_sha256":"c4279c19c4f46027ae20e9cd97029cce31b0c6fa81180b06708c3e81179808d3","schema_version":"1.0","event_id":"sha256:c4279c19c4f46027ae20e9cd97029cce31b0c6fa81180b06708c3e81179808d3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:7VT4SWNNP3PU4UKDRREKE55IGZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model Checking the Security of the Lightning Network","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CR","authors_text":"Hannes Hartenstein, Matthias Grundmann","submitted_at":"2025-05-21T14:22:34Z","abstract_excerpt":"Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. The Lightning Network is a payment channel network built for Bitcoin that is already used in practice. Because the Lightning Network is used for transfer of financial value, its security in the presence of adversarial participants should be verified. The Lightning protocol's complexity makes it hard to assess whether the protocol is secure. To enable computer-aided security verification of Lightning, we formalize the protocol in TLA+ and formally specify the security property that honest u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.15568","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.15568/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:06:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IBer5jjtNoeqbPthc8EBlO1WP2mC2erUfIKVRl4eKr+OWbVUNFYb3ZHrb3BTD3GR8Vdv+QCsXKaqRi+7AfDABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T14:24:21.523676Z"},"content_sha256":"aa7904fd09aae497a401f4d10bcb9d2e37f3f27d667a3106bf30dde8fc9b0a0b","schema_version":"1.0","event_id":"sha256:aa7904fd09aae497a401f4d10bcb9d2e37f3f27d667a3106bf30dde8fc9b0a0b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7VT4SWNNP3PU4UKDRREKE55IGZ/bundle.json","state_url":"https://pith.science/pith/7VT4SWNNP3PU4UKDRREKE55IGZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7VT4SWNNP3PU4UKDRREKE55IGZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-17T14:24:21Z","links":{"resolver":"https://pith.science/pith/7VT4SWNNP3PU4UKDRREKE55IGZ","bundle":"https://pith.science/pith/7VT4SWNNP3PU4UKDRREKE55IGZ/bundle.json","state":"https://pith.science/pith/7VT4SWNNP3PU4UKDRREKE55IGZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7VT4SWNNP3PU4UKDRREKE55IGZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7VT4SWNNP3PU4UKDRREKE55IGZ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c71eb30e6918a17693c2e0213453a463d3f7a09ae72357d072c218b4408a6501","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T14:22:34Z","title_canon_sha256":"36c49ade929a63c04cad44c5529423472636c5835e88d6c83659d109ff3b2505"},"schema_version":"1.0","source":{"id":"2505.15568","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.15568","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"arxiv_version","alias_value":"2505.15568v1","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15568","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"pith_short_12","alias_value":"7VT4SWNNP3PU","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"pith_short_16","alias_value":"7VT4SWNNP3PU4UKD","created_at":"2026-07-05T11:06:47Z"},{"alias_kind":"pith_short_8","alias_value":"7VT4SWNN","created_at":"2026-07-05T11:06:47Z"}],"graph_snapshots":[{"event_id":"sha256:aa7904fd09aae497a401f4d10bcb9d2e37f3f27d667a3106bf30dde8fc9b0a0b","target":"graph","created_at":"2026-07-05T11:06:47Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2505.15568/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. The Lightning Network is a payment channel network built for Bitcoin that is already used in practice. Because the Lightning Network is used for transfer of financial value, its security in the presence of adversarial participants should be verified. The Lightning protocol's complexity makes it hard to assess whether the protocol is secure. To enable computer-aided security verification of Lightning, we formalize the protocol in TLA+ and formally specify the security property that honest u","authors_text":"Hannes Hartenstein, Matthias Grundmann","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T14:22:34Z","title":"Model Checking the Security of the Lightning Network"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.15568","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c4279c19c4f46027ae20e9cd97029cce31b0c6fa81180b06708c3e81179808d3","target":"record","created_at":"2026-07-05T11:06:47Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c71eb30e6918a17693c2e0213453a463d3f7a09ae72357d072c218b4408a6501","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T14:22:34Z","title_canon_sha256":"36c49ade929a63c04cad44c5529423472636c5835e88d6c83659d109ff3b2505"},"schema_version":"1.0","source":{"id":"2505.15568","kind":"arxiv","version":1}},"canonical_sha256":"fd67c959ad7edf4e51438c48a277a8365777ed87693b60e3b18ac19618ea276b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd67c959ad7edf4e51438c48a277a8365777ed87693b60e3b18ac19618ea276b","first_computed_at":"2026-07-05T11:06:47.887525Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:06:47.887525Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NXl5mgWsJz/JwGGpZVK688p0lGqrA7s9pat2qXWr1mpOWmYGlLzHgwCNRnrWjAyy/u/BnlR9MvDTIgEGJH8NCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:06:47.887985Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.15568","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4279c19c4f46027ae20e9cd97029cce31b0c6fa81180b06708c3e81179808d3","sha256:aa7904fd09aae497a401f4d10bcb9d2e37f3f27d667a3106bf30dde8fc9b0a0b"],"state_sha256":"44e3d944f2b9c6700ae5adf0ecda9cd90028ade53ff353bfd0f1a8f8409d3572"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w4flJ58AzcNiPK/YbU8PdPQTzn00LDZexLCliKtIYRa85HN+DH2ZF8jL5su7dc0/4N3PLLIoML80HE59CgASCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T14:24:21.530601Z","bundle_sha256":"4859ab9e82146612a11631af15ee8e49396d6a4934484292595c9e1f390d6634"}}