{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:DHJPL4QURFG52J2UJHMDFTWCYW","short_pith_number":"pith:DHJPL4QU","schema_version":"1.0","canonical_sha256":"19d2f5f214894ddd275449d832cec2c59ed9f6497f74e061d2e179bc3c3d9d2c","source":{"kind":"arxiv","id":"2412.18484","version":1},"attestation_state":"computed","paper":{"title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.HC","authors_text":"Jun Sun, Lun Zhang, Tai D. Nguyen, Xiaolin Wen, Yong Wang","submitted_at":"2024-12-24T15:16:35Z","abstract_excerpt":"Smart contracts are the fundamental components of blockchain technology. They are programs to determine cryptocurrency transactions, and are irreversible once deployed, making it crucial for cryptocurrency investors to understand the cryptocurrency transaction behaviors of smart contracts comprehensively. However, it is a challenging (if not impossible) task for investors, as they do not necessarily have a programming background to check the complex source code. Even for investors with certain programming skills, inferring all the potential behaviors from the code alone is still difficult, sin"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2412.18484","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.HC","submitted_at":"2024-12-24T15:16:35Z","cross_cats_sorted":[],"title_canon_sha256":"ffbccbd00f51b2599fa49a068ca9b9bfdb8fe8ebcfbcc42e897ea16cc1df34e0","abstract_canon_sha256":"bdb533c8f9c5befa137994bbd83668fab63e4d034e0045b72006c86c6aed7b49"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:53:56.527212Z","signature_b64":"MzXiv3V0baGEe4zNSnpeRJqu89V9g7h8E4TBHpF8ExKU7RNA7GHXf5BLMb1jvRhoOL/DXEzuoa6YzlHosfntDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19d2f5f214894ddd275449d832cec2c59ed9f6497f74e061d2e179bc3c3d9d2c","last_reissued_at":"2026-07-05T09:53:56.526748Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:53:56.526748Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"PrettiSmart: Visual Interpretation of Smart Contracts via Simulation","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.HC","authors_text":"Jun Sun, Lun Zhang, Tai D. Nguyen, Xiaolin Wen, Yong Wang","submitted_at":"2024-12-24T15:16:35Z","abstract_excerpt":"Smart contracts are the fundamental components of blockchain technology. They are programs to determine cryptocurrency transactions, and are irreversible once deployed, making it crucial for cryptocurrency investors to understand the cryptocurrency transaction behaviors of smart contracts comprehensively. However, it is a challenging (if not impossible) task for investors, as they do not necessarily have a programming background to check the complex source code. Even for investors with certain programming skills, inferring all the potential behaviors from the code alone is still difficult, sin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.18484","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/2412.18484/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2412.18484","created_at":"2026-07-05T09:53:56.526810+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.18484v1","created_at":"2026-07-05T09:53:56.526810+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.18484","created_at":"2026-07-05T09:53:56.526810+00:00"},{"alias_kind":"pith_short_12","alias_value":"DHJPL4QURFG5","created_at":"2026-07-05T09:53:56.526810+00:00"},{"alias_kind":"pith_short_16","alias_value":"DHJPL4QURFG52J2U","created_at":"2026-07-05T09:53:56.526810+00:00"},{"alias_kind":"pith_short_8","alias_value":"DHJPL4QU","created_at":"2026-07-05T09:53:56.526810+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW","json":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW.json","graph_json":"https://pith.science/api/pith-number/DHJPL4QURFG52J2UJHMDFTWCYW/graph.json","events_json":"https://pith.science/api/pith-number/DHJPL4QURFG52J2UJHMDFTWCYW/events.json","paper":"https://pith.science/paper/DHJPL4QU"},"agent_actions":{"view_html":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW","download_json":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW.json","view_paper":"https://pith.science/paper/DHJPL4QU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.18484&json=true","fetch_graph":"https://pith.science/api/pith-number/DHJPL4QURFG52J2UJHMDFTWCYW/graph.json","fetch_events":"https://pith.science/api/pith-number/DHJPL4QURFG52J2UJHMDFTWCYW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW/action/storage_attestation","attest_author":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW/action/author_attestation","sign_citation":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW/action/citation_signature","submit_replication":"https://pith.science/pith/DHJPL4QURFG52J2UJHMDFTWCYW/action/replication_record"}},"created_at":"2026-07-05T09:53:56.526810+00:00","updated_at":"2026-07-05T09:53:56.526810+00:00"}