![点击分享此内容可以赚币 分享](/master/images/share_but.png)
基于Paillier加密和共识机制的分解协调式算法.pdf
《基于Paillier加密和共识机制的分解协调式算法.pdf》由会员分享,可在线阅读,更多相关《基于Paillier加密和共识机制的分解协调式算法.pdf(8页珍藏版)》请在咨信网上搜索。
1、随着能源系统的去中心化程度不断加深,分解协调式算法开始广泛应用于求解能源领域的优化问题。但是,分解协调式算法需要子优化问题向协调层算法上传协调变量,存在隐私泄露的风险,并且协调层自身还存在着信任问题。为了解决这些问题,引入Paillier加密和区块链共识机制,对分解协调式算法进行改进。在分解协调式算法的每次迭代中,各个发电商的出力通过Paillier加密后以密文的形式广播给其他发电商,某个发电商作为领导节点负责根据密文计算出所有发电商的总出力,并将所有密文和总出力打包生成区块后广播给所有发电商。所有发电商都会对区块内容的正确性进行检查,检查通过后将区块加入到账本中,完成分解协调式算法的本次迭代
2、。算例结果证明了该算法中Paillier加密能够保护各个发电商的隐私,共识机制能够防止领导节点恶意篡改区块内容,在发电商间构建信任。关键词:能源区块链;共识机制;Paillier加密;分解协调式算法0 引言能源系统的规划、调度、交易等领域中通常需要求解优化问题。传统方法采用集中式的优化算法,由中心化机构搜集所有数据并进行求解。但是,随着大量分布式资源的接入,能源系统的去中心化程度正在加深,传统的集中式优化算法难以适应去中心化的能源系统架构。分解协调式算法是一种分布式优化算法,天然具备去中心化的特点。在分解协调式算法中,原始的优化问题会被分解成多个子优化问题,由协调层负责协调各个子优化问题的解,
3、通过反复迭代求出最优解1。目前,分解协调式算法已经在状态估计、模型预测控基于 Paillier 加密和共识机制的分解协调式算法周鑫1,贺欢2,王彬1*,祝湘博2,孙宏斌1(1.清华大学电机工程与应用电子技术系,北京市 海淀区 100084;2.国网辽宁省电力有限公司鞍山供电公司,辽宁省 鞍山市 114001)Coordination-decomposition Algorithm Based on Paillier Encryption and Consensus MechanismZHOU Xin1,HE Huan2,WANG Bin1*,ZHU Xiangbo2,SUN Hongbin1(
4、1.Department of Electrical Engineering,Tsinghua University,Haidian District,Beijing 100084,China;2.State Grid Anshan Electric Power Company,Anshan 114001,Liaoning Province,China)基金项目:国家电网有限公司科技项目(5700-202272179A-1-1-ZN)。Science and Technology Foundation of SGCC(5700-202272179A-1-1-ZN).全球能源互联网Journal
5、 of Global Energy Interconnection第 6 卷 第 4 期2023 年 7 月Vol.6 No.4Jul.2023文章编号:2096-5125(2023)04-0362-08 中图分类号:TM61;TM722 文献标志码:ADOI:10.19705/ki.issn2096-5125.2023.04.004Vol.6 No.4 周鑫,等:基于 Paillier 加密和共识机制的分解协调式算法 363制、多能系统联合调度、无功优化等领域中得到了广泛应用2-5。但是,分解协调式算法往往需要各个子优化问题向协调层上传协调变量,这些协调变量可能会涉及隐私问题。此外,分解协调
6、式算法还依赖于协调层的可信度,如果协调层执行协调任务时恶意修改数据,将导致分解协调式算法无法得到最优解,甚至无法收敛6。因此,有必要寻求新的方法来解决分解协调式算法的隐私与信任问题。在隐私方面,常用的方法是对数据进行加密以保护隐私,例如信息伪装7、同态加密8、安全多方计算9等。文献10针对混合整数二次规划问题,设计了一种基于信息伪装的云端求解算法,对各个分布式资源的隐私数据进行了线性变换,使得云端只能接收到变换后的数据,能够防止隐私被泄露。文献11设计了一种能够容许错误的信息伪装方法,可用于隐私数据聚合中。文献12采用同态加密技术,利用Paillier加密的密文进行完全隐私保护的电-气协同优化
7、。文献13依托安全多方计算技术,设计了一种安全的智能电表数据聚合方法。在这些文献中,使用加密技术保护隐私的效果已经得到了充分验证。在信任方面,区块链这种分布式账本技术受到广泛关注14。区块链共识机制能够在互不信任的节点间保证账本的一致性。文献15-16针对能源领域特点对已有共识机制进行了改进,提出了信用证明共识机制和凸优化证明共识机制。文献17将共识机制与分布式优化算法结合起来,保证分布式优化结果的可靠性。文献18针对基于交替方向乘子法的最优潮流问题提出了PoOPF(proof of optimal power flow)共识机制,使得网络节点能够对最优潮流问题解的有效性达成一致。文献19面向
8、能源系统中的优化问题,利用优化问题难以求解但容易验证的特点设计了PoSo(proof of solution)共识机制。通过引入区块链共识机制,分布式优化算法的信任问题将得以解决。已有文献大多关注于解决隐私保护问题或使用区块链共识机制构建信任问题,但如何同时解决分解协调式算法中的隐私与信任问题尚未得到充分研究。本文以多个发电商的经济调度模型为例,分析分解协调式算法的隐私与信任问题,并基于已有研究,设计了基于Paillier加密和共识机制的分解协调式算法,既能利用Paillier加密保护各个发电商的隐私,又能通过共识机制在各个发电商之间建立信任,确保协调层计算结果可信。1 分解协调式算法的隐私与
9、信任问题1.1 典型分解协调式算法本文考虑单时间段经济调度模型,以所有发电商的总成本最小为优化目标,并忽略网损、不确定性等约束,如式(1)所示。(1)式中:N为发电商的总个数;Pi为发电商i的出力;Pi,max、Pi,min为发电商i的出力上下限;D为总负荷;Ci为发电商i的成本函数,满足:C Pb Piiiiii()=a P2+(2)式中:ai、bi为发电商i的成本函数的二次项和一次项系数。该经济调度模型可以采用分解协调式算法进行分布式求解。例如,使用原对偶梯度法进行求解的流程如下。1)初始化 k=0,0()k。其中,上标 k 代表第 k次迭代;代表出清价格。2)发电商i求解优化问题式(3)
10、得到出力Pi(1)k+,并将其上传给协调层。s.t.Piiii(1)()kk+P=i,min,maxargminPiPiCP()PPi(3)3)协调层按式(4)更新出清价格(1)k+,并发送给所有发电商。(1)()(1)kkk+=iN=1PDi(4)式中:为步长参数。4)如果|(1)()kk+,其中为收敛阈值,则停止迭代;否则,令k+k1,重新执行步骤2)。1.2 隐私与信任问题分析在上述求解算法中,步骤2)要求各个发电商向协调层上传每次迭代后的出力Pi(k+1)。这说明,协调层将掌握不同出清价格(k)下各个发电商的出力。根据式(3)可以给出Pi(1)k+与()k之间的关系:?PPis.t.m
11、ii,min,maxPini?i?iN?N?11CPiiii()?PDP,?1,2,?,N364 全球能源互联网 第 6 卷 第 4 期Pi(1)k+=PPPiii,max,max,min,min()()kk22aa,iibbii,PPiii,min,max()k2()k2aaiibbiiP(5)在分解协调式算法的迭代过程中,协调层会得到发电商i的出力序列Pi(1)k+1 kK1与出清价格序列(k)1 kK1,其中 K 为迭代次数。协调层可以将这K 1组出力和出清价格代入到式(5)中,通过拟合求出发电商i的成本参数ai、bi,从而导致发电商i的隐私被泄露给协调层。值得注意的是,虽然发电商i最后
12、一次迭代得到的最优出力 Pi(1)K+在一些业务场景下(如自动发电控制)并不会被视为隐私,但是分解协调式算法会给出发电商 i 的出力序列Pi(1)k+1 kK1,而协调层可以通过拟合出力序列Pi(1)k+1 kK1得到发电商 i 的隐私成本参数。从隐私保护的角度来看,应当尽量避免发电商将出力Pi(k+1)暴露给协调层。除了隐私问题之外,上述算法的步骤3)还存在着信任问题。出清价格的更新是由协调层按式(4)执行的,如果协调层恶意发送抬高或者压低后的出清价格,各个发电商将无法分辨。因此,各个发电商需要信任协调层严格按照式(4)更新出清价格。在一些场景下,例如小区内的分布式能源交易场景,难以找到具备
13、权威性的协调层让所有发电商都信任。2 基于Paillier加密的发电商隐私保护算法在第1.1节的分解协调式算法中,协调层需要收集Pi(1)k+来计算iN=1Pi(1)k+进而更新出清价格,这会导致各个发电商的隐私泄露给协调层。为了解决隐私问题,本文采用Paillier加密的方法,在不暴露Pi(1)k+真实值的前提下,计算得到iN=1Pi(1)k+。2.1 Paillier加密方法Paillier加密是一种加法同态加密算法,由Paillier在文献20中提出。在Paillier加密中,需要生成2个质数p、q,满足条件:gcd(,(1)(1)1pqpq=(6)式中:gcd代表最大公约数。令 npq
14、=,=lcm(1,1)pq,其中 lcm 代表最小公倍数。随机选取g Z*n2,并计算:=L g(mod(n2)1(7)式中:L x()=xn1(8)Paillier加密使用公钥(,)n g 进行加密,其加密流程如下。1)选取随机数rZ*n,满足0rn。2)对明文m进行加密:E mg rn()mod()=mn2(9)解密则需要使用私钥(,)。对于密文 c,解密得到的明文为 D(mod()c)(mod(=L cn2)n)(10)Paillier加密具有加法同态的特点,满足:E mmnE mE mn(mod()()()mod()121+=22(11)即m1+m2的密文可以根据m1、m2的密文相乘得
15、到。这一点能够用于进行保护隐私的数据求和。2.2 发电商隐私保护算法文献21使用Paillier加密的方法,在防止各个智能电表数据泄露的情况下,对所有智能电表的数据进行聚合。本文采用类似的方法,利用Paillier加密来计算iN=1Pi(1)k+,流程如下。1)所有发电商和协调层通过协商,共享同一套Paillier加密的公钥(n,g)、私钥(,)和加密时使用的随机数r。2)每个发电商生成N-1个随机数,并发送给其他发电商。具体来说,发电商i生成随机数sij,并将sij发送给发电商j(ji)。3)发电商i根据收到的随机数,按式(12)对出力Pi(1)k+进行加密得到密文Pi(1)k+,并将Pi(
16、1)k+发送给协调层。Pgrni(1)2k+=Pii(1)k+Smod()(12)式中:Siij=+nj=1,Nj i()ssji(13)4)协调层计算所有密文的乘积:iN=1Pi(1)2kNn+=gniN=1Pi(1)k+rmod()(14)然后按式(10)进行解密得到iN=1Pi(1)k+。在上述流程中,各个发电商仅仅向协调层提供了加密后的出力Pi(1)k+。注意式(12)中的加密方法并非标准的Paillier加密,尽管协调层掌握Paillier加密的私Vol.6 No.4 周鑫,等:基于 Paillier 加密和共识机制的分解协调式算法 365钥,但由于 Si的随机性,协调层是无法从密文
17、 Pi(1)k+反推出明文Pi(1)k+的,从而保护了各个发电商的隐私。3 适应分解协调式算法的能源区块链共识机制3.1 基本思路第2章采用Paillier加密解决了分解协调式算法的隐私问题,但是协调层的信任问题尚未解决。区块链作为一种分布式账本技术,具备公开透明、不可篡改等优点,能够在互不信任的主体间构建信任。如果结合Paillier加密,设计一种能源区块链共识机制,就能在保护各个发电商隐私的同时解决信任问题。文献18提出了PoOPF共识机制,与能源系统的分布式优化算法紧密相关,每当分布式优化算法执行完一次迭代后,就生成一个区块,区块中包含各个子优化问题当次迭代的最优解。相比于传统的PoW(
18、proof of work)共识机制,PoOPF并不需要消耗大量的能源去求解复杂的哈希问题,而是要求各个节点执行分布式优化算法,能够很好的适应能源领域的需求。但是,PoOPF共识机制中的区块记录了各个子问题的最优解,对应到本文的模型中,即区块中包含各个发电商的出力Pi(1)k+,这会导致发电商的隐私泄露。本文尝试对PoOPF共识机制进行改进,区块中不再包含发电商出力的明文 Pi(1)k+,而是出力的密文Pi(1)k+,这样将保护各个发电商的隐私。此外,在第2.2节的隐私保护方法中,所有发电商都掌握着解密的私钥,因此,只要所有发电商都公开自身的密文 Pi(1)k+,那么任意一个发电商都能独立解密
19、得到iN=1Pi(1)k+。这样,在共识机制中就不再需要协调层进行解密,各个发电商均能进行解密操作,通过共识机制保证解密结果的一致性。3.2 共识机制设计本文设计的共识机制整体架构如图1所示,所有发电商都会作为节点参与到共识机制中。分解协调式算法的每次迭代都会从各个发电商中选取1个领导节点。各个发电商将当次迭代的出力的密文 Pi(1)k+广播给其他发电商,当领导节点收集到所有发电商的密文后,就可以解密得到总出力iN=1Pi(1)k+。领导节点将所有密文以及解密后的总出力打包为1个区块,广播给其他发电商。其他发电商会验证区块所含内容的正确性,当区块通过验证后,各个发电商将区块加入到区块链账本中,
20、并进入分解协调式算法的下一次迭代。图 1 共识机制整体架构Fig.1 Overall architecture of the consensus mechanism图2展示了共识机制的详细流程,包括初始化、密文广播、区块生成、区块验证、账本更新等步骤。图 2 共识机制流程图Fig.2 Flowchart of consensus mechanism3.2.1 初始化初始化时所有发电商需要通过协商生成1个初始区块,该初始区块包括所有发电商的数字身份,以及Pi(k+1)Pi(k+1)P1(k+1)PN(k+1)PN(k+1)P1(k+1)?i?1?k+1?N?(3)?k k+1(k+1)(k)?3
21、66 全球能源互联网 第 6 卷 第 4 期分解协调算法和Paillier加密的相关参数,例如步长参数、公钥(n,g)、私钥(,)和加密时使用的随机数r。3.2.2 密文广播初始化完成后,各个发电商开始进入分解协调式算法的迭代中。在第k次迭代时,各个发电商先求解式(3)得到出力Pi(1)k+,然后执行第2.2节中的步骤2)和3),得到加密后的出力 Pi(1)k+,并将密文 Pi(1)k+广播给其他发电商。3.2.3 区块生成每次迭代时,都会按照一定的规则从所有发电商中选取1个发电商作为领导节点。这个规则可以是各个发电商轮流成为领导节点,也可以是信用值最高的发电商成为领导节点。领导节点需要收集各
22、个发电商广播的密文 Pi(1)k+,并在收集到所有密文后,执行第2.2节中的步骤4)得到解密后的总出力iN=1Pi(1)k+。然后,领导节点生成第 k+1 个区块,该区块中包括所有发电商的密文Pi(k+1)1 iN以及解密后的总出力iN=1Pi(1)k+。最后,领导节点将第k+1个区块广播给其他发电商。3.2.4 区块验证各个发电商收到领导节点广播的第 k+1 个区块后,需要检查区块内容的正确性,防止领导节点恶意篡改区块信息。每个发电商需要检查的内容如下。1)第 k+1 个区块中包含所有发电商的出力的密文 Pi(1)k+。每个发电商都会收集到其他发电商广播的密文,如果自身收集的密文与区块中的密
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 基于 Paillier 加密 共识 机制 分解 协调 算法
![提示](https://www.zixin.com.cn/images/bang_tan.gif)
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【自信****多点】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【自信****多点】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。