Paper Citation Record · LEDGER

Arguzz: Testing zkVMs for Soundness and Completeness Bugs

As of 20 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 2 inbound Pith citation observations for arXiv:2509.10819.

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

pith.paper-citation-record.v1
2509.10819 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T15:58:18.049723Z

measured 49 of 49 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 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-16T09:07:39.366038Z

Reference resolution

47 of 47 outbound references displayed

verified exact0
verified fuzzy43
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0a927d04-bcd8-4ddb-bc84-9d8d478e34e0 · outbound

This paper cites https://docs.gnark.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs https://docs.gnark

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.608968Z

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 82eb1f6b-c509-4f5f-b844-0402089d022e · outbound

This paper cites an unresolved cited work.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:58:18.598340Z

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 509e6338-29c0-4ab1-a08c-9911888b1f54 · outbound

This paper cites https://github.com/nexus-xyz/ nexus-zkvm.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs https://github.com/nexus-xyz/ nexus-zkvm

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.587861Z

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 54575224-b282-4bbc-915b-111b63f8c293 · outbound

This paper cites an unresolved cited work.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:58:18.576948Z

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 155186de-9ea3-4b81-8161-bf14a675dd1e · outbound

This paper cites an unresolved cited work.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:58:18.566977Z

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 d8bb5bf7-6407-46e8-86a3-2a36cbfb0d20 · outbound

This paper cites Mining API error- handling specifications from source code.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Mining API error- handling specifications from source code

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.557069Z

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 97f88b1b-be58-4e73-9884-8d516e07c937 · outbound

This paper cites Fault injection for dependability validation: A methodology and some applications.TSE, 16:166–182, 1990.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Fault injection for dependability validation: A methodology and some applications.TSE, 16:166–182, 1990

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.546630Z

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 75ce694b-f189-40fd-a759-7350be65697e · outbound

This paper cites Jolt: SNARKs for virtual machines via lookups.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Jolt: SNARKs for virtual machines via lookups

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.535780Z

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 1ae84526-c9ed-4c21-8ccd-d3866a4ffe72 · outbound

This paper cites Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.525571Z

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 0b517a8f-d5a3-40a4-8ce3-dbf86485813c · outbound

This paper cites Fuzztruction: Using fault injection-based fuzzing to leverage implicit domain knowledge.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Fuzztruction: Using fault injection-based fuzzing to leverage implicit domain knowledge

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.514973Z

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 8beab96b-798b-4241-b62d-e650a6dea3e8 · outbound

This paper cites No peer, no cry: Network application fuzzing via fault injection.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs No peer, no cry: Network application fuzzing via fault injection

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.504063Z

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 cec6f837-00a0-4f3a-ba8f-fe95d2a9ad8c · outbound

This paper cites Relational verification using product programs.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Relational verification using product programs

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.492568Z

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 b829daa4-88ea-47f9-83a6-bc2b247c3ca6 · outbound

This paper cites D’Argenio, and Tamara Rezk.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs D’Argenio, and Tamara Rezk

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.481848Z

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 7177aba3-3c6a-4879-8941-ed46b62c7b38 · outbound

This paper cites Cir- com: A circuit description language for building zero- knowledge applications.Trans.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Cir- com: A circuit description language for building zero- knowledge applications.Trans

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.470384Z

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 b075d925-0795-4d0e-b11e-6b7850fc908d · outbound

This paper cites Clarke, and Yunshan Zhu.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Clarke, and Yunshan Zhu

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.459589Z

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 d50951b6-d508-4530-9191-d09bae0bb91d · outbound

This paper cites A survey of compiler testing.Comput.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs A survey of compiler testing.Comput

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.448515Z

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 ba28cc1d-a083-4520-b344-65412843acee · outbound

This paper cites an unresolved cited work.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:58:18.438757Z

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 ecae3fda-f362-4f83-a65b-8d8b2b3432ce · outbound

This paper cites A general framework for dy- namic stub injection.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs A general framework for dy- namic stub injection

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.428824Z

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 6334d94a-899b-4864-8a0c-5bd13f476231 · outbound

This paper cites Clark and Dhiraj K.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Clark and Dhiraj K

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.418168Z

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 e4b1802a-9444-4790-b507-def909d000bd · outbound

This paper cites Clarkson and Fred B.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Clarkson and Fred B

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.406994Z

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 e064ff36-da00-4fbc-bbcd-b167a6e4f987 · outbound

This paper cites Abstract interpreta- tion: A unified lattice model for static analysis of pro- grams by construction or approximation of fixpoints.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Abstract interpreta- tion: A unified lattice model for static analysis of pro- grams by construction or approximation of fixpoints

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.395037Z

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 87af35da-bce7-45d4-bbb9-d10ce8e07814 · outbound

This paper cites Finding and under- standing defects in static analyzers by constructing au- tomated oracles.PACMSE, 1:1656–1678, 2024.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Finding and under- standing defects in static analyzers by constructing au- tomated oracles.PACMSE, 1:1656–1678, 2024

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.383560Z

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 c7d88fa3-9bf4-4ee6-b281-f8871299cb95 · outbound

This paper cites Fuzzing processing pipelines for zero-knowledge circuits.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Fuzzing processing pipelines for zero-knowledge circuits

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.371693Z

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 0913ab24-7efd-48f5-b1b9-97d14f8765b6 · outbound

This paper cites Tsai, and Ravishankar K.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Tsai, and Ravishankar K

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.360449Z

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 d6e414fc-4703-4e2e-8335-07506cb7519e · outbound

This paper cites DifuzzRTL: Dif- ferential fuzz testing to find CPU bugs.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs DifuzzRTL: Dif- ferential fuzz testing to find CPU bugs

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.349271Z

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 dcd3b0a1-a1f1-4202-886f-b97e5833e7ea · outbound

This paper cites Automatically detecting error handling bugs us- ing error specifications.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Automatically detecting error handling bugs us- ing error specifications

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.338296Z

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 7ad332de-8383-44e1-a2f7-d5bb2fe51046 · outbound

This paper cites Fuzzing error handling code using context-sensitive software fault injection.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Fuzzing error handling code using context-sensitive software fault injection

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.327151Z

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 63a7bb8f-15fa-4058-8f24-642329ea7726 · outbound

This paper cites Interrogation testing of program analyzers for soundness and precision issues.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Interrogation testing of program analyzers for soundness and precision issues

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.315625Z

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 36a911b3-85ee-4fc6-91d0-0e10a97b98fe · outbound

This paper cites TheHuzz: Instruction fuzzing of processors using golden-reference models for finding software-exploitable vulnerabilities.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs TheHuzz: Instruction fuzzing of processors using golden-reference models for finding software-exploitable vulnerabilities

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.300157Z

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 80c3d661-31c7-4e0b-ad65-fbe34449f272 · outbound

This paper cites Dory: Efficient, transparent arguments for generalised inner products and polynomial commit- ments.Cryptol.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Dory: Efficient, transparent arguments for generalised inner products and polynomial commit- ments.Cryptol

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.286281Z

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 7b1f6e11-8d6e-4c2a-881c-52946df09fb1 · outbound

This paper cites IFIZZ: Deep-state and efficient fault-scenario generation to test IoT firmware.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs IFIZZ: Deep-state and efficient fault-scenario generation to test IoT firmware

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.273180Z

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 3a83084a-3e17-4873-b061-32150526a8cc · outbound

This paper cites Metamorphic testing of Datalog engines.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Metamorphic testing of Datalog engines

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.261779Z

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 72712526-8765-464c-b0cb-b37346cbedd9 · outbound

This paper cites Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Detecting critical bugs in SMT solvers using blackbox mutational fuzzing

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.249988Z

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 844118ce-0c7b-4527-9c87-8c7bfb1bff52 · outbound

This paper cites Dependency-aware metamorphic test- ing of Datalog engines.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Dependency-aware metamorphic test- ing of Datalog engines

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.238275Z

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 9ba8bd13-ab4f-4956-a7fc-a2739a7c0d74 · outbound

This paper cites LFI: A prac- tical and general library-level fault injector.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs LFI: A prac- tical and general library-level fault injector

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.226893Z

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 a04b45f2-faa1-414d-883e-cf7b49320335 · outbound

This paper cites McMillan.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs McMillan

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.217072Z

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 7c6e6c44-1d81-4de0-8ec0-a0c09fc15e72 · outbound

This paper cites ECSTATIC: An extensible framework for testing and debugging configurable static analysis.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs ECSTATIC: An extensible framework for testing and debugging configurable static analysis

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.206616Z

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 72d94e2a-ab38-4fcf-8e14-dcea57e71e7d · outbound

This paper cites Sánchez, and Antonio Ruiz Cortés.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Sánchez, and Antonio Ruiz Cortés

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.194681Z

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 fd23c724-b442-48c7-afed-838f05b4c20c · outbound

This paper cites Fuzzing API error handling behaviors using coverage guided fault injec- tion.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Fuzzing API error handling behaviors using coverage guided fault injec- tion

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.182025Z

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 6e7077b0-6dbd-4e1f-9b8a-504c5e053307 · outbound

This paper cites Cascade: CPU fuzzing via intricate program generation.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Cascade: CPU fuzzing via intricate program generation

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.168704Z

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 b5b86ff6-7a7f-4451-966b-88c6d59ae9fd · outbound

This paper cites Secure information flow as a safety problem.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Secure information flow as a safety problem

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.155240Z

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 484e2a15-b69e-4b4e-b9fe-fb5a922b2727 · outbound

This paper cites Validating SMT solvers via semantic fusion.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Validating SMT solvers via semantic fusion

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.142047Z

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 26a46f2b-daea-4ef3-98d5-bbf874109117 · outbound

This paper cites MTZK: Testing and exploring bugs in zero-knowledge (ZK) compilers.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs MTZK: Testing and exploring bugs in zero-knowledge (ZK) compilers

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.130432Z

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 d248e8b6-f8aa-4e35-bdd0-a402b6ee378b · outbound

This paper cites MorFuzz: Fuzzing processor via runtime instruction morphing enhanced synchronizable co-simulation.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs MorFuzz: Fuzzing processor via runtime instruction morphing enhanced synchronizable co-simulation

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.119970Z

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 5b1d9972-6045-4958-b751-c85ef690f4e3 · outbound

This paper cites Finding and understand- ing bugs in software model checkers.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Finding and understand- ing bugs in software model checkers

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.108695Z

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 b44600ac-e63e-4e52-8fea-d4f5ab0f29c9 · outbound

This paper cites Statfier: Automated testing of static analyzers via semantic-preserving program transformations.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Statfier: Automated testing of static analyzers via semantic-preserving program transformations

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.095979Z

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 a25a0b65-8b70-4d9c-be9f-f0e98a658fb1 · outbound

This paper cites Understanding and detecting annotation-induced faults of static analyzers.PACMSE, 1:722–744, 2024.

Arguzz: Testing zkVMs for Soundness and Completeness Bugs Understanding and detecting annotation-induced faults of static analyzers.PACMSE, 1:722–744, 2024

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:58:18.082909Z

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

Observation 562be67c-6e70-4da6-b590-57d9967bf239 · inbound

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing cites this paper.

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing Arguzz: Testing zkVMs for Soundness and Completeness Bugs

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-16T09:07:39.368036Z

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 113e999f-f87d-42d6-bce4-3eefe906e0e9 · inbound

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

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Arguzz: Testing zkVMs for Soundness and Completeness Bugs

Reference 91

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.