搜索结果: 1-14 共查到“知识库 proofs-or-knowledge”相关记录14条 . 查询时间(0.07 秒)
Agree-and-Prove: Generalized Proofs Of Knowledge and Applications
PoK Knowledge and Applications
2019/6/5
Proofs of knowledge (PoK) are one of the most fundamental notions in cryptography and have been used as a building block in numerous applications. The appeal of this notion is that it is parameterized...
Blockchains based on proofs of work (PoW) currently account for more than 90% of the total market capitalization of existing digital cryptocurrencies. The security of PoW-based blockchains requires th...
Efficient Designated-Verifier Non-Interactive Zero-Knowledge Proofs of Knowledge
Zero-knowledge proofs, Non-interactive proofs
2017/10/30
We propose a framework for constructing efficient designated-verifier non-interactive zero-knowledge proofs (DVNIZK) for a wide class of algebraic languages over abelian groups, under standard assumpt...
Efficient Delegation of Zero-Knowledge Proofs of Knowledge in a Pairing-Friendly Setting
cryptographic protocols zero-knowledge proofs
2016/1/3
Since their introduction in 1985, by Goldwasser, Micali and Rackoff, followed by Feige, Fiat
and Shamir, zero-knowledge proofs have played a significant role in modern cryptography: they allow a
par...
Adaptive Proofs of Knowledge in the Random Oracle Model
proofs of knowledge sigma protocols schnorr
2015/12/29
We formalise the notion of adaptive proofs of knowledge
in the random oracle model, where the extractor has to recover witnesses
for multiple, possibly adaptively chosen statements and proofs.
We a...
Constant-Round Zero-Knowledge Proofs of Knowledge
zero-knowledge proofs proofs of knowledge constant number of rounds
2011/1/5
In this note, we show the existence of \emph{constant-round} computational zero-knowledge \emph{proofs of knowledge} for all $\NP$. The existence of constant-round zero-knowledge proofs was proven by ...
A Note on Zero-Knowledge Proofs of Knowledge and the ZKPOK Ideal Functionality
Zero-Knowledge Proofs Knowledge and the ZKPOK Ideal Functionality
2010/11/2
In this note, we provide a formal proof of the fact that any protocol that is a zero-knowledge proof of knowledge for a relation $R$ is also a secure protocol for the zero-knowledge proof of knowledge...
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols
implementation Zero-Knowledge Protocol Compiler Formal Verification
2010/7/14
Zero-knowledge proofs of knowledge (ZK-PoK) are important building blocks for numerous cryptographic applications. Although ZK-PoK have very useful properties, their real world deployment is typically...
Bringing Zero-Knowledge Proofs of Knowledge to Practice
Bringing Zero-Knowledge Proofs DAA TCG
2009/6/12
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are
basic building blocks of many practical cryptographic applications such
as identification schemes, group signatures, and secure multiparty c...
Round-Optimal Zero-Knowledge Proofs of Knowledge for NP
Round-Optimal Zero-Knowledge Proofs NP Hamiltonian Cycle
2009/6/10
It is well known that all the known black-box zero-knowledge proofs of knowledge for NP are nonconstant-
round. Whether there exit constant-round black-box zero-knowledge proofs of knowledge for
all...
Proofs of Knowledge with Several Challenge Values
zero-knowledge cryptographic protocols double discrete logarithm
2009/6/4
In this paper we consider the problem of increasing the number
of possible challenge values from 2 to s in various zero-knowledge cut
and choose protocols. First we discuss doing this for graph isom...
Efficient Zero-Knowledge Proofs of Knowledge Without Intractability Assumptions
Efficient Zero-Knowledge Proofs Intractability Assumptions
2009/4/17
Efficient Zero-Knowledge Proofs of Knowledge Without Intractability Assumptions.
Additive Proofs of Knowledge - A New Notion For Non-Interactive Proofs
Additive Proofs of Knowledge New Notion Non-Interactive Proofs
2009/3/10
In this paper, we study the opacity property of verifiably encrypted signatures (VES) of Boneh
et al. (proposed in Eurocrypt 2003). Informally, opacity implies that although some given aggregate sign...
Isolated Proofs of Knowledge and Isolated Zero Knowledge
IPoK Isolated Zero Knowledge cheating prover
2008/5/29
We introduce a new notion called `-isolated proofs of knowledge (`-IPoK). These are proofs of knowledge where a cheating prover is allowed to exchange up to ` bits of communication with some external...