Results 11 to 20 of about 95,809 (291)
Zero-Knowledge Proof Systems for QMA [PDF]
SIAM Journal on Computing, 2016 Prior work has established that all problems in NP admit classical zero-knowledge proof systems, and under reasonable hardness assumptions for quantum computations, these proof systems can be made secure against quantum attacks. We prove a result representing a further quantum generalization of this fact, which is that every problem in the complexity ...
Anne Broadbent +3 more
core +4 more sources
A Zero-Knowledge Proof System with Algebraic Geometry Techniques [PDF]
Applied Sciences, 2020 Current requirements for ensuring data exchange over the internet to fight against security breaches have to consider new cryptographic attacks. The most recent advances in cryptanalysis are boosted by quantum computers, which are able to break common ...
Edgar González Fernández +2 more
doaj +2 more sources
, 2023 AbstractZero-knowledge proofs are techniques to verify claims without revealing the information itself. In this process, a “prover” shares proof of their claim with a “verifier,” who then verifies the accuracy of the proof without learning any additional information. It does not prove things with certainty.
Aad, Imad
core +3 more sources
Modification of Diffie–Hellman Key Exchange Algorithm for Zero Knowledge Proof [PDF]
Engineering and Technology Journal, 2012 Networks and entity groupings requires entity authentication while preserving the privacy of the entity being authenticated. Zero-Knowledge Proof (ZKP) plays an important role in authentication without revealing secret information.
Mahmood Khalel Ibrahim
doaj +2 more sources
Zero-Knowledge Proof in NuLink
CoRRNuLink provides privacy-preserving technology for decentralized applications via APIs. Users can securely store its valuable data, trade with others and so on. To ensure the privacy and security of service provided by NuLink, (zero-knowledge) proof systems are necessary.
Pawn, Rookie, Zhuan Cheng
openaire +3 more sources
Physical Zero-Knowledge Proof for Makaro [PDF]
, 2018 Makaro is a logic game similar to Sudoku. In Makaro, a grid has to be filled with numbers such that: given areas contain all the numbers up to the number of cells in the area, no adjacent numbers are equal and some cells provide restrictions on the largest adjacent number. We propose a proven secure physical algorithm, only relying on cards, to realize
Bultel, Xavier +9 more
openaire +3 more sources
Chapter Zero-Knowledge Proof for Trusted Construction Management: A Preliminary Study of Adaptive Blockchain BIM Identity Authentication [PDF]
, 2023 Blockchain technology emphasizes trust and collaboration through distributed networks and is deemed to contribute to building information modeling (BIM) based construction collaboration and management.
Zhao, R +5 more
core +1 more source
Streaming Zero-Knowledge Proofs
CoRR, 2023 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
openaire +5 more sources
Sensors, 2023 The access control (AC) system in an IoT (Internet of Things) context ensures that only authorized entities have access to specific devices and that the authorization procedure is based on pre-established rules. Recently, blockchain-based AC systems have
Xin Lin +6 more
doaj +1 more source
Adaptive Authentication Protocol Based on Zero-Knowledge Proof
Algorithms, 2022 Authentication protocols are expanding their application scope in wireless information systems, among which are low-orbit satellite communication systems (LOSCS) for the OneWeb space Internet, automatic object identification systems using RFID, the ...
Nikita Konstantinovich Chistousov +4 more
doaj +1 more source