{"as_of":"2026-08-13T01:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8814f66bcf529ef3e6ce7162dc1d479155556cbe87ca4c1a38168d9cfb8ec41b","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:13:26.329387Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.14563/citation-record","integrity":"/paper/2411.14563/integrity","json":"/paper/2411.14563/citation-record.json","paper":"/paper/2411.14563"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.755415Z","title":"At https://www.cnbc.com/2023/02/04/ crypto-investors-lost-nearly-4-billion-dollars-to-hackers-in-2022","venue":null,"work_id":"d91959e9-c83a-4636-94e4-8e5c32c50a74","year":2022},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.198964Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:31db0fed0bc1c06aa4ae104384169e658f5c2f5e5f8a268ce09f1bab68aa9a87","observation_id":"c98382db-5f73-456b-9937-11139bfb7420","resolution":{"observed_at":"2026-08-12T15:13:26.759554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.742577Z","title":"At https://www.certik.com/resources/ blog/7BokMhPUgffqEvyvXgHNaq-hack3d-the-web3-security-report-2023","venue":null,"work_id":"879cdc55-b13c-4ab4-935f-366652aed5c6","year":2023},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.203967Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:f926a55e38eeca1721bf1e17076d06e71eb5f6a187c7e4033f6f55d5cb270c45","observation_id":"4593d979-412a-4204-bd43-787e4fc458d4","resolution":{"observed_at":"2026-08-12T15:13:26.746794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.731402Z","title":"At https://docs","venue":null,"work_id":"f17ba060-911a-496b-9948-51584eb0eb95","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.207732Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:1623dfa53e7f3e125a7e5612572edd515808ea398e88dafb4c0ec808ad0d4f4a","observation_id":"0b8b8164-0cc0-4d3c-909e-a2a7fb92f5d8","resolution":{"observed_at":"2026-08-12T15:13:26.735414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.719674Z","title":null,"venue":null,"work_id":"67efe96a-5d11-4c16-b2c8-9c8fd2b9d715","year":1985},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.211359Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:fec4c4a9ef8f52a7eab78e2792d56a2b16a0ac81bc0c6a7a46103259701a9364","observation_id":"38f6bc90-7dec-42cd-945f-0e36f52ae002","resolution":{"observed_at":"2026-08-12T15:13:26.723547Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.706875Z","title":"In: FM Workshops (1)","venue":null,"work_id":"0fe82e33-f980-4161-9845-ac382029e4f5","year":2019},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.215203Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:8918ed280c50388c2b9a417a5aca1f841d21073a04c2bc6f51e286d4ae12c288","observation_id":"83ca78c6-e20b-4bda-9508-b1b8b2e91d57","resolution":{"observed_at":"2026-08-12T15:13:26.711477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.694849Z","title":null,"venue":null,"work_id":"70e2d33c-d737-4014-abb5-8f44f751b829","year":2019},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.218709Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:fa5c57ab9376d70696d2be7f4eaddc109a210f4e2a6ae1db4b4e316df47fcdf1","observation_id":"803bc472-ad47-449b-bd37-95e4b401634f","resolution":{"observed_at":"2026-08-12T15:13:26.698820Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.681755Z","title":null,"venue":null,"work_id":"b9eec45c-fdf8-4c58-8fde-8ab1ceec75ed","year":2021},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.223396Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:8eaccb5c380e4154a2d68b3a5040f13fdcc272d2e1f5f5ac6c3b403174565963","observation_id":"8d6c976f-c0c1-4a29-9ada-0f58d32508f3","resolution":{"observed_at":"2026-08-12T15:13:26.685825Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.670935Z","title":"In: FMICS","venue":null,"work_id":"894d01c0-282e-42c9-b665-9c719207fe5f","year":2022},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.227229Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:e5aa81f5e281f21f3d3543ba01c047ff29fdaff7926346b7457fd5b9633d4a60","observation_id":"24d5f822-f32c-4e89-9a7d-cf5cf442314f","resolution":{"observed_at":"2026-08-12T15:13:26.674492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.230775Z","title":"ACM Trans","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.230775Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:3eb29bb241b9b48f5e64a11648ee98ebb70cc6e35f4aa30ac53e4bb959e39010","observation_id":"af854a4f-3d25-4c15-8bda-fee48f076f35","resolution":{"observed_at":"2026-08-12T15:13:26.230775Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.659555Z","title":"In: TACAS (1)","venue":null,"work_id":"834afba3-c742-406a-b017-f46c85655505","year":2022},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.234619Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:15599e82a1bb7a31338cca8d1fa5ddf7c34c0348e13e06278dba1bea795e970a","observation_id":"f9476acd-2cc6-429f-bced-60fa3f00b6df","resolution":{"observed_at":"2026-08-12T15:13:26.663717Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.647241Z","title":"In: Chakraborty, S., Navas, J.A","venue":null,"work_id":"fd18e0d2-e5a4-4cd8-8390-5fd2d571613e","year":2020},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.239022Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:50e4e7ffac65dd02ec6a2881fe5246b9f1a28a5661497984cdf9caa89c10cce3","observation_id":"0477b315-c53f-442b-9b3d-070502d73ac7","resolution":{"observed_at":"2026-08-12T15:13:26.651450Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.634543Z","title":null,"venue":null,"work_id":"ae1d992d-1d98-4b4e-bc16-41fc0f0638ce","year":2018},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.243336Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:4df049011fa20cd7e17ca27c730cd31b88b95dabb0eefaa8c63ecb312eb44cd9","observation_id":"9778b285-81df-44cc-94d1-ed0ca49d2778","resolution":{"observed_at":"2026-08-12T15:13:26.637985Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.623804Z","title":"In: Financial Cryptography","venue":null,"work_id":"aebc292f-b691-4f3f-a8fb-2f898163adc8","year":2018},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.246593Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:ffd402561ff6de5ee1e217f54dfcbf49aee01014dd7dd4c67ed3d1dbf5f9ef3b","observation_id":"cbf73a01-ce1f-4ae2-b032-fdf36d211d0c","resolution":{"observed_at":"2026-08-12T15:13:26.627217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.611328Z","title":"In: Financial Cryptography","venue":null,"work_id":"06e101b0-5efc-4892-b4a9-7c7b5d8da1ab","year":2019},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.249927Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:aacbc3c494503cc565c348b76ef0ce55d2a705e070a8bc9dd80ebc0894a75451","observation_id":"489cf33d-fdb3-4e64-a903-c5b33ae6dfbc","resolution":{"observed_at":"2026-08-12T15:13:26.615238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.599811Z","title":"In: VMCAI","venue":null,"work_id":"46912771-73fc-4a3c-8a43-879b95b5b802","year":2016},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.253958Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:44b44aa8edff283ada2458e20bf77ead24a040fb7eec294b121d49fdfe12de1a","observation_id":"27cbf8a7-f585-4f2a-9245-62bce90f32f8","resolution":{"observed_at":"2026-08-12T15:13:26.603661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.588169Z","title":"In: CA V","venue":null,"work_id":"ec3fa8dd-f3e1-41f7-baed-e029c28af2d3","year":2001},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.257766Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:a87728d4fc87005172b2e07e984bdc0496a968d31bf65f0ea8958c294fe666e6","observation_id":"211ff635-ffaf-4118-a55c-0876f76d2f03","resolution":{"observed_at":"2026-08-12T15:13:26.591787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.261280Z","title":"In: POPL","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.261280Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:9ff512f0ada2d329aa97c70e16c43f626a8f3ed09337f22312a10187eaff6855","observation_id":"47d01a55-5ca6-4ad1-85ed-2d4bc199ffb0","resolution":{"observed_at":"2026-08-12T15:13:26.261280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.569003Z","title":"In: FSTTCS","venue":null,"work_id":"e3df3b2c-8622-4df8-a6ac-e06920559bf2","year":2001},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.265671Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:070640090a494a04b704438fb3e6c41ca7f16b21065a0f55a032ba244e03e6f3","observation_id":"8a187649-f1de-40f5-a5cd-df7c9c12b9ad","resolution":{"observed_at":"2026-08-12T15:13:26.573808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.556183Z","title":"In: IEEE Symposium on Security and Pri- vacy (2020)","venue":null,"work_id":"9c514e4f-600c-4b69-8450-a099fb51bf15","year":2020},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.269540Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:0aa795f58632089121acaca149afb265d5bc31d3853247e934bcaad30612af2b","observation_id":"ecf700f0-bdbe-48eb-a20f-14cd1a281305","resolution":{"observed_at":"2026-08-12T15:13:26.560224Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.545046Z","title":null,"venue":null,"work_id":"f6cb8f31-ed08-4f86-b39a-5213ab28cda8","year":2019},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.272817Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:6ffbadabb2a10a1646415ddea83bfcba1075de7b0980f786f3acd6fe9db3941f","observation_id":"088aa884-498b-4f24-b46e-1d8e9d46d6fe","resolution":{"observed_at":"2026-08-12T15:13:26.548825Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.533169Z","title":"In: IEEE Symposium on Secu- rity and Privacy (2021)","venue":null,"work_id":"beb13e46-6154-4184-8d3c-805b04baff80","year":2021},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.276014Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:50d25de83db6cfcc03ce52c508dfd18164463d94d8673ef24a08514b8f1d327c","observation_id":"115a885d-3a15-4031-9b69-8dfae2a4a159","resolution":{"observed_at":"2026-08-12T15:13:26.536821Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.520855Z","title":"In: PriSC (2024), at https://arxiv.org/pdf/2311","venue":null,"work_id":"7ba2f17a-a861-45aa-a761-f650755489a2","year":2024},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.280631Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:8e6cb9c1f258da4a7ed691bf359c2d7fa3c008e71d3a18e2a83bd3b6006c2b87","observation_id":"b7127284-b484-4255-9b12-d93c939f3d85","resolution":{"observed_at":"2026-08-12T15:13:26.525494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.509655Z","title":"In: CA V (1)","venue":null,"work_id":"df8b486c-7110-4f96-af9a-6b21752ed8e9","year":2020},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.284330Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:4f99775615b0be9233a3842155da729ed4c640bb6897396c136dc909f1e1599a","observation_id":"bb3c7b57-4883-4ceb-92ac-35650f2789c5","resolution":{"observed_at":"2026-08-12T15:13:26.513422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.498698Z","title":"Attacker is pushed onto the stack, and Attacker’s state is updated to CollectDeposit","venue":null,"work_id":"8e67ca0f-ef90-43a8-8cc0-a22483f6f5dc","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.288395Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:9b3c56962b4cd160ba9278c7a3bdc4343fb85275c8d2bb469aac75dae5362295","observation_id":"d76de073-4cdd-4124-892b-1528756fa92c","resolution":{"observed_at":"2026-08-12T15:13:26.502273Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.486820Z","title":"Etherstore is pushed onto the stack","venue":null,"work_id":"badf56f8-0f36-4548-87be-9fd81cbd7627","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.292038Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:ab6069c154beb5da74c053b8338c36c7d86b4dee965606c2884edaa415560059","observation_id":"140072c6-7a35-4c2d-a0e0-3cf2aad802b1","resolution":{"observed_at":"2026-08-12T15:13:26.490330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.475095Z","title":"Attacker is now at the top of the stack","venue":null,"work_id":"581fa42e-abb5-461b-98e9-f825d77ee39d","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.295776Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:094975ccef489d0c1dbd651357cacf85f81d8784160a625d386663841a2e5294","observation_id":"c8bf9775-f703-4b4c-b8d0-e7319981d942","resolution":{"observed_at":"2026-08-12T15:13:26.479177Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.461451Z","title":"Etherstore is pushed onto the stack","venue":null,"work_id":"da19d438-3344-48ee-b631-7927cfa9b946","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.300362Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:4eaf96d6aba6220a47ccb3a6c26a16617530b88cb5bf799c2cbfc42dabb544c9","observation_id":"6cb7b1ae-4cf6-4e64-bdef-c3ae446bd32d","resolution":{"observed_at":"2026-08-12T15:13:26.465897Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.450482Z","title":"Attacker is pushed onto the stack (with Attacker at the bottom of the stack as well)","venue":null,"work_id":"f120581b-c386-49db-9c59-64461227d479","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.304355Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:6623a7151b759e33f68992e245a9144c33f0e0793a9f4d597b7a74180584305d","observation_id":"3f6ce23a-e92c-4ad2-beaa-6f65ab6e031c","resolution":{"observed_at":"2026-08-12T15:13:26.453989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.439203Z","title":"Note that this is where Attacker attempts to maliciously reenter Ether- store","venue":null,"work_id":"2bcb7da6-bf20-4d1b-bf47-1b4a88cbbb67","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.308274Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:3c90b1d3d05f4b38673c3afe9c7b2be8fd7a9f04da446c82312b543ec2a9f9ac","observation_id":"81843d9b-0dd1-44c5-9c64-b1c2e6157748","resolution":{"observed_at":"2026-08-12T15:13:26.442666Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.427338Z","title":"Etherstore’s state is up- dated to GaveWithdrawal, and then to AcceptDeposit","venue":null,"work_id":"c08250e9-53a4-4746-be77-e7db8ebd4132","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.312074Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:4f7626bbb5a4ed459dedc012bca92dc44d78740e3caae9661286a6776e6a2e79","observation_id":"020ce216-414b-479a-9d1b-bd7266c81208","resolution":{"observed_at":"2026-08-12T15:13:26.431334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.415205Z","title":"Etherstore is popped off the stack","venue":null,"work_id":"8b9b8712-1c64-4291-a165-abb2de967877","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.315742Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:5540212fa6f5006be78d5b0b62cf6c74ef08e37b326c605c2521ea03e025db21","observation_id":"a390066a-40b1-4c1a-b0c8-245d23d42722","resolution":{"observed_at":"2026-08-12T15:13:26.418921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.403334Z","title":"Attacker is prevented from requesting another withdrawal, since its balance has already been reset","venue":null,"work_id":"36f43b59-72a5-4951-8bc4-6c3de0b3b953","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.319392Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:4d8974fa5bf3e9602cd632723561465cec1e35be0a105719574bd6f0df158176","observation_id":"debeb35e-64db-406e-9d03-9b6f826fa95e","resolution":{"observed_at":"2026-08-12T15:13:26.407214Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.391585Z","title":null,"venue":null,"work_id":"a6d352ca-0a72-4914-af2e-c9833802965b","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.322882Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:b0bd815530cee2a8995991b297c26ff295febda377b509a001725f4620f273ed","observation_id":"36f7161c-6baf-4598-ae95-e0f033b52d77","resolution":{"observed_at":"2026-08-12T15:13:26.395420Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.380392Z","title":null,"venue":null,"work_id":"5769212e-6108-481f-8932-676ded961cca","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.326292Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:a1d1bfe0b5a01d4ec9b682658baff6a0c8270b4f0df82cbeeb6b48cb98ffffad","observation_id":"b261581f-d520-4500-b90f-6a35078f0211","resolution":{"observed_at":"2026-08-12T15:13:26.384457Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:13:26.367135Z","title":"The soundness of this proof rule is established as follows","venue":null,"work_id":"fba47466-31a8-4ccc-903c-68216486db0f","year":null},"citing_paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T15:13:26.329387Z"},"links":{"citing_paper":"/paper/2411.14563"},"observation_digest":"sha256:b169906799db3d98451356b0d50e6b76d2cb0bb5f236793ba7974abd61bd3685","observation_id":"d31ca2a2-8587-461e-9393-ceffc73c1765","resolution":{"observed_at":"2026-08-12T15:13:26.372692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14563","last_updated":"2024-11-21T20:26:18Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-12T15:06:29.012743Z","submitted_at":"2024-11-21T20:26:18Z","title":"Constructing Trustworthy Smart Contracts"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":26},"total_outbound_references":35},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2411.14563."}