:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chaliasos, Stefanos, Al-Fath, Imam, Donaldson, Alastair
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2504.14881
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards a Formal Foundation for Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
by: Takahashi, Hideaki, et al.
Published: (2025)

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

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

Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2025)

The Blockchain Imitation Game
by: Qin, Kaihua, et al.
Published: (2023)

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
by: Chaliasos, Stefanos, et al.
Published: (2024)

All You Need Is A Fuzzing Brain: An LLM-Powered System for Automated Vulnerability Detection and Patching
by: Sheng, Ze, et al.
Published: (2025)

Applications Of Zero-Knowledge Proofs On Bitcoin
by: Ozmiş, Yusuf
Published: (2025)

Zero-Knowledge Proof in NuLink
by: Pawn, et al.
Published: (2024)

Towards Practical Zero-Knowledge Proof for PSPACE
by: Karthikeyan, Ashwin, et al.
Published: (2025)

Zero Knowledge Proof for Multiple Sequence Alignment
by: Suwannik, Worasait
Published: (2024)

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
by: Chaliasos, Stefanos, et al.
Published: (2023)

Zero-Knowledge Proof Frameworks: A Systematic Survey
by: Sheybani, Nojan, et al.
Published: (2025)

Blockchain Based Zero-Knowledge Proof of Location in IoT
by: Wu, Wei, et al.
Published: (2024)

On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
by: Shi, Kaiyan, et al.
Published: (2024)

Zero-Knowledge Proofs in Sublinear Space
by: Nye, Logan
Published: (2025)

PAC to the Future: Zero-Knowledge Proofs of PAC Private Systems
by: Repetto, Guilhem, et al.
Published: (2026)

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

A Survey on the Applications of Zero-Knowledge Proofs
by: Lavin, Ryan, et al.
Published: (2024)

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

Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
by: Bogdanov, Dan, et al.
Published: (2025)

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
by: Kuznetsov, Oleksandr, et al.
Published: (2024)

Enhanced Security and Efficiency in Blockchain with Aggregated Zero-Knowledge Proof Mechanisms
by: Kuznetsov, Oleksandr, et al.
Published: (2024)

A Zero-Knowledge Proof of Knowledge for Subgroup Distance Problem
by: Onur, Cansu Betin
Published: (2024)

Secure UAV-assisted Federated Learning: A Digital Twin-Driven Approach with Zero-Knowledge Proofs
by: Zami, Md Bokhtiar Al, et al.
Published: (2025)

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

Multichain Taprootized Atomic Swaps: Introducing Untraceability through Zero-Knowledge Proofs
by: Kurbatov, Oleksandr, et al.
Published: (2024)

Evaluate and Guard the Wisdom of Crowds: Zero Knowledge Proofs for Crowdsourcing Truth Inference
by: Liu, Xuanming, et al.
Published: (2023)

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
by: Ramezan, Gholamreza, et al.
Published: (2024)

Zero-Knowledge Proof Based Verifiable Inference of Models
by: Wang, Yunxiao
Published: (2025)

NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger
by: Ruangwises, Suthee
Published: (2024)

ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation
by: Chen, Bing-Jyue, et al.
Published: (2025)

ByzSFL: Achieving Byzantine-Robust Secure Federated Learning with Zero-Knowledge Proofs
by: Fan, Yongming, et al.
Published: (2025)

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

zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs
by: Chaudhary, Amit
Published: (2023)

Toward Unbiased Multiple-Target Fuzzing with Path Diversity
by: Rong, Huanyao, et al.
Published: (2023)

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

BioZero: Privacy-Preserving and Publicly Verifiable On-Chain Biometric Authentication via Homomorphic Commitments and Zero-Knowledge Proofs
by: Lin, Zibin, et al.
Published: (2024)

Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
by: Scaramuzza, Filippo, et al.
Published: (2025)