{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:7K2GJRFIPIP3KMJGB2F7YSREHN","short_pith_number":"pith:7K2GJRFI","canonical_record":{"source":{"id":"1906.02906","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-07T05:41:56Z","cross_cats_sorted":[],"title_canon_sha256":"72b68269872a0b5d8ef18da5ca667a1d2beb70c1aad0f7268b0e81bbbd900791","abstract_canon_sha256":"7df132c881d3f656e1ec900eb3c4b31e15b2151d78a4438fa4f54ef98760d64e"},"schema_version":"1.0"},"canonical_sha256":"fab464c4a87a1fb531260e8bfc4a243b4354d586fdaa9bbb79711437faaa5374","source":{"kind":"arxiv","id":"1906.02906","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.02906","created_at":"2026-05-17T23:43:55Z"},{"alias_kind":"arxiv_version","alias_value":"1906.02906v1","created_at":"2026-05-17T23:43:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.02906","created_at":"2026-05-17T23:43:55Z"},{"alias_kind":"pith_short_12","alias_value":"7K2GJRFIPIP3","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7K2GJRFIPIP3KMJG","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7K2GJRFI","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:7K2GJRFIPIP3KMJGB2F7YSREHN","target":"record","payload":{"canonical_record":{"source":{"id":"1906.02906","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-07T05:41:56Z","cross_cats_sorted":[],"title_canon_sha256":"72b68269872a0b5d8ef18da5ca667a1d2beb70c1aad0f7268b0e81bbbd900791","abstract_canon_sha256":"7df132c881d3f656e1ec900eb3c4b31e15b2151d78a4438fa4f54ef98760d64e"},"schema_version":"1.0"},"canonical_sha256":"fab464c4a87a1fb531260e8bfc4a243b4354d586fdaa9bbb79711437faaa5374","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:43:55.712382Z","signature_b64":"pipPXiIM0eIEwLXjdKA3yK90iM5fgJ9xgzyk1F1hgsJdSDkLSulCfWVDexmazddzflion1vM6aT7hLQVjxJ2Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fab464c4a87a1fb531260e8bfc4a243b4354d586fdaa9bbb79711437faaa5374","last_reissued_at":"2026-05-17T23:43:55.711651Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:43:55.711651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.02906","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:43:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/5aGoVs1Tta6nIp1CcGH3ri0PQQdvBeaq76apzY/kTjbnBC4otF7w2zUbaCmKKBVo97pX8o9/OW8mVtmU8DADQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T18:50:48.988272Z"},"content_sha256":"19357db0a9b01a413c2a39eccbef2bd0de6c0d8998bd073c27e1a6bb760411b5","schema_version":"1.0","event_id":"sha256:19357db0a9b01a413c2a39eccbef2bd0de6c0d8998bd073c27e1a6bb760411b5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:7K2GJRFIPIP3KMJGB2F7YSREHN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Smart Contract Design Meets State Machine Synthesis: Case Studies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dmitrii Suvorov, Vladimir Ulyantsev","submitted_at":"2019-06-07T05:41:56Z","abstract_excerpt":"Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of digital currency which makes them an attractive target for security attacks. It has been shown that many contracts deployed to public ledgers contain security vulnerabilities. Moreover, the design of blockchain systems does not allow the code of the smart contract to be changed after it has been deployed to the system. Therefore, it is important to guarantee the correctness of smart contracts prior to their deployment.\n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.02906","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:43:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"40J4pAIPuP31Aa0A9bexnNJDmRWmxnKtmKtYmSXUdPuCGdEh6OUVYA2fSIXukN72xxvxBnZ9Yw4bCcr4n6lHDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T18:50:48.988626Z"},"content_sha256":"e7e1728b37a98b33c444fff7e24fa265933c7cac0aaf764d89cb4e31545d36b3","schema_version":"1.0","event_id":"sha256:e7e1728b37a98b33c444fff7e24fa265933c7cac0aaf764d89cb4e31545d36b3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7K2GJRFIPIP3KMJGB2F7YSREHN/bundle.json","state_url":"https://pith.science/pith/7K2GJRFIPIP3KMJGB2F7YSREHN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7K2GJRFIPIP3KMJGB2F7YSREHN/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-06-28T18:50:48Z","links":{"resolver":"https://pith.science/pith/7K2GJRFIPIP3KMJGB2F7YSREHN","bundle":"https://pith.science/pith/7K2GJRFIPIP3KMJGB2F7YSREHN/bundle.json","state":"https://pith.science/pith/7K2GJRFIPIP3KMJGB2F7YSREHN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7K2GJRFIPIP3KMJGB2F7YSREHN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7K2GJRFIPIP3KMJGB2F7YSREHN","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":"7df132c881d3f656e1ec900eb3c4b31e15b2151d78a4438fa4f54ef98760d64e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-07T05:41:56Z","title_canon_sha256":"72b68269872a0b5d8ef18da5ca667a1d2beb70c1aad0f7268b0e81bbbd900791"},"schema_version":"1.0","source":{"id":"1906.02906","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.02906","created_at":"2026-05-17T23:43:55Z"},{"alias_kind":"arxiv_version","alias_value":"1906.02906v1","created_at":"2026-05-17T23:43:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.02906","created_at":"2026-05-17T23:43:55Z"},{"alias_kind":"pith_short_12","alias_value":"7K2GJRFIPIP3","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7K2GJRFIPIP3KMJG","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7K2GJRFI","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:e7e1728b37a98b33c444fff7e24fa265933c7cac0aaf764d89cb4e31545d36b3","target":"graph","created_at":"2026-05-17T23:43:55Z","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":"Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of digital currency which makes them an attractive target for security attacks. It has been shown that many contracts deployed to public ledgers contain security vulnerabilities. Moreover, the design of blockchain systems does not allow the code of the smart contract to be changed after it has been deployed to the system. Therefore, it is important to guarantee the correctness of smart contracts prior to their deployment.\n","authors_text":"Dmitrii Suvorov, Vladimir Ulyantsev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-07T05:41:56Z","title":"Smart Contract Design Meets State Machine Synthesis: Case Studies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.02906","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:19357db0a9b01a413c2a39eccbef2bd0de6c0d8998bd073c27e1a6bb760411b5","target":"record","created_at":"2026-05-17T23:43:55Z","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":"7df132c881d3f656e1ec900eb3c4b31e15b2151d78a4438fa4f54ef98760d64e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-07T05:41:56Z","title_canon_sha256":"72b68269872a0b5d8ef18da5ca667a1d2beb70c1aad0f7268b0e81bbbd900791"},"schema_version":"1.0","source":{"id":"1906.02906","kind":"arxiv","version":1}},"canonical_sha256":"fab464c4a87a1fb531260e8bfc4a243b4354d586fdaa9bbb79711437faaa5374","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fab464c4a87a1fb531260e8bfc4a243b4354d586fdaa9bbb79711437faaa5374","first_computed_at":"2026-05-17T23:43:55.711651Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:43:55.711651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pipPXiIM0eIEwLXjdKA3yK90iM5fgJ9xgzyk1F1hgsJdSDkLSulCfWVDexmazddzflion1vM6aT7hLQVjxJ2Ag==","signature_status":"signed_v1","signed_at":"2026-05-17T23:43:55.712382Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.02906","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19357db0a9b01a413c2a39eccbef2bd0de6c0d8998bd073c27e1a6bb760411b5","sha256:e7e1728b37a98b33c444fff7e24fa265933c7cac0aaf764d89cb4e31545d36b3"],"state_sha256":"1590da10d126530a19ba0d57d1440ecbc47aec8b033d9e6b0bdbc89268ef625b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bS49xRL71RgoIHHYLg4sJpPKd7Qp7vrXmcY2MJTRFMgGdEfCb8to3EbKZ0uCAwj3XTHowpx4231z3A2TeX/nCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T18:50:48.990516Z","bundle_sha256":"1058e78f642b69440b777279afdb6c7df82ac9660ffed82329c5dece1c7dc2eb"}}