1回答
我目前正在设计一种安全协议，其中涉及使用模糊承诺方案。允许我们容忍一定程度的错误的里德-所罗门密码。
我想知道如何正式验证一个安全协议，该协议将使用里德-所罗门密码之类的方案。ProVerify甚至可以帮助我测试安全协议的Casper/FDR，但是它们似乎不适用于模糊承诺方案。
浏览 0提问于2016-03-10得票数 3
使(安全计算)协议描述和证明更简单的一种常见方法是在混合模型中描述它们，其中实际世界中的协议可以访问一些辅助的理想功能F(例如理想的OT功能)。让我说，我只关心独立的安全性(相对于UC)。假设对F的所有调用都是顺序的(即不交错或并行)，并且双方在呼叫开始和结束之间不相互通信，那么(据我理解)我可以使用常规的独立安全协议的顺序组合来实例化具有独立安全协议的混合协议，以获得一个整体的独立安全协议我的问题
浏览 0提问于2018-07-12得票数 5
回答已采纳
我在读林德尔和哈赛的“高效安全两党协议”一书。这本书第92页说
这种检查是至关重要的，因此，首先运行不经意的传输，然后发送电路和承诺的顺序完全不是任意的。我不明白如果在承诺之后完成OT，安全性会有什么不同。
浏览 0提问于2019-09-21得票数 0
回答已采纳
1回答
我想在Pedersen的著作“非交互和信息-理论上的安全可验证秘密共享”的基础上，对Shamir的秘密共享做出承诺。
为了实现承诺协议，我需要两个大的素数q和p，比如q \mid (p-1)。注意:这与生成一个安全素数不同，因为我需要生成一个具有特定特征的素数。
浏览 0提问于2018-12-27得票数 1
1回答
我一直在阅读Lindell的快速安全两方ECDSA签名，我看到在密钥生成和签名(第9-10页，特别是从图1中可以看到)中，只有第一方执行承诺，而双方都执行知识证明。我在不同的两方协议中也看到了这种模式。虽然，我不太明白为什么双方都需要提供零知识证明，但只有第一方需要作出承诺？原因是什么？
浏览 0提问于2018-10-16得票数 2
回答已采纳
假设我将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
回答已采纳
我正试图追踪布卢姆抛硬币协议的安全性证明，并提出了一些问题:在第41页的末尾，它说：“让b_1成为A发送的承诺c中提交的值(因为A是确定性的，这是第一个消息，这是一个固定的值)。”一般来说，安全证明是否适用于概率对手？
浏览 0提问于2019-04-03得票数 0
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
回答已采纳
我们想评估SVN协议是否比HTTP更适合我们的团队，但我们还不想承诺完全切换。
现在，我们有一个Apache服务器为我们的主存储库提供服务。我们是否可以安全地将svnserve.exe与相同的存储库一起使用，以便我们的一些开发人员可以对其进行测试？我最初的猜测是我们可以，但我们不想冒着破坏我们的存储库的风险。
浏览 1提问于2009-06-09得票数 7
回答已采纳
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
我一直在开发一个应用程序，在这个应用程序中，我使用对象导航器来流我的摄像头。然而，当我在手机上启动应用程序时，它就崩溃了。我一直在测试不同的东西，直到我发现由于某种原因，我的移动浏览器上无法访问对象导航器。 logErrors(){}<h1>{this.logErrors()}</h1>总之，在我的个人电脑浏览器
浏览 5提问于2020-01-03得票数 0
1回答
我的目标是拥有一个具有类型安全的array()调用的“干净”API，其中可以推断出[E]，如下所示：
let myStrings = myClass.array()
浏览 0提问于2020-02-28得票数 0
\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
回答已采纳
云服务器
ICP备案
云直播
对象存储
腾讯会议
腾讯云开发者
