{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:JMGEZTHSDLCZDDJFQTNV24UKB4","short_pith_number":"pith:JMGEZTHS","canonical_record":{"source":{"id":"2506.08561","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T08:31:44Z","cross_cats_sorted":[],"title_canon_sha256":"30692f6eb86fa7d2352e3b48844ea32ff448660f597437415a1c60570dee2199","abstract_canon_sha256":"6839d1522d6b98ed122d99577f8fd7ae38b6a44bd20507e903389f0c4e8cb867"},"schema_version":"1.0"},"canonical_sha256":"4b0c4cccf21ac5918d2584db5d728a0f3a4ec9e4389d850d20a248a21551f9bb","source":{"kind":"arxiv","id":"2506.08561","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08561","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08561v2","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08561","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"JMGEZTHSDLCZ","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"pith_short_16","alias_value":"JMGEZTHSDLCZDDJF","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"pith_short_8","alias_value":"JMGEZTHS","created_at":"2026-07-05T11:19:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:JMGEZTHSDLCZDDJFQTNV24UKB4","target":"record","payload":{"canonical_record":{"source":{"id":"2506.08561","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T08:31:44Z","cross_cats_sorted":[],"title_canon_sha256":"30692f6eb86fa7d2352e3b48844ea32ff448660f597437415a1c60570dee2199","abstract_canon_sha256":"6839d1522d6b98ed122d99577f8fd7ae38b6a44bd20507e903389f0c4e8cb867"},"schema_version":"1.0"},"canonical_sha256":"4b0c4cccf21ac5918d2584db5d728a0f3a4ec9e4389d850d20a248a21551f9bb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:19:29.803699Z","signature_b64":"HYxD3Zknrkqa6LAITuQ7jLNiyTCjWwUuPvzVe7GhdWainoriYyT/mcl1oygGgh3pOrJm3YI2KM9JqdaQjaBNDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4b0c4cccf21ac5918d2584db5d728a0f3a4ec9e4389d850d20a248a21551f9bb","last_reissued_at":"2026-07-05T11:19:29.803201Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:19:29.803201Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.08561","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-05T11:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iElxvEsvLMWOeteweAOYSvOka2U+xaUQT2tUWwd4/NbpkwFu1hscfgbA1kO2A99duidmQbbzc3Ih+BvlUTxuBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T18:33:09.639816Z"},"content_sha256":"e0340d44f4dacbb4c6c0da16fa03ee8ff60948872eb0d3092f84a0719bac8b03","schema_version":"1.0","event_id":"sha256:e0340d44f4dacbb4c6c0da16fa03ee8ff60948872eb0d3092f84a0719bac8b03"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:JMGEZTHSDLCZDDJFQTNV24UKB4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haijun Wang, Hao Wu, Ming Fan, Shangwang Li, Ting Liu, Yin Wu, Yitao Zhao","submitted_at":"2025-06-10T08:31:44Z","abstract_excerpt":"An increasing number of DeFi protocols are gaining popularity, facilitating transactions among multiple anonymous users. State Manipulation is one of the notorious attacks in DeFi smart contracts, with price variable being the most commonly exploited state variable-attackers manipulate token prices to gain illicit profits. In this paper, we propose PriceSleuth, a novel method that leverages the Large Language Model (LLM) and static analysis to detect Price Manipulation (PM) attacks proactively. PriceSleuth firstly identifies core logic function related to price calculation in DeFi contracts. T"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08561","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/2506.08561/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-05T11:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tkQzygrK40zgrp5UL/IdifriRDj9gMew2rI+hsPAVxwT7u9XNZGmZ6XrgwzzcuO5ezCYbsrRmsz+YOChxvkwAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T18:33:09.640286Z"},"content_sha256":"10386713e67bba60f93aa1ac869ffd481b163ad3d038d990fcde4fff1aa705c8","schema_version":"1.0","event_id":"sha256:10386713e67bba60f93aa1ac869ffd481b163ad3d038d990fcde4fff1aa705c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JMGEZTHSDLCZDDJFQTNV24UKB4/bundle.json","state_url":"https://pith.science/pith/JMGEZTHSDLCZDDJFQTNV24UKB4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JMGEZTHSDLCZDDJFQTNV24UKB4/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-05T18:33:09Z","links":{"resolver":"https://pith.science/pith/JMGEZTHSDLCZDDJFQTNV24UKB4","bundle":"https://pith.science/pith/JMGEZTHSDLCZDDJFQTNV24UKB4/bundle.json","state":"https://pith.science/pith/JMGEZTHSDLCZDDJFQTNV24UKB4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JMGEZTHSDLCZDDJFQTNV24UKB4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:JMGEZTHSDLCZDDJFQTNV24UKB4","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":"6839d1522d6b98ed122d99577f8fd7ae38b6a44bd20507e903389f0c4e8cb867","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T08:31:44Z","title_canon_sha256":"30692f6eb86fa7d2352e3b48844ea32ff448660f597437415a1c60570dee2199"},"schema_version":"1.0","source":{"id":"2506.08561","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08561","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08561v2","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08561","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"JMGEZTHSDLCZ","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"pith_short_16","alias_value":"JMGEZTHSDLCZDDJF","created_at":"2026-07-05T11:19:29Z"},{"alias_kind":"pith_short_8","alias_value":"JMGEZTHS","created_at":"2026-07-05T11:19:29Z"}],"graph_snapshots":[{"event_id":"sha256:10386713e67bba60f93aa1ac869ffd481b163ad3d038d990fcde4fff1aa705c8","target":"graph","created_at":"2026-07-05T11:19:29Z","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/2506.08561/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"An increasing number of DeFi protocols are gaining popularity, facilitating transactions among multiple anonymous users. State Manipulation is one of the notorious attacks in DeFi smart contracts, with price variable being the most commonly exploited state variable-attackers manipulate token prices to gain illicit profits. In this paper, we propose PriceSleuth, a novel method that leverages the Large Language Model (LLM) and static analysis to detect Price Manipulation (PM) attacks proactively. PriceSleuth firstly identifies core logic function related to price calculation in DeFi contracts. T","authors_text":"Haijun Wang, Hao Wu, Ming Fan, Shangwang Li, Ting Liu, Yin Wu, Yitao Zhao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T08:31:44Z","title":"Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08561","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:e0340d44f4dacbb4c6c0da16fa03ee8ff60948872eb0d3092f84a0719bac8b03","target":"record","created_at":"2026-07-05T11:19:29Z","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":"6839d1522d6b98ed122d99577f8fd7ae38b6a44bd20507e903389f0c4e8cb867","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T08:31:44Z","title_canon_sha256":"30692f6eb86fa7d2352e3b48844ea32ff448660f597437415a1c60570dee2199"},"schema_version":"1.0","source":{"id":"2506.08561","kind":"arxiv","version":2}},"canonical_sha256":"4b0c4cccf21ac5918d2584db5d728a0f3a4ec9e4389d850d20a248a21551f9bb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b0c4cccf21ac5918d2584db5d728a0f3a4ec9e4389d850d20a248a21551f9bb","first_computed_at":"2026-07-05T11:19:29.803201Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:19:29.803201Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HYxD3Zknrkqa6LAITuQ7jLNiyTCjWwUuPvzVe7GhdWainoriYyT/mcl1oygGgh3pOrJm3YI2KM9JqdaQjaBNDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:19:29.803699Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.08561","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e0340d44f4dacbb4c6c0da16fa03ee8ff60948872eb0d3092f84a0719bac8b03","sha256:10386713e67bba60f93aa1ac869ffd481b163ad3d038d990fcde4fff1aa705c8"],"state_sha256":"e1cabb2cb2813138c291ef0bde31f3b6f6e4010acf4951177de0e3ec3794931d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kiggSjp3YtCk1rqSgdp46d4apOsOSmHbyE+OnjWqQAtzSIdl1ZkxsxFeLFnbV0pGiFMWCQQQJjhUZC/cgaq5Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T18:33:09.643622Z","bundle_sha256":"0fcdf835749f4195895e5946f892a3bfaa8d6d6b24dfb10af46d1bc181e20c91"}}