联合创始人@ start9labs 谈简单 - 徐威 - Medium

#bitcoin 的简单性将彻底改变比特币智能合约的游戏规则。与@RSKsmart 非常不同的安全模型。另外,Rootstock 非常适合将任何 EVM 智能合约移植到智能合约中

你现在也必须接受链安全模型,但是由于简单性只是语言的简单性,这意味着它可以让你根本无法实现的方式实现 utxo 模型。

这一切的结果是,由于一切都可以控制 utxos,可以通过 segwit 系统软硬件分叉成比特币版本。这意味着您可以在主网上获得它,它是这意味着您可以获得 PoW,而不是与挂钩相关的信念。

因为它作为基础语言最终是完整的,而不是图灵完备的,所以它不会像 EVM 那样受到不透明性的影响。已经 4 年了,仍然对 DAO 和 Parity 感到厌烦。 ,这些错误是不可能的。

你可以用什么语言呢?好吧,你的强大输入能完整地指定允许哪些状态更改,但最终不能使用。虽然比特脚本我们谈论我们的身份验证,但它一直是无法检查输出。

输出的这种状态的区别很重要 这意味着您可以通过允许您的输入移动到特定的下一个状态来创建有限的机器。仅使用在输出本身的默根中包含合同状态的有限状态。机

但有限的原因很重要

直接脚本(实际上是此类知识输出游戏的属性,因为都知道使用通用的支付方式) ……

他们几乎没有不合作的动机。因此,虽然脚本可以进行裁决,但有可能永远合作,因此运行脚本的费用不会实现。

因爱与这个人或其他人的合作,也没有为这个人付出过更多的爱心,因为有个性与爱情。

TL 与以太坊相比,它的比特币坊比较了,可以简单、简单地和认为的智能合约,具有相同的使用安全性。

🎤👋

PS该项目的内容都在#haskell和#coq中作为奖励。

此外,它仍然是一条出路,但我们可能会在以太坊获得 casper 之前得到它😉。

附:https://blog.blockstream.com/en-simplicity-github/