{"as_of":"2026-08-20T12:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3378201a53f21bcd006cbb3d2f3284fd94fc5fa9695be1dd01f098ede3c16f2b","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T11:03:18.921055Z","state":"measured"},{"denominator":46,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":46,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2504.16853/citation-record","integrity":"/paper/2504.16853/integrity","json":"/paper/2504.16853/citation-record.json","paper":"/paper/2504.16853"},"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-16T11:03:19.983478Z","title":"The Aleo Blockchain","venue":null,"work_id":"7638e8c0-11f6-4064-b025-5b722096ccb0","year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.701771Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:2a571653d6edef64a0771ac9df7b51bf07056aaa178abc0c1fa84c83cc11115e","observation_id":"32788512-01ef-4991-b105-7a9bbb7f2622","resolution":{"observed_at":"2026-08-16T11:03:19.987805Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.969691Z","title":null,"venue":null,"work_id":"dbb1d622-5f08-4a05-acba-6072eb297e32","year":2019},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.707579Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:275e8d2bad7d77f000ef9bdec1e24838d1c6e0953f9a3492a96c3a342f947bbe","observation_id":"1f1e53ea-96dc-48b0-84be-eff11fca3c14","resolution":{"observed_at":"2026-08-16T11:03:19.973996Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.955572Z","title":null,"venue":null,"work_id":"f21f83fa-c1f2-4302-be32-bb60ce9fc474","year":2020},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.712793Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:c01985ddddbc9d9ae2d2173e4670bcf454ae5f003b8b566f7b7845253f258ede","observation_id":"a7f35086-f84c-42bc-9369-e4230d51f026","resolution":{"observed_at":"2026-08-16T11:03:19.960405Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-54994-7_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Alturki, Jing Chen, Victor Luchangco, Brandon M oore, Karl Palmskog, Lucas Peña, and Grigore Roşu","venue":"Lecture notes in computer science","work_id":"2901270f-0662-467c-9ca7-ceea8fb8a190","year":2020},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.717346Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:6ad1647cc2e8cf70224b43eb65118f5b2d940690a962c8e189c2a1942289414b","observation_id":"53d1b387-84c7-4e49-8144-78b5be449603","resolution":{"observed_at":"2026-08-16T11:03:18.993453Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.20488","last_updated":"2025-03-05T00:55:16Z","snapshot_observed_at":"2026-08-20T01:21:09.979340Z","submitted_at":"2024-05-30T21:23:34Z","title":"Shoal++: High Throughput DAG BFT Can Be Fast!","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.20488","snapshot_observed_at":"2026-08-16T11:03:18.722227Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.722227Z"},"links":{"cited_paper":"/paper/2405.20488","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:b6730175cf8bd8c1180dabde83689867807370993f6022ba1fe2b53203c1874c","observation_id":"b7343bd4-9029-492e-b028-98c950a8fb2e","resolution":{"observed_at":"2026-08-16T11:03:18.722227Z","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-16T11:03:19.940598Z","title":null,"venue":null,"work_id":"1f63ffc0-d4f8-4c51-9725-926bc4365e06","year":2016},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.727584Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:5c1963f7a45785b5ef7f480520486d332079932a87e9b9321ed613b7795f4b92","observation_id":"9ff7b3e5-2b4e-4eb8-b1fb-c87361515da9","resolution":{"observed_at":"2026-08-16T11:03:19.945671Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:18.732890Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.732890Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:6d202fb376cc5fa221c1cf909d413d0f7eac3fa0133ee76c1d72712401d32ab0","observation_id":"ecc9fe4c-f6a9-476c-8d5a-bf859a62b43e","resolution":{"observed_at":"2026-08-16T11:03:18.732890Z","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-16T11:03:19.925629Z","title":null,"venue":null,"work_id":"431afa77-ee44-4012-8318-bd7308c52ad4","year":2016},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.737479Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:fb5a23492b7b151a2aede5bbdbefc87eea1c18902eaa496e899da99a87276061","observation_id":"e10da686-c49c-4903-bab4-02ec54ce8998","resolution":{"observed_at":"2026-08-16T11:03:19.930568Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02167","last_updated":"2025-03-18T16:10:48Z","snapshot_observed_at":"2026-08-20T04:47:42.366697Z","submitted_at":"2024-07-02T11:19:12Z","title":"Reusable Formal Verification of DAG-based Consensus Protocols","version":2},"cited_work":{"arxiv_id":"2407.02167","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.02167","snapshot_observed_at":"2026-08-16T11:03:19.627204Z","title":"Reusable Formal Verification of DAG-based Consensus Protocols","venue":"cs.LO","work_id":"0c06b8e9-443e-4a8b-a4cc-66c93f331467","year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.742166Z"},"links":{"cited_paper":"/paper/2407.02167","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:5cbfd0c7253ba9895ea318e3adfdc931d40a55c03e7308059ca5f6c27d011e2f","observation_id":"a42dacb9-02dd-4285-aa67-9fa9779ba958","resolution":{"observed_at":"2026-08-16T11:03:19.632546Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.04489","last_updated":"2022-06-09T13:19:44Z","snapshot_observed_at":"2026-08-16T16:54:10.784514Z","submitted_at":"2022-06-09T13:19:44Z","title":"Holistic Verification of Blockchain Consensus","version":1},"cited_work":{"arxiv_id":"2206.04489","doi":null,"metadata_source":"pith","pith_arxiv_id":"2206.04489","snapshot_observed_at":"2026-08-16T11:03:19.607241Z","title":"Holistic Verification of Blockchain Consensus","venue":"cs.CR","work_id":"e1c3e38f-b363-4b15-998b-f735afc35ab6","year":2022},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.747112Z"},"links":{"cited_paper":"/paper/2206.04489","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:267d0ea37b36dc4552547b257d73fd250f34b311abb2cc257bae06a2073c5553","observation_id":"cc8719c2-bd19-48fa-bd93-1bdfc5228fff","resolution":{"observed_at":"2026-08-16T11:03:19.612234Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.911847Z","title":"Boyer and J Strother Moore","venue":null,"work_id":"8536b486-0a8f-43dc-b869-e0eeb4a41a88","year":1979},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.752664Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:c9f17f031afd131530f2b5275ec822411569de712f9636222eb9f3cc2b105964","observation_id":"541df2fe-f3fc-43cc-84d5-a19dea59f6d2","resolution":{"observed_at":"2026-08-16T11:03:19.916370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.14711","last_updated":"2022-03-29T01:19:28Z","snapshot_observed_at":"2026-08-16T17:11:54.915696Z","submitted_at":"2022-03-25T05:04:20Z","title":"Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version","version":2},"cited_work":{"arxiv_id":"2203.14711","doi":null,"metadata_source":"pith","pith_arxiv_id":"2203.14711","snapshot_observed_at":"2026-08-16T11:03:19.586945Z","title":"Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version","venue":"cs.DC","work_id":"e2f5c3c4-618e-4edd-9b32-78f517b7da6a","year":2022},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.757443Z"},"links":{"cited_paper":"/paper/2203.14711","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:cfad096b468f31dc4291b66635295a4d88ddf6a9c965bcc50e656ab499cba3c9","observation_id":"ee76c1d1-f1f5-4fe2-add5-7cbaeccccf40","resolution":{"observed_at":"2026-08-16T11:03:19.591900Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.02186","last_updated":"2018-10-04T13:08:10Z","snapshot_observed_at":"2026-08-14T18:19:32.592915Z","submitted_at":"2018-10-04T13:08:10Z","title":"OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems","version":1},"cited_work":{"arxiv_id":"1810.02186","doi":null,"metadata_source":"pith","pith_arxiv_id":"1810.02186","snapshot_observed_at":"2026-08-16T11:03:19.565869Z","title":"OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems","venue":"cs.DC","work_id":"d5b97ebf-cb3f-48ea-8906-37483716f476","year":2018},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.762333Z"},"links":{"cited_paper":"/paper/1810.02186","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:50c943ec39138d21c1f2bdb22393c2c8b3ffd7add05a66907d83641a73c5fcdf","observation_id":"d1a2875b-12b0-4fb5-a84e-83854f012c4f","resolution":{"observed_at":"2026-08-16T11:03:19.571171Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.896897Z","title":null,"venue":null,"work_id":"6aa6b783-6524-4643-be0e-b4ad29bb80a2","year":null},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.767511Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:4268a14ccf909045b09cd65e5cd9e631a69f7b8283ccae3d17097bcc409f4ed9","observation_id":"afea59e8-5766-47bf-a87a-aa34807b8e88","resolution":{"observed_at":"2026-08-16T11:03:19.901839Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:18.772395Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.772395Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:d21d612031d892a8f19f711f5632e97f7a3db2efb7b93a868bd49a5806899f8e","observation_id":"4545e529-299d-42e5-9873-b61708ab2053","resolution":{"observed_at":"2026-08-16T11:03:18.772395Z","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-16T11:03:19.882283Z","title":null,"venue":null,"work_id":"d86ebf02-3624-40e7-9bf2-d1d2e170d018","year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.777079Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:0a47218c5cb5025b1b56a3d4d0a7d918803337bd68f6a84c59a0a20e40777576","observation_id":"547687b0-d73a-42a0-8099-e6b11df7c85d","resolution":{"observed_at":"2026-08-16T11:03:19.886826Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.867539Z","title":null,"venue":null,"work_id":"ba253811-e81b-4e98-aeca-4b90ad972ea8","year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.781370Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:ddd1c7fd5811eee0f5708519044f636f38c139aea9b5b62c4229f39b98331c95","observation_id":"dba785eb-a1db-4f72-ae94-f047f2f5eaf0","resolution":{"observed_at":"2026-08-16T11:03:19.872187Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1809.01620","last_updated":"2018-09-25T15:05:40Z","snapshot_observed_at":"2026-08-19T03:35:54.277548Z","submitted_at":"2018-09-05T16:57:41Z","title":"Blockmania: from Block DAGs to Consensus","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1809.01620","snapshot_observed_at":"2026-08-16T11:03:18.785671Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.785671Z"},"links":{"cited_paper":"/paper/1809.01620","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:783ff25374637288dd36e65e1cabd9331f83a333e9de51ada94e82ff86abbc7e","observation_id":"267990f6-0119-42e7-a825-cb8c9a5165ad","resolution":{"observed_at":"2026-08-16T11:03:18.785671Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.11827","last_updated":"2022-03-16T09:55:20Z","snapshot_observed_at":"2026-08-19T07:53:02.913774Z","submitted_at":"2021-05-25T10:53:41Z","title":"Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.11827","snapshot_observed_at":"2026-08-16T11:03:18.791048Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.791048Z"},"links":{"cited_paper":"/paper/2105.11827","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:e9e83b0ff58c747b4c1529f1262940cb870858306b9f341d59e63424bba6c0d0","observation_id":"bebc3092-339d-4fd8-a08c-87aa35d01850","resolution":{"observed_at":"2026-08-16T11:03:18.791048Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:03:18.795847Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.795847Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:fc9436279c79018a41cca5c8a56a2e67f3f0732ee3eecffa1c463385fa895484","observation_id":"90ea172a-08f8-422b-96af-1b18fb5e6180","resolution":{"observed_at":"2026-08-16T11:03:18.795847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.08670","last_updated":"2024-10-17T14:06:29Z","snapshot_observed_at":"2026-08-19T16:07:49.990882Z","submitted_at":"2024-10-11T09:54:56Z","title":"Mahi-Mahi: Low-Latency Asynchronous BFT DAG-Based Consensus","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.08670","snapshot_observed_at":"2026-08-16T11:03:18.800409Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.800409Z"},"links":{"cited_paper":"/paper/2410.08670","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:d4b133b9e88e4e5987b5d86b9769aba1c9ab64cec96f68c8f7c49429118b21bd","observation_id":"d9569830-74ac-43ca-bd7d-5b76772b45d8","resolution":{"observed_at":"2026-08-16T11:03:18.800409Z","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-16T11:03:19.853375Z","title":null,"venue":null,"work_id":"8e4a2908-9263-46be-a596-bf21a8c82db1","year":1990},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.804962Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:2862ae58034f6497b1b71e4307003498d2a6e8d88ac86a7dbdec7828fdf86fc1","observation_id":"752e795b-0cfc-49ab-bb7c-97fb42352bbd","resolution":{"observed_at":"2026-08-16T11:03:19.857799Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2102.08325","last_updated":"2021-06-04T05:07:56Z","snapshot_observed_at":"2026-08-16T18:45:09.355523Z","submitted_at":"2021-02-16T18:12:59Z","title":"All You Need is DAG","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2102.08325","snapshot_observed_at":"2026-08-16T11:03:18.809224Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.809224Z"},"links":{"cited_paper":"/paper/2102.08325","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:b617cb736079516ba77d3b3f786fd5afb4ed563bbb67a58f7768fb3bc129afe3","observation_id":"cc0eadd3-b2f6-4d78-801a-64257bb6a07c","resolution":{"observed_at":"2026-08-16T11:03:18.809224Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:03:18.813756Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.813756Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:1e002f6b6fc2f960267926e2b02cced83f3785dfa4670b5473fd2f63339fe2e4","observation_id":"b5bcd44d-4954-461e-b408-5162661cb5b5","resolution":{"observed_at":"2026-08-16T11:03:18.813756Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:03:18.818268Z","title":"Liu, Saksham Chand, and Scott D","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.818268Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:29df784f25beeed874cc118456a978d1eb852ac233c8e8a41ec2e928453012e9","observation_id":"9f46f785-d576-4858-b4d6-40797819af50","resolution":{"observed_at":"2026-08-16T11:03:18.818268Z","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":"3686.2024","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:03:19.292874Z","title":"Liu and Scott D","venue":null,"work_id":"25855a79-5538-46f4-a4d1-1873c6fb20c2","year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.823087Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:ae04c5b1b3359559784206f4089c45548898047cbf80c44735ecbc29b24bf6c1","observation_id":"69f436bc-ee82-4717-881d-3a74d14b8a27","resolution":{"observed_at":"2026-08-16T11:03:19.300468Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.838529Z","title":null,"venue":null,"work_id":"214670d3-ef40-43d4-b868-dbdab23095af","year":2021},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.827795Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:d05f6289a90877dcb9cdb8197dee75ee03bc9d305cbdcc6d5039d72cdf3b68d2","observation_id":"bfce259f-3b3c-442a-a335-043d3cec78ad","resolution":{"observed_at":"2026-08-16T11:03:19.843308Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:18.832422Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.832422Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:67e5c81014feaf66ca701432c08116740e8b672402347651e7ab357e30e11b61","observation_id":"d7c48ebc-fdcd-4153-af36-41e2048e8433","resolution":{"observed_at":"2026-08-16T11:03:18.832422Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06335","last_updated":"2024-05-24T21:33:31Z","snapshot_observed_at":"2026-08-20T01:22:58.899213Z","submitted_at":"2023-10-10T06:08:04Z","title":"BBCA-CHAIN: Low Latency, High Throughput BFT Consensus on a DAG","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06335","snapshot_observed_at":"2026-08-16T11:03:18.837197Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.837197Z"},"links":{"cited_paper":"/paper/2310.06335","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:2b0766fda7ef1483161ea83ff350760d3b0a7c8aa8506603a07a38fa70412716","observation_id":"2537cb07-5f7f-45c5-ad63-b66922e9c358","resolution":{"observed_at":"2026-08-16T11:03:18.837197Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2208.00940","last_updated":"2022-12-23T10:49:46Z","snapshot_observed_at":"2026-08-16T16:41:57.466882Z","submitted_at":"2022-08-01T15:40:17Z","title":"Maximal Extractable Value (MEV) Protection on a DAG","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2208.00940","snapshot_observed_at":"2026-08-16T11:03:18.841720Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.841720Z"},"links":{"cited_paper":"/paper/2208.00940","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:7ab3d67ec7abd2cbcf8fbe7c31df445a05486c5cc8934f15498f543919386e5c","observation_id":"c5855a06-7286-4ebb-bb84-b3634640828b","resolution":{"observed_at":"2026-08-16T11:03:18.841720Z","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-16T11:03:19.824327Z","title":null,"venue":null,"work_id":"4f0601c2-3d2e-497e-a45a-283c1609eae2","year":2008},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.846440Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:a5963061cd04a365a0390654672b5334d097bb6d5651122cdf96fe3fb2899274","observation_id":"6d36c8f4-c095-4922-a6ff-bf17890ce4cb","resolution":{"observed_at":"2026-08-16T11:03:19.828665Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.01900","last_updated":"2021-08-04T08:21:28Z","snapshot_observed_at":"2026-08-16T18:05:23.459735Z","submitted_at":"2021-08-04T08:21:28Z","title":"Lachesis: Scalable Asynchronous BFT on DAG Streams","version":1},"cited_work":{"arxiv_id":"2108.01900","doi":null,"metadata_source":"pith","pith_arxiv_id":"2108.01900","snapshot_observed_at":"2026-08-16T11:03:19.200284Z","title":"Lachesis: Scalable Asynchronous BFT on DAG Streams","venue":"cs.DC","work_id":"e3808b0e-3ce3-4c55-b77a-cb149c82b660","year":2021},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.850988Z"},"links":{"cited_paper":"/paper/2108.01900","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:e4af9eac34d44dab8ee617d933956e9573c1be964638c4d21856d903d9b31d7c","observation_id":"9931a550-7deb-48c7-82ac-d213e308d5a6","resolution":{"observed_at":"2026-08-16T11:03:19.205281Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/oasics.fmbc.2024.3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:03:18.952036Z","title":"Praveen, Raghavendra Ramesh, and Isaac Doidge","venue":null,"work_id":"a48a77e1-e44a-4228-97c6-da6a26c2183c","year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.855611Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:9f6824d774664eef14ce60af08f127533831a80c2baa83dd42256e4e63b00e56","observation_id":"468d4c3f-e3c5-4829-afd9-a553cb96f1f4","resolution":{"observed_at":"2026-08-16T11:03:18.958466Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.809030Z","title":null,"venue":null,"work_id":"95b270ce-363d-418f-9ace-10f050e71c71","year":2018},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.859732Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:e43f058595585fda2fe0928d45e71be22b4b639e91f8d770557c4057db6b2d9b","observation_id":"ab4a6ad6-a75e-4130-a8d0-14aad5f6c80b","resolution":{"observed_at":"2026-08-16T11:03:19.814456Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.793638Z","title":null,"venue":null,"work_id":"cd495c12-957d-4eed-9a4a-51ace4f9489e","year":2019},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.864409Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:128ae4178c1ff632ec6aeefdbdd16ca1602234a3d6c5922fc3f71b6a919b9eab","observation_id":"f3bb9270-0ecb-48c6-b115-1aeb706856dc","resolution":{"observed_at":"2026-08-16T11:03:19.798596Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:18.868779Z","title":"Schett and George Danezis","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.868779Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:521819637c28c1ec43ac16610ee24beb6c367dfe6968da1705428bfd25bd1120","observation_id":"ea273155-aab1-40af-adea-bb1567ebc6b3","resolution":{"observed_at":"2026-08-16T11:03:18.868779Z","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-16T11:03:19.778346Z","title":null,"venue":null,"work_id":"60cbfc20-f6ff-4969-866e-a2736ec3ff18","year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.873234Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:f9db4de3f98bbce4e14dd57c1d50e63e62b8c44343e51ea26f7a98c7a1baf288","observation_id":"a3a47681-7cdf-4764-840f-0efebc90f435","resolution":{"observed_at":"2026-08-16T11:03:19.782961Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.03058","last_updated":"2023-07-07T22:22:03Z","snapshot_observed_at":"2026-08-19T21:21:10.105837Z","submitted_at":"2023-06-05T17:29:33Z","title":"Shoal: Improving DAG-BFT Latency And Robustness","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.03058","snapshot_observed_at":"2026-08-16T11:03:18.877698Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.877698Z"},"links":{"cited_paper":"/paper/2306.03058","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:662b109a0fbd26c4687bad7c70aac19cb304c0679c7b5fe6bf9c2113124376c4","observation_id":"f80e0044-173f-49ef-9fb9-f592f36a3b01","resolution":{"observed_at":"2026-08-16T11:03:18.877698Z","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-16T11:03:19.763330Z","title":null,"venue":null,"work_id":"887774e7-d18d-4e68-840a-c0e1aebc7e35","year":null},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.892315Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:3462cdd08e8ce4e6c9bec48d15765548663b1c8feca11dbe018dd8496480869e","observation_id":"d8b9bd45-f8a3-4b0f-a0a8-427e6b09d17a","resolution":{"observed_at":"2026-08-16T11:03:19.768014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.14757","last_updated":"2023-06-26T15:11:50Z","snapshot_observed_at":"2026-08-18T22:24:40.331645Z","submitted_at":"2023-06-26T15:11:50Z","title":"BBCA-LEDGER: High Throughput Consensus meets Low Latency","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.14757","snapshot_observed_at":"2026-08-16T11:03:18.902640Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.902640Z"},"links":{"cited_paper":"/paper/2306.14757","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:395ef070073850668057fa864e75b88125aa09ce978a1decbbcfc6d78560e7cf","observation_id":"680293ae-efc2-4fc6-a4cb-2fedcade69ad","resolution":{"observed_at":"2026-08-16T11:03:18.902640Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.05633","last_updated":"2022-09-12T21:58:13Z","snapshot_observed_at":"2026-08-16T16:33:02.497926Z","submitted_at":"2022-09-12T21:58:13Z","title":"Bullshark: The Partially Synchronous Version","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.05633","snapshot_observed_at":"2026-08-16T11:03:18.896901Z","title":"arXiv :2209.05633v1 [cs.DC] https://arxiv.org/abs/2209.05633v1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.896901Z"},"links":{"cited_paper":"/paper/2209.05633","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:e66d1002cb694c92000e9989761c3773cf33b63ab526ffb1e7e5e86aa8988501","observation_id":"14e3a246-7d21-45d0-8909-a89d80488798","resolution":{"observed_at":"2026-08-16T11:03:18.896901Z","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-16T11:03:19.733898Z","title":null,"venue":null,"work_id":"60a8afee-d421-4b4f-be6f-a9ee1305dc0b","year":2015},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.911994Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:81fd9b91b392851f9a8e1793cd8eb33e19e6fd49745c2b33df19cffdd1954701","observation_id":"def30aed-9af8-451c-8c7c-99041ce32013","resolution":{"observed_at":"2026-08-16T11:03:19.738720Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.748798Z","title":null,"venue":null,"work_id":"778509c2-8177-4d3c-bed0-c6f4a8d641af","year":1984},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.907434Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:42f80998ba775526599e1ace561db72e191d6e72df8d6830d80ec9b4cf3c146f","observation_id":"7337d379-1405-4e12-aacf-9cc5e38ed07a","resolution":{"observed_at":"2026-08-16T11:03:19.753315Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:19.718656Z","title":null,"venue":null,"work_id":"a2202d74-2f64-4e2c-946a-fb525c6aa7ca","year":2023},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.921055Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:8f96e4543139a9199a5a6a749b1440274c52c0a07a70e09ee8ef682a00072424","observation_id":"db01a770-2244-4c43-9c8f-e6ea71c646f7","resolution":{"observed_at":"2026-08-16T11:03:19.723288Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:03:18.916577Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.916577Z"},"links":{"citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:469d6f9d743155ab04d44ef6d0f7e0a533138fcd4c55e7e1470879a6d53334d8","observation_id":"4587a712-fc1f-4d45-97fc-8cfc9485f2b0","resolution":{"observed_at":"2026-08-16T11:03:18.916577Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2201.05677","last_updated":"2022-09-07T05:36:35Z","snapshot_observed_at":"2026-08-19T21:38:16.507100Z","submitted_at":"2022-01-14T21:16:07Z","title":"Bullshark: DAG BFT Protocols Made Practical","version":3},"cited_work":{"arxiv_id":"2201.05677","doi":null,"metadata_source":"pith","pith_arxiv_id":"2201.05677","snapshot_observed_at":"2026-08-16T11:03:19.100623Z","title":"Bullshark: DAG BFT Protocols Made Practical","venue":"cs.CR","work_id":"03d7fa5a-f2bc-4746-b165-91536272ef15","year":2022},"citing_paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-16T11:03:18.887055Z"},"links":{"cited_paper":"/paper/2201.05677","citing_paper":"/paper/2504.16853"},"observation_digest":"sha256:874904a352cabc4381c222176e4bb18de8ca0d6f0e39fd18ce87bc32a98af0f7","observation_id":"698b2407-d6d7-419b-87e7-5f8ae904eeeb","resolution":{"observed_at":"2026-08-16T11:03:19.106374Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.16853","last_updated":"2025-04-23T16:22:55Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-20T10:28:38.979741Z","submitted_at":"2025-04-23T16:22:55Z","title":"Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":35,"verified_exact":8,"verified_fuzzy":2},"total_outbound_references":46},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2504.16853."}