BLS+ with Random Oracle； BLS 改进方案在随机谕言机模型下的安全证明；内容小结

最新推荐文章于 2024-07-24 11:16:44 发布
原创 最新推荐文章于 2024-07-24 11:16:44 发布 · 636 阅读 · 8 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文探讨BLS签名方案的改进，引入随机盐技术增强安全性，并对比宽松规约与紧规约安全证明方法，详细解析其差异及证明过程。

BLS+ with Random Oracle; BLS 改进方案在随机谕言机模型下的安全证明；内容小结

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

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

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

BLS改进方案描述

                     

                     

1. Setup 阶段与BLS方案相同；

2. KeyGen 阶段与BLS方案也相同；

3. Sign 阶段签名由两个部分组成，一个随机数c,一个BLS类似的签名形式，要求对于一个签名消息m总是使用相同的比特c。

4. Verify 阶段形式上与BLS方案类似；

安全证明方法1--- 宽松规约安全证明:

第一种证明方法类似上一篇BLS原本的签名方案的证明方法，同样是运用随机谕言机模型。但是一种

最低0.47元/天 解锁文章
密码学系列6-随机预言机模型和标准模型
qq_41359358的博客
04-24 1349
因为哈希函数的输出应该是随机的，而我们却控制了他的输出。并且存在在随机预言机下模型下证明了安全性的方案，现实中却被证明不安全。但是标准模型下的方案更具现实意义，所以读者阅读论文时，会发现有的工作便是将随机预言机模型下安全的方案改为标准模型下安全的方案。随机预言机模型通常是现实中哈希函数的理想化的替身。对相同的输入，有相同的输出。而在现实构造中，我们只能做到伪随机，而无法构造真正的均匀随机的输出。在安全性证明中，挑战者通常会对哈希函数的输出进行设定，从而达到一些目的。次输出，按我们的需求进行了设定。
【预测模型】基于粒子群优化宽度学习实现预测matlab代码
qq_59747472的博客
10-30 1673
1 简介 宽度学习系统( BLS) 的基本思想是利用稀疏自动编码器产生最优输入权值矩阵，对输入样本进行线性变换后，形成特征节点，再对特征节点经过激励函数非线性变换后获得增强节点。通过合并特征节点输出和增强节点输出形成宽度学习系统的输出矩阵。宽度学习系统的模型可表示为: 2 部分代码 clear; warningoffall; formatcompact; loadshujv.mat; train_y=(train_y-1)*2+1; test_y=(test_y-1)*2+1;...
BLS数字签名方案的安全性证明（安全规约）
CCCYYY090的博客
05-11 3846
Digital Signatures with Random Oracles-BLS Scheme 《 Introduction to Security Reduction》 BLS是一种基于双线性映射的数字签名方案，方案的安全性可以规约到CDH问题（计算性Diffie-Hellman问题）。这篇重点在于安全性证明（Security Reduction）的过程，方案仅有简单的介绍。 BLS 参数设置： 双线性群PG=(G,GT,g,p,e)\mathbb {PG}=(\mathbb{G},\mathb
BLS with Random Oracle； BLS 短签名在随机谕言机模型下的安全证明 内容小结
密码小仙女
08-01 2032
BLS with Random Oracle 密码学安全规约推荐书目: 《密码学中的可证明安全性》杨波 清华大学出版社 《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu Springer 数字签名的安全证明 数字签名的安全证明我们需要明确以下三个关键问题： （1）模拟者构造的模拟协议是不是可模拟的？是不是和真实协议不可区分的？ （2）敌手伪造的数字签名是不是可规约的？是不是能解决困难问题实例的？ （3）规约是不
七、宽度学习系统Broad Learning System
qq_41760767的博客
08-07 4115
五、宽度学习系统Broad Learning System（很详细哦） 1、宽度学习的发展 宽度学习系统（BLS） 的提出最早源于澳门大学科技学院院长陈俊龙和其学生于2018年1月发表在IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS，VOL. 29, NO. 1 的一篇文章，题目叫《Broad Learning System: ...
BLS# with Random Oracle ；BLS 改进方案在随机谕言机下 内容小结
密码小仙女
08-06 509
BLS# with Random Oracle ;BLS 改进方案在随机谕言机下 内容小结 密码学安全规约推荐书目（系列博客内容为这两本书学习笔记与内容小结）: 《密码学中的可证明安全性》杨波 清华大学出版社 《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu Springer BLS# 方案描述 ...
密码学之可证明安全初探
weixin_39529207的博客
08-17 3449
本文初步介绍了密码学中的可证明安全技术, 阐述了安全性证明的基本逻辑, 并针对基于归约和基于模拟的证明技术给出了三个示例, 能帮助读者快速了解密码学中可证明安全的思想内涵
随机谕言机与标准模型
03-10
例如，在BLS签名方案及其改进版本的研究过程中发现，当采用随机预言机时能够提供较为简洁明了的安全性证明路径[^2][^3]。不过值得注意的是，虽然这种方法有助于快速建立初步信任度，但由于它所依据的前提过于理想化...
随机预言机
最新发布
05-01
尽管真正的随机预言机无法物理实现，但在理论分析中可以通过假定其存在来构建各种加密算法和协议的安全性论证框架——即所谓的“随机预言机模型”(ROM)[^1]。实际上部署这些基于ROM设计出来的系统时，通常会选用标准...
BLS+方案在随机预言机下的安全归约证明构造过程
wwwwz9的博客
11-02 284
大概的思路就是，当c=x的时候我们就让他是可归约的，否者就让他是可模拟的。这一下子，就让在模拟成功的情况下敌手发起有用攻击的概率不在和询问次数有关了。从上到下来看都觉得BLS+可以就用BLS的安全证明感觉也行啊，就是哈希询问的时候，添加c的过程。第二个问题，随机预言机的输出应该也是trapdoor，让模拟器可模拟签名。因此，我在提出这三个问题的时候，自己给出了自己认为的答案。,而加入了c，可以然归约变成紧归约，成功的概率是1/2。可以说，BLS的方案他是一个松归约，成功归约的概率是。模拟器一开始设定一个。
《A Graduate Course in Applied Cryptography》Chapter 15 Elliptic curve cryptography and pairings (2)
密码小仙女
10-27 491
原文教材 与 参考资料： Boneh Dan , Shoup Victor . A Graduate Course in Applied Cryptography[J]. 该书项目地址（可以免费获取）：http://toc.cryptobook.us/ 博客为对该书的学习笔记，并非原创知识，仅帮助理解，整理思路。 15.5 Signature schemes from pairings 椭圆曲线密码学中的一个经典方案就是BLS数字签名协议，直到...
安全性证明（1-2）改进的BLS数字签名机制
qq_50929742的博客
07-24 868
本文主要介绍对于BLS数字签名机制存在的模拟成功率低问题的改进算法BLS+和BLS＃。
理解 BLS 签名算法
热门推荐
跨链技术践行者
04-24 2万+
编者注：BLS 签名算法是一种可以实现签名聚合和密钥聚合的算法（即可以将多个密钥聚合成一把密钥，将多个签名聚合成一个签名）。在以太坊未来的 Casper 实现中，有非常多的验证者都要对区块签名，要保证系统的安全性，同时节约存储空间，就需要用到这类签名聚合的算法。 之前的文章中，我介绍了 Schnorr 签名算法和它的优势。现在，我来介绍下 BLS（Boneh-Lynn-Shacham）签名算...
安全规约（二）
小张要努力鸭
06-04 829
本篇为安全规约（一）的第二次学习记录，接着第4章开始。
BB-RO 方案 在随机谕言机模型下的安全证明
密码小仙女
08-13 1023
BB-RO 方案 在随机谕言机模型下的安全证明 密码学可证明安全推荐书目（系列博客内容为这两本书学习笔记与内容小结): 《密码学中的可证明安全性》杨波 清华大学出版社 《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu Springer BB_RO 方案描述 系统初始化阶段： 系统初始化阶段与BLS 协议相同。 秘钥生成阶段： ...
BLS签名
a923304245的博客
11-19 511
BLS签名 记e: G*G->G’，为一个非退化的双线性映射，G和G’为素数r阶的乘法群，生成元为g。根据双线性映射的性质，e(g1^x, g2^y)=e(g1,g2)^(x*y)。要求在G上，CDH problem是困难的。 BLS签名的三个函数 KeyGen：选取[0, r-1]内的一个随机整数x，作为私钥sk；g^x作为公钥pk。由于CDH问题是困难的，我们相信DL问题...
Schnorr 签名方案和 BLS 签名方案的全面对比
跨链技术践行者
03-15 1万+
原文：https://medium.com/cryptoadvance/bls-signatures-better-than-schnorr-5a7fe30ea716https://medium.com/cryptoadvance/how-schnorr-signatures-may-improve-bitcoin-91655bcb4744 Schnorr 签名算法最初是由德国密码学家 Cl...
随机预言机(random oracle)和PRF(Pseudorandom Function)是什么,区别在哪里?
不骄不躁，如此甚好
02-19 1529
随机预言机模型 Random Oracle Model
小熊划水博
07-04 9991
最近事比较多，写的也比较少了，之前看的安全多方计算、秘密共享、差分隐私保护又忘了，以后有时间再写吧就当做笔记了，还得多写随机预言机模型随机预言机模型通常是现实中哈希函数的理想化替身，其起源于把哈希函数看伪随机的函数的思想。ROM理解为完美的散列函数具有以下性质：（1）一致性：相同的输入必有相同的输出（2）可计算性：输出的计算可在多项式时间内完成（3）均匀分布性：预言机的输出在取值空间内均匀分布，无...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值