基于
Paillier
加密
共识
机制
分解
协调
算法
Abstract:With the increasing decentralization level of energy systems,coordination-decomposition algorithms start to be broadly applied to solving optimization problems in energy sector.However,coordination-decomposition algorithms require sub-problems to submit coordination variables to the coordination layer,leading to privacy leak risks.Furthermore,there is a trust issue related to the coordination layer.To deal with these problems,Paillier encryption and consensus mechanism are applied to improving the coordination-decomposition algorithm.In each iteration of the coordination-decomposition algorithm,every generators power output is encrypted into ciphertext that is broadcasted to other generators.One generator selected as the leading node is responsible for computing the total power of all generators using ciphertexts,generating a block consisting of all ciphertexts and computed total power,and broadcasting the block to all generators.All generators will verify the correctness of the block content.Once the block content is verified to be correct,all generators add the block to the ledger and finish current iteration of the coordination-decomposition algorithm.The case analysis results prove that Paillier encryption is able to protect the privacy of all generators in the coordination-decomposition algorithm,and the proposed consensus mechanism is able to prevent the leading node from maliciously tampering with block content,hence establishing trust among generators.Keywords:energy blockchain;consensus mechanism;Paillier encryption;coordination-decomposition algorithm摘 要:随着能源系统的去中心化程度不断加深,分解协调式算法开始广泛应用于求解能源领域的优化问题。但是,分解协调式算法需要子优化问题向协调层算法上传协调变量,存在隐私泄露的风险,并且协调层自身还存在着信任问题。为了解决这些问题,引入Paillier加密和区块链共识机制,对分解协调式算法进行改进。在分解协调式算法的每次迭代中,各个发电商的出力通过Paillier加密后以密文的形式广播给其他发电商,某个发电商作为领导节点负责根据密文计算出所有发电商的总出力,并将所有密文和总出力打包生成区块后广播给所有发电商。所有发电商都会对区块内容的正确性进行检查,检查通过后将区块加入到账本中,完成分解协调式算法的本次迭代。算例结果证明了该算法中Paillier加密能够保护各个发电商的隐私,共识机制能够防止领导节点恶意篡改区块内容,在发电商间构建信任。关键词:能源区块链;共识机制;Paillier加密;分解协调式算法0 引言能源系统的规划、调度、交易等领域中通常需要求解优化问题。传统方法采用集中式的优化算法,由中心化机构搜集所有数据并进行求解。但是,随着大量分布式资源的接入,能源系统的去中心化程度正在加深,传统的集中式优化算法难以适应去中心化的能源系统架构。分解协调式算法是一种分布式优化算法,天然具备去中心化的特点。在分解协调式算法中,原始的优化问题会被分解成多个子优化问题,由协调层负责协调各个子优化问题的解,通过反复迭代求出最优解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(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 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。因此,有必要寻求新的方法来解决分解协调式算法的隐私与信任问题。在隐私方面,常用的方法是对数据进行加密以保护隐私,例如信息伪装7、同态加密8、安全多方计算9等。文献10针对混合整数二次规划问题,设计了一种基于信息伪装的云端求解算法,对各个分布式资源的隐私数据进行了线性变换,使得云端只能接收到变换后的数据,能够防止隐私被泄露。文献11设计了一种能够容许错误的信息伪装方法,可用于隐私数据聚合中。文献12采用同态加密技术,利用Paillier加密的密文进行完全隐私保护的电-气协同优化。文献13依托安全多方计算技术,设计了一种安全的智能电表数据聚合方法。在这些文献中,使用加密技术保护隐私的效果已经得到了充分验证。在信任方面,区块链这种分布式账本技术受到广泛关注14。区块链共识机制能够在互不信任的节点间保证账本的一致性。文献15-16针对能源领域特点对已有共识机制进行了改进,提出了信用证明共识机制和凸优化证明共识机制。文献17将共识机制与分布式优化算法结合起来,保证分布式优化结果的可靠性。文献18针对基于交替方向乘子法的最优潮流问题提出了PoOPF(proof of optimal power flow)共识机制,使得网络节点能够对最优潮流问题解的有效性达成一致。文献19面向能源系统中的优化问题,利用优化问题难以求解但容易验证的特点设计了PoSo(proof of solution)共识机制。通过引入区块链共识机制,分布式优化算法的信任问题将得以解决。已有文献大多关注于解决隐私保护问题或使用区块链共识机制构建信任问题,但如何同时解决分解协调式算法中的隐私与信任问题尚未得到充分研究。本文以多个发电商的经济调度模型为例,分析分解协调式算法的隐私与信任问题,并基于已有研究,设计了基于Paillier加密和共识机制的分解协调式算法,既能利用Paillier加密保护各个发电商的隐私,又能通过共识机制在各个发电商之间建立信任,确保协调层计算结果可信。1 分解协调式算法的隐私与信任问题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)得到出力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.mii,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最后一次迭代得到的最优出力 Pi(1)K+在一些业务场景下(如自动发电控制)并不会被视为隐私,但是分解协调式算法会给出发电商 i 的出力序列Pi(1)k+1 kK1,而协调层可以通过拟合出力序列Pi(1)k+1 kK1得到发电商 i 的隐私成本参数。从隐私保护的角度来看,应当尽量避免发电商将出力Pi(k+1)暴露给协调层。除了隐私问题之外,上述算法的步骤3)还存在着信任问题。出清价格的更新是由协调层按式(4)执行的,如果协调层恶意发送抬高或者压低后的出清价格,各个发电商将无法分辨。因此,各个发电商需要信任协调层严格按照式(4)更新出清价格。在一些场景下,例如小区内的分布式能源交易场景,难以找到具备权威性的协调层让所有发电商都信任。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=,=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的密文相乘得到。这一点能够用于进行保护隐私的数据求和。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(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的随机性,协调层是无法从密文 Pi(1)k+反推出明文Pi(1)k+的,从而保护了各个发电商的隐私。3 适应分解协调式算法的能源区块链共识机制3.1 基本思路第2章采用Paillier加密解决了分解协调式算法的隐私问题,但是协调层的信任问题尚未解决。区块链作为一种分布式账本技术,具备公开透明、不可篡改等优点,能够在互不信任的主体间构建信任。如果结合Paillier加密,设计一种能源区块链共识机制,就能在保护各个发电商隐私的同时解决信任问题。文献18提出了PoOPF共识机制,与能源系统的分布式优化算法紧密相关,每当分布式优化算法执行完一次迭代后,就生成一个区块,区块中包含各个子优化问题当次迭代的最优解。相比于传统的PoW(proof of work)共识机制,PoOPF并不需要消耗大量的能源去求解复杂的哈希问题,而是要求各个节点执行分布式优化算法,能够很好的适应能源领域的需求。但是,PoOPF共识机制中的区块记录了各个子问题的最优解,对应到本文的模型中,即区块中包含各个发电商的出力Pi(1)k+,这会导致发电商的隐私泄露。本文尝试对PoOPF共识机制进行改进,区块中不再包含发电商出力的明文 Pi(1)k+,而是出力的密文Pi(1)k+,这样将保护各个发电商的隐私。此外,在第2.2节的隐私保护方法中,所有发电商都掌握着解密的私钥,因此,只要所有发电商都公开自身的密文 Pi(1)k+,那么任意一个发电商都能独立解密得到iN=1Pi(1)k+。这样,在共识机制中就不再需要协调层进行解密,各个发电商均能进行解密操作,通过共识机制保证解密结果的一致性。3.2 共识机制设计本文设计的共识机制整体架构如图1所示,所有发电商都会作为节点参与到共识机制中。分解协调式算法的每次迭代都会从各个发电商中选取1个领导节点。各个发电商将当次迭代的出力的密文 Pi(1)k+广播给其他发电商,当领导节点收集到所有发电商的密文后,就可以解密得到总出力iN=1Pi(1)k+。领导节点将所有密文以及解密后的总出力打包为1个区块,广播给其他发电商。其他发电商会验证区块所含内容的正确性,当区块通过验证后,各个发电商将区块加入到区块链账本中,并进入分解协调式算法的下一次迭代。图 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)?366 全球能源互联网 第 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个发电商作为领导节点。这个规则可以是各个发电商轮流成为领导节点,也可以是信用值最高的发电商成为领导节点。领导节点需要收集各个发电商广播的密文 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+。每个发电商都会收集到其他发电商广播的密文,如果自身收集的密文与区块中的密文不一致,则说明领导节点恶意篡改了某个发电商的密文。2)验证第 k+1 个区块中的解密后的总出力iN=1Pi(1)k+是正确的。具体方法是验证式(14)是否成立,如果不成立,则说明领导节点恶意篡改了总出力值。当超过一半的发电商认为区块内容错误时,当前领导节点的信用值降低。此时,需要从剩下的发电商中重新选取1个领导节点,再次执行区块生成和区块验证的步骤。3.2.5 账本更新如果超过一半的发电商认为第k+1个区块的内容是正确的,各个发电商将第 k+1 个区块加入到本地的账本中,并按照式(4)更新出清价格,然后根据|(1)()kk+是否得到满足,判断终止迭代或进入下一次迭代。4 算例分析4.1 算例参数本文采用IEEE 30节点网络进行算例分析,该网络中的负荷总功率为D=283.4 MW,6个发电商的参数如表1所示。步长参数=0.01 美元/MW,收敛阈值=0.001美元。表 1 发电商参数Table 1 Parameters of generators发电商编号iai/(美元 MW-2)bi/(美元 MW-1)Pi,min/MWPi,max/MW10.038200360.220.2520014030.0140010040.0140010050.0140010060.014001004.2 算例结果使用Paillier加密求解经济调度模型的结果如表2所示。各个发电商出力的明文值与密文值之间相差非常大,从出力的密文值难以反推出出力的明文值,所以Paillier加密能够有效保护各个发电商的隐私。另外,与集中优化结果相比,利用Paillier加密计算得到的明文值的误差均很小,说明基于Paillier加密的方法能够准确求出最优调度结果。表 2 Paillier加密计算结果Table 2 Computation results of Paillier encryption计算结果明文值密文值明文值与集中优化结果之间的误差发电商1出力/MW245.554.841018480.008 6发电商2出力/MW37.753.601018480.001 3发电商3出力/MW06.101018480发电商4出力/MW04.301018480发电商5出力/MW02.941018480发电商6出力/MW0.013.891018480出清价格/(美元 MW-1)38.870.006 6图3以发电商1为例,展示了Paillier加密算法的收敛过程。随着迭代次数增加,发电商1的出力明文值Vol.6 No.4 周鑫,等:基于 Paillier 加密和共识机制的分解协调式算法 367稳定收敛到了最优出力,但是发电商1的出力密文值却在随机振动,且振动方向与明文值的收敛趋势之间没有相关性。这同样表明,Paillier加密算法能够在保护发电商隐私的同时,得出最优的调度结果。图 3 发电商1每次迭代的出力明文值与密文值Fig.3 Plaintexts and ciphertexts of generator 1s output power in each iteration表3比较了Paillier加密算法、集中优化算法和分解协调式算法的性能。在迭代次数方面,Paillier加密算法与分解协调式算法完全相同,因为Paillier加密算法实际上是将分解协调式算法的协调层算法通过加密的方式进行计算,并不会改变分解协调式算法的迭代次数。在总计算时间方面,集中优化算法和分解协调式算法花费的时间均较少,而Paillier加密算法的总计算时间明显更多。这是因为Paillier加密算法每次迭代都涉及发电商出力的加密和解密操作,导致总计算时间增加。也就是说,Paillier加密算法以增加总计算时间为代价保护了所有发电商的隐私。在通信量方面,分解协调式算法只需要各个发电商与协调层通信,其通信量比较低,而Paillier加密算法还需要所有发电商两两之间发送随机数进行加密,这会增加Paillier加密算法的通信量。表 3 与其他算法的性能比较Table 3 Performance comparison with other algorithms性能指标Paillier加密算法集中优化算法分解协调式算法迭代次数/次5656总计算时间/s14.540.0270.11通信量中等低4.3 共识机制分析本文提出的共识机制在每次执行分解协调式算法的迭代时都会生成1个区块,各个区块的生成时间如图4所示。每个区块的生成时间为0.220.32 s,能够满足实际应用的需求。由于本文采用的经济调度模型比较简单,每次迭代中各个发电商求解子优化问题耗时较少,区块生成时间主要由Paillier加密和解密的耗时决定。如果将本文提出的共识机制应用于更复杂的优化算法,子优化问题的求解时间将会增加,从而导致区块生成时间增加。图 4 迭代过程中各个区块的生成时间Fig.4 Block generation time in each iteration图5以第10个区块为例,展示了区块中包含的内容。6个发电商在当次迭代的出力密文以及领导节点解密得到的总出力都包含在了区块中。当区块10被加入到账本中后,表明所有发电商对该区块中记录的出力值达成了一致,分解协调式算法当次迭代的结果作为存证记录到了区块链中。图 5 区块10内容展示Fig.5 Illustration of block 10s content图6展示了本文提出的共识机制如何防止领导节点在打包区块时篡改区块内容。假设领导节点篡改了区块10中的发电商2出力密文以及解密后的总出力,?10?9?9.28101848?8.91101848?6.47101848?1.99101848?4.91101848?3.28101848?107.660250200864201501005001020304050?/?1?/MW?1?/101848MW01020304050?/?0.320.300.280.260.240?/s01020304050?368 全球能源互联网 第 6 卷 第 4 期当其他发电商收到此区块后,一方面会发现区块10中的发电商2出力密文与发电商2广播给自己的出力密文不一致,另一方面会发现式(14)并不成立,所以领导节点对区块10的篡改将会被各个发电商检测出来。这种检查机制将促使所有发电商在担任领导节点时尽可能诚实地执行打包操作,在互不信任的发电商之间建立起了信任。图 6 区块正确性检查Fig.6 Correctness check of blocks表4将本文提出的共识机制与PoW和PoOPF共识机制进行了比较。1)耗能量:PoW共识机制需要求解复杂的哈希问题,消耗大量能源,而PoOPF和本文提出的共识机制则只需要求解对应的优化问题,耗能量较低。2)区块生成间隔:PoW共识机制生成新的区块需要求解哈希问题,花费时间较长;PoOPF共识机制生成新的区块需要等待所有子优化问题求解完毕,花费时间较短;本文提出的共识机制不但需要等待所有发电商求解子优化问题,还涉及发电商出力的加密和解密,其区块生成间隔要比PoOPF共识机制长一些。3)区块大小:PoW共识机制中区块包含的交易数目并不是固定的;PoOPF共识机制中区块包含每个子优化问题的解,其大小与子优化问题个数有关;本文提出的共识机制包含各个发电商出力的密文值,区块大小与发电商个数有关。4)区块内容:PoW和PoOPF共识机制中区块包含的内容都是明文记录的,所有区块链节点都可以接触到,而本文提出的共识机制中区块只包含加密后的发电商出力,不会导致各个发电商隐私被泄露。5)通用程度:PoW共识机制是一种通用的共识机制,能够适用于所有场景;PoOPF共识机制是针对能源领域中的分布式优化算法设计的;本文提出的共识机制则进一步限定了分布式优化算法的范围,即该?10?9?9.28101848?1.11101848?6.47101848?1.99101848?4.91101848?3.28101848?(14)?200分布式优化算法是一种分解协调式算法,且协调层的算法必须属于Paillier加密支持的计算类型。表 4 与其他共识机制的比较Table 4 Comparison with other consensus mechanisms指标PoWPoOPF本文提出的共识机制耗能量高低低区块生成间隔长短中区块大小随机由子优化问题个数决定由发电商个数决定区块内容明文明文密文通用程度可应用于所有场景专门为分布式优化算法设计专门为协调层采用Paillier加密的分解协调式算法设计5 结论本文分析了分解协调式算法的隐私与信任问题,提出了基于Paillier加密和共识机制的分解协调式算法,能够同时解决其隐私与信任问题。在分解协调式算法的每次迭代中,各个发电商的出力通过Paillier加密变为密文,某个发电商作为领导节点根据密文计算得到总出力,并生成区块。生成区块内容的正确性将会被其他发电商检查,防止领导节点恶意篡改区块内容。IEEE 30节点算例表明本文提出的方法能够保护发电商的隐私数据不被泄露,并且能够检测出领导节点的恶意篡改行为,解决了信任问题。但是本文采用的经济调度模型比较简单,协调层只需要计算所有发电商的总出力。在处理更加复杂的模型时,协调层的计算任务将更为复杂,Paillier加密不一定能够保证通过密文计算出协调结果,需要研究安全多方计算等更加通用的方法。参考文献1 BOYD S,PARIKH N,CHU E,et al.Distributed optimization and statistical learning via the alternating direction method of multipliersJ.Foundations and Trends in Machine Learning,2011,3(1):1-122.2 张佳楠,袁启海,余建明,等.基于联络线扩展区域分解协调的分布式并行状态估计J.电力系统自动化,2019,43(4):166-173.ZHANG Jianan,YUAN Qihai,YU Jianming,et al.Distributed parallel state estimation based on decomposition and coordination of tie-line extended areaJ.Automation of Vol.6 No.4 周鑫,等:基于 Paillier 加密和共识机制的分解协调式算法 369Electric Power Systems,2019,43(4):166-173(in Chinese).3 叶林,路朋,赵永宁,等.含风电电力系统有功功率模型预测控制方法综述J.中国电机工程学报,2021,41(18):6181-6197.YE Lin,LU Peng,ZHAO Yongning,et al.Review of model predictive control for power system with large-scale wind power grid-connectedJ.Proceedings of the CSEE,2021,41(18):6181-6197(in Chinese).4 张雨曼,刘学智,严正,等.光伏-储能-热电联产综合能源系统分解协调优化运行研究J.电工技术学报,2020,35(11):2372-2386.ZHANG Yuman,LIU Xuezhi,YAN Zheng,et al.Decomposition-coordination based optimization for PV-BESS-CHP integrated energy systemsJ.Transactions of China Electrotechnical Society,2020,35(11):2372-2386(in Chinese).5 罗天,汪可友,李国杰,等.基于拉格朗日对偶松弛的多区域柔性直流互联电网无功优化J.电力系统自动化,2019,43(11):68-76.LUO Tian,WANG Keyou,LI Guojie,et al.Reactive power optimization in multi-area VSC-HVDC interconnected power grids based on Lagrangian dual relaxationJ.Automation of Electric Power Systems,2019,43(11):68-76(in Chinese).6 CHEN Sijie,SHEN Zeyu,ZHANG Ling,et al.A trusted energy trading framework by marrying blockchain and optimizationJ.Advances in Applied Energy,2021,2:100029.7 XIN S J,GUO Q L,WANG J H,et al.Information masking theory for data protection in future cloud-based energy managementJ.IEEE Transactions on Smart Grid,2018,9(6):5664-5676.8 ALEXANDRU A B,GATSIS K,SHOUKRY Y,et al.Cloud-based quadratic optimization with partially homomorphic encryptionJ.IEEE Transactions on Automatic Control,2021,66(5):2357-2364.9 EVANS D,KOLESNIKOV V,ROSULEK M.A pragmatic introduction to secure multi-party computationJ.Foundations and Trends in Privacy and Security,2018,2(2-3):70-246.10 TIAN Nianfeng,GUO Qinglai,SUN Hongbin.Privacy preservation method for MIQP-based energy management problem:a cloud-edge frameworkJ.Electric Power Systems Research,2021,190:106850.11 KNIRSCH F,EIBL G,ENGEL D.Error-resilient masking approaches for privacy preserving data aggregationJ.IEEE Transactions on Smart Grid,2018,9(4):3351-3361.12 高晗,李正烁.具有完全隐私保护的电-气综合能源系统分布式协同算法J/OL.电力系统自动化,2022:1-15.(2022-08-18).https:/ MUSTAFA M A,CLEEMPUT S,ALY A,et al.A secure and privacy-preserving protocol for smart metering operational data collectionJ.IEEE Transactions on Smart Grid,2019,10(6):6481-6490.14 颜拥,陈星莺,文福拴,等.从能源互联网到能源区块链:基本概念与研究框架J.电力系统自动化,2022,46(2):1-14.YAN Y,CHEN X Y,WEN F S,et al.From energy Internet to energy blockchain:basic concept and research frameworkJ.Automation of Electric Power Systems,2022,46(2):1-14(in Chinese).15 平健,严正,陈思捷,等.基于区块链的分布式能源交易市场信用风险管理方法J.中国电机工程学报,2019,39(24):7137