{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ACKPZHSNPJKT2POVPVCAP2TJXG","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":"a93a5ce8f5d7f57c00b427d1dca3122ed4b99a9224c0bbac8a7f97b7e98af48b","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-11-21T20:26:18Z","title_canon_sha256":"024289fd9bb438b82b39b9e73357cbcbfc54bb618324b912d9cd11074c945c39"},"schema_version":"1.0","source":{"id":"2411.14563","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14563","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14563v1","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14563","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_12","alias_value":"ACKPZHSNPJKT","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_16","alias_value":"ACKPZHSNPJKT2POV","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_8","alias_value":"ACKPZHSN","created_at":"2026-07-05T09:38:53Z"}],"graph_snapshots":[{"event_id":"sha256:900572a2682712e7627d64bbce2b55a4b184df4f53f98aaf94cfea2a87a5bdd6","target":"graph","created_at":"2026-07-05T09:38: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/2411.14563/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts form the core of Web3 applications. Contracts mediate the transfer of cryptocurrency, making them irresistible targets for hackers. We introduce ASP, a system aimed at easing the construction of provably secure contracts. The Asp system consists of three closely-linked components: a programming language, a defensive compiler, and a proof checker. The language semantics guarantee that Asp contracts are free of commonly exploited vulnerabilities such as arithmetic overflow and reentrancy. The defensive compiler enforces the semantics and translates Asp to Solidity, the most popul","authors_text":"Devora Chait-Roth, Kedar S. Namjoshi","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14563","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:b432bcd85d25f2a5619f2da9ede2d0559af2159e4f5484583d4824822c4e8233","target":"record","created_at":"2026-07-05T09:38: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":"a93a5ce8f5d7f57c00b427d1dca3122ed4b99a9224c0bbac8a7f97b7e98af48b","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-11-21T20:26:18Z","title_canon_sha256":"024289fd9bb438b82b39b9e73357cbcbfc54bb618324b912d9cd11074c945c39"},"schema_version":"1.0","source":{"id":"2411.14563","kind":"arxiv","version":1}},"canonical_sha256":"0094fc9e4d7a553d3dd57d4407ea69b98becfa2b78b478fa87e1c461831ec4d1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0094fc9e4d7a553d3dd57d4407ea69b98becfa2b78b478fa87e1c461831ec4d1","first_computed_at":"2026-07-05T09:38:53.215149Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:38:53.215149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7uI7/rccCEhh8G2LvhfOUzDO6mmEH/QxvwOftobXq+Rd3WZJ3FS0Bb2TN6+YvmtGrOm57utIXgpShonJ713uAg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:38:53.215557Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.14563","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b432bcd85d25f2a5619f2da9ede2d0559af2159e4f5484583d4824822c4e8233","sha256:900572a2682712e7627d64bbce2b55a4b184df4f53f98aaf94cfea2a87a5bdd6"],"state_sha256":"d8dba94b698d53ab13e0f28848195318c547c81b0a9391922008293f79ae0055"}