{"as_of":"2026-08-08T06:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c376271331c90a41668c0798e52afef1b5a1aa183d3ce054072255c1766f0c04","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":2,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":2,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T22:15:21.147044Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-07T22:15:21.774307Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2008.02712","last_updated":"2021-04-19T05:38:59Z","snapshot_observed_at":"2026-07-06T09:45:07.332120Z","submitted_at":"2020-08-06T15:30:24Z","title":"A Survey of Smart Contract Formal Specification and Verification","version":3},"cited_work":{"arxiv_id":"2008.02712","doi":null,"metadata_source":"pith","pith_arxiv_id":"2008.02712","snapshot_observed_at":"2026-08-07T22:15:21.774307Z","title":"A Survey of Smart Contract Formal Specification and Verification","venue":"cs.SE","work_id":"2b8e132f-ae80-4903-a6aa-29b1abfaf903","year":2020},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.147044Z"},"links":{"cited_paper":"/paper/2008.02712","citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:c37c1ab707778e6e332bf49037cd2d5c2afd56c89d39d021ef72703302f087a8","observation_id":"9b736abf-2f6e-4d9f-8d12-a57ecf9d2cb2","resolution":{"observed_at":"2026-08-07T22:15:21.780679Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2008.02712","last_updated":"2021-04-19T05:38:59Z","snapshot_observed_at":"2026-07-06T09:45:07.332120Z","submitted_at":"2020-08-06T15:30:24Z","title":"A Survey of Smart Contract Formal Specification and Verification","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2008.02712","snapshot_observed_at":"2026-08-01T11:47:34.498936Z","title":"A survey of smart contract formal specification and verification,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.19795","last_updated":"2026-07-22T06:20:36Z","snapshot_observed_at":"2026-08-03T06:00:44.844284Z","submitted_at":"2026-07-22T06:20:36Z","title":"Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T11:47:34.498936Z"},"links":{"cited_paper":"/paper/2008.02712","citing_paper":"/paper/2607.19795"},"observation_digest":"sha256:531923a048a09fceabfb7865f884cc9ebdefbefe853449d770dacf73b5642a65","observation_id":"9e8fcff1-9f79-43d6-aeda-e661c7446499","resolution":{"observed_at":"2026-08-01T11:47:34.498936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2008.02712/citation-record","integrity":"/paper/2008.02712/integrity","json":"/paper/2008.02712/citation-record.json","paper":"/paper/2008.02712"},"outbound":[],"paper":{"arxiv_id":"2008.02712","last_updated":"2021-04-19T05:38:59Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T09:45:07.332120Z","submitted_at":"2020-08-06T15:30:24Z","title":"A Survey of Smart Contract Formal Specification and Verification"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2008.02712."}