传统智能合约像以太坊的目标就是可以自由创建“合约”，提供一个内置成熟图灵完备语言的区块链，在这个平台里可以支持用户通过简单的几行代码就能实现他们想要的合约，实现无需人为监督的、不可篡改、自动化运行的合约。

从SEA项目的白皮书上了解到SEA采用了一种形式化的智能合约，形式化的智能合约技术是一种智能合约可视化增强的技术，是一种构建在区块链底层之上的面向服务的智能合约技术。

形式化智能合约允许用户通过类网页表单的可视化界面来完成智能合约规则的可视化定义，然后在视图转化器的作用下可视化定义会自动生成一个包含视图定义以及规则定义的特殊代码，再通过指令编译器把这个特殊代码翻译成可以满足具体区块链底层平台需要的智能合约代码，也允许用户使用视图转化器解析这个特殊代码并以视图形式展现出来。

形式化智能合约的优点

使用智能合约的一些主要优势包括在处理文档时的更高效率。这归功于它能够采用完全自动化的流程，不需要任何人为参与，只要满足智能合约代码所列出的要求即可。结果是，会节省时间，降低成本，交易更准确，且无法更改。智能合约去除任何第三方干扰，进一步增强了网络的去中心化。

形式化智能合约通过可视化视图接口让普通业务人员编写智能合约成为可能。传统区块链体系下，编写智能合约的人员一般是区块链从业人员或者特定的技术群体，那些懂得业务逻辑，但是不懂技术的业务人员是无法直接参与到智能合约的编写分工当中，很大程度上业务人员只是业务配合。形式化智能合约可以让智能合约的编写不再是技术人员的特有专利。

形式化智能合约提供了一种面向服务定义智能合约的能力。传统的智能合约编写都是在脚本编辑器下逐行书写智能合约代码，看到的全是面向过程的开发模式，无法让智能合约编写人员可以从业务整体角度去思考业务规则如何编写，而是一下子调用具体细节的编码当中，无法从全局角度去思考一个智能合约如何进行规划与设计，容易出现考虑问题不周全的现象。

形式化智能合约提供一种能够兼容所有区块链平台智能合约的方式，可以实现智能合约在区块链平台上的统一。通过形式化智能合约编写的智能合约既可以运行在ETH，也可以运行在EOS，本身并不需要修改代码，只要在编译时选择下支持智能合约的区块链底层是谁即可，对于需要迁移智能合约的用户需求，将变得非常容易。

形式化智能合约提供了一种业务开放能力，能够最大限度的兼容各种复杂的应用场景。业务模板与业务规则库是一个可以自定义或扩展的体系，通过编写业务模板可以实现快速完成一个业务型智能合约的编写，通过规则库可以简化智能合约代码，让智能合约的实现细节转移到指令编译器中去完成，方便了用户书写与管理智能合约的难度，通过又让智能合约的能力具有很强的业务开放性，可以满足迎合不同应用场景的需要。

形式化智能合约降低因智能合约审计带来的成本压力与审计风险。形式化智能合约是一系列的指令集与数据构成特殊代码，这些代码的生成是收缩在特定的视图条件下，不是自由编程，所以这块代码使用的业务规则与实现本身是进行过安全检查，并且形成具体智能合约的过程也是进行安全转化的过程。在形式化智能合约体系下，去安全审计是一个发展趋势，从而可以有效降低因为智能合约安全审计而产生的费用问题。

形式化智能合约的应用

智能合约已在各种区块链网络中得以实施，其中最重要和最受欢迎的依然是比特币和以太坊。虽然比特币网络以使用比特币执行交易闻名，它的协议也可以用来创建智能合约。比特币实际上提供的是一种编程语言，允许创建自定义智能合约，比如支付通道。以太坊则是目前为止最引人注目的智能合约框架，因为它是专门为支持智能合约的使用创建的。用Solidity语言编程，以太坊智能合约框架有助于促进去中心化网络，便于用智能合约处理交易。

形式化智能合约可以用比特币和以太坊创建。各行各业可以从智能合约发展中受益，包括选举、供应链和电子商务等。

除了加密货币之外，在不同行业的也有用户场景，例如选举、供应链优化、电子商务中可有效利用智能合约。因此，加密爱好者看到了最近智能合约的发展，它与区块链技术携手合作，致力于改变数字化世界，形式化智能合约将大大提升普及率和加快数字化世界转变的步伐。

从项目技术介绍中，我们了解到SEA的形式化智能合约塑造一个全新的应用场景群。未来，可视化能力、模版与库能力通过形式化智能合约将能够模拟静态站点到动态站点的业务逻辑，从而可以改变原有的互联网信息组织模式，很多网站因为形式化智能合约的引入将会自动变为一个区块链网站，这是传统智能合约所不具备的。