English
Related papers

Related papers: A Zero-Knowledge Proof of Knowledge for Subgroup D…

200 papers

This paper proposes a three-step Secret Santa algorithm with setup that leverages Zero Knowledge Proofs (ZKP) to set up gift sender/receiver relations while maintaining the sender's confidentiality. The algorithm maintains a permutational…

Cryptography and Security · Computer Science 2025-01-14 Artem Chystiakov , Kyrylo Riabov

In the current digital landscape, supply chains have transformed into complex networks driven by the Internet of Things (IoT), necessitating enhanced data sharing and processing capabilities to ensure traceability and transparency.…

Cryptography and Security · Computer Science 2024-10-22 Amir Jabbari , Gowri Ramachandran , Sidra Malik , Raja Jurdak

In this paper, we present a simple bare-bones solution of a Zero-Knowledge authentication protocol which uses non-commutative algebra and a variation of the generalized symmetric decomposition problem (GSDP) as a one-way function. The…

Cryptography and Security · Computer Science 2017-03-28 Pedro Hecht

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

This paper studies the problem of Zero-Knowledge Protocol (ZKP) and elliptic curve cryptographic implementation in a computationally limited environment, such as, the smart cards, using Java Card. Besides that, it is explained how the…

Cryptography and Security · Computer Science 2023-09-01 Carlos Andres Agudelo Serna

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

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

We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the basis of a number of non-trivial examples. The design…

Identity verification is the process of confirming an individual's claimed identity, which is essential in sectors like finance, healthcare, and online services to ensure security and prevent fraud. However, current password/PIN-based…

Cryptography and Security · Computer Science 2025-07-22 Yao Ma , Wen Yu Kon , Jefferson Chu , Kevin Han Yong Loh , Kaushik Chakraborty , Charles Lim

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

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 (ZKPs) are widely applied in digital economies, such as cryptocurrencies and smart contracts, for establishing trust and ensuring privacy between untrusted parties. However, almost all ZKPs rely on unproven…

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

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

The application of zero-knowledge proofs (ZKPs) in autonomous systems is an emerging area of research, motivated by the growing need for regulatory compliance, transparent auditing, and trustworthy operation in decentralized environments.…

Cryptography and Security · Computer Science 2026-03-30 Munawar Hasan , Apostol Vassilev , Edward Griffor , Thoshitha Gamage

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

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

Protecting secrets is a key challenge in our contemporary information-based era. In common situations, however, revealing secrets appears unavoidable, for instance, when identifying oneself in a bank to retrieve money. In turn, this may…

Cryptography and Security · Computer Science 2022-02-17 Pouriya Alikhani , Nicolas Brunner , Claude Crépeau , Sébastien Designolle , Raphaël Houlmann , Weixu Shi , Nan Yang , Hugo Zbinden

Elliptic Curve Cryptography (ECC) is an attractive alternative to conventional public key cryptography, such as RSA. ECC is an ideal candidate for implementation on constrained devices where the major computational resources i.e. speed,…

Cryptography and Security · Computer Science 2015-03-19 Ioannis Chatzigiannakis , Apostolos Pyrgelis , Paul G. Spirakis , Yannis C. Stamatiou

Over recent decades, machine learning has significantly advanced network communication, enabling improved decision-making, user behavior analysis, and fault detection. Decentralized approaches, where participants exchange computation…

Machine Learning · Computer Science 2025-04-22 Zhibo Xing , Zijian Zhang , Ziang Zhang , Zhen Li , Meng Li , Jiamou Liu , Zongyang Zhang , Yi Zhao , Qi Sun , Liehuang Zhu , Giovanni Russello