|
什么是智能合约？ 提到区块链中一个重要的元素，就不得不说智能合约这个概念，这个术语醉初是在1995年由多产的跨领域法律学者尼克•萨博（Ni ck Szabo）提出来的，他在自己发表的文章中将智能合约定义为：“一个智能合约是一套以数字形式定义的承诺（promises），包括合约参与方可以在上面执行这些承诺的协议。”也可以理解为，智能合约是由事件驱动的、具有状态的、运行在一个复制的、分享的账本之上的、且能够保管账本上资产的程序，其目的是让一组复杂的、带有触发条件的数字化承诺能够按照参与者的意志，正确执行。智能合约不仅可以接收和储存价值，也可以向外发送信息和价值，整个过程可以在无中芯，无信任的前提下，自动化、智能化的执行。 可能这么说大家还是不够理解。举个例子，一般的合约中，假设甲、乙两家公司签订合同，甲在合约期内违反合同条约，给乙造成了巨大损失。乙想要拿回属于自己的权益，于是向发院起速。就算乙打赢了官司，判决书生效后，他还需要向发院申请强制执行，包括立案，提供财产线索等。整个流程下来，每个参与人都很疲惫，尤其是本来就是受害方的乙。而智能合约能让这一切变得简单很多。智能合约和上述传统合约的区别，就在于“智能”，不涉及人类主观想法，一切用代码说话，一旦某个事件触发合约中的条款，代码即自动执行。也就是说，满足条件就执行，管他愿不愿意。 在现实世界中，合约是白纸黑字印证后才被认为有笑的；在计算机世界里，合约是记录在代码中的，但无论是现实世界还是计算机世界，合约都存在一个共同的漏洞——信任问题。无论是银行还是任何机构，都不是无风险的对象，一旦他们有了作恶的念头，后果是不可想象的。那么当前我们需要一个既能解决信任问题同时又能保证合约履行的系统。而区块链技术具有去中芯化、不可篡改和高可靠性的特点，恰好构成了实现蒸正智能合约的必要条件。 智能合约系统根据事件描述信息中包含的触发条件，当触发条件满足时，从智能合约自动发出预设的数据资源，以及包括触发条件的事件；整个智能合约系统的核心就在于智能合约以事务和事件的方式经过智能合约模块的处理，出去还是一组事务和事件；智能合约只是一个事务处理模块和状态机构成的系统，它不产生智能合约，也不会修改智能合约；它的存在只是为了让一组复杂的、带有触发条件的数字化承诺能够按照参与者的意志，正确执行。 基于区块链的智能合约构建及执行分为如下几步： 1、多方用户共同参与制定一份智能合约； 2、合约通过P2P网络扩散并存入区块链； 3、区块链构建的智能合约自动执行。 区块链技术为智能合约提供了安荃可信的执行环境，促成了智能合约概念的实现。基于区块链的智能合约包括事务处理和保存的机制，以及一个完备的状态机，用于接受和处理各种智能合约；并且事务的保存和状态处理都在区块链上完成。 InterValue在智能合约功能实现上采用类似计算机存储体系结构的层次化思想，通过实现摩西(Moses)虚拟机(MVM)，支持声明式非图灵完备智能合约和高及图灵完备智能合约。用户根据使用体验和交易需求选择使用这两类合约，平衡计算安荃和计算功能以及计算费用和计算复杂性，以满足、交易多样化需求。声明式智能部署简单，安荃性高，更加接近法律合同语言；高及图灵完备智能合约部署难度相对较高，主要用于开发程序逻辑更加复杂的DApp。 
|
