btc历次减半 智能合约

标题图片来自 Shutterstock。

智能合约一词最早由 Nick Szabo 于 1996 年在一篇题为 Smart Contracts: Building Blocks for Digital Markets 的论文中提出，相比实际的智能合约（如以太坊，Ethereum）早了 19 年诞生。 那么什么是智能合约，智能合约到底是什么意思呢？ 今天就来说说吧。

谈智能合约，不如先看合约。 合同的英文是contract，翻译成“contract”似乎更容易理解。 如果说货币是经济的血液，那么契约就是商业文明的基石。 没有合同，一切商业活动都不可能进行。 从日常的小交易到企业间的大合作，合同始终扮演着重要但又容易被忽视的角色。 如果你给小卖部的阿姨一块钱，阿姨却不给你矿泉水，那么阿姨就违反了你们之间达成的“默契”契约。 如果人人都这样，社会就乱了。

契约是人与人之间最基本的关系。 卢梭在《社会契约论》中对契约（contract）的含义有详细的描述。 在他看来，社会秩序来源于原始简单的协议，这不仅包括个人之间的协议（如婚姻），还包括个人与集体、个人与政府、政府之间的协议。 无论是原始社会还是现在，艰苦的外部条件都使人难以自立。 人们天生就倾向于相互依赖，形成群体以求生存。 而集体一旦形成，随之而来的就是集体意志的决策问题。

当你在丛林中遇到一个岔路口时，你应该向左走还是向右走？ 在一个群体中，我们与群体达成了隐性契约。 集体决策是大家做的，一旦决定了，个人就必须服从集体决策。 如果个人违约，将面临脱离集体、难以独立生存的风险，这就保证了个人和集体协议的强制性和有效性。

在丛林的例子中，外部条件使人们出于利益最大化的选择而自觉地遵守契约。 这是一种天然的、利益驱动的、去中心化的合约，但只适用于特定情况下的小群体。 当群体数量增多，人际关系复杂化时，需要一个制度来保证每个人都能遵守契约，以维护社会稳定，提高社会效率。 人类社会凝聚了几千年的智慧，对这个问题有了比较完善的解决办法，那就是法律。 政府的本质在某种程度上是法律的执行机构。 一旦有人违约，就需要承担法律后果。 因此，当违约的成本高于收益时，人们就会自觉地选择遵守契约。 在这样的框架下，人类社会的各项活动有条不紊地进行着。

合同很美，但有一个最基本的问题，就是对仲裁机构的依赖。 仲裁机构最大的作用是保证合同的顺利执行，并在出现纠纷时进行合理仲裁。 淘宝是买卖双方的仲裁机构。 买卖双方不需要互相信任，但都相信如果对方不预约，淘宝会维护自己的权益。 在更常见的场景中，比如餐厅消费，我们往往看不到仲裁机构，但这并不代表仲裁机构不存在。 不付钱会被餐厅的保安暴打。 如果保安打不过你，门口就有警察叔叔等着你。

说了半天，什么是智能合约？ 智能合约实际上是数字仲裁机构。 你可以理解为机器人。 这个机器人知道双方合同的每一个细节，并会在某些情况发生时按照预先编写的程序正确执行合同条款。 自动售货机可能是最容易理解的“智能合约”。 它本身包含了交易的条款（抛币->放货->找零），也可以在某些条件发生时（收币后）正确。 执行条款。

2017年纽约共识大会展出的“智能合约”自动售货机可通过数字货币完成支付

随着计算机和互联网的普及，智能合约的想法应运而生。 既然我们可以用代码完成复杂的计算和编写应用程序btc历次减半btc历次减半，那我们是不是也可以通过代码将合约数字化呢？ 所以这里要强调的是，智能合约不是简单的“数字合约”（比如word文档），而是一个具有合约观察、合约验证、合约执行的数字实体（即仲裁机构）能力。 理解智能合约的主要困难。

想象一下，一个运行在 Windows 上的软件如何成为一个“智能合约”。 以公司支付给员工的工资为例。 在这个合同场景中，公司通过软件的输入功能告诉软件，每月1号给员工A发工资3000元。 如果软件正确地完成了这个功能，我们可以简单地说它是一个智能合约。 如果这个软件能够检测到员工的迟到、旷工、请假、加班行为并自动调整工资数额，并且能够根据员工的绩效考核自动增加员工的工资，那么它就是一个比较完善的智能合约。 有了它的存在，将大大降低公司的人力成本和人为失误的可能性，增加工资的透明度，从而提高生产效率，降低生产成本（不要小看这两句话，工业革命以来的历次技术革命, 无非就是这两件事）。

当然，以上例子在今天看来还是过于理想化了。 其中一个大问题是如何让计算机程序将3000元从公司的银行账户转账到员工的银行账户。 这个过程本身很难通过程序来完成，因为银行永远不会和程序打交道。 直到今天，智能合约一直在努力解决的另一个问题是计算机程序如何知道员工缺勤？ 唯一的解决办法就是在员工不上班的时候，指定专人人工将信息录入程序，但这样一来，又增加了额外的人工成本，与没有智能合约有什么区别呢？

比特币的出现很大程度上解决了第一个问题，即程序在货币上的运行。 比特币本身是一种数字货币，其地址的控制者可以是自然人也可以是程序。 一个简单的Python程序完全可以独立处理比特币的收发。 比特币交易本身也可以简单地编程。 当发出一定数量的比特币时，您可以指定将此数量的比特币发送到一个特殊的地址（从3开始），并在一定时间内释放到另一个地址。 这个3开头的地址其实相当于一个中介机构。

如果可以对中介进行编程，使其可以根据程序员的设置，在特定条件下发出特定交易，这就是智能合约。 比特币本身不支持过于复杂的编程（也称图灵完备，图灵完备），所以我们说比特币不支持智能合约。 第一个支持智能合约的数字货币是以太坊，它于2015年7月正式上线，也有人将Ethereum译为Ethereum，因为它的可编程特性更像是一个平台。 基于以太坊编写的智能合约，可以对以太坊上流通的数字货币ETH进行任意操作（接收、发送、销毁）。

以太坊没有解决的是智能合约与现实世界的沟通问题。 要解决这个问题，物联网和数字身份必不可少。 如果有一天人们的身份（证件）信息，所有的日常行为（去哪里，和谁说话，做了什么，完成了什么样的交易），以及法律本身都可以在区块链上数字化，那么一旦有人违反了合约，智能合约可以以数字法为依据，对数字人进行相应的惩罚。 例如有人酒后驾车，一旦被检测器检测到，检测器可以直接将此信息上报给“交警大队”智能合约，“交警大队”合约会询问“交通法”合约。 多么大的惩罚。 这种惩罚会以数字形式呈现，比如封禁该人的数字身份一天。 这样，第二天酒后驾车去餐厅吃饭时，会发现自己的数字身份被屏蔽了，无法下单，因为下单需要他的数字身份与“餐厅”合约进行交易.

可见，数字货币的出现可以说是打开了智能合约通往现实世界的第一扇大门，因为大部分合约都涉及到金钱交易。 以酒后驾车为例，如果涉及到罚款，也可以通过数字货币来完成。 而要成为像互联网一样的基础设施，还需要数字身份、物联网等技术的支持。