{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:CE67ECMZZCCHXCS44SWU2SRYY3","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":"09c7cc242d3a7e8dc6c17d1c601a88bffb5adbbe9448c5a6e79f22cfc057ee38","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-08-29T13:51:34Z","title_canon_sha256":"5048e40e42ef5e3dbe149b20dff165172566362d2cce48a2af0c0f37ccf756c8"},"schema_version":"1.0","source":{"id":"1908.11227","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.11227","created_at":"2026-07-05T00:00:35Z"},{"alias_kind":"arxiv_version","alias_value":"1908.11227v2","created_at":"2026-07-05T00:00:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.11227","created_at":"2026-07-05T00:00:35Z"},{"alias_kind":"pith_short_12","alias_value":"CE67ECMZZCCH","created_at":"2026-07-05T00:00:35Z"},{"alias_kind":"pith_short_16","alias_value":"CE67ECMZZCCHXCS4","created_at":"2026-07-05T00:00:35Z"},{"alias_kind":"pith_short_8","alias_value":"CE67ECMZ","created_at":"2026-07-05T00:00:35Z"}],"graph_snapshots":[{"event_id":"sha256:3653e4c4d2a2ea807f652a51feaa156e7c74a744f23983b86ca86179ce31fdca","target":"graph","created_at":"2026-07-05T00:00:35Z","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/1908.11227/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present VeriSmart, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically important because smart contracts are immutable and even a single flaw can cause huge financial damage. In particular, ensuring that arithmetic operations are safe is one of the most important and common security concerns of Ethereum smart contracts nowadays. In response, several safety analyzers have been proposed over the past few years, but state-of-the-art is still unsatisfactory; no existing tools achieve high pr","authors_text":"Hakjoo Oh, Heejo Lee, Jisu Park, Myungho Lee, Sunbeom So","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.11227","kind":"arxiv","version":2},"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:728aa997cc13bb4a4ebadf3071cf7e26fd488d24ae59c2e55b03ad0a4db5b066","target":"record","created_at":"2026-07-05T00:00:35Z","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":"09c7cc242d3a7e8dc6c17d1c601a88bffb5adbbe9448c5a6e79f22cfc057ee38","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-08-29T13:51:34Z","title_canon_sha256":"5048e40e42ef5e3dbe149b20dff165172566362d2cce48a2af0c0f37ccf756c8"},"schema_version":"1.0","source":{"id":"1908.11227","kind":"arxiv","version":2}},"canonical_sha256":"113df20999c8847b8a5ce4ad4d4a38c6ed2a03cd6b4803ee4578d843442230a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"113df20999c8847b8a5ce4ad4d4a38c6ed2a03cd6b4803ee4578d843442230a0","first_computed_at":"2026-07-05T00:00:35.524398Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:00:35.524398Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KQuPuJ7fyRLgIskaAMjjejz1155Xr48/qeFaMZ070O2gplXcxAUMW7USnEEIOcKLwtgglCbPBgqAagbFWjJOAw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:00:35.524788Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.11227","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:728aa997cc13bb4a4ebadf3071cf7e26fd488d24ae59c2e55b03ad0a4db5b066","sha256:3653e4c4d2a2ea807f652a51feaa156e7c74a744f23983b86ca86179ce31fdca"],"state_sha256":"e333277f1d93394426985785777b257059c61b8d60449acf2dc394e76e0ef370"}