上一节主要分析的是H型结构的设计,下面来看一个C型结构的例子。
先看具体的方案设计。
先做一个正确性检验如下:
双线性配对满足以下性质:
插一句分析 假设哈希函数H是一个RO。 如果CDH问题是困难的,那么BB(RO)签名方案在EU - CMA安全模型下是可证明安全的, 其规约损失大约L = qH。其中qH是对RO的哈希问询次数证明:
假定在EU-CMA安全模型下,存在一个敌手
来自尧图项目组的一线实战观察与深度解析
上一节主要分析的是H型结构的设计,下面来看一个C型结构的例子。
先看具体的方案设计。
先做一个正确性检验如下:
双线性配对满足以下性质:
插一句分析 假设哈希函数H是一个RO。 如果CDH问题是困难的,那么BB(RO)签名方案在EU - CMA安全模型下是可证明安全的, 其规约损失大约L = qH。其中qH是对RO的哈希问询次数证明:
假定在EU-CMA安全模型下,存在一个敌手
更多一线实战笔记与深度复盘,助您持续精进