{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:43SRYPVD6LPOWB3RNJNIVBQJF3","short_pith_number":"pith:43SRYPVD","canonical_record":{"source":{"id":"2310.20212","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2023-10-31T06:20:42Z","cross_cats_sorted":[],"title_canon_sha256":"a593b3b1e733535dba26db39d980b5b603c90087e59fa75421e42a6d5cd9c254","abstract_canon_sha256":"4843c80a92673fee59dd9aad48e5ef7d7bd47d8ef7979a253eb28ba442e31d3a"},"schema_version":"1.0"},"canonical_sha256":"e6e51c3ea3f2deeb07716a5a8a86092ee3771f0249783ac84d6dd32079d64304","source":{"kind":"arxiv","id":"2310.20212","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.20212","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"arxiv_version","alias_value":"2310.20212v4","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.20212","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"pith_short_12","alias_value":"43SRYPVD6LPO","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"pith_short_16","alias_value":"43SRYPVD6LPOWB3R","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"pith_short_8","alias_value":"43SRYPVD","created_at":"2026-07-05T09:47:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:43SRYPVD6LPOWB3RNJNIVBQJF3","target":"record","payload":{"canonical_record":{"source":{"id":"2310.20212","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2023-10-31T06:20:42Z","cross_cats_sorted":[],"title_canon_sha256":"a593b3b1e733535dba26db39d980b5b603c90087e59fa75421e42a6d5cd9c254","abstract_canon_sha256":"4843c80a92673fee59dd9aad48e5ef7d7bd47d8ef7979a253eb28ba442e31d3a"},"schema_version":"1.0"},"canonical_sha256":"e6e51c3ea3f2deeb07716a5a8a86092ee3771f0249783ac84d6dd32079d64304","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:47:27.021087Z","signature_b64":"vVSaJd/hCAY7V7CgcvZT1Ft6gcCo9PVplITmBGrYSvG4Z36BR+MLRJn1MERuUVrmKnOPHwrDjcRVGxb1JrC4Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e6e51c3ea3f2deeb07716a5a8a86092ee3771f0249783ac84d6dd32079d64304","last_reissued_at":"2026-07-05T09:47:27.020633Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:47:27.020633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.20212","source_version":4,"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:47:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1rnLEkh4yGG/GPKvuIYD9GqZNeCrrZI6YWq1vA7NaFwD9GzSL50FEPk5riVUZAKAgAYECLNYDEatIvx0SDvQCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:40:00.459237Z"},"content_sha256":"6c98ca97480dd9bc9f4907cc3c8a6467fceb5d253aad1d843b9d8d3e31d493e4","schema_version":"1.0","event_id":"sha256:6c98ca97480dd9bc9f4907cc3c8a6467fceb5d253aad1d843b9d8d3e31d493e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:43SRYPVD6LPOWB3RNJNIVBQJF3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Jing Sun, Liehuang Zhu, Xianhao Zhang, Zhiyuan Wei, Zijian Zhang","submitted_at":"2023-10-31T06:20:42Z","abstract_excerpt":"Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins, they become a prime target for attacks. One of the primary challenges is keeping abreast of the latest techniques and tools for developing secure smart contracts and examining those already deployed. In this paper, we seek to address these challenges from four aspects: (1) We begin by examining ten automatic tools, specifically focusing on their methodologi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.20212","kind":"arxiv","version":4},"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/2310.20212/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:47:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oa+kqo/xVKmD7U8f36/xqYrScs5xWC1IvmnkQLuNInYXNrdZriUK+bvXHtbFPechltxbGGA1dUxBm3wrvy52BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:40:00.459632Z"},"content_sha256":"e6bd490d799d8fc3b42b7383933f399b1bd092d559338041025dbc34b05aa608","schema_version":"1.0","event_id":"sha256:e6bd490d799d8fc3b42b7383933f399b1bd092d559338041025dbc34b05aa608"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/43SRYPVD6LPOWB3RNJNIVBQJF3/bundle.json","state_url":"https://pith.science/pith/43SRYPVD6LPOWB3RNJNIVBQJF3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/43SRYPVD6LPOWB3RNJNIVBQJF3/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-09T06:40:00Z","links":{"resolver":"https://pith.science/pith/43SRYPVD6LPOWB3RNJNIVBQJF3","bundle":"https://pith.science/pith/43SRYPVD6LPOWB3RNJNIVBQJF3/bundle.json","state":"https://pith.science/pith/43SRYPVD6LPOWB3RNJNIVBQJF3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/43SRYPVD6LPOWB3RNJNIVBQJF3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:43SRYPVD6LPOWB3RNJNIVBQJF3","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":"4843c80a92673fee59dd9aad48e5ef7d7bd47d8ef7979a253eb28ba442e31d3a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2023-10-31T06:20:42Z","title_canon_sha256":"a593b3b1e733535dba26db39d980b5b603c90087e59fa75421e42a6d5cd9c254"},"schema_version":"1.0","source":{"id":"2310.20212","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.20212","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"arxiv_version","alias_value":"2310.20212v4","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.20212","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"pith_short_12","alias_value":"43SRYPVD6LPO","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"pith_short_16","alias_value":"43SRYPVD6LPOWB3R","created_at":"2026-07-05T09:47:27Z"},{"alias_kind":"pith_short_8","alias_value":"43SRYPVD","created_at":"2026-07-05T09:47:27Z"}],"graph_snapshots":[{"event_id":"sha256:e6bd490d799d8fc3b42b7383933f399b1bd092d559338041025dbc34b05aa608","target":"graph","created_at":"2026-07-05T09:47: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/2310.20212/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins, they become a prime target for attacks. One of the primary challenges is keeping abreast of the latest techniques and tools for developing secure smart contracts and examining those already deployed. In this paper, we seek to address these challenges from four aspects: (1) We begin by examining ten automatic tools, specifically focusing on their methodologi","authors_text":"Jing Sun, Liehuang Zhu, Xianhao Zhang, Zhiyuan Wei, Zijian Zhang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2023-10-31T06:20:42Z","title":"A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.20212","kind":"arxiv","version":4},"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:6c98ca97480dd9bc9f4907cc3c8a6467fceb5d253aad1d843b9d8d3e31d493e4","target":"record","created_at":"2026-07-05T09:47: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":"4843c80a92673fee59dd9aad48e5ef7d7bd47d8ef7979a253eb28ba442e31d3a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2023-10-31T06:20:42Z","title_canon_sha256":"a593b3b1e733535dba26db39d980b5b603c90087e59fa75421e42a6d5cd9c254"},"schema_version":"1.0","source":{"id":"2310.20212","kind":"arxiv","version":4}},"canonical_sha256":"e6e51c3ea3f2deeb07716a5a8a86092ee3771f0249783ac84d6dd32079d64304","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e6e51c3ea3f2deeb07716a5a8a86092ee3771f0249783ac84d6dd32079d64304","first_computed_at":"2026-07-05T09:47:27.020633Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:47:27.020633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vVSaJd/hCAY7V7CgcvZT1Ft6gcCo9PVplITmBGrYSvG4Z36BR+MLRJn1MERuUVrmKnOPHwrDjcRVGxb1JrC4Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:47:27.021087Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.20212","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6c98ca97480dd9bc9f4907cc3c8a6467fceb5d253aad1d843b9d8d3e31d493e4","sha256:e6bd490d799d8fc3b42b7383933f399b1bd092d559338041025dbc34b05aa608"],"state_sha256":"a684240ddf9f43772aeae04d04b837ffc7da08848020cba943822dc9f8c7f762"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NQc+xAEWUjOInB5RBKqQgZs7cwSTIeP08FA+njAXcH0DscGeuBlvW9+9BlEpnscYEobOYkTHew0uWXlSNpkHDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T06:40:00.462040Z","bundle_sha256":"84213e7baadcf77353b6ff6aff606027948a521655fcebed34748a2d370cbe7c"}}