English
Related papers

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

200 papers

The communities of blockchains and distributed ledgers have been stirred up by the introduction of zero-knowledge proofs (ZKPs). Originally designed to solve privacy issues, ZKPs have now evolved into an effective remedy for scalability…

Formal Languages and Automata Theory · Computer Science 2024-03-26 Chenhao Shi , Hao Chen , Ruibang Liu , Guoqiang Li

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

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

In this study, we introduce a novel zero-knowledge identification scheme based on the hardness of the subgroup distance problem in the Hamming metric. The proposed protocol, named Subgroup Distance Zero Knowledge Proof (SDZKP), employs a…

Cryptography and Security · Computer Science 2024-08-02 Cansu Betin Onur

We propose a middleware solution designed to facilitate seamless integration of privacy using zero-knowledge proofs within various multi-chain protocols, encompassing domains such as DeFi, gaming, social networks, DAOs, e-commerce, and the…

Cryptography and Security · Computer Science 2025-06-10 Amit Chaudhary

Federated learning (FL) enables multiple participants to collaboratively train machine learning models while ensuring their data remains private and secure. Blockchain technology further enhances FL by providing stronger security, a…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-18 Tianxing Fu , Jia Hu , Geyong Min , Zi Wang

Intuitively there is a drastic distinction between the pure decentralized block-chain systems like Defis and those that only utilize block-chain as an enhancing technology but remain centralized with real-world business model and…

Cryptography and Security · Computer Science 2021-07-30 Yuqi Bai , Lei Luo

Verifiable decentralized federated learning (FL) systems combining blockchains and zero-knowledge proofs (ZKP) make the computational integrity of local learning and global aggregation verifiable across workers. However, they are not…

Machine Learning · Computer Science 2024-04-22 Chaehyeon Lee , Jonathan Heiss , Stefan Tai , James Won-Ki Hong

We introduce Zero-Knowledge Location Privacy (ZKLP), enabling users to prove to third parties that they are within a specified geographical region while not disclosing their exact location. ZKLP supports varying levels of granularity,…

Cryptography and Security · Computer Science 2024-11-12 Jens Ernstberger , Chengru Zhang , Luca Ciprian , Philipp Jovanovic , Sebastian Steinhorst

With the development of precise positioning technology, a growing number of location-based services (LBSs) facilitate people's life. Most LBSs require proof of location (PoL) to prove that the user satisfies the service requirement, which…

Cryptography and Security · Computer Science 2024-06-27 Wei Wu , Erwu Liu , Xinglin Gong , Rui Wang

The modern integrated circuit ecosystem is increasingly reliant on third-party intellectual property integration, which introduces security risks, including hardware Trojans and security vulnerabilities. Addressing the resulting trust…

Cryptography and Security · Computer Science 2026-04-13 Sirui Shen , Zunchen Huang , Chenglu Jin

Generative AI, exemplified by models like transformers, has opened up new possibilities in various domains but also raised concerns about fairness, transparency and reliability, especially in fields like medicine and law. This paper…

Machine Learning · Computer Science 2024-02-12 Bianca-Mihaela Ganescu , Jonathan Passerat-Palmbach

The Private Proof of Solvency is a groundbreaking solution in the realm of Proof of Solvency, offering a secure, efficient, and privacy-preserving method for crypto custody providers such as centralized cryptocurrency exchanges or…

Cryptography and Security · Computer Science 2023-10-24 Hamid Bateni , Keyvan Kambakhsh

Federated learning (FL) has been widely adopted in various fields of study and business. Traditional centralized FL systems suffer from serious issues. To address these concerns, decentralized federated learning (DFL) systems have been…

Cryptography and Security · Computer Science 2024-02-13 Mojtaba Ahmadi , Reza Nourmohammadi

In database applications involving sensitive data, the dual imperatives of data confidentiality and provable query processing are important. This paper introduces PoneglyphDB, a database system that leverages non-interactive zero-knowledge…

Databases · Computer Science 2024-11-25 Binbin Gu , Juncheng Fang , Faisal Nawab

When users query proprietary LLM APIs, they receive outputs with no cryptographic assurance that the claimed model was actually used. Service providers could substitute cheaper models, apply aggressive quantization, or return cached…

Machine Learning · Computer Science 2026-03-20 Zhaohui Geoffrey Wang

Efficient zero-knowledge proofs (ZKPs) have been restricted to NP statements so far, whereas they exist for all statements in PSPACE. This work presents the first practical zero-knowledge (ZK) protocols for PSPACE-complete statements by…

Cryptography and Security · Computer Science 2025-11-20 Ashwin Karthikeyan , Hengyu Liu , Kuldeep S. Meel , Ning Luo

Zero-knowledge proofs (ZKPs) are increasingly deployed in domains such as privacy-preserving authentication, verifiable computation, and secure finance. However, authoring ZK programs remains challenging: unlike conventional software…

Software Engineering · Computer Science 2026-02-03 Zhantong Xue , Pingchuan Ma , Zhaoyu Wang , Yuguang Zhou , Xiaoqin Zhang , Shuai Wang , Juergen Rahmel

-Wireless body area network(WBAN) has shown great potential in improving healthcare quality not only for patients but also for medical staff. However, security and privacy are still an important issue in WBANs especially in multi-hop…

Cryptography and Security · Computer Science 2016-02-03 Nesrine Khernane , Maria Potop-Butucaru , Claude Chaudet

How someone can get health insurance without sharing his health information? How you can get a loan without disclosing your credit score? There is a method to certify certain attributes of various data, either this is health metrics or…

Cryptography and Security · Computer Science 2020-06-18 Stavros Kassaras , Leandros Maglaras