智能合约是一种计算机协议,通过一段计算机指令实现自我验证、自动执行,并产生可以验证的证据来证明合约操作的有效性。
智能合约的实现需要使用图灵完备的计算机编程语言。图灵完备的语言可以解决世间一切可以计算的问题。
以太坊提供了一种近乎图灵完备的计算环境,使得智能合约在其区块链上得以应用。
尽管智能合约具有约束力,并被理解为法律文件,但是相比于传统法律合约,智能合约存在一些问题。
代码很难做到没有bug,即使采取了所有可能的防措施,在复杂的软件中也总会出现没有料到的执行路径或可能的漏洞。
>智能合约很难创造一个缜密的合约。在大型合约中,可能出现稿错误以及需要解释和仲裁的条款,而智能合约的不变性使得合约很难修改。此外,起草一份好的合约需要各种各样的技能,不一定与编写计算机程序兼容。
标签: 合约交易系统开发详解、本文地址: https://yihaiquanyi.com/article/686d14d0f39dcbf01420.html
上一篇:2Gtrains翻译2GTReSIM手表公布4G独立通话华...