{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:NSWJNPVBKCYU3JKB5BJLLBJZZB","short_pith_number":"pith:NSWJNPVB","canonical_record":{"source":{"id":"1805.07208","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-10T20:49:49Z","cross_cats_sorted":[],"title_canon_sha256":"9f5aa1bec1777b44f54928b0daab2e690e5aba79c3bad8de4d1509d06c86e1f6","abstract_canon_sha256":"896450467f5ec0b5f219ad572c543a525a760905373d62efc638f982448bf78e"},"schema_version":"1.0"},"canonical_sha256":"6cac96bea150b14da541e852b58539c8513b45e0f9fd86121635c24c0299584a","source":{"kind":"arxiv","id":"1805.07208","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.07208","created_at":"2026-05-18T00:00:30Z"},{"alias_kind":"arxiv_version","alias_value":"1805.07208v1","created_at":"2026-05-18T00:00:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.07208","created_at":"2026-05-18T00:00:30Z"},{"alias_kind":"pith_short_12","alias_value":"NSWJNPVBKCYU","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NSWJNPVBKCYU3JKB","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NSWJNPVB","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:NSWJNPVBKCYU3JKB5BJLLBJZZB","target":"record","payload":{"canonical_record":{"source":{"id":"1805.07208","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-10T20:49:49Z","cross_cats_sorted":[],"title_canon_sha256":"9f5aa1bec1777b44f54928b0daab2e690e5aba79c3bad8de4d1509d06c86e1f6","abstract_canon_sha256":"896450467f5ec0b5f219ad572c543a525a760905373d62efc638f982448bf78e"},"schema_version":"1.0"},"canonical_sha256":"6cac96bea150b14da541e852b58539c8513b45e0f9fd86121635c24c0299584a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:30.302816Z","signature_b64":"5f5FBpzCGnGkMF3c50rjePVllbDYgvYFAGrIct6cMwj8YK0o1qdRvBe0bhEwYooEyVokfB4rvxrewYx6mIcnAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6cac96bea150b14da541e852b58539c8513b45e0f9fd86121635c24c0299584a","last_reissued_at":"2026-05-18T00:00:30.302219Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:30.302219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.07208","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-18T00:00:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/23wVGdBE9eVFNLAZ2wcbXizbbltJf7AMIa/seLFNYZqHjkJnImtpYEw8mDntruMaNdNm4AuoeTZAwyVGXHSAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:17:28.532056Z"},"content_sha256":"c361d3464bd7dc47a4c46819c9201259d07b2588cc51039b0956c79a367fc5ab","schema_version":"1.0","event_id":"sha256:c361d3464bd7dc47a4c46819c9201259d07b2588cc51039b0956c79a367fc5ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:NSWJNPVBKCYU3JKB5BJLLBJZZB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EthIR: A Framework for High-Level Analysis of Ethereum Bytecode","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Albert Rubio, Benjamin Livshits, Elvira Albert, Ilya Sergey, Pablo Gordillo","submitted_at":"2018-05-10T20:49:49Z","abstract_excerpt":"Analyzing Ethereum bytecode, rather than the source code from which it was generated, is a necessity when: (1) the source code is not available (e.g., the blockchain only stores the bytecode), (2) the information to be gathered in the analysis is only visible at the level of bytecode (e.g., gas consumption is specified at the level of EVM instructions), (3) the analysis results may be affected by optimizations performed by the compiler (thus the analysis should be done ideally after compilation). This paper presents EthIR, a framework for analyzing Ethereum bytecode, which relies on (an extens"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.07208","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-18T00:00:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"adRYGsqcQlA8Glp0VC7cC7IMO9+vkURMYcdlijlHALzJZvvpcfT7AW+N85WVuH9fTJCzflvQpisZd7XD2tcNDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:17:28.532853Z"},"content_sha256":"65f55ff059ba5f81275e71211c2a903f33f20b59c283bfe1b9d09ae6a43af173","schema_version":"1.0","event_id":"sha256:65f55ff059ba5f81275e71211c2a903f33f20b59c283bfe1b9d09ae6a43af173"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NSWJNPVBKCYU3JKB5BJLLBJZZB/bundle.json","state_url":"https://pith.science/pith/NSWJNPVBKCYU3JKB5BJLLBJZZB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NSWJNPVBKCYU3JKB5BJLLBJZZB/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-30T01:17:28Z","links":{"resolver":"https://pith.science/pith/NSWJNPVBKCYU3JKB5BJLLBJZZB","bundle":"https://pith.science/pith/NSWJNPVBKCYU3JKB5BJLLBJZZB/bundle.json","state":"https://pith.science/pith/NSWJNPVBKCYU3JKB5BJLLBJZZB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NSWJNPVBKCYU3JKB5BJLLBJZZB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NSWJNPVBKCYU3JKB5BJLLBJZZB","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":"896450467f5ec0b5f219ad572c543a525a760905373d62efc638f982448bf78e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-10T20:49:49Z","title_canon_sha256":"9f5aa1bec1777b44f54928b0daab2e690e5aba79c3bad8de4d1509d06c86e1f6"},"schema_version":"1.0","source":{"id":"1805.07208","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.07208","created_at":"2026-05-18T00:00:30Z"},{"alias_kind":"arxiv_version","alias_value":"1805.07208v1","created_at":"2026-05-18T00:00:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.07208","created_at":"2026-05-18T00:00:30Z"},{"alias_kind":"pith_short_12","alias_value":"NSWJNPVBKCYU","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NSWJNPVBKCYU3JKB","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NSWJNPVB","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:65f55ff059ba5f81275e71211c2a903f33f20b59c283bfe1b9d09ae6a43af173","target":"graph","created_at":"2026-05-18T00:00:30Z","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":"Analyzing Ethereum bytecode, rather than the source code from which it was generated, is a necessity when: (1) the source code is not available (e.g., the blockchain only stores the bytecode), (2) the information to be gathered in the analysis is only visible at the level of bytecode (e.g., gas consumption is specified at the level of EVM instructions), (3) the analysis results may be affected by optimizations performed by the compiler (thus the analysis should be done ideally after compilation). This paper presents EthIR, a framework for analyzing Ethereum bytecode, which relies on (an extens","authors_text":"Albert Rubio, Benjamin Livshits, Elvira Albert, Ilya Sergey, Pablo Gordillo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-10T20:49:49Z","title":"EthIR: A Framework for High-Level Analysis of Ethereum Bytecode"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.07208","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:c361d3464bd7dc47a4c46819c9201259d07b2588cc51039b0956c79a367fc5ab","target":"record","created_at":"2026-05-18T00:00:30Z","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":"896450467f5ec0b5f219ad572c543a525a760905373d62efc638f982448bf78e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-10T20:49:49Z","title_canon_sha256":"9f5aa1bec1777b44f54928b0daab2e690e5aba79c3bad8de4d1509d06c86e1f6"},"schema_version":"1.0","source":{"id":"1805.07208","kind":"arxiv","version":1}},"canonical_sha256":"6cac96bea150b14da541e852b58539c8513b45e0f9fd86121635c24c0299584a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6cac96bea150b14da541e852b58539c8513b45e0f9fd86121635c24c0299584a","first_computed_at":"2026-05-18T00:00:30.302219Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:30.302219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5f5FBpzCGnGkMF3c50rjePVllbDYgvYFAGrIct6cMwj8YK0o1qdRvBe0bhEwYooEyVokfB4rvxrewYx6mIcnAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:30.302816Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.07208","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c361d3464bd7dc47a4c46819c9201259d07b2588cc51039b0956c79a367fc5ab","sha256:65f55ff059ba5f81275e71211c2a903f33f20b59c283bfe1b9d09ae6a43af173"],"state_sha256":"cb757847ecfc245fb1a4f14df95bddfbca8a702cbc7e3e1fe49d1142ed1255ff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HG70W9k+gb8fZQmCamF1/gmeW85iWmXq5Hj1lNY5xT+TClFWctoAsiltFCLmlZ3OVxjtn7Pz4oVkuZE5ivreDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T01:17:28.536143Z","bundle_sha256":"a50d8ad4fd1374e0c952f13c4fc756f3c32f06f15c410e2cd9fbde8999cc53b2"}}