{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:SAARC6N4VAU5RV5VLJJBJ3SIUA","short_pith_number":"pith:SAARC6N4","canonical_record":{"source":{"id":"2504.11961","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-04-16T10:43:48Z","cross_cats_sorted":[],"title_canon_sha256":"4425cd69684de7e51c476dabdf662ec0bf6cfe01f174aabd0b22bb0dbe6db036","abstract_canon_sha256":"51d1bbd0b8795931fae5d27ff3d2caf97bccc52853b2d7be64a73ed6bbbb01e6"},"schema_version":"1.0"},"canonical_sha256":"90011179bca829d8d7b55a5214ee48a007f92681127ba7e69539a81a2c58bbe2","source":{"kind":"arxiv","id":"2504.11961","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.11961","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"arxiv_version","alias_value":"2504.11961v3","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.11961","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"pith_short_12","alias_value":"SAARC6N4VAU5","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"pith_short_16","alias_value":"SAARC6N4VAU5RV5V","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"pith_short_8","alias_value":"SAARC6N4","created_at":"2026-05-26T01:02:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:SAARC6N4VAU5RV5VLJJBJ3SIUA","target":"record","payload":{"canonical_record":{"source":{"id":"2504.11961","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-04-16T10:43:48Z","cross_cats_sorted":[],"title_canon_sha256":"4425cd69684de7e51c476dabdf662ec0bf6cfe01f174aabd0b22bb0dbe6db036","abstract_canon_sha256":"51d1bbd0b8795931fae5d27ff3d2caf97bccc52853b2d7be64a73ed6bbbb01e6"},"schema_version":"1.0"},"canonical_sha256":"90011179bca829d8d7b55a5214ee48a007f92681127ba7e69539a81a2c58bbe2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T01:02:26.199042Z","signature_b64":"Uksfrw7ua3P5iWrbk1Js6LD4qu0E0ysl5JCOp73kKzzOsGLr99cNXfue/125XfnSmFF0RxOGBBilFAK5U9+cAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90011179bca829d8d7b55a5214ee48a007f92681127ba7e69539a81a2c58bbe2","last_reissued_at":"2026-05-26T01:02:26.198100Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T01:02:26.198100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.11961","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-26T01:02:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DleQlzxkplPa3boK/3+BzcoyfAPTJ49/LaXUDFJHm9VTpVk6PzzsknH7tK4uIvZbFAPQK5X+8Wk+Anaf2A0mCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:13:36.978878Z"},"content_sha256":"524e5661193d431b41de6168c4f6a28ac388efe38c818d72b97a827485c42955","schema_version":"1.0","event_id":"sha256:524e5661193d431b41de6168c4f6a28ac388efe38c818d72b97a827485c42955"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:SAARC6N4VAU5RV5VLJJBJ3SIUA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Hideaki Takahashi, Jihwan Kim, Junfeng Yang, Suman Jana","submitted_at":"2025-04-16T10:43:48Z","abstract_excerpt":"Zero-knowledge (ZK) circuits enable privacy-preserving computations and are central to many cryptographic protocols. Systems like Circom simplify ZK development by combining witness computation and circuit constraints in one program. However, even small errors can compromise security of ZK programs -- under-constrained circuits may accept invalid witnesses, while over-constrained ones may reject valid ones. Static analyzers are often imprecise with high false positives, and formal tools struggle with real-world circuit scale. Additionally, existing tools overlook several critical behaviors, su"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.11961","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.11961/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-26T01:02:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mGxsCCCwjgQLCLJYKEsz/ernx8OPMHada5LyQPyb4TiOSXYyeQQ6tPj29za7SUzyM683cBPtfH27otrX0sTKCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:13:36.979261Z"},"content_sha256":"f0ad50ae8a425cc198964cc2c371efe97d6096077038dee9e9e7affcbc54dcd9","schema_version":"1.0","event_id":"sha256:f0ad50ae8a425cc198964cc2c371efe97d6096077038dee9e9e7affcbc54dcd9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SAARC6N4VAU5RV5VLJJBJ3SIUA/bundle.json","state_url":"https://pith.science/pith/SAARC6N4VAU5RV5VLJJBJ3SIUA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SAARC6N4VAU5RV5VLJJBJ3SIUA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T12:13:36Z","links":{"resolver":"https://pith.science/pith/SAARC6N4VAU5RV5VLJJBJ3SIUA","bundle":"https://pith.science/pith/SAARC6N4VAU5RV5VLJJBJ3SIUA/bundle.json","state":"https://pith.science/pith/SAARC6N4VAU5RV5VLJJBJ3SIUA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SAARC6N4VAU5RV5VLJJBJ3SIUA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:SAARC6N4VAU5RV5VLJJBJ3SIUA","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"51d1bbd0b8795931fae5d27ff3d2caf97bccc52853b2d7be64a73ed6bbbb01e6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-04-16T10:43:48Z","title_canon_sha256":"4425cd69684de7e51c476dabdf662ec0bf6cfe01f174aabd0b22bb0dbe6db036"},"schema_version":"1.0","source":{"id":"2504.11961","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.11961","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"arxiv_version","alias_value":"2504.11961v3","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.11961","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"pith_short_12","alias_value":"SAARC6N4VAU5","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"pith_short_16","alias_value":"SAARC6N4VAU5RV5V","created_at":"2026-05-26T01:02:26Z"},{"alias_kind":"pith_short_8","alias_value":"SAARC6N4","created_at":"2026-05-26T01:02:26Z"}],"graph_snapshots":[{"event_id":"sha256:f0ad50ae8a425cc198964cc2c371efe97d6096077038dee9e9e7affcbc54dcd9","target":"graph","created_at":"2026-05-26T01:02:26Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2504.11961/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Zero-knowledge (ZK) circuits enable privacy-preserving computations and are central to many cryptographic protocols. Systems like Circom simplify ZK development by combining witness computation and circuit constraints in one program. However, even small errors can compromise security of ZK programs -- under-constrained circuits may accept invalid witnesses, while over-constrained ones may reject valid ones. Static analyzers are often imprecise with high false positives, and formal tools struggle with real-world circuit scale. Additionally, existing tools overlook several critical behaviors, su","authors_text":"Hideaki Takahashi, Jihwan Kim, Junfeng Yang, Suman Jana","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-04-16T10:43:48Z","title":"zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.11961","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:524e5661193d431b41de6168c4f6a28ac388efe38c818d72b97a827485c42955","target":"record","created_at":"2026-05-26T01:02:26Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"51d1bbd0b8795931fae5d27ff3d2caf97bccc52853b2d7be64a73ed6bbbb01e6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-04-16T10:43:48Z","title_canon_sha256":"4425cd69684de7e51c476dabdf662ec0bf6cfe01f174aabd0b22bb0dbe6db036"},"schema_version":"1.0","source":{"id":"2504.11961","kind":"arxiv","version":3}},"canonical_sha256":"90011179bca829d8d7b55a5214ee48a007f92681127ba7e69539a81a2c58bbe2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90011179bca829d8d7b55a5214ee48a007f92681127ba7e69539a81a2c58bbe2","first_computed_at":"2026-05-26T01:02:26.198100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T01:02:26.198100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Uksfrw7ua3P5iWrbk1Js6LD4qu0E0ysl5JCOp73kKzzOsGLr99cNXfue/125XfnSmFF0RxOGBBilFAK5U9+cAA==","signature_status":"signed_v1","signed_at":"2026-05-26T01:02:26.199042Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.11961","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:524e5661193d431b41de6168c4f6a28ac388efe38c818d72b97a827485c42955","sha256:f0ad50ae8a425cc198964cc2c371efe97d6096077038dee9e9e7affcbc54dcd9"],"state_sha256":"5736071d6af5ce60f263f5365500182ecb6ded9b897eb9a03f74492fd6f2413d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"scVSaaXL7d/oPj9gVAtMPqG/uIxKuvww73cjOoEGHHkXQFUiFZ98DKfwYelTC8sE0mAlKalooEMXgeYNyfxmCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T12:13:36.981469Z","bundle_sha256":"57aca6487494acf74b4635dd111f599baf53a55970879945f677c687e7bf9259"}}