{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:UIJDKYCJRPLPIWAAACPMMMYGLW","short_pith_number":"pith:UIJDKYCJ","canonical_record":{"source":{"id":"1808.00624","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2018-08-02T01:31:56Z","cross_cats_sorted":[],"title_canon_sha256":"f43f382e8a82dc001b2a9054df2f4b4e2a4d9db693b436194da677e86cbe0826","abstract_canon_sha256":"da0fa6ffa7e9fff758e7b69afebd4c52606862fb77b9d8477dd105cb0e4ecd4a"},"schema_version":"1.0"},"canonical_sha256":"a2123560498bd6f45800009ec633065d9d87d9f11a8e232b8b52c75d90584171","source":{"kind":"arxiv","id":"1808.00624","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00624","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00624v2","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00624","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"pith_short_12","alias_value":"UIJDKYCJRPLP","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"pith_short_16","alias_value":"UIJDKYCJRPLPIWAA","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"pith_short_8","alias_value":"UIJDKYCJ","created_at":"2026-07-05T00:17:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:UIJDKYCJRPLPIWAAACPMMMYGLW","target":"record","payload":{"canonical_record":{"source":{"id":"1808.00624","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2018-08-02T01:31:56Z","cross_cats_sorted":[],"title_canon_sha256":"f43f382e8a82dc001b2a9054df2f4b4e2a4d9db693b436194da677e86cbe0826","abstract_canon_sha256":"da0fa6ffa7e9fff758e7b69afebd4c52606862fb77b9d8477dd105cb0e4ecd4a"},"schema_version":"1.0"},"canonical_sha256":"a2123560498bd6f45800009ec633065d9d87d9f11a8e232b8b52c75d90584171","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:17:24.742858Z","signature_b64":"kol/VO+tq+XZ21PxFdq+mLj7SunzThhyF0rA/wRvPl/J5ljh1AWIQUGUCRMpwnVlRdODneaYByACu+R47iC+Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2123560498bd6f45800009ec633065d9d87d9f11a8e232b8b52c75d90584171","last_reissued_at":"2026-07-05T00:17:24.742390Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:17:24.742390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.00624","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-05T00:17:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MJc22fJkvyoxip1Y6/YnFGUHYVkTyoRgty3vVKVwdqghARWDtkOtj2e9RqCtnejbQuAR4blZAEnpoQskplzTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T01:11:41.655381Z"},"content_sha256":"bc75926a6c58780ba45941f145eaf15f1ef5017c900f10142a4c8511631d1ab7","schema_version":"1.0","event_id":"sha256:bc75926a6c58780ba45941f145eaf15f1ef5017c900f10142a4c8511631d1ab7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:UIJDKYCJRPLPIWAAACPMMMYGLW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"sCompile: Critical Path Identification and Analysis for Smart Contracts","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Bo Gao, Hao Xiao, Jialiang Chang, Jun Sun, Yan Cai, Zijiang Yang","submitted_at":"2018-08-02T01:31:56Z","abstract_excerpt":"Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary programs, cannot be patched easily once deployed. It is important for smart contracts to be checked against potential vulnerabilities. In this work, we propose an alternative approach to automatically identify critical program paths (with multiple function calls including inter-contract function calls) in a smart contract, ran"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00624","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/1808.00624/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-05T00:17:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"74Q8u9hhSF5LGTLH0rBcWJEk8bsFd62Zmm0PG5bhX8YfHupP0xJ7J1gdMpwIa6jvDkoZJR7IgsQWqjBw9bf1DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T01:11:41.655784Z"},"content_sha256":"46a3df0779a988449a92a37721602c53a391b4743882cd872ebdcaf770dd2d59","schema_version":"1.0","event_id":"sha256:46a3df0779a988449a92a37721602c53a391b4743882cd872ebdcaf770dd2d59"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UIJDKYCJRPLPIWAAACPMMMYGLW/bundle.json","state_url":"https://pith.science/pith/UIJDKYCJRPLPIWAAACPMMMYGLW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UIJDKYCJRPLPIWAAACPMMMYGLW/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-07-09T01:11:41Z","links":{"resolver":"https://pith.science/pith/UIJDKYCJRPLPIWAAACPMMMYGLW","bundle":"https://pith.science/pith/UIJDKYCJRPLPIWAAACPMMMYGLW/bundle.json","state":"https://pith.science/pith/UIJDKYCJRPLPIWAAACPMMMYGLW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UIJDKYCJRPLPIWAAACPMMMYGLW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:UIJDKYCJRPLPIWAAACPMMMYGLW","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":"da0fa6ffa7e9fff758e7b69afebd4c52606862fb77b9d8477dd105cb0e4ecd4a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2018-08-02T01:31:56Z","title_canon_sha256":"f43f382e8a82dc001b2a9054df2f4b4e2a4d9db693b436194da677e86cbe0826"},"schema_version":"1.0","source":{"id":"1808.00624","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00624","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00624v2","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00624","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"pith_short_12","alias_value":"UIJDKYCJRPLP","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"pith_short_16","alias_value":"UIJDKYCJRPLPIWAA","created_at":"2026-07-05T00:17:24Z"},{"alias_kind":"pith_short_8","alias_value":"UIJDKYCJ","created_at":"2026-07-05T00:17:24Z"}],"graph_snapshots":[{"event_id":"sha256:46a3df0779a988449a92a37721602c53a391b4743882cd872ebdcaf770dd2d59","target":"graph","created_at":"2026-07-05T00:17:24Z","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/1808.00624/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary programs, cannot be patched easily once deployed. It is important for smart contracts to be checked against potential vulnerabilities. In this work, we propose an alternative approach to automatically identify critical program paths (with multiple function calls including inter-contract function calls) in a smart contract, ran","authors_text":"Bo Gao, Hao Xiao, Jialiang Chang, Jun Sun, Yan Cai, Zijiang Yang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2018-08-02T01:31:56Z","title":"sCompile: Critical Path Identification and Analysis for Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00624","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:bc75926a6c58780ba45941f145eaf15f1ef5017c900f10142a4c8511631d1ab7","target":"record","created_at":"2026-07-05T00:17:24Z","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":"da0fa6ffa7e9fff758e7b69afebd4c52606862fb77b9d8477dd105cb0e4ecd4a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2018-08-02T01:31:56Z","title_canon_sha256":"f43f382e8a82dc001b2a9054df2f4b4e2a4d9db693b436194da677e86cbe0826"},"schema_version":"1.0","source":{"id":"1808.00624","kind":"arxiv","version":2}},"canonical_sha256":"a2123560498bd6f45800009ec633065d9d87d9f11a8e232b8b52c75d90584171","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2123560498bd6f45800009ec633065d9d87d9f11a8e232b8b52c75d90584171","first_computed_at":"2026-07-05T00:17:24.742390Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:17:24.742390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kol/VO+tq+XZ21PxFdq+mLj7SunzThhyF0rA/wRvPl/J5ljh1AWIQUGUCRMpwnVlRdODneaYByACu+R47iC+Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:17:24.742858Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.00624","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc75926a6c58780ba45941f145eaf15f1ef5017c900f10142a4c8511631d1ab7","sha256:46a3df0779a988449a92a37721602c53a391b4743882cd872ebdcaf770dd2d59"],"state_sha256":"38c9228fdab8dc10561a8e6db8178116f1277ffcbb6dfdbc48f53bc0bcfcba82"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4jzsWCqmErr9t655QFtb9Wv/b5LH5yrzYymqDcDUmg3DkOGzVTh6y+tHToKhHDgtBVBUT78ZIBsxJaJpSLFaAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T01:11:41.657795Z","bundle_sha256":"f0e04f7a687d9d2e65b3ad0967553a43611a0062bc42a791d2ed6b3f617f5858"}}