{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:EDDZZXG4FNW2BN4X7IZXISSE6J","short_pith_number":"pith:EDDZZXG4","schema_version":"1.0","canonical_sha256":"20c79cdcdc2b6da0b797fa33744a44f240a840ccd93c34b039935478f1191950","source":{"kind":"arxiv","id":"2509.10819","version":1},"attestation_state":"computed","paper":{"title":"Arguzz: Testing zkVMs for Soundness and Completeness Bugs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.PL"],"primary_cat":"cs.SE","authors_text":"Christoph Hochrainer, Maria Christakis, Valentin W\\\"ustholz","submitted_at":"2025-09-13T14:36:49Z","abstract_excerpt":"Zero-knowledge virtual machines (zkVMs) are increasingly deployed in decentralized applications and blockchain rollups since they enable verifiable off-chain computation. These VMs execute general-purpose programs, frequently written in Rust, and produce succinct cryptographic proofs. However, zkVMs are complex, and bugs in their constraint systems or execution logic can cause critical soundness (accepting invalid executions) or completeness (rejecting valid ones) issues.\n  We present Arguzz, the first automated tool for testing zkVMs for soundness and completeness bugs. To detect such bugs, A"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2509.10819","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-13T14:36:49Z","cross_cats_sorted":["cs.CR","cs.PL"],"title_canon_sha256":"e77ce2c3fa5d81b0c5819cfc8c5e33c089e9bebd5e1dd7f44d930d1b72fed645","abstract_canon_sha256":"1ce6cc098b52f921186de09165e742197d465d56db9e8f2f6677a9b3b4e1aa57"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:11:28.594595Z","signature_b64":"0lLzN4LlK2/v2YdhP5A/xq2YFIrXndshgpIMk1LLqpk0b6A90PGsnrnxuraYZinqmKWYlH/HjJ4vlG3BxgBzCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"20c79cdcdc2b6da0b797fa33744a44f240a840ccd93c34b039935478f1191950","last_reissued_at":"2026-07-05T12:11:28.594092Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:11:28.594092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Arguzz: Testing zkVMs for Soundness and Completeness Bugs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.PL"],"primary_cat":"cs.SE","authors_text":"Christoph Hochrainer, Maria Christakis, Valentin W\\\"ustholz","submitted_at":"2025-09-13T14:36:49Z","abstract_excerpt":"Zero-knowledge virtual machines (zkVMs) are increasingly deployed in decentralized applications and blockchain rollups since they enable verifiable off-chain computation. These VMs execute general-purpose programs, frequently written in Rust, and produce succinct cryptographic proofs. However, zkVMs are complex, and bugs in their constraint systems or execution logic can cause critical soundness (accepting invalid executions) or completeness (rejecting valid ones) issues.\n  We present Arguzz, the first automated tool for testing zkVMs for soundness and completeness bugs. To detect such bugs, A"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.10819","kind":"arxiv","version":1},"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/2509.10819/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2509.10819","created_at":"2026-07-05T12:11:28.594159+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.10819v1","created_at":"2026-07-05T12:11:28.594159+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.10819","created_at":"2026-07-05T12:11:28.594159+00:00"},{"alias_kind":"pith_short_12","alias_value":"EDDZZXG4FNW2","created_at":"2026-07-05T12:11:28.594159+00:00"},{"alias_kind":"pith_short_16","alias_value":"EDDZZXG4FNW2BN4X","created_at":"2026-07-05T12:11:28.594159+00:00"},{"alias_kind":"pith_short_8","alias_value":"EDDZZXG4","created_at":"2026-07-05T12:11:28.594159+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2602.00667","citing_title":"zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing","ref_index":30,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J","json":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J.json","graph_json":"https://pith.science/api/pith-number/EDDZZXG4FNW2BN4X7IZXISSE6J/graph.json","events_json":"https://pith.science/api/pith-number/EDDZZXG4FNW2BN4X7IZXISSE6J/events.json","paper":"https://pith.science/paper/EDDZZXG4"},"agent_actions":{"view_html":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J","download_json":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J.json","view_paper":"https://pith.science/paper/EDDZZXG4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.10819&json=true","fetch_graph":"https://pith.science/api/pith-number/EDDZZXG4FNW2BN4X7IZXISSE6J/graph.json","fetch_events":"https://pith.science/api/pith-number/EDDZZXG4FNW2BN4X7IZXISSE6J/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J/action/storage_attestation","attest_author":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J/action/author_attestation","sign_citation":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J/action/citation_signature","submit_replication":"https://pith.science/pith/EDDZZXG4FNW2BN4X7IZXISSE6J/action/replication_record"}},"created_at":"2026-07-05T12:11:28.594159+00:00","updated_at":"2026-07-05T12:11:28.594159+00:00"}