Paper Citation Record · LEDGER

Combating Reentrancy Bugs on Sharded Blockchains

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

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

pith.paper-citation-record.v1
2506.05932 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:17:53.594984Z

measured 28 of 28 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

28 of 28 outbound references displayed

verified exact2
verified fuzzy21
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cf418a29-c043-49dd-8e56-8d23baa4166e · outbound

This paper cites A survey of attacks on ethereum smart contracts sok,.

Combating Reentrancy Bugs on Sharded Blockchains A survey of attacks on ethereum smart contracts sok,

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T10:17:53.631978Z

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 66518122-26a1-4d0d-9fdb-72a4c7f7c8da · outbound

This paper cites Smart contract security field guide - reentrancy,.

Combating Reentrancy Bugs on Sharded Blockchains Smart contract security field guide - reentrancy,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.111849Z

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 cdd009e6-ad18-42c2-854b-841b2f0bd6c3 · outbound

This paper cites Refactoring solidity smart contracts to protect against reentrancy exploits,.

Combating Reentrancy Bugs on Sharded Blockchains Refactoring solidity smart contracts to protect against reentrancy exploits,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.101645Z

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 e0a050bb-12a8-45ee-8a8d-c397848be140 · outbound

This paper cites Reguard: Finding reentrancy bugs in smart contracts,.

Combating Reentrancy Bugs on Sharded Blockchains Reguard: Finding reentrancy bugs in smart contracts,

Reference 4

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:17:53.887292Z

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 c9e8bcac-3b74-47e6-af08-c2804f0cc9d2 · outbound

This paper cites Online detection of effectively callback free objects with applications to smart contracts,.

Combating Reentrancy Bugs on Sharded Blockchains Online detection of effectively callback free objects with applications to smart contracts,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T10:17:53.527813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1df012e7-cd67-41e2-b1dd-0421ca58fce1 · outbound

This paper cites A survey on security verification of blockchain smart contracts,.

Combating Reentrancy Bugs on Sharded Blockchains A survey on security verification of blockchain smart contracts,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.092183Z

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 085dccba-80b7-41f9-9050-b7f5a709a327 · outbound

This paper cites Formal verification of smart contracts: Short paper,.

Combating Reentrancy Bugs on Sharded Blockchains Formal verification of smart contracts: Short paper,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T10:17:53.534312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e44da77-8c28-4aa4-835d-8f7a2326c30e · outbound

This paper cites The internet computer for geeks,.

Combating Reentrancy Bugs on Sharded Blockchains The internet computer for geeks,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.082209Z

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 a566ea33-eb87-45e0-8bc7-1704390fe219 · outbound

This paper cites The near white paper,.

Combating Reentrancy Bugs on Sharded Blockchains The near white paper,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.072255Z

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 15685e15-3cc7-4256-ab99-10df39b63427 · outbound

This paper cites MultiversX - A Highly Scalable Public Blockchain via Adaptive State Sharding and Secure Proof of Stake,.

Combating Reentrancy Bugs on Sharded Blockchains MultiversX - A Highly Scalable Public Blockchain via Adaptive State Sharding and Secure Proof of Stake,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.061584Z

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 0705b9aa-bb48-4b64-821a-81923eab9231 · outbound

This paper cites POLKADOT: VISION FOR A HETEROGENEOUS MULTI-CHAIN FRAMEWORK,.

Combating Reentrancy Bugs on Sharded Blockchains POLKADOT: VISION FOR A HETEROGENEOUS MULTI-CHAIN FRAMEWORK,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.051609Z

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 9140b711-f69d-40e8-9ed4-2a707a78c32a · outbound

This paper cites Cerberus: Minimalistic Multi-shard Byzantine-resilient Transaction Processing.

Combating Reentrancy Bugs on Sharded Blockchains Cerberus: Minimalistic Multi-shard Byzantine-resilient Transaction Processing

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-07T10:17:53.750814Z

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 a3e1d85b-5898-4e77-b40a-6c1b282c32de · outbound

This paper cites Motoko programming language,.

Combating Reentrancy Bugs on Sharded Blockchains Motoko programming language,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.041802Z

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 55d7f039-ab80-4a95-b306-05258d0fa005 · outbound

This paper cites Chain-key bitcoin (ckbtc),.

Combating Reentrancy Bugs on Sharded Blockchains Chain-key bitcoin (ckbtc),

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.032354Z

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 5d9aba60-63fb-4f27-95b7-3f465ed41211 · outbound

This paper cites Bitcoin: A peer-to-peer electronic cash system,.

Combating Reentrancy Bugs on Sharded Blockchains Bitcoin: A peer-to-peer electronic cash system,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.023210Z

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 796850c2-e8b7-4d5a-97a6-29c4d9157503 · outbound

This paper cites Design and analysis of a distributed ecdsa signing service,.

Combating Reentrancy Bugs on Sharded Blockchains Design and analysis of a distributed ecdsa signing service,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.013061Z

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 ca453679-84ea-4e5f-9052-0e587e6b0a09 · outbound

This paper cites Analysis of the bitcoin utxo set,.

Combating Reentrancy Bugs on Sharded Blockchains Analysis of the bitcoin utxo set,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:54.002718Z

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 537a6ce4-bd23-4e6c-97b3-1fd880f0cffe · outbound

This paper cites Declarative control flow,.

Combating Reentrancy Bugs on Sharded Blockchains Declarative control flow,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.992711Z

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 68e5ddf9-452d-4bad-9aed-a360c7b54456 · outbound

This paper cites Motoko try / finally construct,.

Combating Reentrancy Bugs on Sharded Blockchains Motoko try / finally construct,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.982598Z

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 d6452c76-6974-426a-95ed-856e568246fb · outbound

This paper cites Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers.

Combating Reentrancy Bugs on Sharded Blockchains Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.971944Z

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 7f09854c-7583-4d28-a85d-e1d0d2740e8c · outbound

This paper cites Model checking tla+ specifica- tions,.

Combating Reentrancy Bugs on Sharded Blockchains Model checking tla+ specifica- tions,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.961213Z

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 14d043b6-bffc-43d1-aaba-d6163cb460c9 · outbound

This paper cites Tla+ model checking made symbolic,.

Combating Reentrancy Bugs on Sharded Blockchains Tla+ model checking made symbolic,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.950915Z

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 1bb28f9c-0246-47a2-a5e7-1d813bfc989e · outbound

This paper cites Tla+ proofs,.

Combating Reentrancy Bugs on Sharded Blockchains Tla+ proofs,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.940707Z

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 1d67b056-cbad-479c-8198-9892e6af67c6 · outbound

This paper cites an unresolved cited work.

Combating Reentrancy Bugs on Sharded Blockchains Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:17:53.930220Z

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 2c1f034a-4ae2-46f7-81dc-f77ff977f328 · outbound

This paper cites The pluscal algorithm language,.

Combating Reentrancy Bugs on Sharded Blockchains The pluscal algorithm language,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.919402Z

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 4d182c3e-48df-42e6-ab4b-e4eefee48292 · outbound

This paper cites ckbtc tla+ model,.

Combating Reentrancy Bugs on Sharded Blockchains ckbtc tla+ model,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.909157Z

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 cbf1ef9e-d879-496b-9851-5eed55612a08 · outbound

This paper cites Learning from mistakes: a comprehensive study on real world concurrency bug characteristics,.

Combating Reentrancy Bugs on Sharded Blockchains Learning from mistakes: a comprehensive study on real world concurrency bug characteristics,

Reference 27

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:17:53.738145Z

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 57a09846-b27d-42d8-bf27-dd4f9f382864 · outbound

This paper cites Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Dataintensive Systems,.

Combating Reentrancy Bugs on Sharded Blockchains Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Dataintensive Systems,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:17:53.897550Z

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.