Results 11 to 20 of about 7,889 (254)
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
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
openaire +5 more sources
Zero-Knowledge Proof Systems for QMA [PDF]
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
openaire +2 more sources
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.
openaire +3 more sources
Zero-Knowledge Sets With Short Proofs [PDF]
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
Proofs, Arguments, and Zero-Knowledge
Interactive proofs (IPs) and arguments are cryptographic protocols that enable an untrusted prover to provide a guarantee that it performed a requested computation correctly. Introduced in the 1980s, IPs and arguments represented a major conceptual expansion of what constitutes a “proof” that a statement is true.
openaire +1 more source
Twisted Edwards Elliptic Curves for Zero-Knowledge Circuits
Circuit-based zero-knowledge proofs have arose as a solution to the implementation of privacy in blockchain applications, and to current scalability problems that blockchains suffer from.
Marta Bellés-Muñoz +4 more
doaj +1 more source
The 5 W’s of Zero-Knowledge Proof Development [PDF]
In the rapidly evolving realm of blockchain technology, the pursuit of enhanced privacy, security, and scalability has propelled the exploration of cryptographic innovations.
Nadia van Niekerk +2 more
doaj +3 more sources
An Application of p-Fibonacci Error-Correcting Codes to Cryptography
In addition to their usefulness in proving one’s identity electronically, identification protocols based on zero-knowledge proofs allow designing secure cryptographic signature schemes by means of the Fiat–Shamir transform or other similar constructs ...
Emanuele Bellini +2 more
doaj +1 more source
Zero-Knowledge Proof in NuLink
NuLink 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 +2 more sources

