{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HXWEZXTNKMSAEAMLJLO5EI2OHF","short_pith_number":"pith:HXWEZXTN","canonical_record":{"source":{"id":"2506.12760","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T08:00:12Z","cross_cats_sorted":[],"title_canon_sha256":"810c228e6c1cc309eaa3176a63b063c7b0417d69a4695abc41dd851b60a462a4","abstract_canon_sha256":"9dfcf1476c2696c4b2e582839f6b38cd7c0126a22329910d4fa688ffe531b7cd"},"schema_version":"1.0"},"canonical_sha256":"3dec4cde6d532402018b4addd2234e397ce285ae9c64554c87a6a6ab4bb3bce3","source":{"kind":"arxiv","id":"2506.12760","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.12760","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"arxiv_version","alias_value":"2506.12760v1","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.12760","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"pith_short_12","alias_value":"HXWEZXTNKMSA","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"pith_short_16","alias_value":"HXWEZXTNKMSAEAML","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"pith_short_8","alias_value":"HXWEZXTN","created_at":"2026-07-05T11:21:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HXWEZXTNKMSAEAMLJLO5EI2OHF","target":"record","payload":{"canonical_record":{"source":{"id":"2506.12760","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T08:00:12Z","cross_cats_sorted":[],"title_canon_sha256":"810c228e6c1cc309eaa3176a63b063c7b0417d69a4695abc41dd851b60a462a4","abstract_canon_sha256":"9dfcf1476c2696c4b2e582839f6b38cd7c0126a22329910d4fa688ffe531b7cd"},"schema_version":"1.0"},"canonical_sha256":"3dec4cde6d532402018b4addd2234e397ce285ae9c64554c87a6a6ab4bb3bce3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:21:59.244564Z","signature_b64":"xXcA6IUFObhGmLAuvbSxIgeBOV2yUn+hT928XK9TdkfFFeXVFoiy0k5XIDChQRROCvBu+B1uVBohgWIrpagJAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3dec4cde6d532402018b4addd2234e397ce285ae9c64554c87a6a6ab4bb3bce3","last_reissued_at":"2026-07-05T11:21:59.244087Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:21:59.244087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.12760","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-05T11:21:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"47rSpDhRZC8HRjBTND39jU8/a3YDWsitEjXTYS2ziDhbYTw0bZ78YcMoHoDAelpZk+8qWPTYTrg7LHPafD0CBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T05:53:00.068429Z"},"content_sha256":"ac1d88a23aa1bed3168d9f2aca3a6b4b0118683a0f20dc243dbed7835a78153d","schema_version":"1.0","event_id":"sha256:ac1d88a23aa1bed3168d9f2aca3a6b4b0118683a0f20dc243dbed7835a78153d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HXWEZXTNKMSAEAMLJLO5EI2OHF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"IDOL: Improved Different Optimization Levels Testing for Solidity Compilers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Lantian Li, Yejian Liang, Zhongxing Yu","submitted_at":"2025-06-15T08:00:12Z","abstract_excerpt":"As blockchain technology continues to evolve and mature, smart contracts have become a key driving force behind the digitization and automation of transactions. Smart contracts greatly simplify and refine the traditional business transaction processes, and thus have had a profound impact on various industries such as finance and supply chain management. However, because smart contracts cannot be modified once deployed, any vulnerabilities or design flaws within the contract cannot be easily fixed, potentially leading to significant financial losses or even legal issues. The compiler, as a crit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.12760","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/2506.12760/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:21:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4NiI3gDnMla70/gwB8LhSIZHaQSRY3tFrisr/ENsCZ1T9bRT3iyNiajyi5xHOZdWpOspLoJkBNRFlC46gWl+Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T05:53:00.069025Z"},"content_sha256":"f7570fe835077a51640ff3cd44d5f1024a7a25c5873f9119ea6a7061832e5427","schema_version":"1.0","event_id":"sha256:f7570fe835077a51640ff3cd44d5f1024a7a25c5873f9119ea6a7061832e5427"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HXWEZXTNKMSAEAMLJLO5EI2OHF/bundle.json","state_url":"https://pith.science/pith/HXWEZXTNKMSAEAMLJLO5EI2OHF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HXWEZXTNKMSAEAMLJLO5EI2OHF/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-09T05:53:00Z","links":{"resolver":"https://pith.science/pith/HXWEZXTNKMSAEAMLJLO5EI2OHF","bundle":"https://pith.science/pith/HXWEZXTNKMSAEAMLJLO5EI2OHF/bundle.json","state":"https://pith.science/pith/HXWEZXTNKMSAEAMLJLO5EI2OHF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HXWEZXTNKMSAEAMLJLO5EI2OHF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HXWEZXTNKMSAEAMLJLO5EI2OHF","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":"9dfcf1476c2696c4b2e582839f6b38cd7c0126a22329910d4fa688ffe531b7cd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T08:00:12Z","title_canon_sha256":"810c228e6c1cc309eaa3176a63b063c7b0417d69a4695abc41dd851b60a462a4"},"schema_version":"1.0","source":{"id":"2506.12760","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.12760","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"arxiv_version","alias_value":"2506.12760v1","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.12760","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"pith_short_12","alias_value":"HXWEZXTNKMSA","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"pith_short_16","alias_value":"HXWEZXTNKMSAEAML","created_at":"2026-07-05T11:21:59Z"},{"alias_kind":"pith_short_8","alias_value":"HXWEZXTN","created_at":"2026-07-05T11:21:59Z"}],"graph_snapshots":[{"event_id":"sha256:f7570fe835077a51640ff3cd44d5f1024a7a25c5873f9119ea6a7061832e5427","target":"graph","created_at":"2026-07-05T11:21:59Z","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.12760/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As blockchain technology continues to evolve and mature, smart contracts have become a key driving force behind the digitization and automation of transactions. Smart contracts greatly simplify and refine the traditional business transaction processes, and thus have had a profound impact on various industries such as finance and supply chain management. However, because smart contracts cannot be modified once deployed, any vulnerabilities or design flaws within the contract cannot be easily fixed, potentially leading to significant financial losses or even legal issues. The compiler, as a crit","authors_text":"Lantian Li, Yejian Liang, Zhongxing Yu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T08:00:12Z","title":"IDOL: Improved Different Optimization Levels Testing for Solidity Compilers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.12760","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:ac1d88a23aa1bed3168d9f2aca3a6b4b0118683a0f20dc243dbed7835a78153d","target":"record","created_at":"2026-07-05T11:21:59Z","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":"9dfcf1476c2696c4b2e582839f6b38cd7c0126a22329910d4fa688ffe531b7cd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T08:00:12Z","title_canon_sha256":"810c228e6c1cc309eaa3176a63b063c7b0417d69a4695abc41dd851b60a462a4"},"schema_version":"1.0","source":{"id":"2506.12760","kind":"arxiv","version":1}},"canonical_sha256":"3dec4cde6d532402018b4addd2234e397ce285ae9c64554c87a6a6ab4bb3bce3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3dec4cde6d532402018b4addd2234e397ce285ae9c64554c87a6a6ab4bb3bce3","first_computed_at":"2026-07-05T11:21:59.244087Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:21:59.244087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xXcA6IUFObhGmLAuvbSxIgeBOV2yUn+hT928XK9TdkfFFeXVFoiy0k5XIDChQRROCvBu+B1uVBohgWIrpagJAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:21:59.244564Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.12760","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac1d88a23aa1bed3168d9f2aca3a6b4b0118683a0f20dc243dbed7835a78153d","sha256:f7570fe835077a51640ff3cd44d5f1024a7a25c5873f9119ea6a7061832e5427"],"state_sha256":"f94d31e229e9089862350c04bdd9fc1289da2bc96041ae1905aaf0c11f294e05"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SkHTH4E1acq/8SE6MWdxczE8DhFxrx/X+Fh/XsFB65Fy2pDPKuMFmLUR/N12mTMU2n3thoXCHvOThcnH+dVxCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T05:53:00.077563Z","bundle_sha256":"79af6f119635d498910d447b68dc3d77e0fa012a2ff22f00857ca16409d9a638"}}