{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:4WPA6ENUQQTX3R7ZDB2INPZHLX","short_pith_number":"pith:4WPA6ENU","canonical_record":{"source":{"id":"2003.12209","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-27T02:38:30Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"d605b701d6fa54e201a9dd8fe48830a647e66abd8e05b103832c251821a87b36","abstract_canon_sha256":"06deb441a62a91f0bd54258b1bbeef5e56ce494d7cbf532b0000eb836f5f2299"},"schema_version":"1.0"},"canonical_sha256":"e59e0f11b484277dc7f9187486bf275df29f2237490affcb879e0e023a234b97","source":{"kind":"arxiv","id":"2003.12209","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2003.12209","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"arxiv_version","alias_value":"2003.12209v2","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2003.12209","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"pith_short_12","alias_value":"4WPA6ENUQQTX","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"pith_short_16","alias_value":"4WPA6ENUQQTX3R7Z","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"pith_short_8","alias_value":"4WPA6ENU","created_at":"2026-07-05T01:43:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:4WPA6ENUQQTX3R7ZDB2INPZHLX","target":"record","payload":{"canonical_record":{"source":{"id":"2003.12209","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-27T02:38:30Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"d605b701d6fa54e201a9dd8fe48830a647e66abd8e05b103832c251821a87b36","abstract_canon_sha256":"06deb441a62a91f0bd54258b1bbeef5e56ce494d7cbf532b0000eb836f5f2299"},"schema_version":"1.0"},"canonical_sha256":"e59e0f11b484277dc7f9187486bf275df29f2237490affcb879e0e023a234b97","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:43:24.969884Z","signature_b64":"3e136Thc7i3+ARxObX2DvByihrH/X09xuiDAlbkrnjI15EezdI0l3YGTuVnwdSPw0Ms04herUG5pSJZMrga0AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e59e0f11b484277dc7f9187486bf275df29f2237490affcb879e0e023a234b97","last_reissued_at":"2026-07-05T01:43:24.969404Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:43:24.969404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2003.12209","source_version":2,"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-05T01:43:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NlotQf/svWPhlIlEmlfb2o6HGw+oS4rr6ES+PjDLml5rt4OhoSVeW/KiV9yhavRyUtGAoFTnzWz7PIUQs0ZsDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T04:21:34.684771Z"},"content_sha256":"29c1bd3b19b3967b84b2ac616284ce608fc94ba456634261cffa8427fa0f60f9","schema_version":"1.0","event_id":"sha256:29c1bd3b19b3967b84b2ac616284ce608fc94ba456634261cffa8427fa0f60f9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:4WPA6ENUQQTX3R7ZDB2INPZHLX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Brad A. Myers, Jonathan Aldrich, Joshua Sunshine, Michael Coblenz","submitted_at":"2020-03-27T02:38:30Z","abstract_excerpt":"Some blockchain programs (smart contracts) have included serious security vulnerabilities. Obsidian is a new typestate-oriented programming language that uses a strong type system to rule out some of these vulnerabilities. Although Obsidian was designed to promote usability to make it as easy as possible to write programs, strong type systems can cause a language to be difficult to use. In particular, ownership, typestate, and assets, which Obsidian uses to provide safety guarantees, have not seen broad adoption together in popular languages and result in significant usability challenges. We p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2003.12209","kind":"arxiv","version":2},"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/2003.12209/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-05T01:43:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ypkzzb2ZhBIoApCXZftE7smSEEuFWX/cH0Ykk1XLbZ5EM5x0rXgtY1ZI+J/hXy+xnCPYvA2Zxjl+acnNe8rQBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T04:21:34.685234Z"},"content_sha256":"22c442165a244a028500d1888ec654199c899c02566d9bb397d03d907cf81d57","schema_version":"1.0","event_id":"sha256:22c442165a244a028500d1888ec654199c899c02566d9bb397d03d907cf81d57"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4WPA6ENUQQTX3R7ZDB2INPZHLX/bundle.json","state_url":"https://pith.science/pith/4WPA6ENUQQTX3R7ZDB2INPZHLX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4WPA6ENUQQTX3R7ZDB2INPZHLX/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-04T04:21:34Z","links":{"resolver":"https://pith.science/pith/4WPA6ENUQQTX3R7ZDB2INPZHLX","bundle":"https://pith.science/pith/4WPA6ENUQQTX3R7ZDB2INPZHLX/bundle.json","state":"https://pith.science/pith/4WPA6ENUQQTX3R7ZDB2INPZHLX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4WPA6ENUQQTX3R7ZDB2INPZHLX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:4WPA6ENUQQTX3R7ZDB2INPZHLX","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":"06deb441a62a91f0bd54258b1bbeef5e56ce494d7cbf532b0000eb836f5f2299","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-27T02:38:30Z","title_canon_sha256":"d605b701d6fa54e201a9dd8fe48830a647e66abd8e05b103832c251821a87b36"},"schema_version":"1.0","source":{"id":"2003.12209","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2003.12209","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"arxiv_version","alias_value":"2003.12209v2","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2003.12209","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"pith_short_12","alias_value":"4WPA6ENUQQTX","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"pith_short_16","alias_value":"4WPA6ENUQQTX3R7Z","created_at":"2026-07-05T01:43:24Z"},{"alias_kind":"pith_short_8","alias_value":"4WPA6ENU","created_at":"2026-07-05T01:43:24Z"}],"graph_snapshots":[{"event_id":"sha256:22c442165a244a028500d1888ec654199c899c02566d9bb397d03d907cf81d57","target":"graph","created_at":"2026-07-05T01:43:24Z","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/2003.12209/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Some blockchain programs (smart contracts) have included serious security vulnerabilities. Obsidian is a new typestate-oriented programming language that uses a strong type system to rule out some of these vulnerabilities. Although Obsidian was designed to promote usability to make it as easy as possible to write programs, strong type systems can cause a language to be difficult to use. In particular, ownership, typestate, and assets, which Obsidian uses to provide safety guarantees, have not seen broad adoption together in popular languages and result in significant usability challenges. We p","authors_text":"Brad A. Myers, Jonathan Aldrich, Joshua Sunshine, Michael Coblenz","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-27T02:38:30Z","title":"Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2003.12209","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:29c1bd3b19b3967b84b2ac616284ce608fc94ba456634261cffa8427fa0f60f9","target":"record","created_at":"2026-07-05T01:43:24Z","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":"06deb441a62a91f0bd54258b1bbeef5e56ce494d7cbf532b0000eb836f5f2299","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-03-27T02:38:30Z","title_canon_sha256":"d605b701d6fa54e201a9dd8fe48830a647e66abd8e05b103832c251821a87b36"},"schema_version":"1.0","source":{"id":"2003.12209","kind":"arxiv","version":2}},"canonical_sha256":"e59e0f11b484277dc7f9187486bf275df29f2237490affcb879e0e023a234b97","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e59e0f11b484277dc7f9187486bf275df29f2237490affcb879e0e023a234b97","first_computed_at":"2026-07-05T01:43:24.969404Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:43:24.969404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3e136Thc7i3+ARxObX2DvByihrH/X09xuiDAlbkrnjI15EezdI0l3YGTuVnwdSPw0Ms04herUG5pSJZMrga0AA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:43:24.969884Z","signed_message":"canonical_sha256_bytes"},"source_id":"2003.12209","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:29c1bd3b19b3967b84b2ac616284ce608fc94ba456634261cffa8427fa0f60f9","sha256:22c442165a244a028500d1888ec654199c899c02566d9bb397d03d907cf81d57"],"state_sha256":"4b2962a4842c8a29cba42adeb1507c320588e1eef6eaf4af982031ce64bc2372"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xumc4ZZzd22u/Te3Ml2Be2VL8ccgkWanP1x2s81juUqnFYxrBSH+c7aBNFeBnAD0nS94CoKnDj9hrEXdY6nGDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T04:21:34.688320Z","bundle_sha256":"940ad21a32b2e49a9728208fc1bfed2c21e97936d3445b947ca33aa50ada1c6b"}}