DAPP流动性分红系统开发

　　流动性分红系统开发，(蔡I88合约I928开发8O24)，如果只有验证能力，实际上并不能产生约束力，还需要有强制执行能力。如果双方争议的标的可以直接由程序操作，也就可以实现验证并执行。这点上，区链通过定义数字化的资产以及经济体系，来保证执行能力。

　　分析智能合约的约束力之前，我们先来看看法律合约的约束力。约束力来自于两方面，一方面是签订合约的参与方有明确的合约的意向表达，比如酒桌上吹牛的话就很难作为合约，合约要和日常的谈话和文本有明确区别，这也是书面合同在这方面更容易减少误解的原因。另外一方面是公权力提供了这样一套司法执行体系，当合约不能正常履行的时候，可以寻求公权力的裁决执行。

　　相当于一个通过自然语言定义规则的操作系统，合约就是在这个操作系统上用自然语言写的程序。自然语言的解释执行当然得人脑来做，但由于自然语言的不严谨，人与人的差异，如何保证执行的结果的确定性？如何防止执行者？这两个难题是司法体系千百年来一直探索的难题。

　　切换到智能合约上，由于图灵机的特性，程序执行结果的确定性容易保证，关键难题就是如何防了，怎么证明程序执行出的结果没有被篡改？

　　程序执行结果的可信性，取决于控制程序执行硬件的组织或者个人的可信性，当前软件系统，比如银行或者互联网应用，用户只能以信任组织的方式来信任程序运行结果，也就是说约束力是单方的，终用户受到程序约束，但服务提供方几乎不受程序约束。

　　那如果程序可以在不同组织或个人掌握的硬件上重复验证，是不是就可以去除这种信任依赖？同时实现对双方的约束？