Buchumschlag

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fu, Rong, Tan, Jia Yee, Wang, Youjin, Kong, Ziyu, Su, Zeli, Kang, Zhaolu, Zhang, Shuning, Li, Xianda, Liu, Kun, Fong, Simon
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence
von: Fu, Rong, et al.
Veröffentlicht: (2026)

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
von: Takahashi, Hideaki, et al.
Veröffentlicht: (2025)

GaiaFlow: Semantic-Guided Diffusion Tuning for Carbon-Frugal Search
von: Fu, Rong, et al.
Veröffentlicht: (2026)

Emotion Collider: Dual Hyperbolic Mirror Manifolds for Sentiment Recovery via Anti Emotion Reflection
von: Fu, Rong, et al.
Veröffentlicht: (2026)

ModalImmune: Immunity Driven Unlearning via Self Destructive Training
von: Fu, Rong, et al.
Veröffentlicht: (2026)

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
von: Law, William
Veröffentlicht: (2025)

Hybrid Fuzzing with LLM-Guided Input Mutation and Semantic Feedback
von: Lin, Shiyin
Veröffentlicht: (2025)

SwiftRepertoire: Few-Shot Immune-Signature Synthesis via Dynamic Kernel Codes
von: Fu, Rong, et al.
Veröffentlicht: (2026)

SubQuad: Near-Quadratic-Free Structure Inference with Distribution-Balanced Objectives in Adaptive Receptor framework
von: Fu, Rong, et al.
Veröffentlicht: (2026)

What Is the Point of Equality in Machine Learning Fairness? Beyond Equality of Opportunity
von: Kong, Youjin
Veröffentlicht: (2025)

AdvSynGNN: Structure-Adaptive Graph Neural Nets via Adversarial Synthesis and Self-Corrective Propagation
von: Fu, Rong, et al.
Veröffentlicht: (2026)

Prompt Fuzzing for Fuzz Driver Generation
von: Lyu, Yunlong, et al.
Veröffentlicht: (2023)

Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs
von: Sober, Michael, et al.
Veröffentlicht: (2024)

Prompting Language-Informed Distribution for Compositional Zero-Shot Learning
von: Bao, Wentao, et al.
Veröffentlicht: (2023)

TempoNet: Slack-Quantized Transformer-Guided Reinforcement Scheduler for Adaptive Deadline-Centric Real-Time Dispatchs
von: Fu, Rong, et al.
Veröffentlicht: (2026)

ZK‐type limit for the Euler–Poisson system with a realistic electrostatic potential in dimension three
von: Rong Rong
Veröffentlicht: (2024)

CityGuard: Graph-Aware Private Descriptors for Bias-Resilient Identity Search Across Urban Cameras
von: Fu, Rong, et al.
Veröffentlicht: (2026)

MotionCraft: Physics-based Zero-Shot Video Generation
von: Aira, Luca Savant, et al.
Veröffentlicht: (2024)

Zero-Knowledge Extensions on Solana: A Theory of ZK Architecture
von: Yano, Jotaro
Veröffentlicht: (2025)

Semantic-Aware Fuzzing: An Empirical Framework for LLM-Guided, Reasoning-Driven Input Mutation
von: Lu, Mengdi, et al.
Veröffentlicht: (2025)

zkLLM: Zero Knowledge Proofs for Large Language Models
von: Sun, Haochen, et al.
Veröffentlicht: (2024)

Better Zero-Shot Reasoning with Role-Play Prompting
von: Kong, Aobo, et al.
Veröffentlicht: (2023)

Bug Histories as Sources of Compiler Fuzzing Mutators
von: Liu, Lingjun, et al.
Veröffentlicht: (2025)

MOTIF: A tool for Mutation Testing with Fuzzing
von: Lee, Jaekwon, et al.
Veröffentlicht: (2024)

Fuzzing MLIR Compilers with Custom Mutation Synthesis
von: Limpanukorn, Ben, et al.
Veröffentlicht: (2024)

Instances Need More Care: Rewriting Prompts for Instances with LLMs in the Loop Yields Better Zero-Shot Performance
von: Srivastava, Saurabh, et al.
Veröffentlicht: (2023)

SimFuzz: Similarity-guided Block-level Mutation for RISC-V Processor Fuzzing
von: Lyu, Hao, et al.
Veröffentlicht: (2026)

DocFuzz: A Directed Fuzzing Method Based on a Feedback Mechanism Mutator
von: Lixia Xie, et al.
Veröffentlicht: (2024)

VoiceCraft: Zero-Shot Speech Editing and Text-to-Speech in the Wild
von: Peng, Puyuan, et al.
Veröffentlicht: (2024)

ZK-APEX: Zero-Knowledge Approximate Personalized Unlearning with Executable Proofs
von: Maheri, Mohammad M, et al.
Veröffentlicht: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
von: Krishnan, Rahul, et al.
Veröffentlicht: (2025)

Hint of Pseudo Code (HoPC): Zero-Shot Step by Step Pseudo Code Reasoning Prompting
von: Lei, Iok Tong, et al.
Veröffentlicht: (2023)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
von: Sorger, Tom, et al.
Veröffentlicht: (2026)

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
von: Zhang, Yancheng, et al.
Veröffentlicht: (2025)

ZeroOS: A Universal Modular Library OS for zkVMs
von: Zou, Guangxian, et al.
Veröffentlicht: (2025)

Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
von: Daftardar, Alhad, et al.
Veröffentlicht: (2025)

PromptMoE: Generalizable Zero-Shot Anomaly Detection via Visually-Guided Prompt Mixtures
von: Shao, Yuheng, et al.
Veröffentlicht: (2025)

A Comparative Analysis of zk-SNARKs and zk-STARKs: Theory and Practice
von: Nainwal, Ayush, et al.
Veröffentlicht: (2025)

ZK Secret Santa
von: Chystiakov, Artem, et al.
Veröffentlicht: (2025)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
von: Eom, Jueon, et al.
Veröffentlicht: (2024)