区块链智能合约验证方法、装置及存储介质.pdf

(19)中华人民共和国国家知识产权局(12)发明专利申请(10)申请公布号CN109345388A(43)申请公布日2019.02.15(21)申请号201811101341.2(22)申请日2018.09.20(71)申请人百度在线网络技术（北京）有限公司地址100085北京市海淀区上地十街10号百度大厦三层(72)发明人荆博(74)专利代理机构北京市铸成律师事务所11313代理人陈建焕杨瑾瑾(51)Int.Cl.G06Q40/04(2012.01)H04L29/06(2006.01)权利要求书2页说明书9页附图6页(54)发明名称区块链智能合约验证方法、装置及存储介质(57)摘要本发明实施例提出一种区块链智能合约验证方法、装置及存储介质。其中方法包括：从区块链网络中的第一节点获取指定区块的区块头部信息和交易列表，交易列表包括交易标识和智能合约的执行结果，区块头部信息包括第一梅克尔树的根节点、第二梅克尔树的根节点和指定区块的上一个区块标识；对第一梅克尔树的根节点和交易标识进行验证；对第二梅克尔树的根节点和智能合约执行结果进行验证；验证指定区块的上一个区块标识是否在预先存储的区块头部链式结构中；如果以上验证通过，则确定智能合约的执行结果有效。本发明实施例无须下载全量的区块信息且无须在轻量级节点本地重复执行智能合约，即可判断智能合约执行结果有效性，节省资源，提高效率。CN109345388ACN109345388A权利要求书1/2页1.一种区块链智能合约验证方法，其特征在于，包括：从区块链网络中的第一节点获取指定区块的区块头部信息和交易列表，其中，所述交易列表中包括交易标识和智能合约的执行结果，所述区块头部信息包括：第一梅克尔树的根节点、第二梅克尔树的根节点和所述指定区块的上一个区块标识，所述第一梅克尔树的叶子节点由所述指定区块的所有交易标识组成，所述第二梅克尔树的叶子节点由所述指定区块的所有智能合约执行结果组成；对所述第一梅克尔树的根节点和所述交易标识进行验证；对所述第二梅克尔树的根节点和所述智能合约执行结果进行验证；验证所述指定区块的上一个区块标识是否在预先存储的区块头部链式结构中；如果以上验证通过，则确定所述智能合约的执行结果有效。2.根据权利要求1所述的方法，其特征在于，对所述第一梅克尔树的根节点和所述交易标识进行验证，包括：使用所述交易列表中的交易标识构造第三梅克尔树，并计算出所述第三梅克尔树的根节点；对比所述第三梅克尔树的根节点和所述第一梅克尔树的根节点是否一致；如果一致，则对所述第一梅克尔树的根节点和所述交易标识的验证通过。3.根据权利要求1所述的方法，其特征在于，对所述第二梅克尔树的根节点和所述智能合约执行结果进行验证，包括：使用所述交易列表中的智能合约执行结果构造第四梅克尔树，并计算出所述第四梅克尔树的根节点；对比所述第四梅克尔树的根节点和所述第二梅克尔树的根节点是否一致；如果一致，则对所述第二梅克尔树的根节点和所述智能合约执行结果的验证通过。4.根据权利要求1-3中任一项所述的方法，其特征在于，验证所述指定区块的上一个区块标识是否在预先存储的区块头部链式结构中之前，还包括：分别从区块链网络中的所述第一节点和第二节点获取所述指定区块的区块头部信息；对比所述第一节点中的所述指定区块的区块头部信息和所述第二节点中的所述指定区块的区块头部信息是否一致；如果一致，则确定所述指定区块有效；在确定所述指定区块有效的情况下，验证所述指定区块的上一个区块标识是否在预先存储的区块头部链式结构中。5.一种区块链智能合约验证装置，其特征在于，包括：获取单元，用于从区块链网络中的第一节点获取指定区块的区块头部信息和交易列表，其中，所述交易列表中包括交易标识和智能合约的执行结果，所述区块头部信息包括：第一梅克尔树的根节点、第二梅克尔树的根节点和所述指定区块的上一个区块标识，所述第一梅克尔树的叶子节点由所述指定区块的所有交易标识组成，所述第二梅克尔树的叶子节点由所述指定区块的所有智能合约执行结果组成；第一验证单元，用于对所述第一梅克尔树的根节点和所述交易标识进行验证；第二验证单元，用于对所述第二梅克尔树的根节点和所述智能合约执行结果进行验证；2CN109345388A权利要求书2/2页第三验证单元，用于验证所述指定区块的上一个区块标识是否在预先存储的区块头部链式结构中；确定单元，用于：如果以上验证通过，则确定所述智能合约的执行结果有效。6.根据权利要求5所述的装置，其特征在于，所述第一验证单元还用于：使用所述交易列表中的交易标识构造第三梅克尔树，并计算出所述第三梅克尔树的根节点；对比所述第三梅克尔树的根节点和所述第一梅克尔树的根节点是否一致；如果一致，则对所述第一梅克尔树的根节点和所述交易标识的验证通过。7.根据权利要求5所述的装置，其特