{"as_of":"2026-08-08T18:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6b6cb8c01463fb50ab2da38280b3c73d6a852a2b18d404879f5a53a8008a8069","coverage":[{"denominator":97,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":97,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-30T13:36:33.576178Z","state":"measured"},{"denominator":97,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":97,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.23752/citation-record","integrity":"/paper/2607.23752/integrity","json":"/paper/2607.23752/citation-record.json","paper":"/paper/2607.23752"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:32.196131Z","title":"The knowledge complexity of interactive proof-systems (extended abstract),","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:32.196131Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:f2f4651f94e8931deb655f2e166ce01fccdb3947a8437dc4c3b4992feb36d180","observation_id":"3255f40f-b892-4909-9814-c8ea3a7576d1","resolution":{"observed_at":"2026-07-30T13:36:32.196131Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:32.263379Z","title":"Zerocash: Decentralized anonymous payments from bitcoin,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:32.263379Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:e3cc7345d8ea9ff60d6bfe4b065226e2a9a74c7b60ed83691859b4d88981fbbe","observation_id":"c2a4b3cb-5b2d-450e-86f5-f0e9ed58845c","resolution":{"observed_at":"2026-07-30T13:36:32.263379Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:32.401789Z","title":"zklogin: Privacy-preserving blockchain authentication with existing credentials,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:32.401789Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:075122a53137f72f556cc00722981e9d8281f83a46a4b25862bb91fdd772c2b3","observation_id":"1122fe75-b80e-415b-980b-3dabf948124a","resolution":{"observed_at":"2026-07-30T13:36:32.401789Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:32.570592Z","title":"Analyzing and benchmarking zk-rollups,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:32.570592Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:618eadf3604338c116312390bd4efb2037a3a00e9cb23cf634dc5501558fbada","observation_id":"1e369d04-ccbe-4447-8370-60235108a798","resolution":{"observed_at":"2026-07-30T13:36:32.570592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18535","last_updated":"2026-03-29T15:59:38Z","snapshot_observed_at":"2026-08-07T17:51:14.632578Z","submitted_at":"2025-02-25T05:04:27Z","title":"A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.18535","snapshot_observed_at":"2026-07-30T13:36:32.836647Z","title":"A survey of zero-knowledge proof based verifiable machine learning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:32.836647Z"},"links":{"cited_paper":"/paper/2502.18535","citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:90db312a2184a7a52bf9f70d6417b6f29fb80f557ccbd1c0fd0d0d7e0bbfc944","observation_id":"fd9c8d5b-fb65-4359-ae2e-18cb44a9c1b9","resolution":{"observed_at":"2026-07-30T13:36:32.836647Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:32.948330Z","title":"On the size of pairing-based non-interactive arguments,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:32.948330Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:97eda0383869c243718ed08e60d54d549e124d40f37f961593b0d366899d50fa","observation_id":"0abd8ab6-11c9-4fef-ae15-c766d10c443c","resolution":{"observed_at":"2026-07-30T13:36:32.948330Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.103845Z","title":"Sok: What don’t we know? understanding security vulnerabilities in snarks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.103845Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:27fec9a1610b3d7f7ca838ce920a06e5804385dcdded871a3c9ca4b324622c3c","observation_id":"c826fb3a-5b9c-4fb0-9fc7-2bdb684d3d34","resolution":{"observed_at":"2026-07-30T13:36:33.103845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.113128Z","title":"The orchard counterfeiting vulnerability—and next steps,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.113128Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:d4731773bce2af064afdb211d490a65aedf40b12676b14c82ad4ec81e6e6695f","observation_id":"33dc1cad-3716-40d5-ae2d-11fdcef72bd9","resolution":{"observed_at":"2026-07-30T13:36:33.113128Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.117029Z","title":"Attacker drains $2.1M from deprecated Aztec Connect in exploit,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.117029Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:b21e8c0046206c37b4437ec7bc2524521fe1df4d8b2960d04c4648320eadb1c7","observation_id":"d5eb9ecf-28fe-4764-a240-713a432bc7b5","resolution":{"observed_at":"2026-07-30T13:36:33.117029Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.123469Z","title":"ZKsync OS bug bounty program,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.123469Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:bb7aa5fc92e6a23984da86320546be077cc4d3264aa6e1a7ac98e6f0f8858ae0","observation_id":"ed9dafff-831d-4995-ba43-298be06ac6a8","resolution":{"observed_at":"2026-07-30T13:36:33.123469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.129299Z","title":"Circomspect,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.129299Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:9e3aebc5e7f14337ce5c40b83118b929bdc6f9e2ba687670f168339f9e2c9fa9","observation_id":"364c688a-3e9e-41df-abc6-198d51e3201a","resolution":{"observed_at":"2026-07-30T13:36:33.129299Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.133499Z","title":"Practical security analysis of zero-knowledge proof circuits,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.133499Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:2ff5ecac86f25c625fec1b6b6c53d21d104dac868762b8ab981cd3b21a9bcad4","observation_id":"c00ebf3b-2cd3-4c1b-909a-19c05b2885d8","resolution":{"observed_at":"2026-07-30T13:36:33.133499Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.137290Z","title":"Automated analysis of halo2 circuits,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.137290Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:6922747d48a79ed0064d7c97c3c749b4aebe7023f23e22995806c25c497eb697","observation_id":"f078d65b-85db-4359-bb8d-b6fe0ff8bb8c","resolution":{"observed_at":"2026-07-30T13:36:33.137290Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.142543Z","title":"Pilspector,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.142543Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:c0b6edfd4b3e6aff5f41726571b992fd8ac0d8288decb58a3ede321d4048aaa7","observation_id":"db006e9d-330d-4c2f-b67e-4d9b1e8b8827","resolution":{"observed_at":"2026-07-30T13:36:33.142543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.147076Z","title":"Language-Agnostic Detection of Computation- Constraint Inconsistencies in ZKP Programs Via Value Inference,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.147076Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:1f8003503c78b5272bd0dd333aa9d1b2fbbec3063d983bf0ba15a6908dc8b1ae","observation_id":"a1b381fc-6707-4020-8f11-7d6db5d58f8e","resolution":{"observed_at":"2026-07-30T13:36:33.147076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.151352Z","title":"Automated detection of under-constrained circuits in zero-knowledge proofs,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.151352Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:1821304decb8e579b63e268371fb32328e4b189082950e92c677aeccc656f740","observation_id":"42e67543-c8f5-4e2e-9d71-1b45b2796cb1","resolution":{"observed_at":"2026-07-30T13:36:33.151352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.155600Z","title":"Certifying zero-knowledge circuits with refine- ment types,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.155600Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:eb8599ccbe3acf31fab4454d48e70eb2281f12a430cd933edafe52b29ca3753a","observation_id":"72e06982-15b5-4579-add3-32a034991085","resolution":{"observed_at":"2026-07-30T13:36:33.155600Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.161302Z","title":"AC4: algebraic computation checker for circuit constraints in zero-knowledge proofs,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.161302Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:7aedda48507a12d13443fb09e7211cd729a2cedfbaa6c162d768b6f1b5d6aac6","observation_id":"3620df15-6d07-4bab-84bc-784bca26983c","resolution":{"observed_at":"2026-07-30T13:36:33.161302Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.165969Z","title":"Automated verification of consis- tency in zero-knowledge proof circuits,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.165969Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:a55ff7d054c017988136ee8a8f6fa2657d542a8d16446353ffc4743ef732d690","observation_id":"b0d1465b-306a-48ae-964f-bcc3000758ce","resolution":{"observed_at":"2026-07-30T13:36:33.165969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.170454Z","title":"zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits ,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.170454Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:7c5509a6be4260883da07a558e32ca13e30372e43cce971c2be9f0b06a8390f2","observation_id":"6590752a-a51b-4d7e-91a5-599b89c9570c","resolution":{"observed_at":"2026-07-30T13:36:33.170454Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.175926Z","title":"Towards fuzzing zero- knowledge proof circuits (short paper),","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.175926Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:08a13835d641fee6be92bb868df0d40e4bd0008e92747ef68dc6b7a3a4f024a1","observation_id":"ac30a216-1ad2-456e-9b6c-64efc3f62ee1","resolution":{"observed_at":"2026-07-30T13:36:33.175926Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.180328Z","title":"Formal verification of SP1 Hypercube,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.180328Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:b310cec04476fa63f6d37e4092e646a262c9e2408eff988be1fb86d5d178ab6e","observation_id":"9334c056-9bd8-4fcf-83ca-713ec70ad31f","resolution":{"observed_at":"2026-07-30T13:36:33.180328Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.184322Z","title":"Announcing formal verification of OpenVM RV32IM constraints in Lean,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.184322Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:6d6b30077d0a519be5cc8965b703dc5cb417ba7aa4a390c212c6e9a339bcc304","observation_id":"d778bc55-e5c9-41bc-8844-84f6174542db","resolution":{"observed_at":"2026-07-30T13:36:33.184322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.189618Z","title":"Verifying jolt zkvm lookup semantics,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.189618Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:abbb8735de0a5d8534cdce4a9913d6b8d504148135eaf71ead36e07f6de0e65a","observation_id":"db25a069-55dd-4e53-a8d9-e6e1edec5c6b","resolution":{"observed_at":"2026-07-30T13:36:33.189618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.193848Z","title":"Advanced formal verification of zero-knowledge proof blockchains,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.193848Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:532593ae85ebaeccb9102f8a15c9487cc3f7b71c14e44a4dc4c62dc32a46f78a","observation_id":"1bc6b568-3144-4283-a49d-2e9b9a267ca9","resolution":{"observed_at":"2026-07-30T13:36:33.193848Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.198626Z","title":"Formally verifying zero-knowledge circuits: Introducing CertiPlonk,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.198626Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:bddf81b327a7a5183d6e537ed8be9224f4a08c631bd57fbe24f583f09af39856","observation_id":"0b4b7186-76aa-4c49-90e6-003ff4e20b33","resolution":{"observed_at":"2026-07-30T13:36:33.198626Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.202308Z","title":"Circom: A circuit description language for building zero- knowledge applications,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.202308Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:f59b3d6fed09d4fd88bde6dea1eae707d54abc7e8f18ee7a4dae152a7251bee6","observation_id":"9024f46d-4823-4acf-ad01-1975941206c1","resolution":{"observed_at":"2026-07-30T13:36:33.202308Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.206588Z","title":"Succinct non- interactive zero knowledge for a von neumann architecture,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.206588Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:ce900ff14ffaebada77626102ff121e76d41243a120cded657872360ef105733","observation_id":"1ea81700-79de-4cdc-b58a-82df4e1f0c2d","resolution":{"observed_at":"2026-07-30T13:36:33.206588Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.210744Z","title":"Precompiles,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.210744Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:0fd2c02b5a5aa69d5a793838d80ea51b9c674335e779f2944e0ca013286a2ede","observation_id":"37833d6c-168d-4b78-b8c4-b11976f32ced","resolution":{"observed_at":"2026-07-30T13:36:33.210744Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.214856Z","title":"Sok: Understanding zkvm: From research to practice,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.214856Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:34093bf69dd79bd8274b969a63f6d19acd6119ea973b33e21aad655331bc47d1","observation_id":"17d26b5d-816b-4ebc-9935-23bb314caa57","resolution":{"observed_at":"2026-07-30T13:36:33.214856Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.218954Z","title":"Jolt: Snarks for virtual machines via lookups,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.218954Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:3a41fd4b476f63bbea3236676b53bf0a50bc73c9abed1bd09182a387bfd7b39a","observation_id":"98e0a8da-2ee5-40ea-b1c8-f743374e9162","resolution":{"observed_at":"2026-07-30T13:36:33.218954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.223720Z","title":"Personal opinion surveys,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.223720Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:92a5784b095772912b19bc801c4147d5d2e14e2955e66878778a3fbd6116ae95","observation_id":"8c4177e1-5499-4488-8750-3d5fa5621f27","resolution":{"observed_at":"2026-07-30T13:36:33.223720Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.228073Z","title":"What developers want and need from program analysis: an empirical study,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.228073Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:ae6b5209cf0160ee7af4eeeb7e00a5f66afc11f696bf8f39a270f7288ef226e6","observation_id":"54e1ca93-3c7e-400d-a0b8-4150c79d6589","resolution":{"observed_at":"2026-07-30T13:36:33.228073Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.232255Z","title":"Smart contract and defi security tools: Do they meet the needs of practitioners?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.232255Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:9a2579b073c1cade82a02267857cb586e6c0c118a0b968be3aedae83bb6ee618","observation_id":"09f9dd5e-3f32-44e3-a804-fff62022cf69","resolution":{"observed_at":"2026-07-30T13:36:33.232255Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.236235Z","title":"Conscs: Effective and efficient verification of circom circuits,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.236235Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:0c41f335f7984e1b0fb6ed98ef71b8a5dfff44afac162af21b4f97e9c7c2a0ca","observation_id":"34b3ec54-8fd0-445a-bde3-918cf821fe24","resolution":{"observed_at":"2026-07-30T13:36:33.236235Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.240911Z","title":"Scalable verification of zero-knowledge protocols,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.240911Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:d9424c5cfcddceb1e52c50a4bb6b74975a94f8d61eecb7b2f31f421254c27dc4","observation_id":"5ffe7402-0e10-4855-a4e6-ca26aa6e88c5","resolution":{"observed_at":"2026-07-30T13:36:33.240911Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.245181Z","title":"Ecneproject,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.245181Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:cee45a8667462f6d721c219cdf212dfdb697d29c3c552325a6fe62429929ec20","observation_id":"6de3ae22-13ac-45b4-b724-da68dd341144","resolution":{"observed_at":"2026-07-30T13:36:33.245181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.249504Z","title":"Circ: Compiler infrastructure for proof systems, software verification, and more,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.249504Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:627b2f08f013406c4e2d406a7648be8c90a8462f64ff32b67ed239c80fbe3470","observation_id":"13c017a8-eb78-4b43-ae52-e1a1ace3b7c9","resolution":{"observed_at":"2026-07-30T13:36:33.249504Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.253982Z","title":"LLZK: An MLIR-based intermediate representation for zero- knowledge circuit languages,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.253982Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:703d9a111772b336891a2f8eb34fe89c21dd9a0a4b7f29d1a37cce52e5c69f3c","observation_id":"b2a22e9d-ab54-4245-9278-467c8f25fb08","resolution":{"observed_at":"2026-07-30T13:36:33.253982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.259437Z","title":"SMT solving over finite field arithmetic,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.259437Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:09976a930976f53d75e9a2a3ff02488a59257abda201a8142085425eb61b2136","observation_id":"781f358c-7f22-42fd-b2f7-57790fb194fc","resolution":{"observed_at":"2026-07-30T13:36:33.259437Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.265502Z","title":"Split gr ¨obner bases for satisfiability modulo finite fields,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.265502Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:649d207ecb90fe100687b43952140b0bfca4b29f15668ae56b9b6aa91baca106","observation_id":"1083cb92-8d4c-4d91-8670-fffe2ce50d9c","resolution":{"observed_at":"2026-07-30T13:36:33.265502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.269662Z","title":"An SMT-LIB theory of finite fields,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.269662Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:bec89f10e04b5563172535bccf6448326b2e9cadcae29595524e4eb3c4ce61b7","observation_id":"8f1ea363-11c2-4018-b93d-e896f1276635","resolution":{"observed_at":"2026-07-30T13:36:33.269662Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.274524Z","title":"Satisfiability modulo finite fields,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.274524Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:6070a922c930ff895eecd9c60b9f7cc437cff4d3a7eaca79ec6dd114522c4720","observation_id":"32553ff9-cf35-49c3-b5db-8a59903c710f","resolution":{"observed_at":"2026-07-30T13:36:33.274524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.279275Z","title":"Mcsat-based finite field reasoning in the yices2 SMT solver (short paper),","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.279275Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:df5813e93809f78d5eeee4a39fbc6cacb2e921935bb9729666870f34508200a5","observation_id":"45b83fb0-51a9-4084-8aa4-e543db7f1e5c","resolution":{"observed_at":"2026-07-30T13:36:33.279275Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.26709","last_updated":"2026-04-29T14:16:36Z","snapshot_observed_at":"2026-08-05T00:38:10.188931Z","submitted_at":"2026-04-29T14:16:36Z","title":"An Effective Orchestral Approach to Satisfiability Modulo Prime Fields","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.26709","snapshot_observed_at":"2026-07-30T13:36:33.284403Z","title":"An effective orchestral approach to satisfiability modulo prime fields,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.284403Z"},"links":{"cited_paper":"/paper/2604.26709","citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:c2e59fcc2d21e27b1adc8f00fe525598a557916a79ab8e13296077101ffc4e30","observation_id":"d096d152-063b-40f1-b676-c9ae34a3231b","resolution":{"observed_at":"2026-07-30T13:36:33.284403Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.15163","last_updated":"2026-05-14T17:54:04Z","snapshot_observed_at":"2026-08-06T16:55:51.806807Z","submitted_at":"2026-05-14T17:54:04Z","title":"Automating Bitvector and Finite Field Equivalence Proofs in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.15163","snapshot_observed_at":"2026-07-30T13:36:33.290382Z","title":"Automating bitvector and finite field equivalence proofs in lean,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.290382Z"},"links":{"cited_paper":"/paper/2605.15163","citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:6ea298c4fcbb8ffb3b7c390333b034fbed8941371ebc53d03e111d0a0c5f36fd","observation_id":"f249a813-317f-4062-b593-5328f2e158fa","resolution":{"observed_at":"2026-07-30T13:36:33.290382Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.296297Z","title":"Formal verification of the Keccak precompile from Plonky3,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.296297Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:e4cd8332f5bad23c80638824f28f1a28c5be2abe6d06dddfdac9d2f209e9a108","observation_id":"5afac553-79e6-45f1-a0d7-eb1e107050be","resolution":{"observed_at":"2026-07-30T13:36:33.296297Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.302704Z","title":"We verified the verifier: a first for zero-knowledge proof systems,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.302704Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:662ebcbd91fa3f6626d5c0a3b5776e3f7ae5f2713db8897dea11ab41527d2675","observation_id":"609d7ada-e834-4bc4-883c-d11949a18084","resolution":{"observed_at":"2026-07-30T13:36:33.302704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.307194Z","title":"Verified zkEVM project,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.307194Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:43bb2b9fc7373105d0ef4c8dc867f63c3a221040b1bcaaf26770ecdb91d9cf61","observation_id":"887fbe79-bdbe-4105-b908-774458be43b2","resolution":{"observed_at":"2026-07-30T13:36:33.307194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.313079Z","title":"zkVM standards for Ethereum,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.313079Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:1859bb074298e3e07d65a4bfc5c2cc96c68c4e293cef400cbca4e9372d739cbf","observation_id":"ea7376be-c06e-482d-839b-51b18d2570ca","resolution":{"observed_at":"2026-07-30T13:36:33.313079Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.318746Z","title":"Verifying SP1 circuit determinism with Picus: A collaboration between Veridise and Succinct,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.318746Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:c4e87c64441feedbbadcd3e3cc5278db91a7d82bd25f7132c6946c446aa1b069","observation_id":"08f3a25b-f624-4b2b-81e9-a8fd612a47e8","resolution":{"observed_at":"2026-07-30T13:36:33.318746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.325686Z","title":"RISC Zero’s ZK-VM security: How Veridise enabled provable & continuous ZK security,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.325686Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:3348f060148c2c3ef61bcc055d7afcb1e16aedeaf8d838a7abf712492f2d04d0","observation_id":"dc4b7c29-4364-4298-947b-798e170814af","resolution":{"observed_at":"2026-07-30T13:36:33.325686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.04311","snapshot_observed_at":"2026-07-30T13:36:33.330666Z","title":"Formal verification of the s-two AIR,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.330666Z"},"links":{"cited_paper":"/paper/2606.04311","citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:49ebb6867ccfd19e49485be2575ac35f977738d68493c9c6b50615add3e05246","observation_id":"bf274ae5-2a01-4a0d-9612-663779081012","resolution":{"observed_at":"2026-07-30T13:36:33.330666Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.336893Z","title":"Formal verification of Halo2 circuits in Lean,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.336893Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:5198a7fd13540804a6c7ba2190cb162fe8274f750fa5d29b13c0fa7add929e98","observation_id":"6b76707b-be90-4674-bec2-cfe5b73c7945","resolution":{"observed_at":"2026-07-30T13:36:33.336893Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.341989Z","title":"Releasing OpenVM 2.0 to production,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.341989Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:e2a75a12535e74cf955dec586fe9ba1da481662507771375e693eb3fa20286dd","observation_id":"0536a42f-fc87-4a7f-ac8f-3e4c3e9a0ac0","resolution":{"observed_at":"2026-07-30T13:36:33.341989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.352046Z","title":"VCVio: Verified cryptography in lean via oracle effects and handlers,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.352046Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:fa67339ff327e95aab21d070c89e5dda7071b731bbc972f9f45e3d1deea14e1f","observation_id":"41af4ae3-9513-4b66-bc80-1c5007684b19","resolution":{"observed_at":"2026-07-30T13:36:33.352046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.356814Z","title":"Introducing Clean, a formal verification DSL for ZK circuits in Lean4,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.356814Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:2bdef10775fe208ddf38ded7d800a2698d54435367e0cd60fd61b43935da7b3d","observation_id":"383f76ee-db89-482f-b177-62d8229e51ee","resolution":{"observed_at":"2026-07-30T13:36:33.356814Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.361712Z","title":"Consistency verification for zero-knowledge virtual machine on circuit-irrelevant representation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.361712Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:1c417bde3ad08b3ccc8c1957ac2c79f47e6131292cf5a3cb50b541130d9a5020","observation_id":"687cb23d-53b5-4c45-8f77-6ff7cb6ecba1","resolution":{"observed_at":"2026-07-30T13:36:33.361712Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.367446Z","title":"Clean: Lean circuit dsl,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.367446Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:c55aec7de963635b8d2126d980fabec04d6ba31366a124618cc605e2bb20f559","observation_id":"9ca1a00d-0a84-4817-9f7a-6a4d4964c5d8","resolution":{"observed_at":"2026-07-30T13:36:33.367446Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.372117Z","title":"Charon: An analysis framework for rust,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.372117Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:43f5f23928040a7b9db3b283cbd56c812075f8bef8e5a9568f962d421e17f013","observation_id":"0474a606-9c32-4a54-a495-9bb1fd3a2617","resolution":{"observed_at":"2026-07-30T13:36:33.372117Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.376286Z","title":"Aeneas: Rust verification by functional transla- tion,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.376286Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:a6465803141b23bea4645740c437eb91765a688058db528dc4bcc0572257ea0e","observation_id":"17a0cc4b-0a5d-491a-aa1e-f5b70e6a79ad","resolution":{"observed_at":"2026-07-30T13:36:33.376286Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.381747Z","title":"hax: Verifying security-critical rust software using multiple provers,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.381747Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:d8bf286237bc6de5de593120ee63c6c7c0370e46e20caa035e8ae31375805fc4","observation_id":"0ffc2dde-598c-439d-abc8-6c41534ba7df","resolution":{"observed_at":"2026-07-30T13:36:33.381747Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.388338Z","title":"Verus: Verifying rust programs using linear ghost types,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.388338Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:8e4904f0fb2358b0897dd9fb3099a5f01896659c6cf2a31f58e8938903c75b65","observation_id":"731a3072-2233-4fe0-a504-ef5076c614a9","resolution":{"observed_at":"2026-07-30T13:36:33.388338Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.397741Z","title":"zkvm-verus: Ethereum foundation verus evaluation,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.397741Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:63378cd55bf03544e7b965833847d787d50a7a290a884148283dc6b504907bcd","observation_id":"bef27495-8eef-4e09-8aa9-cefe0ede1ed6","resolution":{"observed_at":"2026-07-30T13:36:33.397741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.402104Z","title":"Simple high-level code for cryptographic arithmetic - with proofs, without compromises,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.402104Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:422198142288761a0ff79cc126951b0d203864047a132b36e1f02a1058481773","observation_id":"8d2df24b-7183-4460-88a6-022c1c826e70","resolution":{"observed_at":"2026-07-30T13:36:33.402104Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.408496Z","title":"The trusted computing base of the compcert verified compiler,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.408496Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:be9eae14fd7b6aa462c51034b35576772818e4a532a1717057aea6e8aa43c36c","observation_id":"b49fd19d-2d07-41a8-bce6-4863e1bffe67","resolution":{"observed_at":"2026-07-30T13:36:33.408496Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.413106Z","title":"Getting the bugs out of snarks: The road ahead,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.413106Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:9de90c0a369cfc8bf70021f47c3c37576696618fd9fc043aedae93a02c465680","observation_id":"429d272a-dc74-4e30-aa05-656856c436c6","resolution":{"observed_at":"2026-07-30T13:36:33.413106Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.418570Z","title":"Accelerating Ethereum with autoprecompiles,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.418570Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:417774e46b824cc309a391392c85c7bca5af5f1ec211f9b62167b6f78cb640f6","observation_id":"21ad807f-971c-43c8-89ba-c2d74bae5c87","resolution":{"observed_at":"2026-07-30T13:36:33.418570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.422571Z","title":"ArkLib: Formally verified arguments of knowledge,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.422571Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:b21a9c07cb6bd5844711d27c53597164542def46e7b2be704fbcbcb0c46529b9","observation_id":"9edc0d87-2456-40c7-8cbf-24fd56f283fb","resolution":{"observed_at":"2026-07-30T13:36:33.422571Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.432791Z","title":"Algebraic methods for interactive proof systems,","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.432791Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:5145ca0d26bc0c65b28ec301405b5722d524ac1f9583315e5c8691a725da2c13","observation_id":"164ea0ac-87a2-4939-b13f-9049b91cbd17","resolution":{"observed_at":"2026-07-30T13:36:33.432791Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.437703Z","title":"Fast reed- solomon interactive oracle proofs of proximity,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.437703Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:ea6abfa35925a20d8b9c8e687c524bd2839038d84f600d3c7bc7fb8c1006460a","observation_id":"a5613c0d-bcb9-4714-8cfd-9f69ffe40a58","resolution":{"observed_at":"2026-07-30T13:36:33.437703Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.442283Z","title":"WHIR: reed-solomon proximity testing with super-fast verification,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.442283Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:7f366e7320d05e9fe99c12f6bfc889a33d518ae16845ce4b7c8f200405c558cc","observation_id":"ceb5971c-59a4-4f56-92b5-d3aa9387ddbe","resolution":{"observed_at":"2026-07-30T13:36:33.442283Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.446563Z","title":"A fiat-shamir transformation from duplex sponges,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.446563Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:e0c073c9e96627e47a949e48c1f8eef7483845fe41593b49276f98a5b3104f7c","observation_id":"a6cb112b-5981-475f-8649-8ec67e421a34","resolution":{"observed_at":"2026-07-30T13:36:33.446563Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.458570Z","title":"Multivariate lookups based on logarithmic derivatives,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.458570Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:5121095243ab78a8042057087c4df801edbd6928ee539ba095a4328f7f17d969","observation_id":"aacc81dc-aaa4-42df-8874-1fee189004eb","resolution":{"observed_at":"2026-07-30T13:36:33.458570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.464738Z","title":"Twist and shout: Faster memory checking arguments via one-hot addressing and increments,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.464738Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:20cec7b05aa875b35e141f65064a73131318a33debc5db5a4fc921fe43fd7ea8","observation_id":"cad18c31-4609-4b91-b22a-081e10abb6e9","resolution":{"observed_at":"2026-07-30T13:36:33.464738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.477603Z","title":"On formal verification and a bug in SP1 Hypercube,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.477603Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:6bb81ece668cabb18305bc7c000db9f52d7409b13fc8a4c473ac787752f3046b","observation_id":"1520854d-7b77-44bb-943d-9c70b5c6abb8","resolution":{"observed_at":"2026-07-30T13:36:33.477603Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.481084Z","title":"Verification theatre: False assurance in formally verified cryptographic libraries,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.481084Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:c896cdd01a5bc2df5a3859f38e5459b2fc87c6704c2e89fc8935c4e256fd71c5","observation_id":"0b0fe85f-217e-43c9-8fdb-835d758d439f","resolution":{"observed_at":"2026-07-30T13:36:33.481084Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.491515Z","title":"Validity threats in empirical software engineering research - an initial survey,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.491515Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:d9068505baf94d55961a2d38b17d17ceecb32f034281929692c60746996cebbb","observation_id":"7300dcd4-e2a8-4682-a4bf-c90444f87899","resolution":{"observed_at":"2026-07-30T13:36:33.491515Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.496241Z","title":"Zero- knowledge proof vulnerability analysis and security auditing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.496241Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:3becb451dbbd9182b986221ad56216c3a42042ebbe9c6643500d5bb6a0d0850c","observation_id":"d83907b6-658b-4135-8d9d-be9c33d2a9bf","resolution":{"observed_at":"2026-07-30T13:36:33.496241Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.509434Z","title":"Formal verification of zero- knowledge circuits,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.509434Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:939775abd4fe3a99410030b113cf7ae68110f1b69c059cb1d3554e5cd9b4efd7","observation_id":"af0c7d54-2735-4d2f-a2bf-6be98763f103","resolution":{"observed_at":"2026-07-30T13:36:33.509434Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.513673Z","title":"Leo: A programming language for formally verified, zero-knowledge applications,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.513673Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:d35420ef4ed245e1766652af5494494a9a73b5dc564fc820d4de3d81a71b8fbf","observation_id":"e4a0a0e6-9a37-4234-babb-53f1250cb3a0","resolution":{"observed_at":"2026-07-30T13:36:33.513673Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.520293Z","title":"Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.520293Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:ff07102a935ba35baefdcf30f9ca1a554305e5bf4bd30e64f6969b553b0276c4","observation_id":"bf10b273-bdf0-4268-9577-3009fb83f619","resolution":{"observed_at":"2026-07-30T13:36:33.520293Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.524163Z","title":"Revisiting the nova proof system on a cycle of curves,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.524163Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:ec1b5f2e05001a2ea0cec0f457e9efc938a6d2d568774ec3a2f2279523bef705","observation_id":"6137c5ce-53d6-4cdd-a708-ecf04d818fcd","resolution":{"observed_at":"2026-07-30T13:36:33.524163Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.528797Z","title":"How to prove false statements: Practical attacks on fiat-shamir,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.528797Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:7aecc4603e4816932a773f81b8ce133961ec22266af4c6c0e2206387cb45a03e","observation_id":"d995ad50-6c2b-43a2-9b5e-453d0c640e43","resolution":{"observed_at":"2026-07-30T13:36:33.528797Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.533338Z","title":"MTZK: testing and exploring bugs in zero-knowledge (ZK) compilers,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.533338Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:922e4516df8ba3392d3645252fc6823f374c178edbd6215614f9bcb2492db0fb","observation_id":"c9aa6f99-27a3-4af1-b100-8d18e206ec61","resolution":{"observed_at":"2026-07-30T13:36:33.533338Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.536720Z","title":"Fuzzing processing pipelines for zero-knowledge circuits,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.536720Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:ce2ae1bb509448c148441dbc98cd788eb968c94dc02357e11496411454ed7d5e","observation_id":"2ddd90b9-710e-4f17-bbc6-2fa266c7af97","resolution":{"observed_at":"2026-07-30T13:36:33.536720Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.540168Z","title":"Towards a formal foundation for blockchain ZK rollups,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.540168Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:d20fc0213b5be42397c289846f2a3b05283c7f5b562c67dc862aecd286c50b97","observation_id":"9cb73b96-61f5-4bc8-9382-6f6d174f7392","resolution":{"observed_at":"2026-07-30T13:36:33.540168Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.543845Z","title":"A practical rollup escape hatch design,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.543845Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:25b90c3eb561813354129258235a104b66f278e1d07f86a94d75a1260bda50e2","observation_id":"38297958-2068-44f2-a379-d8f4288df54a","resolution":{"observed_at":"2026-07-30T13:36:33.543845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.547787Z","title":"Unaligned incentives: Pricing attacks against blockchain rollups,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.547787Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:2b286a39fb278db86208546396ab28bd81d4854750f030badf88475885a2f798","observation_id":"01e7ebae-30e7-41d3-af22-a9998389cc02","resolution":{"observed_at":"2026-07-30T13:36:33.547787Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.553172Z","title":"Automated soundness and completeness vetting of polygon zkevm,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.553172Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:b4ddc744bdad5ea16f3f91ef49bc74468c61f424d8582d9fa2e49373e69a539c","observation_id":"11007060-947a-4154-87a9-1bc1f81e13a4","resolution":{"observed_at":"2026-07-30T13:36:33.553172Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.10819","last_updated":"2025-09-13T14:36:49Z","snapshot_observed_at":"2026-08-04T17:32:19.887892Z","submitted_at":"2025-09-13T14:36:49Z","title":"Arguzz: Testing zkVMs for Soundness and Completeness Bugs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.10819","snapshot_observed_at":"2026-07-30T13:36:33.557223Z","title":"Arguzz: Testing zkvms for soundness and completeness bugs,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.557223Z"},"links":{"cited_paper":"/paper/2509.10819","citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:132756ec13d34d72d50b7b057fd0eb6012b2b437e49f6cdc301bb98b818787fe","observation_id":"113e999f-f87d-42d6-bce4-3eefe906e0e9","resolution":{"observed_at":"2026-07-30T13:36:33.557223Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.568304Z","title":"A survey on ethereum systems security: Vulnerabilities, attacks, and defenses,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.568304Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:4c67c720ed04030dc3277fe5f967bba39d4f087c37aa0011d6de53d8df72397c","observation_id":"08b616f7-d298-4235-a434-6d02062650ab","resolution":{"observed_at":"2026-07-30T13:36:33.568304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1809.09805","last_updated":"2018-11-01T01:52:38Z","snapshot_observed_at":"2026-08-02T14:27:23.342103Z","submitted_at":"2018-09-26T04:41:34Z","title":"Towards Safer Smart Contracts: A Survey of Languages and Verification Methods","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1809.09805","snapshot_observed_at":"2026-07-30T13:36:33.572069Z","title":"Towards safer smart contracts: A survey of languages and verification methods,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.572069Z"},"links":{"cited_paper":"/paper/1809.09805","citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:76a437a296b0f27199c440d939eb73307339a12f5c341be414c53dc022783c75","observation_id":"8794c5ce-896c-46aa-8e4d-ac9360548615","resolution":{"observed_at":"2026-07-30T13:36:33.572069Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.576178Z","title":"Ethereum smart contract analysis tools: A systematic review,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.576178Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:67b8d08c2b324ec577f6b855953fecf8d781e3ed29d5d863bf56872f6da044f9","observation_id":"ba1bdc3f-f965-4ca5-aaf7-5aef0214e989","resolution":{"observed_at":"2026-07-30T13:36:33.576178Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:32.676873Z","title":"6:1–6:24","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":316,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:32.676873Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:1f56c3980512bd38ca2dc06b06e093c1120777cb9ba7d42c52d250f629f78106","observation_id":"863cd5ba-f5b5-43d6-b9d6-dd298da0bf35","resolution":{"observed_at":"2026-07-30T13:36:32.676873Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.428811Z","title":"Available: https://github.com/Verified-zkEVM/ArkLib","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.428811Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:37fc52e45425310e55986125ced6aea78e96ae86a0e7e0c1f6a6352fc3802349","observation_id":"691c34b0-633f-4c09-bb94-cfe31cd4bc00","resolution":{"observed_at":"2026-07-30T13:36:33.428811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T13:36:33.019845Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":9666,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.019845Z"},"links":{"citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:ea328e726240848f61793650821075b66e5856045b8625d95e398cc2e20b715a","observation_id":"f2736eda-f8d4-4255-a76a-1f43632ddfef","resolution":{"observed_at":"2026-07-30T13:36:33.019845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges"},"reference_resolution":{"displayed":97,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":97,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":97},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 97 of 97 outbound references and 0 inbound Pith citation observations for arXiv:2607.23752."}