{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YPJQKDM3NQ43XMWF5GTHABC6N7","short_pith_number":"pith:YPJQKDM3","canonical_record":{"source":{"id":"2306.05057","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-06-08T09:22:25Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9fe4665370eb8001518b65c373ab8eec7259ff135624b0cd8747ccf2c842b5d3","abstract_canon_sha256":"6a5c90a19058e5b97aef802a14f60aa75d988b8d7eb758b3526b4a62c802c1cf"},"schema_version":"1.0"},"canonical_sha256":"c3d3050d9b6c39bbb2c5e9a670045e6fcfe89cf3aa91fd74387c7270c9df3ae0","source":{"kind":"arxiv","id":"2306.05057","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.05057","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"arxiv_version","alias_value":"2306.05057v1","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.05057","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"pith_short_12","alias_value":"YPJQKDM3NQ43","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"pith_short_16","alias_value":"YPJQKDM3NQ43XMWF","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"pith_short_8","alias_value":"YPJQKDM3","created_at":"2026-07-05T06:18:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YPJQKDM3NQ43XMWF5GTHABC6N7","target":"record","payload":{"canonical_record":{"source":{"id":"2306.05057","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-06-08T09:22:25Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9fe4665370eb8001518b65c373ab8eec7259ff135624b0cd8747ccf2c842b5d3","abstract_canon_sha256":"6a5c90a19058e5b97aef802a14f60aa75d988b8d7eb758b3526b4a62c802c1cf"},"schema_version":"1.0"},"canonical_sha256":"c3d3050d9b6c39bbb2c5e9a670045e6fcfe89cf3aa91fd74387c7270c9df3ae0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:18:45.207512Z","signature_b64":"mSV47o4pmpsTtY7b5ncD+KFq1AOmBAzsLkDKdeH9ha0IcTxiVG+186+/cccLd4qWRAj64vAjjgD+MO1yQRbpBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3d3050d9b6c39bbb2c5e9a670045e6fcfe89cf3aa91fd74387c7270c9df3ae0","last_reissued_at":"2026-07-05T06:18:45.207046Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:18:45.207046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2306.05057","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-05T06:18:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SzILxpOOnJQ5U6q4YON9H+PrTaBU1cIyf8sfjQT7gt2kmkqWn2cBkiseUZjixCRgbfuFObNuoB++x5l3lB3BCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T14:07:07.032871Z"},"content_sha256":"8501fc665d782ae4a44d78b7464de560a5e55e4bc50d68d4df3b87b6e8dd763a","schema_version":"1.0","event_id":"sha256:8501fc665d782ae4a44d78b7464de560a5e55e4bc50d68d4df3b87b6e8dd763a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YPJQKDM3NQ43XMWF5GTHABC6N7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Gernot Salzer, Jo\\~ao F. Ferreira, Monika di Angelo, Thomas Durieux","submitted_at":"2023-06-08T09:22:25Z","abstract_excerpt":"Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and eliminating vulnerabilities, methods and tools for the automated analysis have been proposed. However, the lack of commonly accepted benchmark suites and performance metrics makes it difficult to compare and evaluate such tools. Moreover, the tools are heterogeneous in their interfaces and reports as well as their runtime requirements, and installing several tools i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.05057","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/2306.05057/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-05T06:18:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VsDcVVuKcFh4yKDayGk+fk2lZPEXQML3hRXDIQcEnn4RcBtT00fHuhPAzvQBVa5G7vHbNwlaHLooADhC9oFrAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T14:07:07.033437Z"},"content_sha256":"c1c6b46b4d834661abab329d73ad10f08163cacc37dfc1147368886e1a0c6717","schema_version":"1.0","event_id":"sha256:c1c6b46b4d834661abab329d73ad10f08163cacc37dfc1147368886e1a0c6717"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YPJQKDM3NQ43XMWF5GTHABC6N7/bundle.json","state_url":"https://pith.science/pith/YPJQKDM3NQ43XMWF5GTHABC6N7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YPJQKDM3NQ43XMWF5GTHABC6N7/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-09T14:07:07Z","links":{"resolver":"https://pith.science/pith/YPJQKDM3NQ43XMWF5GTHABC6N7","bundle":"https://pith.science/pith/YPJQKDM3NQ43XMWF5GTHABC6N7/bundle.json","state":"https://pith.science/pith/YPJQKDM3NQ43XMWF5GTHABC6N7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YPJQKDM3NQ43XMWF5GTHABC6N7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YPJQKDM3NQ43XMWF5GTHABC6N7","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":"6a5c90a19058e5b97aef802a14f60aa75d988b8d7eb758b3526b4a62c802c1cf","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-06-08T09:22:25Z","title_canon_sha256":"9fe4665370eb8001518b65c373ab8eec7259ff135624b0cd8747ccf2c842b5d3"},"schema_version":"1.0","source":{"id":"2306.05057","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.05057","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"arxiv_version","alias_value":"2306.05057v1","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.05057","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"pith_short_12","alias_value":"YPJQKDM3NQ43","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"pith_short_16","alias_value":"YPJQKDM3NQ43XMWF","created_at":"2026-07-05T06:18:45Z"},{"alias_kind":"pith_short_8","alias_value":"YPJQKDM3","created_at":"2026-07-05T06:18:45Z"}],"graph_snapshots":[{"event_id":"sha256:c1c6b46b4d834661abab329d73ad10f08163cacc37dfc1147368886e1a0c6717","target":"graph","created_at":"2026-07-05T06:18:45Z","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/2306.05057/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and eliminating vulnerabilities, methods and tools for the automated analysis have been proposed. However, the lack of commonly accepted benchmark suites and performance metrics makes it difficult to compare and evaluate such tools. Moreover, the tools are heterogeneous in their interfaces and reports as well as their runtime requirements, and installing several tools i","authors_text":"Gernot Salzer, Jo\\~ao F. Ferreira, Monika di Angelo, Thomas Durieux","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-06-08T09:22:25Z","title":"SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.05057","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:8501fc665d782ae4a44d78b7464de560a5e55e4bc50d68d4df3b87b6e8dd763a","target":"record","created_at":"2026-07-05T06:18:45Z","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":"6a5c90a19058e5b97aef802a14f60aa75d988b8d7eb758b3526b4a62c802c1cf","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-06-08T09:22:25Z","title_canon_sha256":"9fe4665370eb8001518b65c373ab8eec7259ff135624b0cd8747ccf2c842b5d3"},"schema_version":"1.0","source":{"id":"2306.05057","kind":"arxiv","version":1}},"canonical_sha256":"c3d3050d9b6c39bbb2c5e9a670045e6fcfe89cf3aa91fd74387c7270c9df3ae0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3d3050d9b6c39bbb2c5e9a670045e6fcfe89cf3aa91fd74387c7270c9df3ae0","first_computed_at":"2026-07-05T06:18:45.207046Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:18:45.207046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mSV47o4pmpsTtY7b5ncD+KFq1AOmBAzsLkDKdeH9ha0IcTxiVG+186+/cccLd4qWRAj64vAjjgD+MO1yQRbpBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:18:45.207512Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.05057","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8501fc665d782ae4a44d78b7464de560a5e55e4bc50d68d4df3b87b6e8dd763a","sha256:c1c6b46b4d834661abab329d73ad10f08163cacc37dfc1147368886e1a0c6717"],"state_sha256":"0009f7872a6ce7f56967a173d27eb144d098da81bd2cb024fd05a57cb4d9b6b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yUEjOY49YLEKH2KS7QvAftygV2eUSu14XjIfi5RZqwoZ0rBtFPLg1EKF0IDsBVUdXwcu8ZLvAETcMu9pcBaiAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T14:07:07.038699Z","bundle_sha256":"c7bc87caffe3bb2d35b3d357e12d7fb245f7d03f03105100c6b3b1db777a4de5"}}