{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:P3A7MIZ3TDGOD34HAJYHNUQ3OZ","short_pith_number":"pith:P3A7MIZ3","canonical_record":{"source":{"id":"2608.10265","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-10T22:06:14Z","cross_cats_sorted":[],"title_canon_sha256":"59b3872ba7e3061bdb4f7c1f2eacc28e55e61984f4c5fefb92dc054387cad04b","abstract_canon_sha256":"bd2347c298a242f5b69310c19574dfc42b6d8cd566511119159bb623da5f04bf"},"schema_version":"1.0"},"canonical_sha256":"7ec1f6233b98cce1ef87027076d21b765571b6b525b22e698db68eb305216089","source":{"kind":"arxiv","id":"2608.10265","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.10265","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"arxiv_version","alias_value":"2608.10265v1","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.10265","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"pith_short_12","alias_value":"P3A7MIZ3TDGO","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"pith_short_16","alias_value":"P3A7MIZ3TDGOD34H","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"pith_short_8","alias_value":"P3A7MIZ3","created_at":"2026-08-12T00:23:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:P3A7MIZ3TDGOD34HAJYHNUQ3OZ","target":"record","payload":{"canonical_record":{"source":{"id":"2608.10265","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-10T22:06:14Z","cross_cats_sorted":[],"title_canon_sha256":"59b3872ba7e3061bdb4f7c1f2eacc28e55e61984f4c5fefb92dc054387cad04b","abstract_canon_sha256":"bd2347c298a242f5b69310c19574dfc42b6d8cd566511119159bb623da5f04bf"},"schema_version":"1.0"},"canonical_sha256":"7ec1f6233b98cce1ef87027076d21b765571b6b525b22e698db68eb305216089","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-12T00:23:12.951730Z","signature_b64":"BvFi/Tx92GWupsw+Oe/5kNBguWdFdjTaJD0E6kzWc4u+jBbEJ88zYal/9KPxMaY5SuhAq9KPqtQFaodjCTTlDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ec1f6233b98cce1ef87027076d21b765571b6b525b22e698db68eb305216089","last_reissued_at":"2026-08-12T00:23:12.949795Z","signature_status":"signed_v1","first_computed_at":"2026-08-12T00:23:12.949795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.10265","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-08-12T00:23:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"koSRTxAoEGAKdLvtOphdWvPWjQNmOu8NaRXLxbSwpmAIhL/XkRVV+G+niRARAO81ZAEBChCNkModqWLv1w5xDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:42:31.384311Z"},"content_sha256":"9b52bbe09291f0f16bfafed767dd1ca549f6a15e952c014bffca6056a66bf934","schema_version":"1.0","event_id":"sha256:9b52bbe09291f0f16bfafed767dd1ca549f6a15e952c014bffca6056a66bf934"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:P3A7MIZ3TDGOD34HAJYHNUQ3OZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Affan Rauf, Muhammad Ali Amer, Muhammad Ali Hassan Ahmad, Muhammad Hashim Ali, Muhammad Hassan, Muhammad Naiman Jalil","submitted_at":"2026-08-10T22:06:14Z","abstract_excerpt":"A blockchain is a decentralized, secure ledger system that enables transparent and immutable record-keeping, essential for trust and security in digital transactions. Smart contracts are self-executing agreements encoded on a blockchain, enabling different parties to fulfill the terms of the agreement automatically. These contracts trigger corresponding actions when conditions are met, ensuring decentralized and transparent transactions. Writing reliable smart contracts is challenging due to the lack of standardization. To find security vulnerabilities, tools based on various approaches, inclu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.10265","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/2608.10265/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-08-12T00:23:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+5PxpbmrbCbv3UfZ/KZuJtKNEG+93EP4DdFZkWOXinCSCdkXjuM/xN1fTSrj22xomHOEA5ygr6lvzeg9J9COCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:42:31.385282Z"},"content_sha256":"c72ded081161c5cd88f559530b4e2d1a460ab7cd36ce9e3c9fb2306165654468","schema_version":"1.0","event_id":"sha256:c72ded081161c5cd88f559530b4e2d1a460ab7cd36ce9e3c9fb2306165654468"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P3A7MIZ3TDGOD34HAJYHNUQ3OZ/bundle.json","state_url":"https://pith.science/pith/P3A7MIZ3TDGOD34HAJYHNUQ3OZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P3A7MIZ3TDGOD34HAJYHNUQ3OZ/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-18T15:42:31Z","links":{"resolver":"https://pith.science/pith/P3A7MIZ3TDGOD34HAJYHNUQ3OZ","bundle":"https://pith.science/pith/P3A7MIZ3TDGOD34HAJYHNUQ3OZ/bundle.json","state":"https://pith.science/pith/P3A7MIZ3TDGOD34HAJYHNUQ3OZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P3A7MIZ3TDGOD34HAJYHNUQ3OZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:P3A7MIZ3TDGOD34HAJYHNUQ3OZ","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":"bd2347c298a242f5b69310c19574dfc42b6d8cd566511119159bb623da5f04bf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-10T22:06:14Z","title_canon_sha256":"59b3872ba7e3061bdb4f7c1f2eacc28e55e61984f4c5fefb92dc054387cad04b"},"schema_version":"1.0","source":{"id":"2608.10265","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.10265","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"arxiv_version","alias_value":"2608.10265v1","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.10265","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"pith_short_12","alias_value":"P3A7MIZ3TDGO","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"pith_short_16","alias_value":"P3A7MIZ3TDGOD34H","created_at":"2026-08-12T00:23:12Z"},{"alias_kind":"pith_short_8","alias_value":"P3A7MIZ3","created_at":"2026-08-12T00:23:12Z"}],"graph_snapshots":[{"event_id":"sha256:c72ded081161c5cd88f559530b4e2d1a460ab7cd36ce9e3c9fb2306165654468","target":"graph","created_at":"2026-08-12T00:23:12Z","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/2608.10265/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A blockchain is a decentralized, secure ledger system that enables transparent and immutable record-keeping, essential for trust and security in digital transactions. Smart contracts are self-executing agreements encoded on a blockchain, enabling different parties to fulfill the terms of the agreement automatically. These contracts trigger corresponding actions when conditions are met, ensuring decentralized and transparent transactions. Writing reliable smart contracts is challenging due to the lack of standardization. To find security vulnerabilities, tools based on various approaches, inclu","authors_text":"Affan Rauf, Muhammad Ali Amer, Muhammad Ali Hassan Ahmad, Muhammad Hashim Ali, Muhammad Hassan, Muhammad Naiman Jalil","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.10265","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:9b52bbe09291f0f16bfafed767dd1ca549f6a15e952c014bffca6056a66bf934","target":"record","created_at":"2026-08-12T00:23:12Z","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":"bd2347c298a242f5b69310c19574dfc42b6d8cd566511119159bb623da5f04bf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-10T22:06:14Z","title_canon_sha256":"59b3872ba7e3061bdb4f7c1f2eacc28e55e61984f4c5fefb92dc054387cad04b"},"schema_version":"1.0","source":{"id":"2608.10265","kind":"arxiv","version":1}},"canonical_sha256":"7ec1f6233b98cce1ef87027076d21b765571b6b525b22e698db68eb305216089","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ec1f6233b98cce1ef87027076d21b765571b6b525b22e698db68eb305216089","first_computed_at":"2026-08-12T00:23:12.949795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-12T00:23:12.949795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BvFi/Tx92GWupsw+Oe/5kNBguWdFdjTaJD0E6kzWc4u+jBbEJ88zYal/9KPxMaY5SuhAq9KPqtQFaodjCTTlDg==","signature_status":"signed_v1","signed_at":"2026-08-12T00:23:12.951730Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.10265","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b52bbe09291f0f16bfafed767dd1ca549f6a15e952c014bffca6056a66bf934","sha256:c72ded081161c5cd88f559530b4e2d1a460ab7cd36ce9e3c9fb2306165654468"],"state_sha256":"9517f47774787ca7fd9db30154aaae4037d98768da2c072737e65dd62c0cb7ae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AhXgAvOw11m5F8Wil8lHjJwnEeF8/un8l1CyM5nuEDnusAku5Ew83MJdfGFhN+wSuI84xJ9N/UoK2V3HMdXLDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T15:42:31.393576Z","bundle_sha256":"0aec472fffea9ef9d7cf802dd5cb837855b6208acecf8f774aa82f5ab100a223"}}