{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:QLUXGB7TKLL6AMDZ6Y4KUDWGEJ","short_pith_number":"pith:QLUXGB7T","canonical_record":{"source":{"id":"2409.04597","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-06T20:09:01Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"330b41a263c8b960ff328d476d8ea408effac1634fd5b214006ab98a43035282","abstract_canon_sha256":"903125aaf5141016eb1bfda2580729413c72061453b1e850d365c8ca5158ff1b"},"schema_version":"1.0"},"canonical_sha256":"82e97307f352d7e03079f638aa0ec62256e88ce04c11f322540794294a1ea73d","source":{"kind":"arxiv","id":"2409.04597","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.04597","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"arxiv_version","alias_value":"2409.04597v1","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.04597","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"pith_short_12","alias_value":"QLUXGB7TKLL6","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"pith_short_16","alias_value":"QLUXGB7TKLL6AMDZ","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"pith_short_8","alias_value":"QLUXGB7T","created_at":"2026-07-05T09:04:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:QLUXGB7TKLL6AMDZ6Y4KUDWGEJ","target":"record","payload":{"canonical_record":{"source":{"id":"2409.04597","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-06T20:09:01Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"330b41a263c8b960ff328d476d8ea408effac1634fd5b214006ab98a43035282","abstract_canon_sha256":"903125aaf5141016eb1bfda2580729413c72061453b1e850d365c8ca5158ff1b"},"schema_version":"1.0"},"canonical_sha256":"82e97307f352d7e03079f638aa0ec62256e88ce04c11f322540794294a1ea73d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:04:14.983066Z","signature_b64":"nbatsTurd1Azve24iizvkmMgSiaZIiO7AcZav/PDgiaJkkGZ0YGPLYfh9OdJwDGumiKdV30RbvRp9G9wO78tBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"82e97307f352d7e03079f638aa0ec62256e88ce04c11f322540794294a1ea73d","last_reissued_at":"2026-07-05T09:04:14.982658Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:04:14.982658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.04597","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-05T09:04:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vx2CeZwJvvZ8H5hUOXND6aefluakh3NXwsyS7fj3FZSQGAbEp12ZkpTaBTo4mp9B+MQzS83pJ/X0NujfBV3XAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T17:02:00.449307Z"},"content_sha256":"435b1a1a403ab5eeab17ad5474116db67026b9059ee8891b0ec8db5ba3483b40","schema_version":"1.0","event_id":"sha256:435b1a1a403ab5eeab17ad5474116db67026b9059ee8891b0ec8db5ba3483b40"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:QLUXGB7TKLL6AMDZ6Y4KUDWGEJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Detecting Buggy Contracts via Smart Testing","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Hidedaki Takahashi, Jianan Yao, Junfeng Yang, Kexin Pei, Sally Junsong Wang","submitted_at":"2024-09-06T20:09:01Z","abstract_excerpt":"Smart contracts are susceptible to critical vulnerabilities. Hybrid dynamic analyses, such as concolic execution assisted fuzzing and foundation model assisted fuzzing, have emerged as highly effective testing techniques for smart contract bug detection recently. This hybrid approach has shown initial promise in real-world benchmarks, but it still suffers from low scalability to find deep bugs buried in complex code patterns. We observe that performance bottlenecks of existing dynamic analyses and model hallucination are two main factors limiting the scalability of this hybrid approach in find"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.04597","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/2409.04597/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-05T09:04:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zCnD1AZO1kyZ4nZgsL1MfYO2SagS7c6wqDVdnEWA6sUjOA6aP/UFE6V73jKjXqgu/ROYdIcdbPPQEfQKiFSWBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T17:02:00.449704Z"},"content_sha256":"d5699adcfe9339d82ef276d3d6cefc282458500cb6124cbaaefdc11c0ac377d6","schema_version":"1.0","event_id":"sha256:d5699adcfe9339d82ef276d3d6cefc282458500cb6124cbaaefdc11c0ac377d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QLUXGB7TKLL6AMDZ6Y4KUDWGEJ/bundle.json","state_url":"https://pith.science/pith/QLUXGB7TKLL6AMDZ6Y4KUDWGEJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QLUXGB7TKLL6AMDZ6Y4KUDWGEJ/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-07-18T17:02:00Z","links":{"resolver":"https://pith.science/pith/QLUXGB7TKLL6AMDZ6Y4KUDWGEJ","bundle":"https://pith.science/pith/QLUXGB7TKLL6AMDZ6Y4KUDWGEJ/bundle.json","state":"https://pith.science/pith/QLUXGB7TKLL6AMDZ6Y4KUDWGEJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QLUXGB7TKLL6AMDZ6Y4KUDWGEJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QLUXGB7TKLL6AMDZ6Y4KUDWGEJ","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":"903125aaf5141016eb1bfda2580729413c72061453b1e850d365c8ca5158ff1b","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-06T20:09:01Z","title_canon_sha256":"330b41a263c8b960ff328d476d8ea408effac1634fd5b214006ab98a43035282"},"schema_version":"1.0","source":{"id":"2409.04597","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.04597","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"arxiv_version","alias_value":"2409.04597v1","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.04597","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"pith_short_12","alias_value":"QLUXGB7TKLL6","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"pith_short_16","alias_value":"QLUXGB7TKLL6AMDZ","created_at":"2026-07-05T09:04:14Z"},{"alias_kind":"pith_short_8","alias_value":"QLUXGB7T","created_at":"2026-07-05T09:04:14Z"}],"graph_snapshots":[{"event_id":"sha256:d5699adcfe9339d82ef276d3d6cefc282458500cb6124cbaaefdc11c0ac377d6","target":"graph","created_at":"2026-07-05T09:04:14Z","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/2409.04597/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts are susceptible to critical vulnerabilities. Hybrid dynamic analyses, such as concolic execution assisted fuzzing and foundation model assisted fuzzing, have emerged as highly effective testing techniques for smart contract bug detection recently. This hybrid approach has shown initial promise in real-world benchmarks, but it still suffers from low scalability to find deep bugs buried in complex code patterns. We observe that performance bottlenecks of existing dynamic analyses and model hallucination are two main factors limiting the scalability of this hybrid approach in find","authors_text":"Hidedaki Takahashi, Jianan Yao, Junfeng Yang, Kexin Pei, Sally Junsong Wang","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-06T20:09:01Z","title":"Detecting Buggy Contracts via Smart Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.04597","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:435b1a1a403ab5eeab17ad5474116db67026b9059ee8891b0ec8db5ba3483b40","target":"record","created_at":"2026-07-05T09:04:14Z","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":"903125aaf5141016eb1bfda2580729413c72061453b1e850d365c8ca5158ff1b","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-06T20:09:01Z","title_canon_sha256":"330b41a263c8b960ff328d476d8ea408effac1634fd5b214006ab98a43035282"},"schema_version":"1.0","source":{"id":"2409.04597","kind":"arxiv","version":1}},"canonical_sha256":"82e97307f352d7e03079f638aa0ec62256e88ce04c11f322540794294a1ea73d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"82e97307f352d7e03079f638aa0ec62256e88ce04c11f322540794294a1ea73d","first_computed_at":"2026-07-05T09:04:14.982658Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:04:14.982658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nbatsTurd1Azve24iizvkmMgSiaZIiO7AcZav/PDgiaJkkGZ0YGPLYfh9OdJwDGumiKdV30RbvRp9G9wO78tBg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:04:14.983066Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.04597","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:435b1a1a403ab5eeab17ad5474116db67026b9059ee8891b0ec8db5ba3483b40","sha256:d5699adcfe9339d82ef276d3d6cefc282458500cb6124cbaaefdc11c0ac377d6"],"state_sha256":"92b967689f1d5449e8294a20dbd32c83d6c01010380e78a8f42d7645faf2cc52"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9p3lmSIA0tfKpu0HlNgSrNmHCaH91EvA8K2sW83WMPvfiSe2nMzzTAvn5WH1w4CsNQdeEkC6GyY24MmPwcQtAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-18T17:02:00.452212Z","bundle_sha256":"1349b7cfe0eb6b43f3803e12b3cb8e1dce29783f70e812fd302195f7f2e3fddb"}}