Paper Citation Record · LEDGER

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2504.16853 v1

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:03:18.921055Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

46 of 46 outbound references displayed

verified exact8
verified fuzzy2
unresolved35
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 32788512-01ef-4991-b105-7a9bbb7f2622 · outbound

This paper cites The Aleo Blockchain.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake The Aleo Blockchain

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:03:19.987805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1f1e53ea-96dc-48b0-84be-eff11fca3c14 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.973996Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a7f35086-f84c-42bc-9369-e4230d51f026 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.960405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 53d1b387-84c7-4e49-8144-78b5be449603 · outbound

This paper cites Alturki, Jing Chen, Victor Luchangco, Brandon M oore, Karl Palmskog, Lucas Peña, and Grigore Roşu.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Alturki, Jing Chen, Victor Luchangco, Brandon M oore, Karl Palmskog, Lucas Peña, and Grigore Roşu

Reference 4

Resolution: verified exact; doi, observed 2026-08-16T11:03:18.993453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b7343bd4-9029-492e-b028-98c950a8fb2e · outbound

This paper cites Shoal++: High Throughput DAG BFT Can Be Fast!.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Shoal++: High Throughput DAG BFT Can Be Fast!

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.722227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ff7b3e5-2b4e-4eb8-b1fb-c87361515da9 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.945671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ecc9fe4c-f6a9-476c-8d5a-bf859a62b43e · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.732890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e10da686-c49c-4903-bab4-02ec54ce8998 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.930568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a42dacb9-02dd-4285-aa67-9fa9779ba958 · outbound

This paper cites Reusable Formal Verification of DAG-based Consensus Protocols.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Reusable Formal Verification of DAG-based Consensus Protocols

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-16T11:03:19.632546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cc8719c2-bd19-48fa-bd93-1bdfc5228fff · outbound

This paper cites Holistic Verification of Blockchain Consensus.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Holistic Verification of Blockchain Consensus

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-16T11:03:19.612234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 541df2fe-f3fc-43cc-84d5-a19dea59f6d2 · outbound

This paper cites Boyer and J Strother Moore.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Boyer and J Strother Moore

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:03:19.916370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ee76c1d1-f1f5-4fe2-add5-7cbaeccccf40 · outbound

This paper cites Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-16T11:03:19.591900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d1a2875b-12b0-4fb5-a84e-83854f012c4f · outbound

This paper cites OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-16T11:03:19.571171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation afea59e8-5766-47bf-a87a-aa34807b8e88 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.901839Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4545e529-299d-42e5-9873-b61708ab2053 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.772395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 547687b0-d73a-42a0-8099-e6b11df7c85d · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.886826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dba785eb-a1db-4f72-ae94-f047f2f5eaf0 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.872187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 267990f6-0119-42e7-a825-cb8c9a5165ad · outbound

This paper cites Blockmania: from Block DAGs to Consensus.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Blockmania: from Block DAGs to Consensus

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.785671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bebc3092-339d-4fd8-a08c-87aa35d01850 · outbound

This paper cites Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.791048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90ea172a-08f8-422b-96af-1b18fb5e6180 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.795847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9569830-74ac-43ca-bd7d-5b76772b45d8 · outbound

This paper cites Mahi-Mahi: Low-Latency Asynchronous BFT DAG-Based Consensus.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Mahi-Mahi: Low-Latency Asynchronous BFT DAG-Based Consensus

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.800409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 752e795b-0cfc-49ab-bb7c-97fb42352bbd · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.857799Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cc0eadd3-b2f6-4d78-801a-64257bb6a07c · outbound

This paper cites All You Need is DAG.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake All You Need is DAG

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.809224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5bcd44d-4954-461e-b408-5162661cb5b5 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.813756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f46f785-d576-4858-b4d6-40797819af50 · outbound

This paper cites Liu, Saksham Chand, and Scott D.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Liu, Saksham Chand, and Scott D

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.818268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69f436bc-ee82-4717-881d-3a74d14b8a27 · outbound

This paper cites Liu and Scott D.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Liu and Scott D

Reference 26

Resolution: verified exact; raw_fallback, observed 2026-08-16T11:03:19.300468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bfce259f-3b3c-442a-a335-043d3cec78ad · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.843308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d7c48ebc-fdcd-4153-af36-41e2048e8433 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.832422Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2537cb07-5f7f-45c5-ad63-b66922e9c358 · outbound

This paper cites BBCA-CHAIN: Low Latency, High Throughput BFT Consensus on a DAG.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake BBCA-CHAIN: Low Latency, High Throughput BFT Consensus on a DAG

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.837197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5855a06-7286-4ebb-bb84-b3634640828b · outbound

This paper cites Maximal Extractable Value (MEV) Protection on a DAG.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Maximal Extractable Value (MEV) Protection on a DAG

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.841720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d36c8f4-c095-4922-a6ff-bf17890ce4cb · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.828665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9931a550-7deb-48c7-82ac-d213e308d5a6 · outbound

This paper cites Lachesis: Scalable Asynchronous BFT on DAG Streams.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Lachesis: Scalable Asynchronous BFT on DAG Streams

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-08-16T11:03:19.205281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 468d4c3f-e3c5-4829-afd9-a553cb96f1f4 · outbound

This paper cites Praveen, Raghavendra Ramesh, and Isaac Doidge.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Praveen, Raghavendra Ramesh, and Isaac Doidge

Reference 33

Resolution: verified exact; doi, observed 2026-08-16T11:03:18.958466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ab4a6ad6-a75e-4130-a8d0-14aad5f6c80b · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.814456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f3bb9270-0ecb-48c6-b115-1aeb706856dc · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.798596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ea273155-aab1-40af-adea-bb1567ebc6b3 · outbound

This paper cites Schett and George Danezis.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Schett and George Danezis

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.868779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3a47681-7cdf-4764-840f-0efebc90f435 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.782961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f80e0044-173f-49ef-9fb9-f592f36a3b01 · outbound

This paper cites Shoal: Improving DAG-BFT Latency And Robustness.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Shoal: Improving DAG-BFT Latency And Robustness

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.877698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8b9bd45-f8a3-4b0f-a0a8-427e6b09d17a · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.768014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 680293ae-efc2-4fc6-a4cb-2fedcade69ad · outbound

This paper cites BBCA-LEDGER: High Throughput Consensus meets Low Latency.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake BBCA-LEDGER: High Throughput Consensus meets Low Latency

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.902640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14e3a246-7d21-45d0-8909-a89d80488798 · outbound

This paper cites Bullshark: The Partially Synchronous Version.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Bullshark: The Partially Synchronous Version

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.896901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation def30aed-9af8-451c-8c7c-99041ce32013 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.738720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7337d379-1405-4e12-aacf-9cc5e38ed07a · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.753315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation db01a770-2244-4c43-9c8f-e6ea71c646f7 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:03:19.723288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4587a712-fc1f-4d45-97fc-8cfc9485f2b0 · outbound

This paper cites an unresolved cited work.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-16T11:03:18.916577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 698b2407-d6d7-419b-87e7-5f8ae904eeeb · outbound

This paper cites Bullshark: DAG BFT Protocols Made Practical.

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake Bullshark: DAG BFT Protocols Made Practical

Reference 2022

Resolution: metadata mismatch; local_arxiv, observed 2026-08-16T11:03:19.106374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.