搜索结果: 76-90 共查到“知识库 军事学 zero knowledge”相关记录196条 . 查询时间(0.084 秒)
Zero-Knowledge Arguments for Matrix-Vector Relations and Lattice-Based Group Encryption
Lattices zero-knowledge proofs group encryption anonymity
2016/12/9
Group encryption (GE) is the natural encryption analogue of group signatures in that it allows verifiably encrypting messages for some anonymous member of a group while providing evidence that the rec...
On Probabilistic Checking in Perfect Zero Knowledge
probabilistically checkable proofs interactive proofs
2016/12/8
Our constructions rely on *succinct* simulators that enable us to "simulate beyond NP", achieving exponential savings in efficiency over [BCGV16]. These simulators crucially rely on solving a problem ...
Efficient Commitments and Zero-Knowledge Protocols from Ring-SIS with Applications to Lattice-based Threshold Cryptosystems
Efficient Commitments Zero-Knowledge Protocols
2016/12/8
We present an additively homomorphic commitment scheme
with hardness based on the Ring-SIS problem. Our construction is statistically
hiding as well as computationally binding and allows to commit
...
Efficient Post-Quantum Zero-Knowledge and Signatures
public-key cryptography symmetric-key primitives
2016/12/7
In this paper, we present a new post-quantum digital signature algorithm that derives its security entirely from assumptions about symmetric-key primitives, which are very well studied and believed to...
Amortized Complexity of Zero-Knowledge Proofs Revisited: Achieving Linear Soundness Slack
zero-knowledge protocols proofs of knowledge
2016/7/13
We propose a new zero-knowledge protocol for proving knowledge of short preimages under additively homomorphic functions that map integer vectors to an Abelian group. The protocol achieves amortized e...
Efficient Zero-Knowledge Proof of Algebraic and Non-Algebraic Statements with Applications to Privacy Preserving Credentials
zero knowledge garbled circuits anonymous credentials
2016/6/7
Practical anonymous credential systems are generally built around
sigma-protocol ZK proofs. This requires that credentials be based on specially
formed signatures. Here we ask whether we can instead...
On the Relationship between Statistical Zero-Knowledge and Statistical Randomized Encodings
Cryptography Complexity Statsitical Zero Knowldge
2016/5/30
\emph{Statistical Zero-knowledge proofs} (Goldwasser, Micali and Rackoff, SICOMP 1989) allow a computationally-unbounded server to convince a computationally-limited client that an input x is in a lan...
Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts
bitcoin smart contracts cryptocurrencies
2016/5/11
One of the most promising innovations offered by the cryptographic currencies (like Bitcoin) are the so-called \emph{smart contracts}, which can be viewed as financial agreements between mutually dist...
Thrifty Zero-Knowledge - When Linear Programming Meets Cryptography
public-key cryptography zero-knowledge efficiency
2016/5/9
These protocols are constructed by introducing a bias in the challenge send by the prover. This bias is chosen so as to maximize the security versus effort trade-off. We illustrate the benefits of thi...
Slow Motion Zero Knowledge Identifying With Colliding Commitments
Authentication protocols Zero-Knowledge Proof Systems
2016/4/22
Discrete-logarithm authentication protocols are known to present two interesting features: The first is that the prover's commitment, x=gr, claims most of the prover's computational effort. The second...
Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
Sigma-protocol zero-knowledge argument arithmetic circuit
2016/3/9
We provide a zero-knowledge argument for arithmetic circuit
satisfiability with a communication complexity that grows logarithmically
in the size of the circuit. The round complexity is also logarit...
Zero-knowledge proofs have driven the field of cryptography since their conception over thirty
years ago. It is well established that two-message zero-knowledge protocols for NP do not exist,
and th...
In this paper we describe ZKBoo, a proposal for practically efficient zero-knowledge arguments especially tailored for Boolean circuits and report on a proof-of-concept implementation. As an highlight...
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs
zero knowledge probabilistically-checkable proofs
2016/1/27
The seminal result that every language having an interactive proof also has a zero-knowledge interactive proof
assumes the existence of one-way functions. Ostrovsky and Wigderson (ISTCS 1993) proved ...
Constant-round Leakage-resilient Zero-knowledge from Collision Resistance
zero-knowledge leakage-resistance
2016/1/26
We construct a constant-round leakage-resilient zero-knowledge argument system under the
existence of collision-resistant hash function family. That is, using collision-resistant hash functions,
we ...