CN114298842B 应用于区块链的dapp的状态数据的管理方法及装置 （深圳前海微众银行股份有限公司）

应用于区块链的DAPP的状态数据的管理方本发明公开了一种应用于区块链的DAPP的方法可以应用于金融科技(Fintech)时，可以将多个交易先行在链下的EVM服务中执行，并将得2获取多个交易以及所述多个交易的零知识证明，任一交易的零将所述多个交易发送至以太坊虚拟机EVM服务；在确定所述多个交易在将所述多个交易处理为一个聚合交易；根据所述多个交易的零将所述聚合交易、所述聚合零知识证明和所述第二默克尔状态树的根据所述多个交易在所述第一默克尔状态树对应的零知识证明，根据所述多个交易在所述第二默克尔状态树对应的零知识证明，根据所述第一聚合零知识证明和所述第二聚合零知识证明，生成所述聚合零知识证根据所述多个交易在所述第一默克尔状态树对应的零知识证明，基应的用户在所述第一默克尔状态树对应的叶子节点至所述第一默克尔状态树的根节点的所述根据所述多个交易在所述第二默克尔状态树对应的零知识证根据所述多个交易在所述第二默克尔状态树对应的零知识证明，基应的用户在所述第二默克尔状态树对应的叶子节点至所述第二默克尔状态树的根节点的根据所述多个交易在所述第一默克尔状态树对应的叶子节点，生成每个交易在所述第一默克尔状态树对应的零知识证明与该交易在所述第一默克尔状态树根据所述多个交易在所述第二默克尔状态树对应的叶子节点，生成3每个交易在所述第二默克尔状态树对应的零知识证明与该交易在所述第二默克尔状态树态树对应的叶子节点，生成所述多个交易在所述第一默克尔状态树对应的第一状态承诺，根据所述多个交易在所述第一默克尔状态树对应的叶子节点、所述根据所述多个交易在所述第二默克尔状态树对应的叶子节点，生成根据所述多个交易在所述第二默克尔状态树对应的叶子节点、所述第一零知识证明和所述第二零知识证明按照以下方生成所述第一交易在所述第一默克尔状态树中对应的第一叶子节点的第一默克尔证根据所述第一交易、所述第一叶子节点、所述第一默克尔证明和生成所述第二交易在所述第一默克尔状态树中对应的第二叶子节点的第二默克尔证根据所述第二交易、所述第二叶子节点、所述第二默克尔证明和所述第三零知识证明和所述第四零知识证明按照以下方生成所述第一交易在所述第二默克尔状态树中对应的第三叶子节点的第三默克尔证根据所述第一交易、所述第三叶子节点、所述第三默克尔证明和生成所述第二交易在所述第二默克尔状态树中对应的第四叶子节点的第四默克尔证4根据所述第二交易、所述第四叶子节点、所述第四默克尔证明和所述区块链节点执行所述聚合交易，并通过调用所述区块链的智能获取模块，用于获取多个交易以及所述多个交易的零知识证明，发送模块，用于将所述聚合交易、所述聚合零知识证明5[0001]本发明涉及金融科技(Fintech)领域中的区块链(Blockchain)领域，尤其涉及一技术中降低应用于区块链的DAPP的状态数据的管6验证通过便能说明这多个交易均是合法交易，而区块链也可以仅通过一个聚合零知识证易对应的用户在所述第一默克尔状态树对应的叶子节点至所述第一默克尔状态树的根节所述多个交易在所述第二默克尔状态树对应的叶子节点至所述第二默克尔状态树的根节述多个交易中每个交易在所述第一默克尔状态树对应的零知识证明与该交易在所述第一易中每个交易在所述第二默克尔状态树对应的零知识证明与该交易在所述第二默克尔状7[0030]生成所述第一交易在所述第一默克尔状态树中对应的第一叶子节点的第一默克[0032]生成所述第二交易在所述第一默克尔状态树中对应的第二叶子节点的第二默克[0036]生成所述第一交易在所述第二默克尔状态树中对应的第三叶子节点的第三默克[0038]生成所述第二交易在所述第二默克尔状态树中对应的第四叶子节点的第四默克8易在所述第一默克尔状态树对应的叶子节点至所述第一默克尔状态树的根节点的路径信易在所述第二默克尔状态树对应的叶子节点至所述第二默克尔状态树的根节点的路径信易中每个交易在所述第一默克尔状态树对应的零知识证明与该交易在所述第一默克尔状易中每个交易在所述第二默克尔状态树对应的零知识证明与该交易在所述第二默克尔状9[0063]生成所述第一交易在所述第一默克尔状态树中对应的第一叶子节点的第一默克[0065]生成所述第二交易在所述第一默克尔状态树中对应的第二叶子节点的第二默克[0069]生成所述第一交易在所述第二默克尔状态树中对应的第三叶子节点的第三默克[0071]生成所述第二交易在所述第二默克尔状态树中对应的第四叶子节点的第四默克[0081]图1为本发明实施例提供的一种应用于区块链的DAPP的状态数据的管理方法对应[0082]图2为本发明实施例提供的一种应用于区块链的DAPP的状态数据的管理方法中默[0083]图3为本发明实施例提供的一种应用于区块链的DAPP的状态数据的管理装置的结[0084]图4为本发明实施例提供的一种应用于区块链的DAPP的状态数据的管理装置的结[0087]零知识证明和递归证明：零知识证明算法可以被用pp知识证明作为公共输入(不是对证明本身的聚合，而是对多个证明的验证计算做出零知识智能合约都不需要执行具体业务逻辑。前者主要使用欺诈证明，后者则基于零知识证明。一个交易执行后都需要生成零知识证明以证明其合法性，并且要对零知识证明进行验证，带来的计算开销都会随着默克尔树变大而增大。这种情况不符合银行等金融机构的需求，[0107]步骤103：将所述多个交易处理为一个聚合交易；根据所述多个交易的零知识证[0108]所述聚合零知识证明的证明内容与所述多个交易的零知识证明的总证明内容等[0110]步骤104可以使得所述区块链执行所述聚合交易，且在所述区块链的智能合约验所有状态抽象成默克尔状态树，即每个最小粒度的变量为默克尔树的一个叶子节点(这一需求，而且椭圆曲线本身是可配置和更换的。这个电路所需的私有参数为签名的内容in_升智能合约对零知识证明的验证效率，本方案使用可递归的零知识证明(UltraPlonk可以[0120]ZK.Prove(pp,depth,address_bits,path,root,leaf,in_msg,in_param[0122]RTrans(st,st2)→sth:零知识证明服务递归验证两个零知识证明的状态转状态标识了零知识证明服务在生成交易的零知识证明或递归证明时的各种系统变量的值，[0123]零知识证明服务对任意两个零路，以任意两个零知识证明(π1,π2)、验证这两个证明所需的公共输入(x1,x2)＝{root,识证明的电路，直接采用本方案所提供的通用高效的状态维护和签名验证零知识证明电设置一次性聚合的交易数量，由于本发明提供的两个电路都是使用UltraPlonk零知识证用余额扣除函数将自己的余额减去n1；同时用户B通过客户端然后创建一笔调用智能合约的交易B比如调用余额增加函数将自己的余额增加n2；两个用户都发送给Dapp的交易处理第一零知识证明(P1)和所述第二零知识证明(P2)按照以下方[0131]生成所述第一交易在所述第一默克尔状态树中对应的第一叶子节点的第一默克到零知识证明服务，后者执行零知识证明算法ZK.Prove(pp,depth,address_bits,path,以生成所述第三零知识证明(P3)和所述第四零知识证明(P4)，具体可以按照以下方式生[0136]生成所述第一交易在所述第二默克尔状态树中对应的第三叶子节点的第三默克根为Gnew；最后根据最新的状态树分别为C1的签名、内容和公钥发送到零知识证明服务，后者执行零知识证明算法ZK.Prove(pp,[0140]至此，在此例中，与步骤101中对应的多个交易(A,B)和多个交易的零知识证明[0141]下面便是生成所述聚合零知识证明的步骤，零知识证明服务执行递归证明算法易对应的用户在所述第一默克尔状态树对应的叶子节点至所述第一默克尔状态树的根节易中每个交易在所述第一默克尔状态树对应的零知识证明与该交易在所述第一默克尔状述多个交易在所述第二默克尔状态树对应的第二状态承诺，所述第二状态承诺用于证明：所述多个交易中每个交易在所述第二默克尔状态树对应的零知识证明与该交易在所述第[0150]步骤(7-2)：执行状态转化函数RTrans(st,,st2)→stt,确认生成证明P1和P2时易在所述第二默克尔状态树对应的叶子节点至所述第二默克尔状态树的根节点的路径信[0158]步骤(7-5)：执行状态转化函数RTrans(st3,stz)→st⃞,确认生成证明P3和P4时状态交易执行状态z5和前后状态绑定的承诺Com2。参数：多项式承诺G1及其挑战点序列和多项式承诺G2及其挑战点序列[0162]步骤(7-8)：执行状态转化函数RTrans(stf,st⃞)→stf,确认生成证明π1和π2时st={st,st,st,st,s⃞)[0171]步骤(9-2)：通过执行RTrans(st,,st2)→stA检查系统的状态转化过程是否正和状态管理分离，很多复杂的有高频交易的去中心化应用(Dapp)可以快速地转向zk-易在所述第一默克尔状态树对应的叶子节点至所述第一默克尔状态树的根节点的路径信易在所述第二默克尔状态树对应的叶子节点至所述第二默克尔状态树的根节点的路径信易中每个交易在所述第一默克尔状态树对应的零知识证明与该交易在所述第一默克尔状易中每个交易在所述第二默克尔状态树对应的零知识证明与该交易在所述第二默克尔状[0196]生成所述第一交易在所述第一默克尔状态树中对应的第一叶子节点的第一默克[0198]生成所述第二交易在所述第一默克尔状态树中对应的第二叶子节点的第二默克[0202]生成所述第一交易在所述第二默克尔状态树中对应的第三叶子节点的第三默克[0204]生成所述第二交易在所述第二默克尔状态树中对应的第四叶子节点的第四默克[0207]获取模块401，用于获取聚合交易、聚合零