BLS# with Random Oracle ；BLS 改进方案在随机谕言机下内容小结

最新推荐文章于 2023-09-20 16:51:07 发布

zmrlinux

最新推荐文章于 2023-09-20 16:51:07 发布

阅读量409

点赞数 1

分类专栏：现代密码学杂谈

本文链接：https://blog.csdn.net/zmrlinux/article/details/107842256

版权

现代密码学杂谈专栏收录该内容

27 篇文章 35 订阅

订阅专栏

BLS# with Random Oracle ;BLS 改进方案在随机谕言机下内容小结

密码学安全规约推荐书目（系列博客内容为这两本书学习笔记与内容小结）:

《密码学中的可证明安全性》杨波清华大学出版社

《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu Springer

BLS# 方案描述

BLS#方案和BLS、BLS+方案并不太大的区别，无非是在签名生成的过程中做出修改，这个方案与BLS+ 方案相比，是将随机盐替换成了一个随机数，并且要求这个随机数对于确定的消息是相同的。

这里需要使用这个随机数来构造一个紧规约的安全证明，在此之前，我们先考虑下BLS 和 BLS+ 方案的区别。

BLS 方案与 BLS+方案的区别

BLS 方案是宽松规约的，规约损失为qH.

BLS+ 方案是紧规约的，规约损失为2.

BLS方案是通过将敌手发动有效攻击的时机确定为第qH次询问。而对这第qH次预选做了选择，那么敌手正好在这次发起攻击的概率就是1/qH. 但是，我们往往假设敌手是拥有无穷计算能力的，这个概率导致敌手难以密切，紧致，高概率的发起有效的能够解决潜困难问题。那么，也就是说我们安全方案规约到这个困难问题上的程度也就越浅。规约也就越宽松。

问题：能不能增大敌手发动解决困难问题的概率，如果敌手能够越大程度上发起解决困难问题攻击，那么规约也就越紧，最好是只要敌手发起攻击，就一定是可规约的签名，就一定能够解决困难问题？

答：紧规约是可能的，但是需要对方案进行巧妙的设计，从而产生出紧规约的安全性证明。

BLS+ 方案通过引入一个随机比特C，进入签名方案，从而构造出一种紧规约的方案与证明。其实这种做法是一种朴素且巧妙的方法。加入我们在敌手发起伪造时，主动给与一个发起成功有效攻击的概率，然后把这个概率降低，那么我们就能得到一个紧规约的方案与证明。

从直觉上看，如果想要实现这个目标，必须给敌手选择的机会，那么就需要敌手做出选择，而敌手单方面的选择是不够的，一旦敌手能够发现其中选择对应的可模拟签名，则一定会一直选择发起无用的攻击，那么规约将会失败。

所以，在密码方案与证明中，如果引入一个比特，即为一个选择的概率，那么，在证明中模拟者也一定要控制一个比特，以保证敌手的随机选择是有意义的。

如下图所示：

BLS# 方案的证明

直觉上，从这个定理看出直接证明了，BLS#方案的安全损失为L= 1. 这意味着没有损失，如果说没有安全损失，那么只有一种可能，敌手仿造时必定输出可规约的签名。模拟者在模拟协议时必定输出可模拟的签名。如何实现这个过程？

直觉上，模拟者敌手谕言机三者只有如上图这样交互，并且谕言机需要具备区分敌手和模拟者的能力，才能实现证明。但是随机谕言机往往是由模拟者控制的，但是模拟者是觉得无法假设具备区分敌手在某次发动有效攻击的。

正确的证明如下：

初始化阶段和其他BLS方案相同，没有任何的区别，重点是哈希询问请求与签名请求：

哈希请求：敌手发送一个（m,r）的请求给与谕言机，如果这个请求早都存在列表上了，那么模拟者就按照列表的内容回复。否则，模拟者选择随机的Z，回复一个可构成可规约签名的请求内容返回。不同的是，这里的哈希列表的表项包含此条目是由谁生成的，如果之前并不存在，则由敌手询问生成。

签名请求：敌手请求一个消息的签名，如果存在由模拟者生成的哈希请求，则模拟者使用条目回答，否则模拟者随机选择参数r,y生成一个条目，并且回复敌手。如果这条消息曾被敌手生成过，则模拟器终止。那么这里相当于强制要求敌手，只有访问签名询问得到的为可模拟的签名，如果是敌手之前做过的（m,r）哈希询问，那么终止。这是符合现实与逻辑的，这里的签名随机数r是模拟者（签名算法）随机选择生成的，敌手本身既不应该知道这个随机的数值，如果敌手知道这个随机数，那么敌手将会总是发起无用的攻击，因为敌手可以像模拟者那样输出可模拟的签名。这里是让要求两种访问的随机值不能出现相同的情况，如果哈希询问的随机值r 和签名询问的随机值r 相同，那么敌手可以立即发现签名时刻模拟的，从而区分出与敌手交互的是模拟的协议还是真实的协议。所以，可见随机谕言机的本质是一个允许敌手任何时候访问的可编程机器，保证输出独立随机不能被敌手区分出模拟与真实的差别。