军事学 >>> 军事学
搜索结果: 1-7 共查到军事学 Sigma protocols相关记录7条 . 查询时间(0.112 秒)
We then remove the helper from the protocol with a "cut-and-choose" protocol and we apply the Fiat-Shamir transform to obtain signature schemes with security proof in the QROM. We show that the result...
Given a well-chosen additively homomorphic cryptosystem and a ΣΣ protocol with a linear answer, Damgård, Fazio, and Nicolosi proposed a non-interactive designated-verifier zero knowledge argument...
Proofs of partial knowledge allow a prover to prove knowledge of witnesses for k out of n instances of NP languages. Cramer, Schoenmakers and Damgⅹard [CDS94] provided an efficient construction of a...
In this short paper, we present a Fiat-Shamir type transform that takes any Sigma protocol for a relation R and outputs a non-interactive zero-knowledge proof (not of knowledge) for the associated l...
In this short paper, we present a Fiat-Shamir type transform that takes any Sigma protocol for a relation R and outputs a non-interactive zero-knowledge proof (not of knowledge) for the associated l...
In [CDS94] Cramer, Damgⅹard and Schoenmakers (CDS) devise an OR-composition technique for ヒ-protocols that allows to construct highly-efficient proofs for compound statements. Since then, such techn...
We present a general way to get a provably collision-resistant hash function from any (suitable) -protocol. This enables us to both get new designs and to unify and improve previous work. In the fi...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...