Paper Citation Record · LEDGER

Properties of UTxO Ledgers and Programs Implemented on Them

As of 8 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2506.05832.

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

pith.paper-citation-record.v1
2506.05832 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:24:46.137657Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

30 of 30 outbound references displayed

verified exact8
verified fuzzy12
unresolved7
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5d1c8b49-7421-4458-b292-2534ab6fa43f · outbound

This paper cites Schneider (1985): Deﬁning liveness.

Properties of UTxO Ledgers and Programs Implemented on Them Schneider (1985): Deﬁning liveness

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:44.230644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93bce2f3-cc71-4f99-893b-9cc9dd5fcf9b · outbound

This paper cites MIT Press.

Properties of UTxO Ledgers and Programs Implemented on Them MIT Press

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.429498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0042180e-de2b-4f2f-a250-d59092c3a835 · outbound

This paper cites A formal model of Algorand smart contracts.

Properties of UTxO Ledgers and Programs Implemented on Them A formal model of Algorand smart contracts

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-07T10:24:46.269157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f93db097-b175-4dc4-89dd-c263f2e31d91 · outbound

This paper cites 3, Cambridge univer- sity press, doi: 10.1017/CBO9780511525865.

Properties of UTxO Ledgers and Programs Implemented on Them 3, Cambridge univer- sity press, doi: 10.1017/CBO9780511525865

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:44.596798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab9b70c1-d763-4d33-93a4-ffbaaefd0456 · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T10:24:46.420153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 269eeb14-fd2d-47dd-81de-4d953c11015b · outbound

This paper cites https://ethereum.org/en/whitepaper/.

Properties of UTxO Ledgers and Programs Implemented on Them https://ethereum.org/en/whitepaper/

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.411581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 06189e8b-0c8c-41f5-a858-fe354f9a7b87 · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T10:24:46.403257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bbed2e7f-4bfd-4cc2-b5a5-899539945f8b · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 9

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T10:24:46.394612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b86e21f1-1801-465b-892e-736387947c14 · outbound

This paper cites https://github.com/input-output-hk/cardano-ledger/r eleases/latest/download/ shelley-ledger.pdf.

Properties of UTxO Ledgers and Programs Implemented on Them https://github.com/input-output-hk/cardano-ledger/r eleases/latest/download/ shelley-ledger.pdf

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.386157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation db123bdc-f6f0-4745-b55d-8548a09f6e7f · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T10:24:46.249406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5c85b89e-7e06-48bf-8eef-4e68d9827e11 · outbound

This paper cites https://ergoplatform.org/ docs/whitepaper.pdf.

Properties of UTxO Ledgers and Programs Implemented on Them https://ergoplatform.org/ docs/whitepaper.pdf

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.377291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation eced1197-5fa9-4ea4-9ca5-b0d0c652198b · outbound

This paper cites Gabbay (2021): Algebras of UTxO blockchains.

Properties of UTxO Ledgers and Programs Implemented on Them Gabbay (2021): Algebras of UTxO blockchains

Reference 13

Resolution: verified exact; doi, observed 2026-08-07T10:24:46.240379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 75c1acaf-8aaa-4e12-9325-8ed17ed529e7 · outbound

This paper cites S´ eminaire Bourbaki8, pp.

Properties of UTxO Ledgers and Programs Implemented on Them S´ eminaire Bourbaki8, pp

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.368371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation da5cd52a-eb43-4ede-a494-3a5e928aa40b · outbound

This paper cites https://tezos.com/ whitepaper.pdf.

Properties of UTxO Ledgers and Programs Implemented on Them https://tezos.com/ whitepaper.pdf

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.359115Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9971e16a-d278-43b8-8f61-9d85cbba24a1 · outbound

This paper cites Courier Corporation.

Properties of UTxO Ledgers and Programs Implemented on Them Courier Corporation

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.349823Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation beaba069-c956-4949-b593-b3140e3b3fbd · outbound

This paper cites In Magne Haveraaen, Olaf Owe & Ole-Johan Dahl, editors: Recent Trends in Data Type Speciﬁcation , Springer Berlin Heidelberg, Berlin, Heidelberg, pp.

Properties of UTxO Ledgers and Programs Implemented on Them In Magne Haveraaen, Olaf Owe & Ole-Johan Dahl, editors: Recent Trends in Data Type Speciﬁcation , Springer Berlin Heidelberg, Berlin, Heidelberg, pp

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T10:24:46.231109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation caf5d74e-4e2b-41d9-94bc-45330ad9d0bd · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:24:46.341079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ce4eeee3-8c66-4f77-b3bb-c0315d114d76 · outbound

This paper cites https://github.com/input-output-hk/cardano-ledger/r eleases/latest/download/ alonzo-ledger.pdf.

Properties of UTxO Ledgers and Programs Implemented on Them https://github.com/input-output-hk/cardano-ledger/r eleases/latest/download/ alonzo-ledger.pdf

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.331520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f2ad14d9-31cb-4b78-b53c-733dff2c0a0d · outbound

This paper cites Comptes-Rendus de l’Acad´ emie des Sciences 2, p.

Properties of UTxO Ledgers and Programs Implemented on Them Comptes-Rendus de l’Acad´ emie des Sciences 2, p

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.321740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ea4af277-abab-4b5d-9efd-61515cb79dfa · outbound

This paper cites 5, Springer Science & Business Media, doi:10.1007/978-1-4757-4721-8.

Properties of UTxO Ledgers and Programs Implemented on Them 5, Springer Science & Business Media, doi:10.1007/978-1-4757-4721-8

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:46.108904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c27c2ccd-8cee-4da9-9cac-4ee781b04371 · outbound

This paper cites Springer, doi: 10.1007/3-540-10235-3.

Properties of UTxO Ledgers and Programs Implemented on Them Springer, doi: 10.1007/3-540-10235-3

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:46.112045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28dce801-c430-48ee-93b3-8d39d25d2b3a · outbound

This paper cites Nakamoto (2008): Bitcoin: A Peer-to-Peer Electronic Cash System.

Properties of UTxO Ledgers and Programs Implemented on Them Nakamoto (2008): Bitcoin: A Peer-to-Peer Electronic Cash System

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.313379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3db25243-4588-4ec1-835a-ba014159613b · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 24

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T10:24:46.208141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f5d3ca44-bebb-481a-94db-91395a8bd75f · outbound

This paper cites Smith (2003): Software Development by Reﬁnement , pp.

Properties of UTxO Ledgers and Programs Implemented on Them Smith (2003): Software Development by Reﬁnement , pp

Reference 25

Resolution: verified exact; doi, observed 2026-08-07T10:24:46.198727Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 50c879ff-f1f4-49d4-908d-143cde9f2e28 · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T10:24:46.123046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9c81b78-1d55-4f26-9627-1d057e51c5e1 · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:24:46.304894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 00746730-4e0a-47ea-982e-6188a9bc1673 · outbound

This paper cites https://docs.zilliqa.com/ whitepaper.pdf.

Properties of UTxO Ledgers and Programs Implemented on Them https://docs.zilliqa.com/ whitepaper.pdf

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.295789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 179854ac-0a3b-420e-b7d4-4a11a326347c · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-07T10:24:46.178493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 10310587-c3a4-4a5a-ae7a-e83ba64114da · outbound

This paper cites an unresolved cited work.

Properties of UTxO Ledgers and Programs Implemented on Them Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-07T10:24:46.168038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e94a315e-e04b-4541-9d5d-c502d70b7a5c · outbound

This paper cites https://github.com/ nervosnetwork/rfcs/blob/master/rfcs/0002-ckb/0002-c kb.md.

Properties of UTxO Ledgers and Programs Implemented on Them https://github.com/ nervosnetwork/rfcs/blob/master/rfcs/0002-ckb/0002-c kb.md

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:24:46.286769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.