{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:JALL5CCIDOIAIFR23QTRT7JBGZ","short_pith_number":"pith:JALL5CCI","canonical_record":{"source":{"id":"2005.11839","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-24T20:49:13Z","cross_cats_sorted":[],"title_canon_sha256":"e36781b15c1ec42154f0505e9fef86cf1ef88243b481b78c56cc7b27b32c01a7","abstract_canon_sha256":"c753cfd705e82475b6dfae3e8ca3261a0f73728021ffa4ecbfe053d5eed5d945"},"schema_version":"1.0"},"canonical_sha256":"4816be88481b9004163adc2719fd213675bdf15127b5b7496c879d9fec22fd03","source":{"kind":"arxiv","id":"2005.11839","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.11839","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"arxiv_version","alias_value":"2005.11839v1","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.11839","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"pith_short_12","alias_value":"JALL5CCIDOIA","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"pith_short_16","alias_value":"JALL5CCIDOIAIFR2","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"pith_short_8","alias_value":"JALL5CCI","created_at":"2026-07-05T01:05:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:JALL5CCIDOIAIFR23QTRT7JBGZ","target":"record","payload":{"canonical_record":{"source":{"id":"2005.11839","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-24T20:49:13Z","cross_cats_sorted":[],"title_canon_sha256":"e36781b15c1ec42154f0505e9fef86cf1ef88243b481b78c56cc7b27b32c01a7","abstract_canon_sha256":"c753cfd705e82475b6dfae3e8ca3261a0f73728021ffa4ecbfe053d5eed5d945"},"schema_version":"1.0"},"canonical_sha256":"4816be88481b9004163adc2719fd213675bdf15127b5b7496c879d9fec22fd03","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:05:28.513250Z","signature_b64":"4OqYD1ynINuj0iCcOpOETSVSc1b8ufoOkhblFtKBUQoMPkVmu14p8QlTItg1z5oTlpzAF8DTl3pxDoPBlJGVDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4816be88481b9004163adc2719fd213675bdf15127b5b7496c879d9fec22fd03","last_reissued_at":"2026-07-05T01:05:28.512852Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:05:28.512852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.11839","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-05T01:05:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dkWYftU6lKaNmEX3zJFnJOdcqBmvzQQBJ57nVoYxneSg7y5iGIA5JMkcpfaa1DnYpw3VM2AV2E1m4JLrdCbmDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T07:04:26.401729Z"},"content_sha256":"597d6b7e918e52f86bed38ccbe1953616714c2f1ad4756014ec3b29ee45b5782","schema_version":"1.0","event_id":"sha256:597d6b7e918e52f86bed38ccbe1953616714c2f1ad4756014ec3b29ee45b5782"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:JALL5CCIDOIAIFR23QTRT7JBGZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jo\\~ao Santos Reis, Paul Crocker, Sim\\~ao Melo de Sousa","submitted_at":"2020-05-24T20:49:13Z","abstract_excerpt":"This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and preserves the semantics, ow and resource usage of the original smart contract. This enables properties like gas consumption to be statically verified. We provide an automated decompiler of Michelson smart contracts to Tezla. In order to support our claim about the adequacy of Tezla, we develop a static analyser that takes advantage of the Tezla representation of Michelson smart contracts to prove sim"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.11839","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/2005.11839/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-05T01:05:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a+sTldpWCavM1u9yR7oyRjZPqOP9DTcq7PM9Q4sOXA/y5q/jftX6KpVGonbVtkksQOjEnhw7AhqUnSlgVmeUAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T07:04:26.402101Z"},"content_sha256":"3f65f7b0cfd0b28f7caba3b7149744a71c36542156fe0c3bb3aab5caf924d5a0","schema_version":"1.0","event_id":"sha256:3f65f7b0cfd0b28f7caba3b7149744a71c36542156fe0c3bb3aab5caf924d5a0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JALL5CCIDOIAIFR23QTRT7JBGZ/bundle.json","state_url":"https://pith.science/pith/JALL5CCIDOIAIFR23QTRT7JBGZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JALL5CCIDOIAIFR23QTRT7JBGZ/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-07-05T07:04:26Z","links":{"resolver":"https://pith.science/pith/JALL5CCIDOIAIFR23QTRT7JBGZ","bundle":"https://pith.science/pith/JALL5CCIDOIAIFR23QTRT7JBGZ/bundle.json","state":"https://pith.science/pith/JALL5CCIDOIAIFR23QTRT7JBGZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JALL5CCIDOIAIFR23QTRT7JBGZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:JALL5CCIDOIAIFR23QTRT7JBGZ","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":"c753cfd705e82475b6dfae3e8ca3261a0f73728021ffa4ecbfe053d5eed5d945","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-24T20:49:13Z","title_canon_sha256":"e36781b15c1ec42154f0505e9fef86cf1ef88243b481b78c56cc7b27b32c01a7"},"schema_version":"1.0","source":{"id":"2005.11839","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.11839","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"arxiv_version","alias_value":"2005.11839v1","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.11839","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"pith_short_12","alias_value":"JALL5CCIDOIA","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"pith_short_16","alias_value":"JALL5CCIDOIAIFR2","created_at":"2026-07-05T01:05:28Z"},{"alias_kind":"pith_short_8","alias_value":"JALL5CCI","created_at":"2026-07-05T01:05:28Z"}],"graph_snapshots":[{"event_id":"sha256:3f65f7b0cfd0b28f7caba3b7149744a71c36542156fe0c3bb3aab5caf924d5a0","target":"graph","created_at":"2026-07-05T01:05:28Z","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/2005.11839/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and preserves the semantics, ow and resource usage of the original smart contract. This enables properties like gas consumption to be statically verified. We provide an automated decompiler of Michelson smart contracts to Tezla. In order to support our claim about the adequacy of Tezla, we develop a static analyser that takes advantage of the Tezla representation of Michelson smart contracts to prove sim","authors_text":"Jo\\~ao Santos Reis, Paul Crocker, Sim\\~ao Melo de Sousa","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-24T20:49:13Z","title":"Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.11839","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:597d6b7e918e52f86bed38ccbe1953616714c2f1ad4756014ec3b29ee45b5782","target":"record","created_at":"2026-07-05T01:05:28Z","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":"c753cfd705e82475b6dfae3e8ca3261a0f73728021ffa4ecbfe053d5eed5d945","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-24T20:49:13Z","title_canon_sha256":"e36781b15c1ec42154f0505e9fef86cf1ef88243b481b78c56cc7b27b32c01a7"},"schema_version":"1.0","source":{"id":"2005.11839","kind":"arxiv","version":1}},"canonical_sha256":"4816be88481b9004163adc2719fd213675bdf15127b5b7496c879d9fec22fd03","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4816be88481b9004163adc2719fd213675bdf15127b5b7496c879d9fec22fd03","first_computed_at":"2026-07-05T01:05:28.512852Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:05:28.512852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4OqYD1ynINuj0iCcOpOETSVSc1b8ufoOkhblFtKBUQoMPkVmu14p8QlTItg1z5oTlpzAF8DTl3pxDoPBlJGVDw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:05:28.513250Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.11839","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:597d6b7e918e52f86bed38ccbe1953616714c2f1ad4756014ec3b29ee45b5782","sha256:3f65f7b0cfd0b28f7caba3b7149744a71c36542156fe0c3bb3aab5caf924d5a0"],"state_sha256":"b14bebd14ef91cd3577120f3a47e02f7c66d7c808d1d54a41f6c2db9e5909abf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"meJPeBWYCuWP5T06rzBFOs9Lt/+sCICpZ6Bf75YjaJUqekG+E5P718vf2iRBr3ugM8PNgGRlUnv4ruGOHuenCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T07:04:26.404060Z","bundle_sha256":"cfe2cffc288dbacd7949ea31b42011d8ae0b4d464977618e4e79a752dae611f1"}}