{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:IVMMZZX7PH75C3RRZX6AOQ54J4","short_pith_number":"pith:IVMMZZX7","canonical_record":{"source":{"id":"2408.06037","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-12T09:59:47Z","cross_cats_sorted":[],"title_canon_sha256":"a6d79621e6380d4b3bd4717b28c636e4d1e72c4105def591c45887672f66066e","abstract_canon_sha256":"71ed6eaa2283b6a66b49aa786f447b6332bad6af186a552b60c64aabaaf0bec9"},"schema_version":"1.0"},"canonical_sha256":"4558cce6ff79ffd16e31cdfc0743bc4f35d81c593a662632e4c694b05c50c985","source":{"kind":"arxiv","id":"2408.06037","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.06037","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"arxiv_version","alias_value":"2408.06037v1","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.06037","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"pith_short_12","alias_value":"IVMMZZX7PH75","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"pith_short_16","alias_value":"IVMMZZX7PH75C3RR","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"pith_short_8","alias_value":"IVMMZZX7","created_at":"2026-07-05T08:54:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:IVMMZZX7PH75C3RRZX6AOQ54J4","target":"record","payload":{"canonical_record":{"source":{"id":"2408.06037","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-12T09:59:47Z","cross_cats_sorted":[],"title_canon_sha256":"a6d79621e6380d4b3bd4717b28c636e4d1e72c4105def591c45887672f66066e","abstract_canon_sha256":"71ed6eaa2283b6a66b49aa786f447b6332bad6af186a552b60c64aabaaf0bec9"},"schema_version":"1.0"},"canonical_sha256":"4558cce6ff79ffd16e31cdfc0743bc4f35d81c593a662632e4c694b05c50c985","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:54:28.808922Z","signature_b64":"Wld7YK/bykjj1P6doxu9Kz7PzFCphNEha8GH2eicqZxP+eIXOipCga9qd3ZJmDKu6JGeMP3JRjMHGoMhPvadDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4558cce6ff79ffd16e31cdfc0743bc4f35d81c593a662632e4c694b05c50c985","last_reissued_at":"2026-07-05T08:54:28.808520Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:54:28.808520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.06037","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-05T08:54:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ElUFZs32YSnNXAGwvhPIZH4AhChiJbj0fUYq3ruxopmqRspN0T9aWQ1eNN5hdz4+89DV6rMKFLqNhn6TBWccBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:03:58.273161Z"},"content_sha256":"199cf293d08bee305d96120d6665aa6060a6ce5e054c074ed409764c6d994960","schema_version":"1.0","event_id":"sha256:199cf293d08bee305d96120d6665aa6060a6ce5e054c074ed409764c6d994960"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:IVMMZZX7PH75C3RRZX6AOQ54J4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jiachi Chen, Lei Xiao, Qingyuan Zhong, Renke Huang, Shuo Yang, Xingwei Lin, Yanlin Wang, Zibin Zheng","submitted_at":"2024-08-12T09:59:47Z","abstract_excerpt":"The rapid advancement of blockchain platforms has significantly accelerated the growth of decentralized applications (DApps). Similar to traditional applications, DApps integrate front-end descriptions that showcase their features to attract users, and back-end smart contracts for executing their business logic. However, inconsistencies between the features promoted in front-end descriptions and those actually implemented in the contract can confuse users and undermine DApps's trustworthiness. In this paper, we first conducted an empirical study to identify seven types of inconsistencies, each"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.06037","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/2408.06037/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-05T08:54:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xFMOJG92XNj3uhNscDpM97yFYTYOWyjo3/leTzubuqAWcD+n31BwobNTGji9SUuI+kXxTAxJ8BK14t4KcUPgCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:03:58.274063Z"},"content_sha256":"9314ff6a831cd224f3541cbf28b31a047402183db0d3b3ac507c1d3e5396ecfd","schema_version":"1.0","event_id":"sha256:9314ff6a831cd224f3541cbf28b31a047402183db0d3b3ac507c1d3e5396ecfd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/bundle.json","state_url":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/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-03T17:03:58Z","links":{"resolver":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4","bundle":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/bundle.json","state":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:IVMMZZX7PH75C3RRZX6AOQ54J4","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":"71ed6eaa2283b6a66b49aa786f447b6332bad6af186a552b60c64aabaaf0bec9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-12T09:59:47Z","title_canon_sha256":"a6d79621e6380d4b3bd4717b28c636e4d1e72c4105def591c45887672f66066e"},"schema_version":"1.0","source":{"id":"2408.06037","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.06037","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"arxiv_version","alias_value":"2408.06037v1","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.06037","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"pith_short_12","alias_value":"IVMMZZX7PH75","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"pith_short_16","alias_value":"IVMMZZX7PH75C3RR","created_at":"2026-07-05T08:54:28Z"},{"alias_kind":"pith_short_8","alias_value":"IVMMZZX7","created_at":"2026-07-05T08:54:28Z"}],"graph_snapshots":[{"event_id":"sha256:9314ff6a831cd224f3541cbf28b31a047402183db0d3b3ac507c1d3e5396ecfd","target":"graph","created_at":"2026-07-05T08:54:28Z","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/2408.06037/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rapid advancement of blockchain platforms has significantly accelerated the growth of decentralized applications (DApps). Similar to traditional applications, DApps integrate front-end descriptions that showcase their features to attract users, and back-end smart contracts for executing their business logic. However, inconsistencies between the features promoted in front-end descriptions and those actually implemented in the contract can confuse users and undermine DApps's trustworthiness. In this paper, we first conducted an empirical study to identify seven types of inconsistencies, each","authors_text":"Jiachi Chen, Lei Xiao, Qingyuan Zhong, Renke Huang, Shuo Yang, Xingwei Lin, Yanlin Wang, Zibin Zheng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-12T09:59:47Z","title":"Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.06037","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:199cf293d08bee305d96120d6665aa6060a6ce5e054c074ed409764c6d994960","target":"record","created_at":"2026-07-05T08:54:28Z","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":"71ed6eaa2283b6a66b49aa786f447b6332bad6af186a552b60c64aabaaf0bec9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-12T09:59:47Z","title_canon_sha256":"a6d79621e6380d4b3bd4717b28c636e4d1e72c4105def591c45887672f66066e"},"schema_version":"1.0","source":{"id":"2408.06037","kind":"arxiv","version":1}},"canonical_sha256":"4558cce6ff79ffd16e31cdfc0743bc4f35d81c593a662632e4c694b05c50c985","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4558cce6ff79ffd16e31cdfc0743bc4f35d81c593a662632e4c694b05c50c985","first_computed_at":"2026-07-05T08:54:28.808520Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:54:28.808520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wld7YK/bykjj1P6doxu9Kz7PzFCphNEha8GH2eicqZxP+eIXOipCga9qd3ZJmDKu6JGeMP3JRjMHGoMhPvadDA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:54:28.808922Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.06037","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:199cf293d08bee305d96120d6665aa6060a6ce5e054c074ed409764c6d994960","sha256:9314ff6a831cd224f3541cbf28b31a047402183db0d3b3ac507c1d3e5396ecfd"],"state_sha256":"5d21602d95cbd1eed01a6ac023d47e90f2f8a0e4536b5570a9815629dd2fc285"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m4PtcuKkdPAl5DqMzfXtJbK0JRCBL+/tNIkVJp9PlvKjVow7L43lHd5TYYWPOEQwwhC0a4xwRdDrmn2Ui/XcDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:03:58.280961Z","bundle_sha256":"61e2b759ab5557c4d7640e2e2571f1f66404283000fd214c77ea4a4d4f4a0caa"}}