{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TQLV3PA74F3DFWDMOGTJSMON7K","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":"2201e2c2e8784601824ff6e1dbadfd413a1449a931c93c1bc76be8700db28654","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-07-08T20:56:27Z","title_canon_sha256":"4584a615a681ce6be7ad4ac3b6971d5233ff5774ffbbead65f3e48ca66235a1f"},"schema_version":"1.0","source":{"id":"1907.03868","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.03868","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"arxiv_version","alias_value":"1907.03868v1","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.03868","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"pith_short_12","alias_value":"TQLV3PA74F3D","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TQLV3PA74F3DFWDM","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TQLV3PA7","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:72e3642cecd597bfce1b706bc141e15bbe2c9535bcaab6439b06c2109970d485","target":"graph","created_at":"2026-05-17T23:41: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"},"paper":{"abstract_excerpt":"Ethereum smart contracts are executable programs, deployed on a peer-to-peer network and executed in a consensus-based fashion. Their bytecode is public, immutable and once deployed to the blockchain, cannot be patched anymore. As smart contracts may hold Ether worth of several million dollars, they are attractive targets for attackers and indeed some contracts have successfully been exploited in the recent past, resulting in tremendous financial losses. The correctness of smart contracts is thus of utmost importance. While first approaches on formal verification exist, they demand users to be","authors_text":"Julian Sch\\\"utte, Konrad Weiss","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-07-08T20:56:27Z","title":"Annotary: A Concolic Execution System for Developing Secure Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.03868","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:0cbe3e42647e76c272624db3df00db57f389def5d10b21924387daef94d8fede","target":"record","created_at":"2026-05-17T23:41: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":"2201e2c2e8784601824ff6e1dbadfd413a1449a931c93c1bc76be8700db28654","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-07-08T20:56:27Z","title_canon_sha256":"4584a615a681ce6be7ad4ac3b6971d5233ff5774ffbbead65f3e48ca66235a1f"},"schema_version":"1.0","source":{"id":"1907.03868","kind":"arxiv","version":1}},"canonical_sha256":"9c175dbc1fe17632d86c71a69931cdfa85f5b48e4f640b024c46353bfbdc088d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c175dbc1fe17632d86c71a69931cdfa85f5b48e4f640b024c46353bfbdc088d","first_computed_at":"2026-05-17T23:41:06.535127Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:06.535127Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4Hyx/nOBiBsZX+pz/xJwxfbLYxbGLIrnyWYsBOUpUwOnm3qMHFEv7xulBF+tPKlmj5x3syJMeaxiQlZDAdmiCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:06.535923Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.03868","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0cbe3e42647e76c272624db3df00db57f389def5d10b21924387daef94d8fede","sha256:72e3642cecd597bfce1b706bc141e15bbe2c9535bcaab6439b06c2109970d485"],"state_sha256":"f769884ae9ebe2c16e2ad7affa175de6c5d67c1052ed8e10198e5916c8bb337d"}