{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:GZ2DLPFGKGYFXON4SECE7CF3BD","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":"61407a9b1853be1be9fa685f6fa689ba56abc996874801cebbef9c198cc5578e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-12-07T18:32:19Z","title_canon_sha256":"66c595226e9a60b75b611a80da6227e35ada3f8757e2fda764219a2b636e4d42"},"schema_version":"1.0","source":{"id":"2312.04512","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.04512","created_at":"2026-07-05T07:22:27Z"},{"alias_kind":"arxiv_version","alias_value":"2312.04512v2","created_at":"2026-07-05T07:22:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.04512","created_at":"2026-07-05T07:22:27Z"},{"alias_kind":"pith_short_12","alias_value":"GZ2DLPFGKGYF","created_at":"2026-07-05T07:22:27Z"},{"alias_kind":"pith_short_16","alias_value":"GZ2DLPFGKGYFXON4","created_at":"2026-07-05T07:22:27Z"},{"alias_kind":"pith_short_8","alias_value":"GZ2DLPFG","created_at":"2026-07-05T07:22:27Z"}],"graph_snapshots":[{"event_id":"sha256:1d1d85b046357d2c401fe775826f251e3a8fd5096427c9becce449501a7b02aa","target":"graph","created_at":"2026-07-05T07:22:27Z","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/2312.04512/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As blockchain smart contracts become more widespread and carry more valuable digital assets, they become an increasingly attractive target for attackers. Over the past few years, smart contracts have been subject to a plethora of devastating attacks, resulting in billions of dollars in financial losses. There has been a notable surge of research interest in identifying defects in smart contracts. However, existing smart contract fuzzing tools are still unsatisfactory. They struggle to screen out meaningful transaction sequences and specify critical inputs for each transaction. As a result, the","authors_text":"Dazhong Rong, Hanjie Wu, Jianhai Chen, Lun Zhang, Peng Qian, Qinming He, Turan Vural, Yanbin Wang, Zeren Du, Zheng Cao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-12-07T18:32:19Z","title":"MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.04512","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:a7dc68c61651bfabcbfbb23ffa4d46fa5963f1d7f06b8c8420283a0d43fc1b3e","target":"record","created_at":"2026-07-05T07:22:27Z","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":"61407a9b1853be1be9fa685f6fa689ba56abc996874801cebbef9c198cc5578e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-12-07T18:32:19Z","title_canon_sha256":"66c595226e9a60b75b611a80da6227e35ada3f8757e2fda764219a2b636e4d42"},"schema_version":"1.0","source":{"id":"2312.04512","kind":"arxiv","version":2}},"canonical_sha256":"367435bca651b05bb9bc91044f88bb08f98605159e48dd00d92cd4c2dcb203b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"367435bca651b05bb9bc91044f88bb08f98605159e48dd00d92cd4c2dcb203b8","first_computed_at":"2026-07-05T07:22:27.708509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:22:27.708509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"c5uzmpkxDc4PfMbRUj9M5sxtYoUqmaeb/TrGBkTkWrl3bszhVY5+B8QdJuXDDmQCqqsmm59BRmm6eyA5B70xCA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:22:27.709027Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.04512","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a7dc68c61651bfabcbfbb23ffa4d46fa5963f1d7f06b8c8420283a0d43fc1b3e","sha256:1d1d85b046357d2c401fe775826f251e3a8fd5096427c9becce449501a7b02aa"],"state_sha256":"1d8749d4b9310231e8612ca4efe245af2c580790d51af08f163feb1193e79594"}