【1期 四团 Day4 李宁】 智能合约

gqo18969pck

智能合约。

智能合约是一种自行执行的合约，书中采用自动售货机类比，两个特性：

• 自动执行约定：明码标价商品，给钱就能获得商品安全性：商品和钱罐的价值，明显低于恶人破坏的成本。
  

联想到自动控制系统，被控对象-> 变送器（传感器）->控制器->执行机构->被控对象。比如说一个水位的自动控制系统，目的是保证水位在一定的阈值范围。变送器（传感器）可以监测水位（这个起始很容易实现，通过水底的压力测量，就能测出水位的高度），如果水位高于峰值，则控制器收到差值后，将信号转为电信号，推送给阀门控制电机正转来增大放水闸口。当水位恢复正常阈值以下，则控制器收到的信号差值消失，则电信号消失，闸机停止工作。这就是很典型的一个工业自动控制系统。工业自动控制系统发展的重要推手是传感器和控制器的发展，因为把各种自然界的信号能够记录并传送出去，并进行判断

对比来看智能合约，双方约定一个承诺，这个承诺的触发判定是自动执行（一旦约定好就不可更改、回撤），而且结果是以互联网的某个计量单位来计算。（A和B约定，10天后A给B一个橙子，这个互联网上做不到；但可以约定A->B一个比特币或者代币，B用代币可以自己去买个橙子或任何其他东西）。
智能合约的执行有几个步骤：
谁来监督过程：包括契约谁来存放，谁来判断是否到达执行条件，谁来监督执行结果？如果是传统合约，是两个各自存放一份备份；合约受当地政府制定的法律保护/约束，如果执行违约，则到法院打官司；如果违约成立，但一方拒不执行，法院可以再申请强制执行。可以说在现实社会中，这是政府通过制定法律在监管。

• 存放：结合区块链技术，智能合约存放在区块链上，每个合约有双方的私钥（相当于合约签名，一式两份的概念），区块链因本身的去中心化和不易篡改的技术特性，从全局系统上看，合约存放不会被篡改可以被保证。但是同时也暴露一个信息泄露问题，合约是在所有节点存放，理论上程序员可以破解并查看信息，就像两公司签署的供货协议被别人看到价格一样，商业机密受到挑战。
  
• 判断合约触发执行：在现实场景是需要人来确认的，而智能合约是通过代码来确认的。这也遇到工业自动控制系统的瓶颈，传感器、控制器、执行，代码怎么识别触发条件（传感器），以及触发条件和目标值的差别（控制器）、得到差别后是否可执行。比如书中的房屋租赁的案例，触发条件是账户余额是否充足，执行是开房间的秘钥key。但是如果说智能合约是“如果你能在10天之内逗B笑2min，我就给你10BTC”，这个合约就很难执行，因为触发条件是“B笑10min”，这个很难转化为代码识别的内容。所以从这个角度讲，智能合约是if-else的代码执行语句，所有的触发条件和执行都需要写进代码里面，在互联网环境中。监督执行结果：现实是法院在做这件事情，智能合约是代码自动执行。智能合约对你的抵押物进行处置，自动执行，不能违反合约而人为干预，立即生效。本质上智能合约可以提升运行效率，法制大于人治，没有任何情面，说好的事情到期没有完成就要受到惩罚，这是一个很理性的环境中应有的表现。但现实生活中，还是有很多需要人来判断的场景，涉及到一些伦理道德的事情，比如说自动驾驶中，A车前面有行人、来不及刹车（行人闯红绿灯），有两种选择，要么方向盘弯转撞别的车，可能伤亡N人，要么直接不刹车，行人一人亡。这时候人作为司机会有自己的判断，但是如果是代码，他无法判断，因为这个场景哪个命更重要。
  

智能合约本质上是一个合约，因为区块链的发展（去中心化和作恶成本高），解决了互联网部署的问题。TA有助于提升运行效率，建立理性的社会。