{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:5V5FU235WJ2LOKY6VWCCNM3UX3","short_pith_number":"pith:5V5FU235","canonical_record":{"source":{"id":"1811.06632","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-11-16T00:02:59Z","cross_cats_sorted":[],"title_canon_sha256":"46edd3e3d93fc34574a0f6bb73c12cc47fd5e902a1179fd7990a496059e2f637","abstract_canon_sha256":"0873efdff96e8f6bb945b08fcd303fe09304952af06add5702586b3d74141af7"},"schema_version":"1.0"},"canonical_sha256":"ed7a5a6b7db274b72b1ead8426b374bee9226adf3f59b9a466dc819713c0ad72","source":{"kind":"arxiv","id":"1811.06632","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.06632","created_at":"2026-05-17T23:43:56Z"},{"alias_kind":"arxiv_version","alias_value":"1811.06632v3","created_at":"2026-05-17T23:43:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06632","created_at":"2026-05-17T23:43:56Z"},{"alias_kind":"pith_short_12","alias_value":"5V5FU235WJ2L","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5V5FU235WJ2LOKY6","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5V5FU235","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:5V5FU235WJ2LOKY6VWCCNM3UX3","target":"record","payload":{"canonical_record":{"source":{"id":"1811.06632","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-11-16T00:02:59Z","cross_cats_sorted":[],"title_canon_sha256":"46edd3e3d93fc34574a0f6bb73c12cc47fd5e902a1179fd7990a496059e2f637","abstract_canon_sha256":"0873efdff96e8f6bb945b08fcd303fe09304952af06add5702586b3d74141af7"},"schema_version":"1.0"},"canonical_sha256":"ed7a5a6b7db274b72b1ead8426b374bee9226adf3f59b9a466dc819713c0ad72","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:43:56.430522Z","signature_b64":"zlmfSTReV3L6tbwgWdH7yK9JJa7KchlrlckT6IOHT1XqeA6aHfL+UKACDO0RqEXurIa5kTlqakwpZ2AvUY1wDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed7a5a6b7db274b72b1ead8426b374bee9226adf3f59b9a466dc819713c0ad72","last_reissued_at":"2026-05-17T23:43:56.429888Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:43:56.429888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.06632","source_version":3,"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-05-17T23:43:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7NGk8PzrN9Djmsn/VqhmupW1QAMewlcbyeTya9WzN49BPZHivw3Oyf+NwAsicFIgNqo/oY7NVhQwMEflBTrFAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:34:20.352592Z"},"content_sha256":"8c7c4eb9f98ae461e8f3865d16602773c5fca21a9a4d525ce90c21a2e6c9f27b","schema_version":"1.0","event_id":"sha256:8c7c4eb9f98ae461e8f3865d16602773c5fca21a9a4d525ce90c21a2e6c9f27b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:5V5FU235WJ2LOKY6VWCCNM3UX3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Sourav Sen Gupta, Wesley Joon-Wie Tann, Xing Jie Han, Yew-Soon Ong","submitted_at":"2018-11-16T00:02:59Z","abstract_excerpt":"Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation depth to search vulnerable execution paths, and the search time increases with depth. The number of contracts on blockchains like Ethereum has increased 176 fold since December 2015. If these symbolic tools fail to analyze the increasingly large number of contracts in time, entire classes of exploits could cause irrevocable damage. In this paper, we aim to ha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06632","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-17T23:43:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fPspSoI4xydvBKgxlGulxaoP3ZHwG03K5lEh1IfTqdwln56d8OsqTTv4A8R7XtHhwDPQEaN/u38ZrlGFDLeBAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:34:20.352936Z"},"content_sha256":"83fd637b917236b47a6b1dea52faa5f4339f013f12605f80116996ddcbe2e3f9","schema_version":"1.0","event_id":"sha256:83fd637b917236b47a6b1dea52faa5f4339f013f12605f80116996ddcbe2e3f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/bundle.json","state_url":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/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-06-01T09:34:20Z","links":{"resolver":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3","bundle":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/bundle.json","state":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:5V5FU235WJ2LOKY6VWCCNM3UX3","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":"0873efdff96e8f6bb945b08fcd303fe09304952af06add5702586b3d74141af7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-11-16T00:02:59Z","title_canon_sha256":"46edd3e3d93fc34574a0f6bb73c12cc47fd5e902a1179fd7990a496059e2f637"},"schema_version":"1.0","source":{"id":"1811.06632","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.06632","created_at":"2026-05-17T23:43:56Z"},{"alias_kind":"arxiv_version","alias_value":"1811.06632v3","created_at":"2026-05-17T23:43:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06632","created_at":"2026-05-17T23:43:56Z"},{"alias_kind":"pith_short_12","alias_value":"5V5FU235WJ2L","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5V5FU235WJ2LOKY6","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5V5FU235","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:83fd637b917236b47a6b1dea52faa5f4339f013f12605f80116996ddcbe2e3f9","target":"graph","created_at":"2026-05-17T23:43:56Z","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"},"paper":{"abstract_excerpt":"Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation depth to search vulnerable execution paths, and the search time increases with depth. The number of contracts on blockchains like Ethereum has increased 176 fold since December 2015. If these symbolic tools fail to analyze the increasingly large number of contracts in time, entire classes of exploits could cause irrevocable damage. In this paper, we aim to ha","authors_text":"Sourav Sen Gupta, Wesley Joon-Wie Tann, Xing Jie Han, Yew-Soon Ong","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-11-16T00:02:59Z","title":"Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06632","kind":"arxiv","version":3},"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:8c7c4eb9f98ae461e8f3865d16602773c5fca21a9a4d525ce90c21a2e6c9f27b","target":"record","created_at":"2026-05-17T23:43:56Z","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":"0873efdff96e8f6bb945b08fcd303fe09304952af06add5702586b3d74141af7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-11-16T00:02:59Z","title_canon_sha256":"46edd3e3d93fc34574a0f6bb73c12cc47fd5e902a1179fd7990a496059e2f637"},"schema_version":"1.0","source":{"id":"1811.06632","kind":"arxiv","version":3}},"canonical_sha256":"ed7a5a6b7db274b72b1ead8426b374bee9226adf3f59b9a466dc819713c0ad72","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed7a5a6b7db274b72b1ead8426b374bee9226adf3f59b9a466dc819713c0ad72","first_computed_at":"2026-05-17T23:43:56.429888Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:43:56.429888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zlmfSTReV3L6tbwgWdH7yK9JJa7KchlrlckT6IOHT1XqeA6aHfL+UKACDO0RqEXurIa5kTlqakwpZ2AvUY1wDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:43:56.430522Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.06632","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c7c4eb9f98ae461e8f3865d16602773c5fca21a9a4d525ce90c21a2e6c9f27b","sha256:83fd637b917236b47a6b1dea52faa5f4339f013f12605f80116996ddcbe2e3f9"],"state_sha256":"b81c6c9e107112ef5dde6a923727282222f39ced7ed55bf5b24f5f723eee239a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3TWKZwZGduE/ZaMPk2Sl8iP3FTHV6je8Qe8LQZ6/6TswVqWsQ09klFXBk/FpAsyy/1T/+HcYMm0DDTY3G/gsCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T09:34:20.354849Z","bundle_sha256":"afb8a511f1fa0d1dbf8cffd16dd33173c7f84d3224283ade6285f6c7b7878459"}}