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

权利要求书

1.一种基于HASKELL实现安全可证明的智能合约平台，其特征在于，包括：

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

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

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

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

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

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

S4、动物世界模块接收到S3中的数学模型，开始证明数学模型的自包含和完备性，同时用HASKELL实现数学模型，生成程序，并证明智能合约源代码的正确性，若数学模型的自包含和完备性以及智能合约源代码的正确性均符合要求时，则允许建立合约，若有一处符合要求，则不允许建立合约。

2.根据权利要求1所述的基于HASKELL实现安全可证明的智能合约平台，其特征在于，所述业务空间模块包括管理员账户单元和普通账户单元，所述管理员账户只处理校验方法交易的上链，所述普通账户只处理常规业务交易上链。

3.根据权利要求1所述的基于HASKELL实现安全可证明的智能合约平台，其特征在于，所述数学空间模块用于对业务进行数学抽象，并寻找关键元素，所述计算机空间模块用于对寻找到的关键元素作规约，并建立对应的数学模型。

4.根据权利要求1所述的基于HASKELL实现安全可证明的智能合约平台，其特征在于，所述动物世界模块用于证明数学模型的自包含和完备性，并用HASKELL实现数学模型，最终证明程序的正确性。