以太坊社区将\＂反事实\＂观点引进区块链，提出了反事实状态通道

Counterfactual state channel），试图总结出一种通用的区块链二层设计原则。这里的\"反事实\"和法令体系中的\"反事实\"寄义雷同。法令合约自己的约束力主要来自于这种反事实推理，假如合约一方违背合约，另外一方则可以通过司法机构来强制执行，生意业务两边最佳的计谋是忠实执行合约，所以合约有了约束力。同样，假如一个智能合约虽然没有在链上执行，但假如有不合时，任何一方都可以让它在链上执行，则也同样发生了约束力。

理论上，通过这样的方式可以支持无穷的 TPS。

智能合约的另外一种形态

前面说的智能合约都是通过编程语言表达出来，在链上执行的法式，即便是放到链下，也需要包管可以在链上执行，不然就无法裁决。但既然我们存眷的是约束力，反复验证只是实现约束力的一种方式，那有没有其他措施实现约束力？好比法院裁判合约的时候，并不是反复执行一遍然后验证，而是验证两边提交的执行成果证实，或者是对方承认成果的证实，好比签字。

比特币上的\"智能合约\"就和这种机制雷同。比特币的模子下，锁定剧本相称于一个锁，确定了生意业务输出的 BTC 的回属权，算不得前面界说的合约，但它可以通过暗码学方式配置解锁前提，来到达合约的效果，好比实现两种数字资产的互换（相称于买卖合约）。详细的实现方式这里不胪陈，感乐趣的可以望望原子互换，闪电网络，以及基于 Schnorr 签名的 Discreet Log Contracts 。

这种机制的思路是合约详细怎么执行不重要，只要包管合约最后争议的标的的回属权即可到达约束效果。固然，这种机制下，合约能表达的合约类型受限。

前一段时间我们也做了一个小尝试项目，试图在闪电网络上实现智能合约。介入方互相验证合约，有争议时通过仲裁办事节点仲裁，资产通过闪电网络的 hash time lock 机制互相典质，仲裁方可以决定押金的回属，但无法直接取走押金。虽然也有结合作弊的可能，但结合作弊也有信任成本，风险要小于押金托管。

至此，可以望出来。假如我们焦距于智能合约约束力的构建，合约的验证，裁决，执行，实际上是可以拆解开的，纷歧定要在统一层实现。

智能合约将来的两种路线

假如只追求约束力，对智能合约的成长并没太大不合，但智能合约同时也是一种法式，它具有法式的所有特征，所以发生了不合。

为了能校验合约，链上会保留智能合约的状态以及输进参数，也就是说提供了存储能力，同时也提供了合约运行情况，提供了计较能力。有了这两种能力后，理论上任何互联网应用都可以搬到链上了，同时还具有了约束力。所以以太坊将本身界说为世界计较机，EOS 将本身界说为一种 OS，都是用来运行往中央化应用 DApp 的平台。

然而 DApp 试验几年，照旧没有大的起色。开始各人认为是 TPS 的限制，于是 EOS 通过 DPoS 的机制减少介入共鸣的节点，以到达更高的 TPS，理论上也可以运行一个小范围的互联网应用了，但依然没有太大起色。那问题到底出在那里了？

要害在于我们一直根据互联网应用的模式在思索 DApp，互联网应用的模式是提供一个系统给所有人用，应用自己所需要的状态存储和计较能力，和由于需要实现约束而发生的状态存储以及计较能力混淆在了一起，所以险些没有一个互联网应用的价值能撑得起区块链这样范围的副本和反复计较。

所以此刻智能合约和 DApp 的成长大要上可以分为两个偏向：

一. 存眷合约的约束力，须要的计较和存储只是实现约束力的基础。这种思路下，开辟者应该阐明应用自己，拆解出需要约束的计较以及状态，也就是代表应用方与用户之间的合约的部门，然后构建证实和验证机制，只把须要的数据提交到链上裁决，链并不需要反复执行应用，与合约无关的计较和存储依然在链下。大大都二层网络，以及多链，跨链系统的约束和仲裁机制，走的是这个偏向。

这种路线下，最收留易实现的是 DeFi 类的应用。由于这类应用需要约束的状态很明确，就是资产，通过智能合约的约束力解决资金托管难题。而且现实中的法令合约也大多实际和资产相关，假如能把现实中的法令合约迁移到链上执行或者仲裁，想象力空间长短常大的。这个路线面对的最大的难题不在于技能，而在于和现实法令的冲突以及社会认知的变动。

二. 存眷计较或者存储能力，约束力只是用户信任硬件资源提供方的一种手段。有了这种约束力，可以构建开放式的系统，吸纳更多更廉价的硬件资源。假如只以包管须要的宁静性为方针，就可以减少反复验证以及存储副本，以期看给 DApp 提供比云平台更廉价的计较和存储能力，至少成本上不要高太多，代价差可以通过开放性来弥补。好比 Filecoin，Truebit 等。这种路线下，短期望来，成本以及靠得住性要逾越云平台照旧比力难的，技能难度要凌驾第一种路线，但利益是现实阻力没那么大。

固然有没有可能完全替换现实中的法令体系呢？这也是不行能的。究竟最终制裁是对人的肉体举行制裁，除非有一天，人类真把本身的大脑上传到网上，现实中的肉体和资产对人来说完全失往了意义。不外也说不定呢？关于费米悖论的一个解释就是，外星人以为现实的宇宙太大太无聊，于是把本身上传到了数字世界。

感激阅读

本文仅代表小我私家概念，不组成投资发起。