Cover Image

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Takahashi, Hideaki, Kim, Jihwan, Jana, Suman, Yang, Junfeng
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Comment on Revisiting Neural Program Smoothing for Fuzzing
by: She, Dongdong, et al.
Published: (2024)

Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
by: Chaliasos, Stefanos, et al.
Published: (2025)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
by: Hochrainer, Christoph, et al.
Published: (2024)

FOX: Coverage-guided Fuzzing as Online Stochastic Control
by: She, Dongdong, et al.
Published: (2024)

Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing
by: Li, Mingkai, et al.
Published: (2026)

CuFuzz: Hardening CUDA Programs through Transformation and Fuzzing
by: Singh, Saurabh, et al.
Published: (2026)

G-Fuzz: A Directed Fuzzing Framework for gVisor
by: Li, Yuwei, et al.
Published: (2024)

NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
by: Ishii, Reima, et al.
Published: (2025)

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
by: Fu, Rong, et al.
Published: (2026)

FuzzSense: Towards A Modular Fuzzing Framework for Autonomous Driving Software
by: Roberts, Andrew, et al.
Published: (2025)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
by: Smolka, Sven, et al.
Published: (2023)

BandFuzz: An ML-powered Collaborative Fuzzing Framework
by: Shi, Wenxuan, et al.
Published: (2025)

FunFuzz: An LLM-Powered Evolutionary Fuzzing Framework
by: Béjar, Mario Rodríguez, et al.
Published: (2026)

GoldenFuzz: Generative Golden Reference Hardware Fuzzing
by: Wu, Lichao, et al.
Published: (2025)

EmbedFuzz: High Speed Fuzzing Through Transplantation
by: Hofhammer, Florian, et al.
Published: (2024)

ReFuzz: Reusing Tests for Processor Fuzzing with Contextual Bandits
by: Chen, Chen, et al.
Published: (2025)

Prompt Fuzzing for Fuzz Driver Generation
by: Lyu, Yunlong, et al.
Published: (2023)

LibAFL-DiFuzz: Advanced Architecture Enabling Directed Fuzzing
by: Parygina, Darya, et al.
Published: (2024)

SemFuzz: A Semantics-Aware Fuzzing Framework for Network Protocol Implementations
by: Sun, Yanbang, et al.
Published: (2026)

FuzzLLM: A Novel and Universal Fuzzing Framework for Proactively Discovering Jailbreak Vulnerabilities in Large Language Models
by: Yao, Dongyu, et al.
Published: (2023)

ThreadFuzzer: Fuzzing Framework for Thread Protocol
by: Siroš, Ilja, et al.
Published: (2025)

E-FuzzEdge: Optimizing Embedded Device Security with Scalable In-Place Fuzzing
by: Rusconi, Davide, et al.
Published: (2025)

WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors
by: Borkar, Pallavi, et al.
Published: (2024)

MirrorFuzz: Leveraging LLM and Shared Bugs for Deep Learning Framework APIs Fuzzing
by: Ou, Shiwen, et al.
Published: (2025)

PatchFuzz: Patch Fuzzing for JavaScript Engines
by: Wang, Junjie, et al.
Published: (2025)

Hybrid Approach to Directed Fuzzing
by: Parygina, Darya, et al.
Published: (2025)

SynFuzz: Leveraging Fuzzing of Netlist to Detect Synthesis Bugs
by: Saravanan, Raghul, et al.
Published: (2025)

FuzzAgent: Multi-Agent System for Evolutionary Library Fuzzing
by: Lyu, Yunlong, et al.
Published: (2026)

Protocol-Aware Firmware Rehosting for Effective Fuzzing of Embedded Network Stacks
by: Bley, Moritz, et al.
Published: (2025)

APFuzz: Towards Automatic Greybox Protocol Fuzzing
by: Wang, Yu, et al.
Published: (2026)

FuzzBox: Blending Fuzzing into Emulation for Binary-Only Embedded Targets
by: Cesarano, Carmine, et al.
Published: (2025)

Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
by: Tran, Chi Thien
Published: (2026)

MobFuzz: Adaptive Multi-objective Optimization in Gray-box Fuzzing
by: Zhang, Gen, et al.
Published: (2024)

QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol
by: Ang, Kian Kai, et al.
Published: (2025)

Fuzzing at Scale: The Untold Story of the Scheduler
by: Nikolic, Ivica, et al.
Published: (2024)

SoK: Where to Fuzz? Assessing Target Selection Methods in Directed Fuzzing
by: Weissberg, Felix, et al.
Published: (2025)

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
by: Shou, Chaofan, et al.
Published: (2024)

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
by: Zhang, Yancheng, et al.
Published: (2025)

SimFuzz: Similarity-guided Block-level Mutation for RISC-V Processor Fuzzing
by: Lyu, Hao, et al.
Published: (2026)

RAG-Based Fuzzing of Cross-Architecture Compilers
by: Elnaggar, Rana, et al.
Published: (2025)