腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
圈层
工具
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
如何对基于模糊
承诺
方案的
安全
协议
进行形式化验证?
、
、
、
我目前正在设计一种
安全
协议
,其中涉及使用模糊
承诺
方案。允许我们容忍一定程度的错误的里德-所罗门密码。 我想知道如何正式验证一个
安全
协议
,该
协议
将使用里德-所罗门密码之类的方案。ProVerify甚至可以帮助我测试
安全
协议
的Casper/FDR,但是它们似乎不适用于模糊
承诺
方案。
浏览 0
提问于2016-03-10
得票数 3
1
回答
安全
计算:独立
安全
混合模型中的反应性功能
、
使(
安全
计算)
协议
描述和证明更简单的一种常见方法是在混合模型中描述它们,其中实际世界中的
协议
可以访问一些辅助的理想功能F(例如理想的OT功能)。让我说,我只关心独立的
安全
性(相对于UC)。假设对F的所有调用都是顺序的(即不交错或并行),并且双方在呼叫开始和结束之间不相互通信,那么(据我理解)我可以使用常规的独立
安全
协议
的顺序组合来实例化具有独立
安全
协议
的混合
协议
,以获得一个整体的独立
安全
协议
我的问题
浏览 0
提问于2018-07-12
得票数 5
回答已采纳
1
回答
姚
协议
中恶意对手的OTs顺序及
承诺
、
我在读林德尔和哈赛的“高效
安全
两党
协议
”一书。这本书第92页说 这种检查是至关重要的,因此,首先运行不经意的传输,然后发送电路和
承诺
的顺序完全不是任意的。我不明白如果在
承诺
之后完成OT,
安全
性会有什么不同。
浏览 0
提问于2019-09-21
得票数 0
回答已采纳
1
回答
我如何为Pedersen的
承诺
生成大素数?
、
、
、
我想在Pedersen的著作“非交互和信息-理论上的
安全
可验证秘密共享”的基础上,对Shamir的秘密共享做出
承诺
。 为了实现
承诺
协议
,我需要两个大的素数q和p,比如q \mid (p-1)。注意:这与生成一个
安全
素数不同,因为我需要生成一个具有特定特征的素数。
浏览 0
提问于2018-12-27
得票数 1
1
回答
双方议定书中的
承诺
、
、
我一直在阅读Lindell的快速
安全
两方ECDSA签名,我看到在密钥生成和签名(第9-10页,特别是从图1中可以看到)中,只有第一方执行
承诺
,而双方都执行知识证明。我在不同的两方
协议
中也看到了这种模式。虽然,我不太明白为什么双方都需要提供零知识证明,但只有第一方需要作出
承诺
?原因是什么?
浏览 0
提问于2018-10-16
得票数 2
回答已采纳
1
回答
基于Pedersen
承诺
和Hash函数的Sigma
协议
、
假设我将Pedersen
承诺
构建为g^m h^r。我可以用“伪随机”的方式来选择随机性,比如r = H(m)。我的问题如下:编辑:我不需要某些特定的散列函数。任何伪随机函数都能达到我的目的。
浏览 0
提问于2020-03-05
得票数 1
回答已采纳
1
回答
非交互式零知识证明长度的上界
、
在一个混合
协议
\pi中,我想证明在没有损坏方的情况下uc-
安全
性,有一个用于
安全
消息传输的理想功能\mathcal{F}_{SMT},它将消息长度泄漏给攻击者。在该
协议
中,通过\mathcal{F}_{SMT}交换消息,其中包括一个实例和相应的NIZK知识证明。该实例包括一些恒定大小值、对一个值的
承诺
(也假定该值为恒定大小)和带有0 < l \leq MAX的可变大小的当事方标识符列表。 我仍然可以对
协议
做一些修改,例如添加消息填充。因此,我希望找到这个
协议
中可能
浏览 0
提问于2019-04-01
得票数 1
回答已采纳
1
回答
“如何模拟”中投币的证明问题
我正试图追踪布卢姆抛硬币
协议
的
安全
性证明,并提出了一些问题:在第41页的末尾,它说:“让b_1成为A发送的
承诺
c中提交的值(因为A是确定性的,这是第一个消息,这是一个固定的值)。”一般来说,
安全
证明是否适用于概率对手?
浏览 0
提问于2019-04-03
得票数 0
1
回答
使用patindex从字符串中提取数字的SQL查询
PATINDEX('%[^0-9]%',@string),1,'')SELECT @string String = N‘“Comp A总承付款”是指在本
协议
签署之日,Comp A
承诺
总额为2,500,000 at。“总Comp B
承诺
”是指在本
协议
签署之日,Comp B
承诺
总额为2,500,000 of。“Comp C
承诺
总额”是指Comp C
承诺
的总和,在本
协
浏览 0
提问于2018-10-16
得票数 1
回答已采纳
2
回答
SVN和HTTP
协议
是否可以在同一存储库中
安全
地同时使用?
、
、
我们想评估SVN
协议
是否比HTTP更适合我们的团队,但我们还不想
承诺
完全切换。 现在,我们有一个Apache服务器为我们的主存储库提供服务。我们是否可以
安全
地将svnserve.exe与相同的存储库一起使用,以便我们的一些开发人员可以对其进行测试?我最初的猜测是我们可以,但我们不想冒着破坏我们的存储库的风险。
浏览 1
提问于2009-06-09
得票数 7
回答已采纳
2
回答
在目标-C/Xcode中,“遵守
协议
”意味着什么?
、
、
在编写教程iOS应用程序时,我遇到了很多“这符合
协议
的东西”。这是什么意思?
浏览 1
提问于2015-07-13
得票数 2
回答已采纳
1
回答
输入延迟西格玛
协议
、
在Sigma
协议
中,步骤是:(1)
承诺
,(2)挑战,(3)响应。一般来说,证明者有一个陈述和见证,他们可以用来计算
承诺
步骤。是否有更多具有延迟输入特性的通用Sigma
协议
,而不仅仅是基于离散日志或其他代数问题的
协议
?例如,图的哈密顿性呢?
浏览 0
提问于2022-10-06
得票数 1
1
回答
什么是
安全
西格玛证明的例子?
、
、
我在同一课堂讲稿的第5章中读到了Schnorr
协议
作为sigma证明的解决方案,但据说是不
安全
的。如果西格玛证明是非交互的,那就太好了。
浏览 0
提问于2016-01-27
得票数 8
回答已采纳
1
回答
带和的零知识证明
到目前为止,我为离散日志阅读的所有零知识
协议
都是这样工作的:2)验证器产生随机挑战c,并将其发送给验证器。3) Prover创建响应s=r+x*c并将其发送给验证器我不明白为什么用乘法x*c代替和x+c。
浏览 0
提问于2019-06-25
得票数 1
1
回答
零知识集隶属
协议
、
、
我读过卡门尼希的那份报纸一种有效的集合隶属度和范围证明
协议
。描述零知识范围证明的al。纸上的应用程序看起来很有趣,如果你想证明你的年龄在一个范围内,而不说明确切的年龄是什么?但我读到,由验证者提供的
承诺
(C)应该先由可信方进行验证,然后才能用于零知识
协议
中?它只是C值上的一个签名吗? 我需要一个简单的解释,说明如何作出这样的
承诺
。据我所知,
承诺
(C)只为一方所知。
浏览 0
提问于2019-02-01
得票数 1
2
回答
对象navigator.mediaDevices无法在移动铬浏览器上访问。
、
、
、
我一直在开发一个应用程序,在这个应用程序中,我使用对象导航器来流我的摄像头。然而,当我在手机上启动应用程序时,它就崩溃了。我一直在测试不同的东西,直到我发现由于某种原因,我的移动浏览器上无法访问对象导航器。 logErrors(){}<h1>{this.logErrors()}</h1>总之,在我的个人电脑浏览器
浏览 5
提问于2020-01-03
得票数 0
1
回答
在Swift中返回依赖运行时的泛型
、
、
我的目标是拥有一个具有类型
安全
的array()调用的“干净”API,其中可以推断出[E],如下所示: let myStrings = myClass.array()
浏览 0
提问于2020-02-28
得票数 0
1
回答
Schnorr对DLOG知识的证明有哪些类型的稳健性/知识稳健性?
、
\mathbb{Z}/p\mathbb{Z}进行统一采样,计算
承诺
r\leftarrow g^k,并将r发送给V。因此,在这个意义上,
协议
的知识可靠性依赖于离散对数问题的硬度。如果是的话,是否计算? 我的second问题类似,但考虑到
协议
的正常可靠性。由于
协议
是特殊的声音,我们知道对于给定的
承诺
r,如果有两个接受事务(r,e,s)和(r,e',s'),那么e\ne e'就可以提取x。因此,如果我们有无效语句(即不知情的语句),则证明无效语句的概率至多为|\mathc
浏览 0
提问于2022-12-24
得票数 2
回答已采纳
1
回答
“
安全
实现”与“
安全
实现”有什么区别?
、
、
在一些
安全
证明中指出,“
协议
安全
地实现了理想的功能”,而在另一些
安全
的证明中,“
协议
安全
地实现了理想的功能”。问题1:外包模式匹配,S.Faust,等.参见定义3,并与下午5点:
安全
模式匹配,J.Baron,等。第29页定义5进行比较。问题2的示例:维基百科关于通用可组合性的文章: 从字面上讲,该
协议
可以模拟另一个
协议
(不需要访问代码)。
安全
的概念是由含义
浏览 0
提问于2015-11-09
得票数 2
回答已采纳
1
回答
进程代数如何帮助设计
安全
协议
?
、
、
、
你能告诉我进程代数如何帮助我设计
安全
协议
吗?进程代数是否用于任何
安全
协议
或特定类型的
协议
(如网络
协议
)?
浏览 0
提问于2018-09-03
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
热门
标签
更多标签
云服务器
ICP备案
云直播
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券