:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ahmadvand, Mohsen, Souto, Pedro
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2510.23172
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure
by: Ahmadvand, Mohsen, et al.
Published: (2025)

push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation
by: Ahmadvand, Mohsen, et al.
Published: (2026)

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

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

zkLLM: Zero Knowledge Proofs for Large Language Models
by: Sun, Haochen, et al.
Published: (2024)

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

Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
by: Daftardar, Alhad, et al.
Published: (2025)

Evaluating Compiler Optimization Impacts on zkVM Performance
by: Gassmann, Thomas, et al.
Published: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
by: Krishnan, Rahul, et al.
Published: (2025)

zk-Fabric, a Polylithic Syntax Zero Knowledge Joint Proof System
by: Sun, Sheng, et al.
Published: (2021)

zkRansomware: Proof-of-Data Recoverability and Multi-round Game Theoretic Modeling of Ransomware Decisions
by: Hou, Xinyu, et al.
Published: (2026)

zkFL: Zero-Knowledge Proof-based Gradient Aggregation for Federated Learning
by: Wang, Zhipeng, et al.
Published: (2023)

Towards a zk-SNARK compiler for Wolfram language
by: Cruz, Armando
Published: (2024)

Artemis: Efficient Commit-and-Prove SNARKs for zkML
by: Lycklama, Hidde, et al.
Published: (2024)

zkFinGPT: Zero-Knowledge Proofs for Financial Generative Pre-trained Transformers
by: Liu, Xiao-Yang, et al.
Published: (2026)

A Comparative Analysis of zk-SNARKs and zk-STARKs: Theory and Practice
by: Nainwal, Ayush, et al.
Published: (2025)

zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials
by: Baldimtsi, Foteini, et al.
Published: (2024)

From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs
by: Galal, Tarek, et al.
Published: (2025)

Privacy-Preserving UCB Decision Process Verification via zk-SNARKs
by: Jiang, Xikun, et al.
Published: (2024)

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

SoK: Understanding zk-SNARKs: The Gap Between Research and Practice
by: Liang, Junkai, et al.
Published: (2025)

zkToken: Empowering Holders to Limit Revocation Checks for Verifiable Credentials
by: Manimaran, Praveensankar, et al.
Published: (2025)

fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup
by: Li, Zihao, et al.
Published: (2024)

FeatherWallet: A Lightweight Mobile Cryptocurrency Wallet Using zk-SNARKs
by: Perešíni, Martin, et al.
Published: (2025)

zkTax: A pragmatic way to support zero-knowledge tax disclosures
by: Berke, Alex, et al.
Published: (2023)

zk-X509: Privacy-Preserving On-Chain Identity from Legacy PKI via Zero-Knowledge Proofs
by: Bak, Yeongju
Published: (2026)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
by: Thomas, Morgan, et al.
Published: (2025)

Data Availability and Decentralization: New Techniques for zk-Rollups in Layer 2 Blockchain Networks
by: Huang, Chengpeng, et al.
Published: (2024)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
by: Domenech, Alvaro Alonso, et al.
Published: (2024)

A Privacy-preserving key transmission protocol to distribute QRNG keys using zk-SNARKs
by: Soler, David, et al.
Published: (2024)

Privacy-Preserving Smart Contracts for Permissioned Blockchains: A zk-SNARK-Based Recipe Part-1
by: Burgos, Aldenio, et al.
Published: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
by: Hassanzadeh-Nazarabadi, Yahya, et al.
Published: (2025)

ZeroOS: A Universal Modular Library OS for zkVMs
by: Zou, Guangxian, et al.
Published: (2025)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
by: Sorger, Tom, et al.
Published: (2026)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
by: Hochrainer, Christoph, et al.
Published: (2025)

AgenticVM: Agentic AI for Adaptive Software Vulnerability Management
by: Arifin, Asrul, et al.
Published: (2026)

zkDFL: An efficient and privacy-preserving decentralized federated learning with zero-knowledge proof
by: Ahmadi, Mojtaba, et al.
Published: (2023)

Homomorphic Encryption-based Vaults for Anonymous Balances on VM-enabled Blockchains
by: Salleras, Xavier
Published: (2025)

zkUnlearner: A Zero-Knowledge Framework for Verifiable Unlearning with Multi-Granularity and Forgery-Resistance
by: Wang, Nan, et al.
Published: (2025)

zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates
by: Daftardar, Alhad, et al.
Published: (2025)