{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:IYEEIAXBEB7BQQRNB6A3UEJ4CL","short_pith_number":"pith:IYEEIAXB","canonical_record":{"source":{"id":"2507.04357","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2025-07-06T11:42:40Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"a4f3c3f6238462371c7a386c2df4b54cd487a9ede7dae06003b7af647daa959b","abstract_canon_sha256":"c01b221f9275345a553ba85b37dcd2ab45ee8fd0cac9406bb826b5b05d886951"},"schema_version":"1.0"},"canonical_sha256":"46084402e1207e18422d0f81ba113c12f16f0f0c8556e0997ca75a12799fb54b","source":{"kind":"arxiv","id":"2507.04357","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.04357","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"arxiv_version","alias_value":"2507.04357v2","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.04357","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"pith_short_12","alias_value":"IYEEIAXBEB7B","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"pith_short_16","alias_value":"IYEEIAXBEB7BQQRN","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"pith_short_8","alias_value":"IYEEIAXB","created_at":"2026-07-05T11:40:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:IYEEIAXBEB7BQQRNB6A3UEJ4CL","target":"record","payload":{"canonical_record":{"source":{"id":"2507.04357","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2025-07-06T11:42:40Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"a4f3c3f6238462371c7a386c2df4b54cd487a9ede7dae06003b7af647daa959b","abstract_canon_sha256":"c01b221f9275345a553ba85b37dcd2ab45ee8fd0cac9406bb826b5b05d886951"},"schema_version":"1.0"},"canonical_sha256":"46084402e1207e18422d0f81ba113c12f16f0f0c8556e0997ca75a12799fb54b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:40:55.948457Z","signature_b64":"LOP+2ukOfGvLUO84kneEt7+PutYJ2/PjzGaRqQnNvHseAOAWIL30yW87iNMn266w9pNE20fy/a5bs6e7tdhYCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"46084402e1207e18422d0f81ba113c12f16f0f0c8556e0997ca75a12799fb54b","last_reissued_at":"2026-07-05T11:40:55.947863Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:40:55.947863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.04357","source_version":2,"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:40:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"toLVfS1FLseC4lPVKAIgFHFFcEvHUrmB86uRIroF6YoOHZeNpOiuqy2ue5t0W+5Q8BsFGHCKGT7yRuYwEUmBAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T05:29:40.314267Z"},"content_sha256":"be335cafe99741b88c97f08022d8959ed9bed0d4cccd022dd077192093a2101c","schema_version":"1.0","event_id":"sha256:be335cafe99741b88c97f08022d8959ed9bed0d4cccd022dd077192093a2101c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:IYEEIAXBEB7BQQRNB6A3UEJ4CL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.DC","authors_text":"Atefeh Zareh Chahoki, Marco Roveri","submitted_at":"2025-07-06T11:42:40Z","abstract_excerpt":"Ethereum smart contracts operate in a concurrent environment where multiple transactions can be submitted simultaneously. However, the Ethereum Virtual Machine (EVM) enforces sequential execution of transactions within each block to prevent conflicts arising from concurrent access to the same state variables. Although this approach guarantees correct behavior, it limits the ability of validators to leverage multi-core architectures for faster transaction processing, thus restricting throughput. Existing solutions introduce concurrency by allowing simultaneous transaction execution combined wit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.04357","kind":"arxiv","version":2},"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/2507.04357/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:40:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6etL+gGlUthFQVXMILVUo1lYfrg3E7Sr+O1YYfRB7Iop6gYUzRdKFK+MwcoUn7lLGD8/g8s6Guf44L7C4Dw5Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T05:29:40.314790Z"},"content_sha256":"167e0dfe718d3e461b0f6514bf2d0b4906d3aa357bf33f980ea39863245da5e7","schema_version":"1.0","event_id":"sha256:167e0dfe718d3e461b0f6514bf2d0b4906d3aa357bf33f980ea39863245da5e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IYEEIAXBEB7BQQRNB6A3UEJ4CL/bundle.json","state_url":"https://pith.science/pith/IYEEIAXBEB7BQQRNB6A3UEJ4CL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IYEEIAXBEB7BQQRNB6A3UEJ4CL/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-09T05:29:40Z","links":{"resolver":"https://pith.science/pith/IYEEIAXBEB7BQQRNB6A3UEJ4CL","bundle":"https://pith.science/pith/IYEEIAXBEB7BQQRNB6A3UEJ4CL/bundle.json","state":"https://pith.science/pith/IYEEIAXBEB7BQQRNB6A3UEJ4CL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IYEEIAXBEB7BQQRNB6A3UEJ4CL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IYEEIAXBEB7BQQRNB6A3UEJ4CL","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":"c01b221f9275345a553ba85b37dcd2ab45ee8fd0cac9406bb826b5b05d886951","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2025-07-06T11:42:40Z","title_canon_sha256":"a4f3c3f6238462371c7a386c2df4b54cd487a9ede7dae06003b7af647daa959b"},"schema_version":"1.0","source":{"id":"2507.04357","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.04357","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"arxiv_version","alias_value":"2507.04357v2","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.04357","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"pith_short_12","alias_value":"IYEEIAXBEB7B","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"pith_short_16","alias_value":"IYEEIAXBEB7BQQRN","created_at":"2026-07-05T11:40:55Z"},{"alias_kind":"pith_short_8","alias_value":"IYEEIAXB","created_at":"2026-07-05T11:40:55Z"}],"graph_snapshots":[{"event_id":"sha256:167e0dfe718d3e461b0f6514bf2d0b4906d3aa357bf33f980ea39863245da5e7","target":"graph","created_at":"2026-07-05T11:40:55Z","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/2507.04357/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ethereum smart contracts operate in a concurrent environment where multiple transactions can be submitted simultaneously. However, the Ethereum Virtual Machine (EVM) enforces sequential execution of transactions within each block to prevent conflicts arising from concurrent access to the same state variables. Although this approach guarantees correct behavior, it limits the ability of validators to leverage multi-core architectures for faster transaction processing, thus restricting throughput. Existing solutions introduce concurrency by allowing simultaneous transaction execution combined wit","authors_text":"Atefeh Zareh Chahoki, Marco Roveri","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2025-07-06T11:42:40Z","title":"Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.04357","kind":"arxiv","version":2},"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:be335cafe99741b88c97f08022d8959ed9bed0d4cccd022dd077192093a2101c","target":"record","created_at":"2026-07-05T11:40:55Z","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":"c01b221f9275345a553ba85b37dcd2ab45ee8fd0cac9406bb826b5b05d886951","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2025-07-06T11:42:40Z","title_canon_sha256":"a4f3c3f6238462371c7a386c2df4b54cd487a9ede7dae06003b7af647daa959b"},"schema_version":"1.0","source":{"id":"2507.04357","kind":"arxiv","version":2}},"canonical_sha256":"46084402e1207e18422d0f81ba113c12f16f0f0c8556e0997ca75a12799fb54b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"46084402e1207e18422d0f81ba113c12f16f0f0c8556e0997ca75a12799fb54b","first_computed_at":"2026-07-05T11:40:55.947863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:40:55.947863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LOP+2ukOfGvLUO84kneEt7+PutYJ2/PjzGaRqQnNvHseAOAWIL30yW87iNMn266w9pNE20fy/a5bs6e7tdhYCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:40:55.948457Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.04357","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:be335cafe99741b88c97f08022d8959ed9bed0d4cccd022dd077192093a2101c","sha256:167e0dfe718d3e461b0f6514bf2d0b4906d3aa357bf33f980ea39863245da5e7"],"state_sha256":"058bd433376c65daff678a53231b31676f9cc26b77be9a9162fc5067c6a1f592"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RqpPLmL03R9jgLN0FG12MDiHJU+QMnIy3BoXbpeqUoS8eYWlqnj66sLea0hTwYGN0zB1FVU4LhqqTjAH+RNeAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T05:29:40.318489Z","bundle_sha256":"a872f01b5487af5fdf423d5870616effd2a055b1070d5f75d496ecaf29e7f89d"}}