English
Related papers

Related papers: Scalable Zero-Knowledge Proofs for Verifying Crypt…

200 papers

Zero-Knowledge Proofs (ZKPs) are a cryptographic primitive that allows a prover to demonstrate knowledge of a secret value to a verifier without revealing anything about the secret itself. ZKPs have shown to be an extremely powerful tool,…

Cryptography and Security · Computer Science 2025-04-29 Nojan Sheybani , Anees Ahmed , Michel Kinsy , Farinaz Koushanfar

Zero-knowledge proof (ZKP) frameworks have the potential to revolutionize the handling of sensitive data in various domains. However, deploying ZKP frameworks with real-world data presents several challenges, including scalability,…

Cryptography and Security · Computer Science 2023-07-14 Piergiuseppe Mallozzi

Zero-knowledge proofs (ZKPs) enable computational integrity and privacy by allowing one party to prove the truth of a statement without revealing underlying data. Compared with alternatives such as homomorphic encryption and secure…

Cryptography and Security · Computer Science 2026-04-14 Ryan Lavin , Xuekai Liu , Hardhik Mohanty , Logan Norman , Giovanni Zaarour , Bhaskar Krishnamachari

Zero-Knowledge Proofs (ZKPs) are rapidly gaining importance in privacy-preserving and verifiable computing. ZKPs enable a proving party to prove the truth of a statement to a verifying party without revealing anything else. ZKPs have…

Hardware Architecture · Computer Science 2025-08-07 Alhad Daftardar , Jianqiao Mo , Joey Ah-kiow , Benedikt Bünz , Ramesh Karri , Siddharth Garg , Brandon Reagen

In the context of cloud computing, services are held on cloud servers, where the clients send their data to the server and obtain the results returned by server. However, the computation, data and results are prone to tampering due to the…

Cryptography and Security · Computer Science 2025-04-17 Yancheng Zhang , Mengxin Zheng , Xun Chen , Jingtong Hu , Weidong Shi , Lei Ju , Yan Solihin , Qian Lou

Zero-knowledge proofs (ZKPs) are an emerging technology that has become the solution to efficiently provide security and privacy along with the transparency requirement of blockchains. ZKPs are usually expressed by means of arithmetic…

Logic in Computer Science · Computer Science 2026-04-30 Miguel Isabel , Enric Rodríguez-Carbonell , Clara Rodríguez-Núñez , Albert Rubio

Zero-Knowledge Proofs (ZKPs) are an emergent paradigm in verifiable computing. In the context of applications like cloud computing, ZKPs can be used by a client (called the verifier) to verify the service provider (called the prover) is in…

Hardware Architecture · Computer Science 2024-08-13 Alhad Daftardar , Brandon Reagen , Siddharth Garg

As Artificial Intelligence (AI) systems, particularly those based on machine learning (ML), become integral to high-stakes applications, their probabilistic and opaque nature poses significant challenges to traditional verification and…

Software Engineering · Computer Science 2025-05-27 Filippo Scaramuzza , Giovanni Quattrocchi , Damian A. Tamburri

Zero-Knowledge Proofs (ZKP) are protocols which construct cryptographic proofs to demonstrate knowledge of a secret input in a computation without revealing any information about the secret. ZKPs enable novel applications in private and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-30 Tarunesh Verma , Yichao Yuan , Nishil Talati , Todd Austin

Machine learning is increasingly deployed through outsourced and cloud-based pipelines, which improve accessibility but also raise concerns about computational integrity, data privacy, and model confidentiality. Zero-knowledge proofs (ZKPs)…

Cryptography and Security · Computer Science 2026-03-31 Zhizhi Peng , Chonghe Zhao , Taotao Wang , Guofu Liao , Zibin Lin , Yifeng Liu , Bin Cao , Long Shi , Qing Yang , Shengli Zhang

Zero-Knowledge Proofs (ZKPs) have emerged as an important cryptographic technique allowing one party (prover) to prove the correctness of a statement to some other party (verifier) and nothing else. ZKPs give rise to user's privacy in many…

While the amount of data produced and accumulated continues to advance at unprecedented rates, protection and concealment of data increase its prominence as a field of scientific study that requires more action. It is essential to protect…

Cryptography and Security · Computer Science 2023-02-14 Cansu Betin Onur

Privacy concerns in machine learning systems have grown significantly with the increasing reliance on sensitive user data for training large-scale models. This paper introduces a novel framework combining Probably Approximately Correct…

Cryptography and Security · Computer Science 2026-02-13 Guilhem Repetto , Nojan Sheybani , Gabrielle De Micheli , Farinaz Koushanfar

Since the concern of privacy leakage extremely discourages user participation in sharing data, federated learning has gradually become a promising technique for both academia and industry for achieving collaborative learning without leaking…

Cryptography and Security · Computer Science 2023-04-25 Zhibo Xing , Zijian Zhang , Meng Li , Jiamou Liu , Liehuang Zhu , Giovanni Russello , Muhammad Rizwan Asghar

Zero-knowledge proof (ZKP) is a fundamental cryptographic primitive that allows a prover to convince a verifier of the validity of a statement without leaking any further information. As an efficient variant of ZKP, non-interactive…

Zero-knowledge proofs allow verification of computations without revealing private information. However, existing systems require memory proportional to the computation size, which has historically limited use in large-scale applications…

Cryptography and Security · Computer Science 2025-09-18 Logan Nye

This paper introduces the zk-IoT framework, a novel approach to enhancing the security of Internet of Things (IoT) ecosystems through the use of Zero-Knowledge Proofs (ZKPs) on blockchain platforms. Our framework ensures the integrity of…

Cryptography and Security · Computer Science 2024-02-20 Gholamreza Ramezan , Ehsan Meamari

Zero-knowledge proofs (ZKPs) have evolved from a theoretical cryptographic concept into a powerful tool for implementing privacy-preserving and verifiable applications without requiring trust assumptions. Despite significant progress in the…

Cryptography and Security · Computer Science 2025-05-01 Stefanos Chaliasos , Imam Al-Fath , Alastair Donaldson

Ensuring the integrity of business processes without disclosing confidential business information is a major challenge in inter-organizational processes. This paper introduces a zero-knowledge proof (ZKP)-based approach for the verifiable…

Software Engineering · Computer Science 2025-09-25 Jannis Kiesel , Jonathan Heiss

Zero-Knowledge Proofs (ZKPs) have emerged as a powerful tool for secure and privacy-preserving computation. ZKPs enable one party to convince another of a statement's validity without revealing anything else. This capability has profound…

Hardware Architecture · Computer Science 2026-01-27 Alhad Daftardar , Jianqiao Mo , Joey Ah-kiow , Benedikt Bünz , Siddharth Garg , Brandon Reagen
‹ Prev 1 2 3 10 Next ›