买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：北京天德科技有限公司;天民(青岛)国际沙盒研究院有限公司

摘要：本发明提供一种基于容器的多方竞合智能合约数字系统，包括：软件实现的子系统以及硬件实现的子系统，软件实现的子系统包括SaaS数据库以及软件服务总线；硬件实现的子系统包括智能合约执行器以及智能合约验证器；软件服务总线用于输送数据以及将智能合约容器从SaaS数据库输送到智能合约执行器上执行；智能合约验证器用于将数据放入SaaS数据库前对智能合约进行测试。基于容器的多方竞合智能合约执行方法，包括：基于智能合约检测机制对智能合约进行再度测试；智能合约执行前的预备；执行智能合约；将执行后的结果经过智能合约投票机制以确认是否成功执行；区块链系统从事一次共识，确定所有投票节点都有一致数据存储在区块链内；查验交易结果。

主权项：1.一种基于容器的多方竞合智能合约执行方法，基于容器的多方竞合智能合约数字系统实现，其特征在于，基于容器的多方竞合智能合约数字系统实现包括：软件实现的子系统以及硬件实现的子系统，其中所述软件实现的子系统包括SaaS数据库以及软件服务总线；所述硬件实现的子系统包括智能合约执行器以及智能合约验证器；所述软件服务总线用于输送数据以及将智能合约容器从SaaS数据库输送到所述智能合约执行器上执行；所述智能合约验证器用于将数据放入所述SaaS数据库前对所述智能合约进行测试；所述SaaS数据库用于存储部分或全部智能合约容器，或部分或全部智能合约代码，所述智能合约容器包含智能合约软件以及容器，所述智能合约容器具有两个哈希，即智能合约软件哈希和包含智能合约软件的容器整体哈希，所述SaaS数据库中存储的智能合约动态切换到企业服务总线ESB，执行时，在容器内的智能合约在容器内执行，而智能合约代码在整体架构中执行；所述软件服务总线为所述企业服务总线ESB；所述智能合约执行器用于执行相关的所述智能合约容器内的所述智能合约，所述智能合约执行器并行执行所述智能合约容器内或当地的沙盒内的一个或多个智能合约软件，所述智能合约的执行结果采用所述软件服务总线输出，所述智能合约执行器中设置投票机制以执行智能合约投票，将投票结果以及参与投票的所述智能合约容器的ID均送到所述智能合约所在的区块链平台；所述智能合约执行器为一个智能合约执行容器或智能合约执行沙盒，在智能合约执行器内执行代码不会影响到容器或是沙盒外部；智能合约执行器具有一个或者多个；如果具有一个智能合约执行器且智能合约执行器是一个容器，内部包含多个执行其他智能合约的容器，那么就形成一组智能合约容器包含在一个智能合约执行器容器内的结构；如果具有多个智能合约执行器，每个智能合约执行器并行处理，每个智能合约执行器负责一组从不同单位传送的智能合约容器，只要每个智能合约执行器内的智能合约容器没有重叠，并行处理交易就不会互相干扰；一个或者多个所述智能合约执行器由一个是多个独立服务器支持，在执行器内部并行执行智能合约；基于容器的多方竞合智能合约执行方法包括：步骤1，所述智能合约的参与方提交所述智能合约到所述智能合约容器，基于智能合约检测机制对所述智能合约进行再度测试以保证智能合约的正确性；步骤2，进行所述智能合约执行前的预备；步骤3，执行所述智能合约；步骤4，获得每个所述智能合约的执行后的结果，将所述执行后的结果经过智能合约投票机制以确认所有智能合约是否成功执行；步骤5，区块链系统从事一次共识，确定所有区块链投票的节点都有一致数据，共识后，智能合约执行结果存储在区块链系统内；步骤6，随时查验交易结果；所述步骤1包括：步骤11，智能合约容器通过编译器实施智能合约检验，以检测所述智能合约的语法规范以及格式问题，并且在仿真的环境下进行测试；所述智能合约检验使用方法包括模型查验、软件测试、仿真、形式化方法；如果提供单位的信誉不是很好，在步骤11，数字系统选择大量测试，包括在仿真环境下测试；如果智能合约由形式化语言编写，在步骤11的智能合约容器安装形式化验证工具进行形式化验证；步骤12，如果在所述步骤11中检测出问题，所述智能合约容器通知提供所述智能合约的参与方重新修改智能合约；如果在所述步骤11中未检测出问题，继续执行步骤13；步骤13，所述数字系统和提供方进行合作测试，使用测试代数方式来处理，包括：（1）在仿真环境下，所述数字系统提供仿真数据并将所述仿真数据输入所述智能合约，然而在所述智能合约容器内运行所述智能合约；（2）获得所述智能合约运行后的结果，所述结果包括智能合约身份证以及数字签名；（3）将所述运行后的结果以及输入的所述仿真数据采用加密方法获得加密数据，将所述加密数据发送给所述提供方；（4）收到所述加密数据后，所述提供方对其进行解密和查验；查验的内容包括：智能合约身份证和数字签名；使用输入的同样的所述仿真数据，使用同样的智能合约执行，是否得到相同的运行后的结果；如果提供方得到的运行后的结果和收到的所述运行后的结果一致，采用加密信息通知所述数字系统所述智能合约通过验证；所述步骤13中，数字系统使用多个数据来保证测试完整性，提供方先提供一些测试数据以及预期结果，让系统先测试，得出来的结果必定需要和提供方的预期结果一致作为证实，数字系统得到这个证实后，再由数字系统提供数据来测试智能合约，其他步骤和步骤（1）-（4）相同；所述步骤13在实际运行时进行或者在线下完成；步骤14，如果均通过步骤11和步骤13，证明所述智能合约通过所述数字系统和提供方进行合作测试，将所述智能合约部署在所述智能合约容器内；步骤15，所述智能合约容器将所述智能合约的地址以及哈希存放在所述SaaS数据库中，方便核验；所述步骤2包括：当一个智能合约条件满足而需要执行时，系统查验买方单位、卖方单位、相关单位以及交易的种类，从SaaS数据库发送相关的智能合约容器并放在执行平台上预备执行，所述相关的智能合约容器包括买方的智能合约容器，卖方的智能合约容器，监管方的智能合约容器以及自己的智能合约容器；所述智能合约容器如果已经部署在智能合约执行器上，则直接执行内部的所述智能合约；所述智能合约容器如果已经部署在缓存上，则将所述智能合约容器高速部署在执行器上；所述智能合约容器的输入和输出进行标准化并使用硬件方式加速；所述步骤3智能合约的执行过程和传统智能合约的执行不同，包括：步骤31，区块链提供包括参数的数据和参数并输入到多个所述智能合约容器执行，每个智能合约都收到同样的所述数据；步骤32，所述智能合约容器执行智能合约，由于有多方，因此需要同时执行：卖方智能合约验证卖方身份以及账户资产的真实性以及其资产是否能够支持这次交易；买方智能合约验证买方身份以及账户资产的真实性以及其资产是否能够支持这次交易；平台方验证交易双方的身份以及资产的真实性，同时核实双方的资产是否确实能够支持这次交易，保证交易的公平性和透明性；监管方通过KYC和AML验证交易双方的身份以及资产的真实性和合法性，同时防止平台方的作弊行为；步骤33，每个所述智能合约得到执行后的结果后，写入每个所述智能合约的身份证以及执行后的结果，所述执行后的结果由所述智能合约返回，返回的所述结果包含所述智能合约的地址和哈希；所执行的所述智能合约还包括第3方提供的智能合约或平台方提供的智能合约，所述第3方提供的智能合约或平台方提供的智能合约也一同被所述步骤3执行，第3方提供的智能合约或平台方提供的智能合约没有投票权，只能从事应用计算；所述步骤4包括：步骤41，所有参与的智能合约对所述执行后的结果进行投票，检查所述投票结果是否一致；是否都通过每个参与的所述智能合约的批准；步骤42，所述投票结果为计算结果，如果所有所述计算结果一致，而且都全部通过，则通过所述投票，则执行步骤43，交易正常结算完成；只要有一方不一致，则拒绝该次计算，所述投票未通过，执行步骤44；步骤43，如果通过所述投票，将交易的结果和所有参与所述智能合约的身份证或是签名存储在区块链上，便于后续查询或是验证；步骤44，如果未通过所述投票，将所述交易的结果以及所有所述智能合约的身份证或是签名存储在区块链上，便于后续查询或是验证，并且通知相关单位；所述步骤6包括：使用BlockchainQueryLanguage语言来高速查询区块链内信息。

全文数据：

权利要求：

百度查询： 北京天德科技有限公司 天民(青岛)国际沙盒研究院有限公司 一种基于容器的多方竞合智能合约数字系统及其执行方法