以太坊社区将\＂反事实\＂概念引入区块链，提出了反事实状态通道

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 等。这种路线下，短期看来，成本以及可靠性要超越云平台还是比较难的，技术难度要超过第一种路线，但好处是现实阻力没那么大。

当然有没有可能完全替代现实中的法律体系呢？这也是不可能的。毕竟终极制裁是对人的肉体进行制裁，除非有一天，人类真把自己的大脑上传到网上，现实中的肉体和资产对人来说完全失去了意义。不过也说不定呢？关于费米悖论的一个解释就是，外星人觉得现实的宇宙太大太无聊，于是把自己上传到了数字世界。

感谢阅读

本文仅代表个人观点，不构成投资建议。

—-

编译者/作者：再向虎山行

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。