{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:IVMMZZX7PH75C3RRZX6AOQ54J4","short_pith_number":"pith:IVMMZZX7","schema_version":"1.0","canonical_sha256":"4558cce6ff79ffd16e31cdfc0743bc4f35d81c593a662632e4c694b05c50c985","source":{"kind":"arxiv","id":"2408.06037","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2408.06037","created_at":"2026-07-05T08:54:28.808576+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.06037v1","created_at":"2026-07-05T08:54:28.808576+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.06037","created_at":"2026-07-05T08:54:28.808576+00:00"},{"alias_kind":"pith_short_12","alias_value":"IVMMZZX7PH75","created_at":"2026-07-05T08:54:28.808576+00:00"},{"alias_kind":"pith_short_16","alias_value":"IVMMZZX7PH75C3RR","created_at":"2026-07-05T08:54:28.808576+00:00"},{"alias_kind":"pith_short_8","alias_value":"IVMMZZX7","created_at":"2026-07-05T08:54:28.808576+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4","json":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4.json","graph_json":"https://pith.science/api/pith-number/IVMMZZX7PH75C3RRZX6AOQ54J4/graph.json","events_json":"https://pith.science/api/pith-number/IVMMZZX7PH75C3RRZX6AOQ54J4/events.json","paper":"https://pith.science/paper/IVMMZZX7"},"agent_actions":{"view_html":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4","download_json":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4.json","view_paper":"https://pith.science/paper/IVMMZZX7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.06037&json=true","fetch_graph":"https://pith.science/api/pith-number/IVMMZZX7PH75C3RRZX6AOQ54J4/graph.json","fetch_events":"https://pith.science/api/pith-number/IVMMZZX7PH75C3RRZX6AOQ54J4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/action/storage_attestation","attest_author":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/action/author_attestation","sign_citation":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/action/citation_signature","submit_replication":"https://pith.science/pith/IVMMZZX7PH75C3RRZX6AOQ54J4/action/replication_record"}},"created_at":"2026-07-05T08:54:28.808576+00:00","updated_at":"2026-07-05T08:54:28.808576+00:00"}