如果法典是法律,程序员会成为律师吗?

合同是最糟糕的。 它们很长,充满了法律术语,如果您上法庭,可能会被扭曲成他们从未想过的东西。 讨厌他们,但它们是必不可少的邪恶。 我喜欢智能合约的想法。 由代码控制动作是一个美丽的想法。 这个概念对我来说很有意义。 哎呀,智能合约让我对以太坊感到兴奋,以太坊让我对区块链感到兴奋,而区块链让我对加密货币感到兴奋。 但我确实认为,要使智能合约发挥作用,要普及得多,我们还有很长的路要走。 我们现在需要解决很多事情,但是当我们这样做时,世界将发生一种有趣的变化,程序员所拥有的力量将大大增加。 您会看到,智能合约的事情是它们是用代码编写的,并且保证代码能够按照编写的方式执行。 这意味着,如果您告诉智能合约提取今天收到的所有加密代币,并在一天结束时将其发送给您,它将成功。 这是“代码为法律”的最终实现。无需人工干预即可进行交易。 在另一篇文章中,我将评论这是好是坏。 但是今天,我想研究一下这种动态将如何改变社会,并有可能导致软件开发人员的能力和机会大量增长。 您会看到,智能合约的意义在于它们仍然是合约 。 它们控制在定义的方案中两个或多个参与方发生的情况。 它们与当今的合同非常相似,其中有两个或两个以上的当事方创建协议并将其写下来,如果其中一方违反该协议,则仲裁员或法官将确定影响的严重性和规模。…

为什么我们必须区分智能合约和Dapps

随着区块链技术的发展和成熟,我们现在必须在智能合约和dapp(去中心化应用)之间建立明确的区分。 精明的合同实际上应该是它们的表达方式,不需要第三方的各方之间的协议; 尽管dapp的声音听起来也应该如此,但分散的应用程序却不能在任何集中式计算机上执行。 如今,在以太坊网络上,智能合约和dapp之间确实没有区别,并且随着网络的历史证明,确实必须存在。 通常,在软件开发中,系统越复杂,出现错误的空间就越大。 据估计,每1,000行代码中,会发生15–50个错误。 通常,每当在Microsoft Word等传统应用程序中犯错时,该应用程序就会崩溃,并且用户可能会损失数小时的工作量。 但是,如果使用智能合约犯了一个错误,那么数百万美元甚至数千万美元可能会丢失,被盗或被锁在没有人可以找回的地方。 这就是为什么开始在智能合约和dapp之间创建明显而独特的区别的原因。 智能合约应该使用一种简单的脚本语言,可以轻松地对其进行代码审查,正式验证和确认。 这仍然不能100%保证智能合约没有错误和漏洞,但是,它将大大减少错误或漏洞对智能合约造成的损害程度。 RadJav区块链V2在智能合约和dapp之间造成了明显的差异。 V2智能合约将被要求使用淡化的脚本语言,该脚本语言将不允许递归,受限的OOP,无嵌套循环以及对其他智能合约的受限调用(如果有)。 即使有这些限制,开发人员也应该能够创建可以被其他人轻松验证的各种安全智能合约。 有了这些智能合约,可以使用Z3之类的软件来数学证明这些智能合约是安全的并且没有错误。 但是,如果开发人员认为他们需要这些功能,则可以创建使用相同脚本语言的dapp,只需将所有这些功能“解锁”即可。 永远没有任何限制。…