English
Related papers

Related papers: Zero-Knowledge Verifiable Graph Query Evaluation v…

200 papers

We live in an era of information and it is very important to handle the exchange of information. While sending data to an authorized source, we need to protect it from unauthorized sources, changes, and authentication. ZKP technique can be…

Cryptography and Security · Computer Science 2019-11-22 Lavish Saluja , Ashutosh Bhatia

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

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 proofs (ZKPs) have emerged as a promising solution to address the scalability challenges in modern blockchain systems. This study proposes a methodology for generating and verifying ZKPs to ensure the computational integrity…

Cryptography and Security · Computer Science 2026-04-13 Oleksandr Kuznetsov , Anton Yezhov , Vladyslav Yusiuk , Kateryna Kuznetsova

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 (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

An undirected graph $G$ is known to both the prover $P$ and the verifier $V$, but only $P$ knows a subgraph $H$ of $G$. Without revealing any information about $H$, $P$ wants to convince $V$ that $H$ is a connected spanning subgraph of $G$,…

Cryptography and Security · Computer Science 2021-10-14 Suthee Ruangwises , Toshiya Itoh

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

The control of future power grids is migrating from a centralized to a distributed/decentralized scheme to enable a massive penetration of distributed energy resources and bring extreme enhancements of autonomous operations in terms of grid…

Optimization and Control · Mathematics 2022-11-15 Chin-Yao Chang , Richard Macwan , Sinnott Murphy

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 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) 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

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

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

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

This survey provides a comprehensive examination of verifiable computing, tracing its evolution from foundational complexity theory to modern zero-knowledge succinct non-interactive arguments of knowledge (ZK-SNARKs). We explore key…

Logic in Computer Science · Computer Science 2025-01-13 Angold Wang

Here we present a holistic approach for data exploration on dense knowledge graphs as a novel approach with a proof-of-concept in biomedical research. Knowledge graphs are increasingly becoming a vital factor in knowledge mining and…

Artificial Intelligence · Computer Science 2019-12-16 Jens Dörpinghaus , Alexander Apke , Vanessa Lage-Rupprecht , Andreas Stefan

In the analysis of large-scale network data, a fundamental operation is the comparison of observed phenomena to the predictions provided by null models: when we find an interesting structure in a family of real networks, it is important to…

Social and Information Networks · Computer Science 2021-02-26 Katherine Van Koevering , Austin R. Benson , Jon Kleinberg

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

Knowledge graphs can be used in many areas related to data semantics such as question-answering systems, knowledge based systems. However, the currently constructed knowledge graphs need to be complemented for better knowledge in terms of…

Artificial Intelligence · Computer Science 2023-07-25 Chun-Hee Lee , Dong-oh Kang , Hwa Jeon Song
‹ Prev 1 2 3 10 Next ›