ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges | Paper Citation Record

Observation 3255f40f-b892-4909-9814-c8ea3a7576d1 · outbound

This paper cites The knowledge complexity of interactive proof-systems (extended abstract),.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges The knowledge complexity of interactive proof-systems (extended abstract),

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2a4b3cb-5b2d-450e-86f5-f0e9ed58845c · outbound

This paper cites Zerocash: Decentralized anonymous payments from bitcoin,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Zerocash: Decentralized anonymous payments from bitcoin,

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1122fe75-b80e-415b-980b-3dabf948124a · outbound

This paper cites zklogin: Privacy-preserving blockchain authentication with existing credentials,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges zklogin: Privacy-preserving blockchain authentication with existing credentials,

Reference 3

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e369d04-ccbe-4447-8370-60235108a798 · outbound

This paper cites Analyzing and benchmarking zk-rollups,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Analyzing and benchmarking zk-rollups,

Reference 4

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd9c8d5b-fb65-4359-ae2e-18cb44a9c1b9 · outbound

This paper cites A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0abd8ab6-11c9-4fef-ae15-c766d10c443c · outbound

This paper cites On the size of pairing-based non-interactive arguments,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges On the size of pairing-based non-interactive arguments,

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c826fb3a-5b9c-4fb0-9fc7-2bdb684d3d34 · outbound

This paper cites Sok: What don’t we know? understanding security vulnerabilities in snarks,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Sok: What don’t we know? understanding security vulnerabilities in snarks,

Reference 7

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33dc1cad-3716-40d5-ae2d-11fdcef72bd9 · outbound

This paper cites The orchard counterfeiting vulnerability—and next steps,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges The orchard counterfeiting vulnerability—and next steps,

Reference 8

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5eb9ecf-28fe-4764-a240-713a432bc7b5 · outbound

This paper cites Attacker drains $2.1M from deprecated Aztec Connect in exploit,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Attacker drains $2.1M from deprecated Aztec Connect in exploit,

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed9dafff-831d-4995-ba43-298be06ac6a8 · outbound

This paper cites ZKsync OS bug bounty program,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges ZKsync OS bug bounty program,

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 364c688a-3e9e-41df-abc6-198d51e3201a · outbound

This paper cites Circomspect,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Circomspect,

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c00ebf3b-2cd3-4c1b-909a-19c05b2885d8 · outbound

This paper cites Practical security analysis of zero-knowledge proof circuits,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Practical security analysis of zero-knowledge proof circuits,

Reference 12

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f078d65b-85db-4359-bb8d-b6fe0ff8bb8c · outbound

This paper cites Automated analysis of halo2 circuits,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Automated analysis of halo2 circuits,

Reference 13

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db006e9d-330d-4c2f-b67e-4d9b1e8b8827 · outbound

This paper cites Pilspector,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Pilspector,

Reference 14

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1b381fc-6707-4020-8f11-7d6db5d58f8e · outbound

This paper cites Language-Agnostic Detection of Computation- Constraint Inconsistencies in ZKP Programs Via Value Inference,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Language-Agnostic Detection of Computation- Constraint Inconsistencies in ZKP Programs Via Value Inference,

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42e67543-c8f5-4e2e-9d71-1b45b2796cb1 · outbound

This paper cites Automated detection of under-constrained circuits in zero-knowledge proofs,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Automated detection of under-constrained circuits in zero-knowledge proofs,

Reference 16

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72e06982-15b5-4579-add3-32a034991085 · outbound

This paper cites Certifying zero-knowledge circuits with refine- ment types,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Certifying zero-knowledge circuits with refine- ment types,

Reference 17

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3620df15-6d07-4bab-84bc-784bca26983c · outbound

This paper cites AC4: algebraic computation checker for circuit constraints in zero-knowledge proofs,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges AC4: algebraic computation checker for circuit constraints in zero-knowledge proofs,

Reference 18

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0d1465b-306a-48ae-964f-bcc3000758ce · outbound

This paper cites Automated verification of consis- tency in zero-knowledge proof circuits,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Automated verification of consis- tency in zero-knowledge proof circuits,

Reference 19

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6590752a-a51b-4d7e-91a5-599b89c9570c · outbound

This paper cites zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits ,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits ,

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac30a216-1ad2-456e-9b6c-64efc3f62ee1 · outbound

This paper cites Towards fuzzing zero- knowledge proof circuits (short paper),.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Towards fuzzing zero- knowledge proof circuits (short paper),

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9334c056-9bd8-4fcf-83ca-713ec70ad31f · outbound

This paper cites Formal verification of SP1 Hypercube,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Formal verification of SP1 Hypercube,

Reference 22

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d778bc55-e5c9-41bc-8844-84f6174542db · outbound

This paper cites Announcing formal verification of OpenVM RV32IM constraints in Lean,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Announcing formal verification of OpenVM RV32IM constraints in Lean,

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db25a069-55dd-4e53-a8d9-e6e1edec5c6b · outbound

This paper cites Verifying jolt zkvm lookup semantics,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Verifying jolt zkvm lookup semantics,

Reference 24

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bc6b568-3144-4283-a49d-2e9b9a267ca9 · outbound

This paper cites Advanced formal verification of zero-knowledge proof blockchains,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Advanced formal verification of zero-knowledge proof blockchains,

Reference 25

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b4b7186-76aa-4c49-90e6-003ff4e20b33 · outbound

This paper cites Formally verifying zero-knowledge circuits: Introducing CertiPlonk,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Formally verifying zero-knowledge circuits: Introducing CertiPlonk,

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9024f46d-4823-4acf-ad01-1975941206c1 · outbound

This paper cites Circom: A circuit description language for building zero- knowledge applications,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Circom: A circuit description language for building zero- knowledge applications,

Reference 27

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ea81700-79de-4cdc-b58a-82df4e1f0c2d · outbound

This paper cites Succinct non- interactive zero knowledge for a von neumann architecture,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Succinct non- interactive zero knowledge for a von neumann architecture,

Reference 28

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37833d6c-168d-4b78-b8c4-b11976f32ced · outbound

This paper cites Precompiles,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Precompiles,

Reference 29

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17d26b5d-816b-4ebc-9935-23bb314caa57 · outbound

This paper cites Sok: Understanding zkvm: From research to practice,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Sok: Understanding zkvm: From research to practice,

Reference 30

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98e0a8da-2ee5-40ea-b1c8-f743374e9162 · outbound

This paper cites Jolt: Snarks for virtual machines via lookups,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Jolt: Snarks for virtual machines via lookups,

Reference 31

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c4177e1-5499-4488-8750-3d5fa5621f27 · outbound

This paper cites Personal opinion surveys,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Personal opinion surveys,

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54e1ca93-3c7e-400d-a0b8-4150c79d6589 · outbound

This paper cites What developers want and need from program analysis: an empirical study,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges What developers want and need from program analysis: an empirical study,

Reference 33

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09f9dd5e-3f32-44e3-a804-fff62022cf69 · outbound

This paper cites Smart contract and defi security tools: Do they meet the needs of practitioners?.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Smart contract and defi security tools: Do they meet the needs of practitioners?

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34b3ec54-8fd0-445a-bde3-918cf821fe24 · outbound

This paper cites Conscs: Effective and efficient verification of circom circuits,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Conscs: Effective and efficient verification of circom circuits,

Reference 35

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ffe7402-0e10-4855-a4e6-ca26aa6e88c5 · outbound

This paper cites Scalable verification of zero-knowledge protocols,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Scalable verification of zero-knowledge protocols,

Reference 36

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6de3ae22-13ac-45b4-b724-da68dd341144 · outbound

This paper cites Ecneproject,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Ecneproject,

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13c017a8-eb78-4b43-ae52-e1a1ace3b7c9 · outbound

This paper cites Circ: Compiler infrastructure for proof systems, software verification, and more,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Circ: Compiler infrastructure for proof systems, software verification, and more,

Reference 38

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2a22e9d-ab54-4245-9278-467c8f25fb08 · outbound

This paper cites LLZK: An MLIR-based intermediate representation for zero- knowledge circuit languages,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges LLZK: An MLIR-based intermediate representation for zero- knowledge circuit languages,

Reference 39

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 781f358c-7f22-42fd-b2f7-57790fb194fc · outbound

This paper cites SMT solving over finite field arithmetic,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges SMT solving over finite field arithmetic,

Reference 40

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1083cb92-8d4c-4d91-8670-fffe2ce50d9c · outbound

This paper cites Split gr ¨obner bases for satisfiability modulo finite fields,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Split gr ¨obner bases for satisfiability modulo finite fields,

Reference 41

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f1ea363-11c2-4018-b93d-e896f1276635 · outbound

This paper cites An SMT-LIB theory of finite fields,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges An SMT-LIB theory of finite fields,

Reference 42

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32553ff9-cf35-49c3-b5db-8a59903c710f · outbound

This paper cites Satisfiability modulo finite fields,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Satisfiability modulo finite fields,

Reference 43

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45b83fb0-51a9-4084-8aa4-e543db7f1e5c · outbound

This paper cites Mcsat-based finite field reasoning in the yices2 SMT solver (short paper),.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Mcsat-based finite field reasoning in the yices2 SMT solver (short paper),

Reference 44

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d096d152-063b-40f1-b676-c9ae34a3231b · outbound

This paper cites An Effective Orchestral Approach to Satisfiability Modulo Prime Fields.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges An Effective Orchestral Approach to Satisfiability Modulo Prime Fields

Reference 45

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f249a813-317f-4062-b593-5328f2e158fa · outbound

This paper cites Automating Bitvector and Finite Field Equivalence Proofs in Lean.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Automating Bitvector and Finite Field Equivalence Proofs in Lean

Reference 46

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5afac553-79e6-45f1-a0d7-eb1e107050be · outbound

This paper cites Formal verification of the Keccak precompile from Plonky3,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Formal verification of the Keccak precompile from Plonky3,

Reference 47

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 609d7ada-e834-4bc4-883c-d11949a18084 · outbound

This paper cites We verified the verifier: a first for zero-knowledge proof systems,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges We verified the verifier: a first for zero-knowledge proof systems,

Reference 48

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 887fbe79-bdbe-4105-b908-774458be43b2 · outbound

This paper cites Verified zkEVM project,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Verified zkEVM project,

Reference 49

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea7376be-c06e-482d-839b-51b18d2570ca · outbound

This paper cites zkVM standards for Ethereum,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges zkVM standards for Ethereum,

Reference 50

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08f3a25b-f624-4b2b-81e9-a8fd612a47e8 · outbound

This paper cites Verifying SP1 circuit determinism with Picus: A collaboration between Veridise and Succinct,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Verifying SP1 circuit determinism with Picus: A collaboration between Veridise and Succinct,

Reference 51

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc4b7c29-4364-4298-947b-798e170814af · outbound

This paper cites RISC Zero’s ZK-VM security: How Veridise enabled provable & continuous ZK security,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges RISC Zero’s ZK-VM security: How Veridise enabled provable & continuous ZK security,

Reference 52

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

This paper cites Formal verification of the S-two AIR.

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.

Observation 6b76707b-be90-4674-bec2-cfe5b73c7945 · outbound

This paper cites Formal verification of Halo2 circuits in Lean,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Formal verification of Halo2 circuits in Lean,

Reference 54

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0536a42f-fc87-4a7f-ac8f-3e4c3e9a0ac0 · outbound

This paper cites Releasing OpenVM 2.0 to production,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Releasing OpenVM 2.0 to production,

Reference 55

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41af4ae3-9513-4b66-bc80-1c5007684b19 · outbound

This paper cites VCVio: Verified cryptography in lean via oracle effects and handlers,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges VCVio: Verified cryptography in lean via oracle effects and handlers,

Reference 56

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 383f76ee-db89-482f-b177-62d8229e51ee · outbound

This paper cites Introducing Clean, a formal verification DSL for ZK circuits in Lean4,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Introducing Clean, a formal verification DSL for ZK circuits in Lean4,

Reference 57

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 687cb23d-53b5-4c45-8f77-6ff7cb6ecba1 · outbound

This paper cites Consistency verification for zero-knowledge virtual machine on circuit-irrelevant representation,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Consistency verification for zero-knowledge virtual machine on circuit-irrelevant representation,

Reference 58

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ca1a00d-0a84-4817-9f7a-6a4d4964c5d8 · outbound

This paper cites Clean: Lean circuit dsl,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Clean: Lean circuit dsl,

Reference 59

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0474a606-9c32-4a54-a495-9bb1fd3a2617 · outbound

This paper cites Charon: An analysis framework for rust,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Charon: An analysis framework for rust,

Reference 60

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17a0cc4b-0a5d-491a-aa1e-f5b70e6a79ad · outbound

This paper cites Aeneas: Rust verification by functional transla- tion,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Aeneas: Rust verification by functional transla- tion,

Reference 61

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ffc2dde-598c-439d-abc8-6c41534ba7df · outbound

This paper cites hax: Verifying security-critical rust software using multiple provers,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges hax: Verifying security-critical rust software using multiple provers,

Reference 62

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 731a3072-2233-4fe0-a504-ef5076c614a9 · outbound

This paper cites Verus: Verifying rust programs using linear ghost types,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Verus: Verifying rust programs using linear ghost types,

Reference 63

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bef27495-8eef-4e09-8aa9-cefe0ede1ed6 · outbound

This paper cites zkvm-verus: Ethereum foundation verus evaluation,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges zkvm-verus: Ethereum foundation verus evaluation,

Reference 64

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d2df24b-7183-4460-88a6-022c1c826e70 · outbound

This paper cites Simple high-level code for cryptographic arithmetic - with proofs, without compromises,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Simple high-level code for cryptographic arithmetic - with proofs, without compromises,

Reference 65

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b49fd19d-2d07-41a8-bce6-4863e1bffe67 · outbound

This paper cites The trusted computing base of the compcert verified compiler,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges The trusted computing base of the compcert verified compiler,

Reference 66

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 429d272a-dc74-4e30-aa05-656856c436c6 · outbound

This paper cites Getting the bugs out of snarks: The road ahead,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Getting the bugs out of snarks: The road ahead,

Reference 67

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21ad807f-971c-43c8-89ba-c2d74bae5c87 · outbound

This paper cites Accelerating Ethereum with autoprecompiles,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Accelerating Ethereum with autoprecompiles,

Reference 68

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9edc0d87-2456-40c7-8cbf-24fd56f283fb · outbound

This paper cites ArkLib: Formally verified arguments of knowledge,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges ArkLib: Formally verified arguments of knowledge,

Reference 69

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 164ea0ac-87a2-4939-b13f-9049b91cbd17 · outbound

This paper cites Algebraic methods for interactive proof systems,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Algebraic methods for interactive proof systems,

Reference 70

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5613c0d-bcb9-4714-8cfd-9f69ffe40a58 · outbound

This paper cites Fast reed- solomon interactive oracle proofs of proximity,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Fast reed- solomon interactive oracle proofs of proximity,

Reference 71

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ceb5971c-59a4-4f56-92b5-d3aa9387ddbe · outbound

This paper cites WHIR: reed-solomon proximity testing with super-fast verification,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges WHIR: reed-solomon proximity testing with super-fast verification,

Reference 72

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6cb112b-5981-475f-8649-8ec67e421a34 · outbound

This paper cites A fiat-shamir transformation from duplex sponges,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges A fiat-shamir transformation from duplex sponges,

Reference 73

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aacc81dc-aaa4-42df-8874-1fee189004eb · outbound

This paper cites Multivariate lookups based on logarithmic derivatives,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Multivariate lookups based on logarithmic derivatives,

Reference 74

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cad18c31-4609-4b91-b22a-081e10abb6e9 · outbound

This paper cites Twist and shout: Faster memory checking arguments via one-hot addressing and increments,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Twist and shout: Faster memory checking arguments via one-hot addressing and increments,

Reference 75

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1520854d-7b77-44bb-943d-9c70b5c6abb8 · outbound

This paper cites On formal verification and a bug in SP1 Hypercube,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges On formal verification and a bug in SP1 Hypercube,

Reference 76

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b0fe85f-217e-43c9-8fdb-835d758d439f · outbound

This paper cites Verification theatre: False assurance in formally verified cryptographic libraries,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Verification theatre: False assurance in formally verified cryptographic libraries,

Reference 77

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7300dcd4-e2a8-4682-a4bf-c90444f87899 · outbound

This paper cites Validity threats in empirical software engineering research - an initial survey,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Validity threats in empirical software engineering research - an initial survey,

Reference 78

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d83907b6-658b-4135-8d9d-be9c33d2a9bf · outbound

This paper cites Zero- knowledge proof vulnerability analysis and security auditing,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Zero- knowledge proof vulnerability analysis and security auditing,

Reference 79

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af0c7d54-2735-4d2f-a2bf-6be98763f103 · outbound

This paper cites Formal verification of zero- knowledge circuits,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Formal verification of zero- knowledge circuits,

Reference 80

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4a0a0e6-9a37-4234-babb-53f1250cb3a0 · outbound

This paper cites Leo: A programming language for formally verified, zero-knowledge applications,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Leo: A programming language for formally verified, zero-knowledge applications,

Reference 81

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf10b273-bdf0-4268-9577-3009fb83f619 · outbound

This paper cites Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs,

Reference 82

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6137c5ce-53d6-4cdd-a708-ecf04d818fcd · outbound

This paper cites Revisiting the nova proof system on a cycle of curves,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Revisiting the nova proof system on a cycle of curves,

Reference 83

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d995ad50-6c2b-43a2-9b5e-453d0c640e43 · outbound

This paper cites How to prove false statements: Practical attacks on fiat-shamir,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges How to prove false statements: Practical attacks on fiat-shamir,

Reference 84

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9aa6f99-27a3-4af1-b100-8d18e206ec61 · outbound

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

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges MTZK: testing and exploring bugs in zero-knowledge (ZK) compilers,

Reference 85

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ddd90b9-710e-4f17-bbc6-2fa266c7af97 · outbound

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

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Fuzzing processing pipelines for zero-knowledge circuits,

Reference 86

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cb73b96-61f5-4bc8-9382-6f6d174f7392 · outbound

This paper cites Towards a formal foundation for blockchain ZK rollups,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Towards a formal foundation for blockchain ZK rollups,

Reference 87

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38297958-2068-44f2-a379-d8f4288df54a · outbound

This paper cites A practical rollup escape hatch design,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges A practical rollup escape hatch design,

Reference 88

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01e7ebae-30e7-41d3-af22-a9998389cc02 · outbound

This paper cites Unaligned incentives: Pricing attacks against blockchain rollups,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Unaligned incentives: Pricing attacks against blockchain rollups,

Reference 89

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11007060-947a-4154-87a9-1bc1f81e13a4 · outbound

This paper cites Automated soundness and completeness vetting of polygon zkevm,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Automated soundness and completeness vetting of polygon zkevm,

Reference 90

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 113e999f-f87d-42d6-bce4-3eefe906e0e9 · outbound

This paper cites Arguzz: Testing zkVMs for Soundness and Completeness Bugs.

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.

Observation 08b616f7-d298-4235-a434-6d02062650ab · outbound

This paper cites A survey on ethereum systems security: Vulnerabilities, attacks, and defenses,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges A survey on ethereum systems security: Vulnerabilities, attacks, and defenses,

Reference 92

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8794c5ce-896c-46aa-8e4d-ac9360548615 · outbound

This paper cites Towards Safer Smart Contracts: A Survey of Languages and Verification Methods.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Towards Safer Smart Contracts: A Survey of Languages and Verification Methods

Reference 93

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba1bdc3f-f965-4ca5-aaf7-5aef0214e989 · outbound

This paper cites Ethereum smart contract analysis tools: A systematic review,.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Ethereum smart contract analysis tools: A systematic review,

Reference 94

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 863cd5ba-f5b5-43d6-b9d6-dd298da0bf35 · outbound

This paper cites 6:1–6:24.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges 6:1–6:24

Reference 316

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 691c34b0-633f-4c09-bb94-cfe31cd4bc00 · outbound

This paper cites Available: https://github.com/Verified-zkEVM/ArkLib.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Available: https://github.com/Verified-zkEVM/ArkLib

Reference 2025

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2736eda-f8d4-4255-a76a-1f43632ddfef · outbound

This paper cites an unresolved cited work.

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges Unresolved cited work

Reference 9666

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers