Image de couverture de livre

Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chaliasos, Stefanos, Al-Fath, Imam, Donaldson, Alastair
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards a Formal Foundation for Blockchain Rollups
par: Chaliasos, Stefanos, et autres
Publié: (2024)

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
par: Takahashi, Hideaki, et autres
Publié: (2025)

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
par: Chaliasos, Stefanos, et autres
Publié: (2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
par: Hochrainer, Christoph, et autres
Publié: (2024)

Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
par: Chaliasos, Stefanos, et autres
Publié: (2025)

The Blockchain Imitation Game
par: Qin, Kaihua, et autres
Publié: (2023)

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
par: Chaliasos, Stefanos, et autres
Publié: (2024)

All You Need Is A Fuzzing Brain: An LLM-Powered System for Automated Vulnerability Detection and Patching
par: Sheng, Ze, et autres
Publié: (2025)

Applications Of Zero-Knowledge Proofs On Bitcoin
par: Ozmiş, Yusuf
Publié: (2025)

Zero-Knowledge Proof in NuLink
par: Pawn, et autres
Publié: (2024)

Towards Practical Zero-Knowledge Proof for PSPACE
par: Karthikeyan, Ashwin, et autres
Publié: (2025)

Zero Knowledge Proof for Multiple Sequence Alignment
par: Suwannik, Worasait
Publié: (2024)

Zero-Knowledge Proof Frameworks: A Systematic Survey
par: Sheybani, Nojan, et autres
Publié: (2025)

Blockchain Based Zero-Knowledge Proof of Location in IoT
par: Wu, Wei, et autres
Publié: (2024)

On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
par: Shi, Kaiyan, et autres
Publié: (2024)

PAC to the Future: Zero-Knowledge Proofs of PAC Private Systems
par: Repetto, Guilhem, et autres
Publié: (2026)

FuzzSense: Towards A Modular Fuzzing Framework for Autonomous Driving Software
par: Roberts, Andrew, et autres
Publié: (2025)

Zero-Knowledge Proofs in Sublinear Space
par: Nye, Logan
Publié: (2025)

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
par: Zhang, Yancheng, et autres
Publié: (2025)

Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
par: Bogdanov, Dan, et autres
Publié: (2025)

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
par: Kuznetsov, Oleksandr, et autres
Publié: (2024)

Enhanced Security and Efficiency in Blockchain with Aggregated Zero-Knowledge Proof Mechanisms
par: Kuznetsov, Oleksandr, et autres
Publié: (2024)

A Survey on the Applications of Zero-Knowledge Proofs
par: Lavin, Ryan, et autres
Publié: (2024)

Multichain Taprootized Atomic Swaps: Introducing Untraceability through Zero-Knowledge Proofs
par: Kurbatov, Oleksandr, et autres
Publié: (2024)

Evaluate and Guard the Wisdom of Crowds: Zero Knowledge Proofs for Crowdsourcing Truth Inference
par: Liu, Xuanming, et autres
Publié: (2023)

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
par: Ramezan, Gholamreza, et autres
Publié: (2024)

A Zero-Knowledge Proof of Knowledge for Subgroup Distance Problem
par: Onur, Cansu Betin
Publié: (2024)

APFuzz: Towards Automatic Greybox Protocol Fuzzing
par: Wang, Yu, et autres
Publié: (2026)

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
par: Chaliasos, Stefanos, et autres
Publié: (2023)

ByzSFL: Achieving Byzantine-Robust Secure Federated Learning with Zero-Knowledge Proofs
par: Fan, Yongming, et autres
Publié: (2025)

Context-Binding Gaps in Stateful Zero-Knowledge Proximity Proofs: Taxonomy, Separation, and Mitigation
par: Ootani, Yoshiyuki
Publié: (2026)

zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs
par: Chaudhary, Amit
Publié: (2023)

Zero-Knowledge Proof Based Verifiable Inference of Models
par: Wang, Yunxiao
Publié: (2025)

BioZero: Privacy-Preserving and Publicly Verifiable On-Chain Biometric Authentication via Homomorphic Commitments and Zero-Knowledge Proofs
par: Lin, Zibin, et autres
Publié: (2024)

NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger
par: Ruangwises, Suthee
Publié: (2024)

Secure UAV-assisted Federated Learning: A Digital Twin-Driven Approach with Zero-Knowledge Proofs
par: Zami, Md Bokhtiar Al, et autres
Publié: (2025)

Toward Unbiased Multiple-Target Fuzzing with Path Diversity
par: Rong, Huanyao, et autres
Publié: (2023)

ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation
par: Chen, Bing-Jyue, et autres
Publié: (2025)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
par: Smolka, Sven, et autres
Publié: (2023)

ZAPS: A Zero-Knowledge Proof Protocol for Secure UAV Authentication with Flight Path Privacy
par: Naziri, Shayesta, et autres
Publié: (2025)