Results 11 to 20 of about 8,603,697 (240)
, 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 +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
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 +7 more sources
Zero-Knowledge Proof in NuLink [PDF]
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
core +5 more sources
A Survey of Noninteractive Zero Knowledge Proof System and Its Applications [PDF]
The Scientific World Journal, 2014 Zero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory.
Huixin Wu, Feng Wang
doaj +2 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
Bulletproofs+: Shorter Proofs for a Privacy-Enhanced Distributed Ledger
IEEE Access, 2022 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
Polynomial Commitment-Based Zero-Knowledge Proof Schemes: A Brief Review [PDF]
, 2022 Blockchain technology is one of the most popular information technologies at present, and its security features are realized through various cryptographic tools.
Mundele, Becky +3 more
core +1 more source
Zero-Knowledge Sets With Short Proofs [PDF]
IEEE Transactions on Information Theory, 2011 Zero knowledge sets (ZKS), introduced by Micali, Rabin, and Kilian in 2003, allow a prover to commit to a secret set S in a way such that it can later prove, non interactively, statements of the form x ∈ S (or x ∉ S), without revealing any further information (on top of what explicitly revealed by the inclusion/exclusion statements above) on S, not ...
Catalano, Dario +3 more
openaire +3 more sources