{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:BKAQM6GZBP2BDGBRU2LW25MNPM","short_pith_number":"pith:BKAQM6GZ","canonical_record":{"source":{"id":"1904.06534","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-13T12:44:59Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"5b2df3e5823ef58488aba5fc2ee3af6e12b5148e3de139ab4154a732dc13a33d","abstract_canon_sha256":"9b58c8e35364b4515bd94d78d476ed95fe61945cc1f4c1d3256ae79207b7f106"},"schema_version":"1.0"},"canonical_sha256":"0a810678d90bf4119831a6976d758d7b06251d61cbeff544f200e78117853a71","source":{"kind":"arxiv","id":"1904.06534","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.06534","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"arxiv_version","alias_value":"1904.06534v1","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.06534","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"pith_short_12","alias_value":"BKAQM6GZBP2B","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"BKAQM6GZBP2BDGBR","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"BKAQM6GZ","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:BKAQM6GZBP2BDGBRU2LW25MNPM","target":"record","payload":{"canonical_record":{"source":{"id":"1904.06534","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-13T12:44:59Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"5b2df3e5823ef58488aba5fc2ee3af6e12b5148e3de139ab4154a732dc13a33d","abstract_canon_sha256":"9b58c8e35364b4515bd94d78d476ed95fe61945cc1f4c1d3256ae79207b7f106"},"schema_version":"1.0"},"canonical_sha256":"0a810678d90bf4119831a6976d758d7b06251d61cbeff544f200e78117853a71","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:38.922934Z","signature_b64":"ppzT1z+O/uyIW3SvN5NO1tR0eXQBg8xXyafxciSVtshYxc4YsFuyy1wPBWHTKXIfIwc2dNj+52p07VBZh1OdCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0a810678d90bf4119831a6976d758d7b06251d61cbeff544f200e78117853a71","last_reissued_at":"2026-05-17T23:48:38.922250Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:38.922250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.06534","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-05-17T23:48:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hf9rOVmUY/Un5FdWnYRsrzIdbmFmsV3ZufXGclYqbvMvdmzZYtuNho35PBuwwDVs7CPf8pZxy9U2Fa7rFGh5Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:25:22.102051Z"},"content_sha256":"a0fd872fbba6c60b163c24987e7479ca817ca1eea8353bc3dfefaa88b8f40554","schema_version":"1.0","event_id":"sha256:a0fd872fbba6c60b163c24987e7479ca817ca1eea8353bc3dfefaa88b8f40554"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:BKAQM6GZBP2BDGBRU2LW25MNPM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Flint for Safer Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Alexander Harkness, Daniel Hails, Franklin Schrans, Sophia Drossopoulou, Susan Eisenbach","submitted_at":"2019-04-13T12:44:59Z","abstract_excerpt":"The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous attacks due to the unintentional introduction of bugs. Over a billion dollars worth of currency has been stolen since its release in July 2015. As smart contracts cannot be updated after deployment, it is imperative that the programming language supports the development of robust contracts.\n  We propose Flint, a new statically-typed programming language specifica"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.06534","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":""},"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-05-17T23:48:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9z8k5OTUhdRtdj5+4Cmtrfp81o2VlkNL8mBafiYUkcT78sbWqR3omzGhSCY1Ldt7FbN+xAtFKGwfBGCun/FhCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:25:22.102721Z"},"content_sha256":"8cda6c5e48687044a884330ada427a39accb29973f71019e877937dbff6ac946","schema_version":"1.0","event_id":"sha256:8cda6c5e48687044a884330ada427a39accb29973f71019e877937dbff6ac946"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BKAQM6GZBP2BDGBRU2LW25MNPM/bundle.json","state_url":"https://pith.science/pith/BKAQM6GZBP2BDGBRU2LW25MNPM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BKAQM6GZBP2BDGBRU2LW25MNPM/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-05-30T13:25:22Z","links":{"resolver":"https://pith.science/pith/BKAQM6GZBP2BDGBRU2LW25MNPM","bundle":"https://pith.science/pith/BKAQM6GZBP2BDGBRU2LW25MNPM/bundle.json","state":"https://pith.science/pith/BKAQM6GZBP2BDGBRU2LW25MNPM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BKAQM6GZBP2BDGBRU2LW25MNPM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:BKAQM6GZBP2BDGBRU2LW25MNPM","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":"9b58c8e35364b4515bd94d78d476ed95fe61945cc1f4c1d3256ae79207b7f106","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-13T12:44:59Z","title_canon_sha256":"5b2df3e5823ef58488aba5fc2ee3af6e12b5148e3de139ab4154a732dc13a33d"},"schema_version":"1.0","source":{"id":"1904.06534","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.06534","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"arxiv_version","alias_value":"1904.06534v1","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.06534","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"pith_short_12","alias_value":"BKAQM6GZBP2B","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"BKAQM6GZBP2BDGBR","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"BKAQM6GZ","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:8cda6c5e48687044a884330ada427a39accb29973f71019e877937dbff6ac946","target":"graph","created_at":"2026-05-17T23:48:38Z","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"},"paper":{"abstract_excerpt":"The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous attacks due to the unintentional introduction of bugs. Over a billion dollars worth of currency has been stolen since its release in July 2015. As smart contracts cannot be updated after deployment, it is imperative that the programming language supports the development of robust contracts.\n  We propose Flint, a new statically-typed programming language specifica","authors_text":"Alexander Harkness, Daniel Hails, Franklin Schrans, Sophia Drossopoulou, Susan Eisenbach","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-13T12:44:59Z","title":"Flint for Safer Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.06534","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:a0fd872fbba6c60b163c24987e7479ca817ca1eea8353bc3dfefaa88b8f40554","target":"record","created_at":"2026-05-17T23:48:38Z","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":"9b58c8e35364b4515bd94d78d476ed95fe61945cc1f4c1d3256ae79207b7f106","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-13T12:44:59Z","title_canon_sha256":"5b2df3e5823ef58488aba5fc2ee3af6e12b5148e3de139ab4154a732dc13a33d"},"schema_version":"1.0","source":{"id":"1904.06534","kind":"arxiv","version":1}},"canonical_sha256":"0a810678d90bf4119831a6976d758d7b06251d61cbeff544f200e78117853a71","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0a810678d90bf4119831a6976d758d7b06251d61cbeff544f200e78117853a71","first_computed_at":"2026-05-17T23:48:38.922250Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:38.922250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ppzT1z+O/uyIW3SvN5NO1tR0eXQBg8xXyafxciSVtshYxc4YsFuyy1wPBWHTKXIfIwc2dNj+52p07VBZh1OdCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:38.922934Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.06534","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a0fd872fbba6c60b163c24987e7479ca817ca1eea8353bc3dfefaa88b8f40554","sha256:8cda6c5e48687044a884330ada427a39accb29973f71019e877937dbff6ac946"],"state_sha256":"fbb2855b6960941bdfb9db753e7a2483138ecd00ad3df930df3281d6cbdb1ae0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cJwefdAWGRQRwSbaoLhdSUZ/koKttw+pXX6qwCWVvfy6Wd6g9Qlu3IVCcHadmgwMA3YVakic62htJknTMvHfBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T13:25:22.105951Z","bundle_sha256":"686bcd97fbcecd8b9954f948cfa125606254282852fd5c21011d70e317e6b2b1"}}