{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:UYZQYTUHKN5D4YQ3RZR2SH4TE7","short_pith_number":"pith:UYZQYTUH","canonical_record":{"source":{"id":"1909.03523","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-08T18:24:26Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c07cb16b0b107e2613e40e06c6aa5f2bc686a9d14bb8b914dbeacf59d2720d27","abstract_canon_sha256":"1cd8a5c138c20cd66e55acb189dfd54f66e1847e96303e54697465ad91dc6e2d"},"schema_version":"1.0"},"canonical_sha256":"a6330c4e87537a3e621b8e63a91f9327f16884ee39a26c95a8aa430229a1693b","source":{"kind":"arxiv","id":"1909.03523","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.03523","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"arxiv_version","alias_value":"1909.03523v1","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.03523","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"pith_short_12","alias_value":"UYZQYTUHKN5D","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"pith_short_16","alias_value":"UYZQYTUHKN5D4YQ3","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"pith_short_8","alias_value":"UYZQYTUH","created_at":"2026-07-05T00:03:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:UYZQYTUHKN5D4YQ3RZR2SH4TE7","target":"record","payload":{"canonical_record":{"source":{"id":"1909.03523","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-08T18:24:26Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c07cb16b0b107e2613e40e06c6aa5f2bc686a9d14bb8b914dbeacf59d2720d27","abstract_canon_sha256":"1cd8a5c138c20cd66e55acb189dfd54f66e1847e96303e54697465ad91dc6e2d"},"schema_version":"1.0"},"canonical_sha256":"a6330c4e87537a3e621b8e63a91f9327f16884ee39a26c95a8aa430229a1693b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:03:06.491936Z","signature_b64":"RxCJEHA7G2rXZg9j1ZLb9eFH99xcNH+UDbE89KdiJ4Cpqc5oe2r0OsYO6pjRP/IIDMjboAWZaADxLTjnwehCDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6330c4e87537a3e621b8e63a91f9327f16884ee39a26c95a8aa430229a1693b","last_reissued_at":"2026-07-05T00:03:06.491455Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:03:06.491455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1909.03523","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-05T00:03:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IpaaqgCNQV63S3osYyHImoMhfF51F0HEqRrnPhfoR9GtpmdcishO3tUrccp0se6ePuyILxcdgoPy2jYJG5lEDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T22:34:18.123403Z"},"content_sha256":"10ef703945cf6c1094379383cdffbedafd4d5e4c4c2a918f89fb8e9c432ace72","schema_version":"1.0","event_id":"sha256:10ef703945cf6c1094379383cdffbedafd4d5e4c4c2a918f89fb8e9c432ace72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:UYZQYTUHKN5D4YQ3RZR2SH4TE7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Obsidian: Typestate and Assets for Safer Blockchain Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Brad A. Myers, Jonathan Aldrich, Joshua Sunshine, Michael Coblenz, Miles Baker, Paulette Koronkevich, Reed Oei, Tyler Etzel, Yannick Bloem","submitted_at":"2019-09-08T18:24:26Z","abstract_excerpt":"Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support transactions that transform the state. Unfortunately, bugs in many smart contracts have been exploited by hackers. Obsidian is a novel programming language with a type system that enables static detection of bugs that are common in smart contracts today. Obsidian is based on a core calculus, Silica, for which we proved type soundness. Obsidian uses "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.03523","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/1909.03523/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-05T00:03:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JEfQeLIxeIVywUJwzR/3y7pE/zO8PKD8cXWP8Gk05bkAfxaZ0BTObzmsTxVRKA+hkV8zzWMx0rEAWTCEn9WrDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T22:34:18.123744Z"},"content_sha256":"fafaee30173672efbf86ae0a0050303371acef993f27dff578bedaa28edc491e","schema_version":"1.0","event_id":"sha256:fafaee30173672efbf86ae0a0050303371acef993f27dff578bedaa28edc491e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UYZQYTUHKN5D4YQ3RZR2SH4TE7/bundle.json","state_url":"https://pith.science/pith/UYZQYTUHKN5D4YQ3RZR2SH4TE7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UYZQYTUHKN5D4YQ3RZR2SH4TE7/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-21T22:34:18Z","links":{"resolver":"https://pith.science/pith/UYZQYTUHKN5D4YQ3RZR2SH4TE7","bundle":"https://pith.science/pith/UYZQYTUHKN5D4YQ3RZR2SH4TE7/bundle.json","state":"https://pith.science/pith/UYZQYTUHKN5D4YQ3RZR2SH4TE7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UYZQYTUHKN5D4YQ3RZR2SH4TE7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:UYZQYTUHKN5D4YQ3RZR2SH4TE7","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":"1cd8a5c138c20cd66e55acb189dfd54f66e1847e96303e54697465ad91dc6e2d","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-08T18:24:26Z","title_canon_sha256":"c07cb16b0b107e2613e40e06c6aa5f2bc686a9d14bb8b914dbeacf59d2720d27"},"schema_version":"1.0","source":{"id":"1909.03523","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.03523","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"arxiv_version","alias_value":"1909.03523v1","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.03523","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"pith_short_12","alias_value":"UYZQYTUHKN5D","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"pith_short_16","alias_value":"UYZQYTUHKN5D4YQ3","created_at":"2026-07-05T00:03:06Z"},{"alias_kind":"pith_short_8","alias_value":"UYZQYTUH","created_at":"2026-07-05T00:03:06Z"}],"graph_snapshots":[{"event_id":"sha256:fafaee30173672efbf86ae0a0050303371acef993f27dff578bedaa28edc491e","target":"graph","created_at":"2026-07-05T00:03:06Z","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/1909.03523/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support transactions that transform the state. Unfortunately, bugs in many smart contracts have been exploited by hackers. Obsidian is a novel programming language with a type system that enables static detection of bugs that are common in smart contracts today. Obsidian is based on a core calculus, Silica, for which we proved type soundness. Obsidian uses ","authors_text":"Brad A. Myers, Jonathan Aldrich, Joshua Sunshine, Michael Coblenz, Miles Baker, Paulette Koronkevich, Reed Oei, Tyler Etzel, Yannick Bloem","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-08T18:24:26Z","title":"Obsidian: Typestate and Assets for Safer Blockchain Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.03523","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:10ef703945cf6c1094379383cdffbedafd4d5e4c4c2a918f89fb8e9c432ace72","target":"record","created_at":"2026-07-05T00:03:06Z","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":"1cd8a5c138c20cd66e55acb189dfd54f66e1847e96303e54697465ad91dc6e2d","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-08T18:24:26Z","title_canon_sha256":"c07cb16b0b107e2613e40e06c6aa5f2bc686a9d14bb8b914dbeacf59d2720d27"},"schema_version":"1.0","source":{"id":"1909.03523","kind":"arxiv","version":1}},"canonical_sha256":"a6330c4e87537a3e621b8e63a91f9327f16884ee39a26c95a8aa430229a1693b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6330c4e87537a3e621b8e63a91f9327f16884ee39a26c95a8aa430229a1693b","first_computed_at":"2026-07-05T00:03:06.491455Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:03:06.491455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RxCJEHA7G2rXZg9j1ZLb9eFH99xcNH+UDbE89KdiJ4Cpqc5oe2r0OsYO6pjRP/IIDMjboAWZaADxLTjnwehCDw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:03:06.491936Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.03523","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10ef703945cf6c1094379383cdffbedafd4d5e4c4c2a918f89fb8e9c432ace72","sha256:fafaee30173672efbf86ae0a0050303371acef993f27dff578bedaa28edc491e"],"state_sha256":"7e59b96ffbd4ab7f041bd01634b41d0dc25583cde184f1cf44c51ac898f8b855"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u+QUJ8mOTe/O9tW8wMqXJ0ca0ZsnBzixo0k2bPIkxLCIYTBu8Ey0x/3BhI0yYDF6CnMEPQjFRDan1iywzx9vDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T22:34:18.126810Z","bundle_sha256":"a813648fbd9790ca5eab63cad8cdc766901701542440e09f6659396461ce9d75"}}