Paper Citation Record · LEDGER

Formal verification of the S-two AIR

As of 8 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2606.04311.

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

pith.paper-citation-record.v1
2606.04311 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T06:32:33.638019Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-30T13:36:33.330666Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

11 of 11 outbound references displayed

verified exact1
verified fuzzy0
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 38d072ff-a2cf-4866-988c-bb07d651bb85 · outbound

This paper cites A verified algebraic representation of.

Formal verification of the S-two AIR A verified algebraic representation of

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5112a46a-a6d9-4179-822e-c149bce0c69f · outbound

This paper cites an unresolved cited work.

Formal verification of the S-two AIR Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-06-28T06:41:43.072479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c3eae2f7-834b-4ae1-9908-bf9917edb115 · outbound

This paper cites Foundations , year =.

Formal verification of the S-two AIR Foundations , year =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eba8c9c3-b07d-42ec-a4f0-2f04702de5fb · outbound

This paper cites an unresolved cited work.

Formal verification of the S-two AIR Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 745fb23f-fadc-4e9b-b944-1a6ef20ce81a · outbound

This paper cites 2021 , note =.

Formal verification of the S-two AIR 2021 , note =

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dcbe9cd-1f2f-4c72-a35a-ec1d467250d0 · outbound

This paper cites 2022 , url =.

Formal verification of the S-two AIR 2022 , url =

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f4b2e03-6eaa-4b19-a2ac-8043b7591805 · outbound

This paper cites 2024 , url =.

Formal verification of the S-two AIR 2024 , url =

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4735294c-86a1-4d92-a4ef-b026c70c2cf5 · outbound

This paper cites Interactive Theorem Proving and Program Development -.

Formal verification of the S-two AIR Interactive Theorem Proving and Program Development -

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e78e46c-4e34-4b89-8866-a5bc869c3bde · outbound

This paper cites Paulson and Markus Wenzel , title =.

Formal verification of the S-two AIR Paulson and Markus Wenzel , title =

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b00271cd-b4b4-4be1-a8eb-4ff0ce2e1cbb · outbound

This paper cites Certified Programs and Proofs (CPP) 2020 , pages =.

Formal verification of the S-two AIR Certified Programs and Proofs (CPP) 2020 , pages =

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 191eeee7-71a5-4271-a73c-c9c111fb91f9 · outbound

This paper cites an unresolved cited work.

Formal verification of the S-two AIR Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T06:32:33.638019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation bf274ae5-2a01-4a0d-9612-663779081012 · inbound

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges cites this paper.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Formal verification of the S-two AIR

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-30T13:36:33.330666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.