{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BFOMSCKUHPOOKAYBRKSHU3NMJE","short_pith_number":"pith:BFOMSCKU","canonical_record":{"source":{"id":"2506.03909","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T13:04:17Z","cross_cats_sorted":[],"title_canon_sha256":"ab2f6c3f95496f12fd1a88265c7dbd50788da8ea4169abfc4bebe09e65b5f62f","abstract_canon_sha256":"80f663af45423f0f3eea75540a6ae013e7d9023b35e56caebcb9d5f1515be100"},"schema_version":"1.0"},"canonical_sha256":"095cc909543bdce503018aa47a6dac493e404b240fd5b6fd5f9c810048745013","source":{"kind":"arxiv","id":"2506.03909","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.03909","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"arxiv_version","alias_value":"2506.03909v1","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.03909","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"pith_short_12","alias_value":"BFOMSCKUHPOO","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"pith_short_16","alias_value":"BFOMSCKUHPOOKAYB","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"pith_short_8","alias_value":"BFOMSCKU","created_at":"2026-07-05T11:15:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BFOMSCKUHPOOKAYBRKSHU3NMJE","target":"record","payload":{"canonical_record":{"source":{"id":"2506.03909","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T13:04:17Z","cross_cats_sorted":[],"title_canon_sha256":"ab2f6c3f95496f12fd1a88265c7dbd50788da8ea4169abfc4bebe09e65b5f62f","abstract_canon_sha256":"80f663af45423f0f3eea75540a6ae013e7d9023b35e56caebcb9d5f1515be100"},"schema_version":"1.0"},"canonical_sha256":"095cc909543bdce503018aa47a6dac493e404b240fd5b6fd5f9c810048745013","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:15:53.858844Z","signature_b64":"RsuEmuGkt5DhSRlFqdCV3GGSzkomcVO0EMH0fHQvUWpmAcgxSsShAaOWcOqSph3V+IznGwtQBRIS96B99lHiDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"095cc909543bdce503018aa47a6dac493e404b240fd5b6fd5f9c810048745013","last_reissued_at":"2026-07-05T11:15:53.857975Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:15:53.857975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.03909","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:15:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0gimiJ/NZvCKSEi6/jyOzaCW4J1BnJDcZ24NotBLXSucLT+XJELHJ/yrHeMAK3p1I6TbaeXj1QECxqQfQSp3Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:55:59.318023Z"},"content_sha256":"a56ffe66d135559400f56dce5f5bea2e18fe3c48b6851fcbdc21e38bf5e4bb9b","schema_version":"1.0","event_id":"sha256:a56ffe66d135559400f56dce5f5bea2e18fe3c48b6851fcbdc21e38bf5e4bb9b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BFOMSCKUHPOOKAYBRKSHU3NMJE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Solsmith: Solidity Random Program Generator for Compiler Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Lantian Li, Zhihao Liu, Zhongxing Yu","submitted_at":"2025-06-04T13:04:17Z","abstract_excerpt":"Smart contracts are computer programs that run on blockchain platforms, with Solidity being the most widely used language for their development. As blockchain technology advances, smart contracts have become increasingly important across various fields. In order for smart contracts to operate correctly, the correctness of the compiler is particularly crucial. Although some research efforts have been devoted to testing Solidity compilers, they primarily focus on testing methods and do not address the core issue of generating test programs. To fill this gap, this paper designs and implements Sol"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.03909","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.03909/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:15:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NDy12m7UxICcSysChaXhfTM+6jAd9o0roABD7ejajRyB98XvL9qZaE/pUUaCAdqZUmB3IiDoDSBodbw12M1TDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:55:59.319304Z"},"content_sha256":"8dac6974e2031bfcb1f1710c8c08a5e1196f7754cc2b120463d4640ea84d6e74","schema_version":"1.0","event_id":"sha256:8dac6974e2031bfcb1f1710c8c08a5e1196f7754cc2b120463d4640ea84d6e74"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BFOMSCKUHPOOKAYBRKSHU3NMJE/bundle.json","state_url":"https://pith.science/pith/BFOMSCKUHPOOKAYBRKSHU3NMJE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BFOMSCKUHPOOKAYBRKSHU3NMJE/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-08T20:55:59Z","links":{"resolver":"https://pith.science/pith/BFOMSCKUHPOOKAYBRKSHU3NMJE","bundle":"https://pith.science/pith/BFOMSCKUHPOOKAYBRKSHU3NMJE/bundle.json","state":"https://pith.science/pith/BFOMSCKUHPOOKAYBRKSHU3NMJE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BFOMSCKUHPOOKAYBRKSHU3NMJE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BFOMSCKUHPOOKAYBRKSHU3NMJE","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":"80f663af45423f0f3eea75540a6ae013e7d9023b35e56caebcb9d5f1515be100","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T13:04:17Z","title_canon_sha256":"ab2f6c3f95496f12fd1a88265c7dbd50788da8ea4169abfc4bebe09e65b5f62f"},"schema_version":"1.0","source":{"id":"2506.03909","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.03909","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"arxiv_version","alias_value":"2506.03909v1","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.03909","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"pith_short_12","alias_value":"BFOMSCKUHPOO","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"pith_short_16","alias_value":"BFOMSCKUHPOOKAYB","created_at":"2026-07-05T11:15:53Z"},{"alias_kind":"pith_short_8","alias_value":"BFOMSCKU","created_at":"2026-07-05T11:15:53Z"}],"graph_snapshots":[{"event_id":"sha256:8dac6974e2031bfcb1f1710c8c08a5e1196f7754cc2b120463d4640ea84d6e74","target":"graph","created_at":"2026-07-05T11:15:53Z","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.03909/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts are computer programs that run on blockchain platforms, with Solidity being the most widely used language for their development. As blockchain technology advances, smart contracts have become increasingly important across various fields. In order for smart contracts to operate correctly, the correctness of the compiler is particularly crucial. Although some research efforts have been devoted to testing Solidity compilers, they primarily focus on testing methods and do not address the core issue of generating test programs. To fill this gap, this paper designs and implements Sol","authors_text":"Lantian Li, Zhihao Liu, Zhongxing Yu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.03909","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:a56ffe66d135559400f56dce5f5bea2e18fe3c48b6851fcbdc21e38bf5e4bb9b","target":"record","created_at":"2026-07-05T11:15:53Z","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":"80f663af45423f0f3eea75540a6ae013e7d9023b35e56caebcb9d5f1515be100","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T13:04:17Z","title_canon_sha256":"ab2f6c3f95496f12fd1a88265c7dbd50788da8ea4169abfc4bebe09e65b5f62f"},"schema_version":"1.0","source":{"id":"2506.03909","kind":"arxiv","version":1}},"canonical_sha256":"095cc909543bdce503018aa47a6dac493e404b240fd5b6fd5f9c810048745013","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"095cc909543bdce503018aa47a6dac493e404b240fd5b6fd5f9c810048745013","first_computed_at":"2026-07-05T11:15:53.857975Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:53.857975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RsuEmuGkt5DhSRlFqdCV3GGSzkomcVO0EMH0fHQvUWpmAcgxSsShAaOWcOqSph3V+IznGwtQBRIS96B99lHiDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:53.858844Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.03909","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a56ffe66d135559400f56dce5f5bea2e18fe3c48b6851fcbdc21e38bf5e4bb9b","sha256:8dac6974e2031bfcb1f1710c8c08a5e1196f7754cc2b120463d4640ea84d6e74"],"state_sha256":"331eb178bd027417b53229016ab6395d8202e029d11f1077596946094576d41a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aBpkITKJ4IxWqisk5wYub7lv6UjnNZRBWzWCYSaYHF0gXbbckPAnWot1kenw8lHiQDbn8ahasmt0cGERtpl7DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T20:55:59.323594Z","bundle_sha256":"c242077b4c2b4a5db5d405cf48442946dbcc7d60923b6721b7c5fc38c004d11a"}}