[发明专利]一种基于HASKELL实现安全可证明的智能合约平台

说明书

本发明提供一种基于HASKELL实现安全可证明的智能合约平台。所述基于HASKELL实现安全可证明的智能合约平台，包括：业务空间模块、数学空间模块、计算机空间模块和动物世界模块。本发明提供的基于HASKELL实现安全可证明的智能合约平台，通过业务空间模块、数学空间模块、计算机空间模块和动物世界模块构成智能合约平台，通过设置动物世界模块，主要采用HASKELL来建立数学模型，并对智能合约源代码进行正确性验，可以很方便地将数学模型映射到物理世界，有效的减少因合约程序出现漏洞时，导致交易安全事故多次发生的情况，本发明专利属于2019年工业互联网创新发展工程‑工业互联网标识解析二级节点(家电行业应用服务平台)专项研究成果。

技术领域

本发明涉及智能合约领域，尤其涉及一种基于HASKELL实现安全可证明的智能合约平台。

背景技术

智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议，智能合约允许在没有第三方的情况下进行可信交易，这些交易可追踪且不可逆转，能合约的目的是提供优于传统合约的安全方法，并减少与合约相关的其他交易成本，一个智能合约是一套以数字形式定义的承诺，包括合约参与方可以在上面执行这些承诺的协议。

智能合约是区块链上一段代码，其关乎着区块链上资产的安全，也关乎着区块链网络的安全，而现有技术中，区块链智能合约平台多数图灵是不够完备的，进而导致智能合约的功能区间变得无限大，使得智能合约程序容易出现漏洞时，导致的交易安全事故频繁的发生，虽然后期各平台通过提出一个实践规范来规避程序的风险，但是这种方式始终依靠寄托在人工操作，而人工操作的存在一定的不可靠性，并不能有效的避免交易安全事故发生。

因此，有必要提供一种基于HASKELL实现安全可证明的智能合约平台解决上述技术问题。

发明内容

本发明提供一种基于HASKELL实现安全可证明的智能合约平台，解决了现有的只能合约平台图灵不够完备，进而导致智能合约的功能区间变得无限大，使得智能合约程序容易出现漏洞时，导致的交易安全事故频繁的发生的问题。

为解决上述技术问题，本发明提供的基于HASKELL实现安全可证明的智能合约平台，包括：

业务空间模块、数学空间模块、计算机空间模块和动物世界模块；

其中，所述业务空间模块的输出端与所述数学空间模块的输入端连接，所述数学空间模块的输出端与所述计算机空间模块的输入端连接，所述计算机空间模块的输出端与所述动物世界模块的输入端连接。

优选的，所述业务空间模块包括管理员账户单元和普通账户单元，所述管理员账户只处理校验方法交易的上链，所述普通账户只处理常规业务交易上链。

优选的，所述数学空间模块用于对业务进行数学抽象，并寻找关键元素，所述计算机空间模块用于对寻找到的关键元素作规约，并建立对应的数学模型。

优选的，所述动物世界模块用于证明数学模型的自包含和完备性，并用HASKELL实现数学模型，最终证明程序的正确性。

优选的，在针对特定场景构建智能合约平台时，包括以下步骤：

S1、发生交易时，人们通过普通账户上传交易上链，管理人员则通过管理账户接收到交易上链的验证请求，并对交易上链进行验证，验证通过后业务空间模块将需要解决的业务传送至数学空间模块中；

S2、通过数学空间模块对S1中接收的业务建立对象，并抽象问题域，寻找关键元素，找到关键元素之后将其传送至计算机空间模块中；

S3、计算机空间模块接收到S2中传送的关键元素，开始对寻找到的关键元素作规约，同时建立对应的数学模型，并将数学传送至动物世界模块中；