zkCraft combines LLM-guided mutations with R1CS-aware localization and Violation IOP proofs to detect under- and over-constrained faults in zero-knowledge circuits while reducing solver queries.
Zk-senselm: Veri- fiable large-model wireless sensing with selective abstention and zero-knowledge attestation.arXiv preprint arXiv:2510.25677, 2025
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
zkCraft combines LLM-guided mutations with R1CS-aware localization and Violation IOP proofs to detect under- and over-constrained faults in zero-knowledge circuits while reducing solver queries.