English
Related papers

Related papers: A Survey on Zero Knowledge Range Proofs and Applic…

200 papers

Gradient boosted decision trees, particularly XGBoost, are among the most effective methods for tabular data. As deployment in sensitive settings increases, cryptographic guarantees of model integrity become essential. We present ZKBoost,…

Cryptography and Security · Computer Science 2026-05-14 Nikolas Melissaris , Antigoni Polychroniadou , Akira Takahashi , Chenkai Weng , Jiayi Xu

Shielding is a common method used to guarantee the safety of a system under a black-box controller, such as a neural network controller from deep reinforcement learning (DRL), with simpler, verified controllers. Existing shielding methods…

Systems and Control · Electrical Eng. & Systems 2024-10-11 Robert Reed , Morteza Lahijanian

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

The rise of ubiquitous deepfakes, misinformation, disinformation, propaganda and post-truth, often referred to as fake news, raises concerns over the role of Internet and social media in modern democratic societies. Due to its rapid and…

Computers and Society · Computer Science 2024-02-07 Paula Fraga-Lamas , Tiago M. Fernández-Caramés

Many recent social media posts and news may create a perception of big success in the use of blockchain for the real estate industry, land registration and protection of titles and property rights. A sobering outlook is crucial because…

Computers and Society · Computer Science 2020-07-24 Oleksii Konashevych

We study the problem of discrete distribution estimation under utility-optimized local differential privacy (ULDP), which enforces local differential privacy (LDP) on sensitive data while allowing more accurate inference on non-sensitive…

Cryptography and Security · Computer Science 2025-09-30 Sun-Moon Yoon , Hyun-Young Park , Seung-Hyun Nam , Si-Hyeon Lee

We construct perfect zero-knowledge probabilistically checkable proofs (PZK-PCPs) for every language in #P. This is the first construction of a PZK-PCP for any language outside BPP. Furthermore, unlike previous constructions of…

Computational Complexity · Computer Science 2024-03-20 Tom Gur , Jack O'Connor , Nicholas Spooner

The development of underlying technologies in blockchain mostly revolves around a difficult problem: how to enhance the performance of the system and reduce various costs of nodes (such as communication, storage and verification) without…

Cryptography and Security · Computer Science 2023-12-04 Lide Xue , Wei Yang , Wei Li

For many users, a private key based wallet serves as the primary entry point to blockchains. Commonly recommended wallet authentication methods, such as mnemonics or hardware wallets, can be cumbersome. This difficulty in user onboarding…

Cryptography and Security · Computer Science 2024-10-01 Foteini Baldimtsi , Konstantinos Kryptos Chalkias , Yan Ji , Jonas Lindstrøm , Deepak Maram , Ben Riva , Arnab Roy , Mahdi Sedaghat , Joy Wang

Blockchains have seen growing traction with cryptocurrencies reaching a market cap of over 1 trillion dollars, major institution investors taking interests, and global impacts on governments, businesses, and individuals. Also growing…

Cryptography and Security · Computer Science 2022-10-04 Tiancheng Xie , Jiaheng Zhang , Zerui Cheng , Fan Zhang , Yupeng Zhang , Yongzheng Jia , Dan Boneh , Dawn Song

Location-based systems that combine encrypted geographic search with zero-knowledge proximity proofs typically treat the two phases as independent. Under an honest-but-curious server, this leaves an authorization provenance gap: once…

Cryptography and Security · Computer Science 2026-04-07 Yoshiyuki Ootani

The blockchain technology enables mutually untrusting participants to reach consensus on the state of a distributed and decentralized ledger (called a blockchain) in a permissionless setting. The consensus protocol of the blockchain imposes…

Cryptography and Security · Computer Science 2019-03-12 Chunpeng Ge , Siwei Sun , Pawel Szalachowski

Training contemporary AI models requires investment in procuring learning data and computing resources, making the models intellectual property of the owners. Popular model watermarking solutions rely on key input triggers for detection;…

Cryptography and Security · Computer Science 2023-09-14 Nojan Sheybani , Zahra Ghodsi , Ritvik Kapila , Farinaz Koushanfar

We present a secure and efficient string-matching platform leveraging zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) to address the challenge of detecting sensitive information leakage while preserving data…

Cryptography and Security · Computer Science 2025-05-21 Taoran Li , Taobo Liao

We propose CrowdPatching, a blockchain-based decentralized protocol, allowing Internet of Things (IoT) manufacturers to delegate the delivery of software updates to self-interested distributors in exchange for cryptocurrency. Manufacturers…

Cryptography and Security · Computer Science 2020-10-26 Edoardo Puggioni , Arash Shaghaghi , Robin Doss , Salil S. Kanhere

In contrast to classical public-key cryptosystems, where the security of encoded messages relies on on computational assumptions, Quantum Key Distribution (QKD) enables two distant parties to establish a shared secret key that, when…

Zero-knowledge proof system is an important protocol that can be used as a basic block for construction of other more complex cryptographic protocols. Quantum zero-knowledge protocols have been proposed but, since their implementation…

Quantum Physics · Physics 2008-01-07 Rubens Viana Ramos , Jose Claudio do Nascimento

Healthcare AI needs large, diverse datasets, yet strict privacy and governance constraints prevent raw data sharing across institutions. Federated learning (FL) mitigates this by training where data reside and exchanging only model updates,…

Cryptography and Security · Computer Science 2025-12-25 Savvy Sharma , George Petrovic , Sarthak Kaushik

In this work, we consider the long-standing open question of constructing constant-round concurrent zero-knowledge protocols in the plain model. Resolving this question is known to require non-black-box techniques. We consider non-black-box…

Cryptography and Security · Computer Science 2012-10-16 Divya Gupta , Amit Sahai

Decentralized learning (DL) is an emerging paradigm of collaborative machine learning that enables nodes in a network to train models collectively without sharing their raw data or relying on a central server. This paper introduces Zip-DL,…