Streaming Zero-Knowledge Proofs
We initiate the study of zero-knowledge proofs for data streams. Streaming interactive proofs (SIPs) are well-studied protocols whereby a space-bounded algorithm with one-pass access to a massive stream of data communicates with a powerful but untrusted prover to verify a computation that requires large space.
Graham Cormode +3 more
core +8 more sources
Blockchain and Demand Response: Zero-Knowledge Proofs for Energy Transactions Privacy [PDF]
Nowadays, the adoption of demand response programs is still lagging due to the prosumers’ lack of awareness, fear of losing control and privacy of energy data, etc.
Claudia Daniela Pop +4 more
doaj +2 more sources
ZPiE: Zero-Knowledge Proofs in Embedded Systems
Zero-Knowledge Proofs (ZKPs) are cryptographic primitives allowing a party to prove to another party that the former knows some information while keeping it secret.
Xavier Salleras, Vanesa Daza
doaj +3 more sources
Authentication Based on Non-Interactive Zero-Knowledge Proofs for the Internet of Things [PDF]
This paper describes the design and analysis of a new scheme for the authenticated exchange of confidential information in insecure environments within the Internet of Things, which allows a receiver of a message to authenticate the sender and compute a ...
Francisco Martín-Fernández +2 more
doaj +2 more sources
Leveraging blockchain with zero knowledge proofs in wearable health technologies for personalized healthcare [PDF]
Wearable health technology has revolutionized remote monitoring and personalized healthcare by allowing real-time surveillance of patient health measurements and vital signs.
Abdullah Ayub Khan +6 more
doaj +2 more sources
Proving vote correctness in the IVXV internet voting system [PDF]
This paper studies the practical aspects of adding zero-knowledge proofs of vote correctness to Internet voting, specifically to the IVXV system used in Estonia.
Taaniel Kraavi, Jan Willemson
doaj +2 more sources
Sending zero-knowledge proofs to the future
Time-release cryptography is a flourishing research area with a long history and has been extensively studied. In this work, we enrich it by introducing a novel concept: a time-release zero-knowledge proof (TRZKP).
Zhichao Wang +4 more
doaj +2 more sources
CAPPR-Wallet: a context-aware and recoverable wallet architecture with privacy-preserving rules for trustless blockchain ecosystems [PDF]
As Decentralized Finance (DeFi) and Non-Fungible Tokens (NFTs) expand, self-custody wallets have become the primary interface for user sovereignty. However, existing solutions suffer from critical limitations, including static authentication frameworks ...
Mingjun Liu +4 more
doaj +2 more sources
Bulletproofs+: Shorter Proofs for a Privacy-Enhanced Distributed Ledger
This paper presents a new short zero-knowledge argument for the range proof and arithmetic circuits without a trusted setup. In particular, it can achieve the shortest proof size of the proof system categories without a trusted setup.
Heewon Chung +4 more
doaj +1 more source
Shielding Probabilistically Checkable Proofs: Zero-Knowledge PCPs from Leakage Resilience
Probabilistically Checkable Proofs (PCPs) allows a randomized verifier, with oracle access to a purported proof, to probabilistically verify an input statement of the form “x∈L” by querying only a few proof bits.
Mor Weiss
doaj +1 more source

