{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:UOHEENCNQ7HPUNVGXOXVQUZRNH","short_pith_number":"pith:UOHEENCN","canonical_record":{"source":{"id":"2506.05832","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-06-06T07:57:27Z","cross_cats_sorted":[],"title_canon_sha256":"57fb138b86b09741c9b494d56617830161971d2377774680ece6dbd874e9a31b","abstract_canon_sha256":"f8ac6fe5f4f32a6e918a5bad75f68f4916047a12abe6ad200d466093134aabf7"},"schema_version":"1.0"},"canonical_sha256":"a38e42344d87cefa36a6bbaf58533169c88444f473437fbaf731de57082a2857","source":{"kind":"arxiv","id":"2506.05832","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.05832","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"arxiv_version","alias_value":"2506.05832v1","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.05832","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"pith_short_12","alias_value":"UOHEENCNQ7HP","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"pith_short_16","alias_value":"UOHEENCNQ7HPUNVG","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"pith_short_8","alias_value":"UOHEENCN","created_at":"2026-07-05T11:17:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:UOHEENCNQ7HPUNVGXOXVQUZRNH","target":"record","payload":{"canonical_record":{"source":{"id":"2506.05832","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-06-06T07:57:27Z","cross_cats_sorted":[],"title_canon_sha256":"57fb138b86b09741c9b494d56617830161971d2377774680ece6dbd874e9a31b","abstract_canon_sha256":"f8ac6fe5f4f32a6e918a5bad75f68f4916047a12abe6ad200d466093134aabf7"},"schema_version":"1.0"},"canonical_sha256":"a38e42344d87cefa36a6bbaf58533169c88444f473437fbaf731de57082a2857","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:17:10.866202Z","signature_b64":"BmiCVIIHRgJjcDvi7LLukKLzeicjhvVl3YZ4oSoYMD0aCDBb9+xejsXUBN6AHVXPExgj3cS+Tn2Yh0XUUkbhCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a38e42344d87cefa36a6bbaf58533169c88444f473437fbaf731de57082a2857","last_reissued_at":"2026-07-05T11:17:10.865684Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:17:10.865684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.05832","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:17:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qA+4RfOQshFOFnNuEymxzso6bw0Cc6ysTWAqYUfb/3by5ArAswzfdb6RGLBgFxsJ1pSCKy8nxZ/I8SrEqtaJAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T19:10:40.347790Z"},"content_sha256":"b4c3b9ef97602eed922e18f9bd4cf673d1ec6174a53a4dfb3f2eaa297d605ff7","schema_version":"1.0","event_id":"sha256:b4c3b9ef97602eed922e18f9bd4cf673d1ec6174a53a4dfb3f2eaa297d605ff7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:UOHEENCNQ7HPUNVGXOXVQUZRNH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Properties of UTxO Ledgers and Programs Implemented on Them","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexey Sorokin (Input Output Global), Polina Vinogradova (Input Output Global)","submitted_at":"2025-06-06T07:57:27Z","abstract_excerpt":"Trace-based properties are the gold standard for program behaviour analysis. One of the domains of application of this type of analysis is cryptocurrency ledgers, both for the purpose of analyzing the behaviour of the ledger itself, and any user-defined programs called by it, known as smart contracts. The (extended) UTxO ledger model is a kind of ledger model where all smart contract code is stateless, and additional work must be done to model stateful programs. We formalize the application of trace-based analysis to UTxO ledgers and contracts, expressing it in the languages of topology, as we"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.05832","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/2506.05832/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:17:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MpTQZc2DCezJ+gz6u1fyLe0c68qSB6dsNPceg1ZoTj0R8/b4dU9IKSvqCkqJu8Bt6dA12IVjts71v78IuJ3rBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T19:10:40.348306Z"},"content_sha256":"f7d818c1692572fbb376d7dfb5091a1c1635221d0d21aea2d8e65ebdf984e37d","schema_version":"1.0","event_id":"sha256:f7d818c1692572fbb376d7dfb5091a1c1635221d0d21aea2d8e65ebdf984e37d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UOHEENCNQ7HPUNVGXOXVQUZRNH/bundle.json","state_url":"https://pith.science/pith/UOHEENCNQ7HPUNVGXOXVQUZRNH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UOHEENCNQ7HPUNVGXOXVQUZRNH/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-09T19:10:40Z","links":{"resolver":"https://pith.science/pith/UOHEENCNQ7HPUNVGXOXVQUZRNH","bundle":"https://pith.science/pith/UOHEENCNQ7HPUNVGXOXVQUZRNH/bundle.json","state":"https://pith.science/pith/UOHEENCNQ7HPUNVGXOXVQUZRNH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UOHEENCNQ7HPUNVGXOXVQUZRNH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:UOHEENCNQ7HPUNVGXOXVQUZRNH","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":"f8ac6fe5f4f32a6e918a5bad75f68f4916047a12abe6ad200d466093134aabf7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-06-06T07:57:27Z","title_canon_sha256":"57fb138b86b09741c9b494d56617830161971d2377774680ece6dbd874e9a31b"},"schema_version":"1.0","source":{"id":"2506.05832","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.05832","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"arxiv_version","alias_value":"2506.05832v1","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.05832","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"pith_short_12","alias_value":"UOHEENCNQ7HP","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"pith_short_16","alias_value":"UOHEENCNQ7HPUNVG","created_at":"2026-07-05T11:17:10Z"},{"alias_kind":"pith_short_8","alias_value":"UOHEENCN","created_at":"2026-07-05T11:17:10Z"}],"graph_snapshots":[{"event_id":"sha256:f7d818c1692572fbb376d7dfb5091a1c1635221d0d21aea2d8e65ebdf984e37d","target":"graph","created_at":"2026-07-05T11:17:10Z","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/2506.05832/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Trace-based properties are the gold standard for program behaviour analysis. One of the domains of application of this type of analysis is cryptocurrency ledgers, both for the purpose of analyzing the behaviour of the ledger itself, and any user-defined programs called by it, known as smart contracts. The (extended) UTxO ledger model is a kind of ledger model where all smart contract code is stateless, and additional work must be done to model stateful programs. We formalize the application of trace-based analysis to UTxO ledgers and contracts, expressing it in the languages of topology, as we","authors_text":"Alexey Sorokin (Input Output Global), Polina Vinogradova (Input Output Global)","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.05832","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:b4c3b9ef97602eed922e18f9bd4cf673d1ec6174a53a4dfb3f2eaa297d605ff7","target":"record","created_at":"2026-07-05T11:17:10Z","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":"f8ac6fe5f4f32a6e918a5bad75f68f4916047a12abe6ad200d466093134aabf7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-06-06T07:57:27Z","title_canon_sha256":"57fb138b86b09741c9b494d56617830161971d2377774680ece6dbd874e9a31b"},"schema_version":"1.0","source":{"id":"2506.05832","kind":"arxiv","version":1}},"canonical_sha256":"a38e42344d87cefa36a6bbaf58533169c88444f473437fbaf731de57082a2857","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a38e42344d87cefa36a6bbaf58533169c88444f473437fbaf731de57082a2857","first_computed_at":"2026-07-05T11:17:10.865684Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:17:10.865684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BmiCVIIHRgJjcDvi7LLukKLzeicjhvVl3YZ4oSoYMD0aCDBb9+xejsXUBN6AHVXPExgj3cS+Tn2Yh0XUUkbhCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:17:10.866202Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.05832","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b4c3b9ef97602eed922e18f9bd4cf673d1ec6174a53a4dfb3f2eaa297d605ff7","sha256:f7d818c1692572fbb376d7dfb5091a1c1635221d0d21aea2d8e65ebdf984e37d"],"state_sha256":"a95e998a72a02f506e6b542ee6858b21d50fdd9b9a9012101559e1536fe09124"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lFW6Oe1o8D4N1Mi37sj02Jpewq9Zn62rNSiAkUUvlHLEBoqxoCgZS/TXeR+vIAgjPFBHtZRjNTYgGfq5KL9eAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T19:10:40.351522Z","bundle_sha256":"8173941ed243a7b53a1357d5bb8f24c346d9d663437111ade3c71936055fc743"}}