搜索结果: 1-14 共查到“密码学 proofs of knowledge”相关记录14条 . 查询时间(0.123 秒)
Agree-and-Prove: Generalized Proofs Of Knowledge and Applications
PoK Knowledge and Applications
font style='font-size:12px;'>
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...
Sharding PoW-based Blockchains via Proofs of Knowledge
applications Blockchain security
font style='font-size:12px;'>
2017/11/13
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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...