智能合约(smart contract),区块链领域人士想必都不会陌生。智能合约就是将现实合约条款的执行过程电子化并实现量化交易的一种协议,它就是通过一套以数字形式定义的承诺(commitment),让合约参与方可以在上面执行这些承诺。数字形式就意味着所有的智能合约不得不写入计算机可读的代码中。智能合约是基...
知识:智能合约,智能合约代码,合约,区块链领域
作者：北京航空航天大学分布式实验室胡凯正如前文所述尼克.萨博对智能合约的定义：“智能合约就是执行合约条款的可计算交易协议”，即智能合约是反映契约的算法合同（Algorithmic Contract）和可执行代码合同，即当事人同意依据一定的计算机算法来确定合同的内容、订立合同和履行合同（执行代码...
知识:算法,数字社会,智能合约,软件
作者：北京航空航天大学分布式实验室?胡凯正如前文所述尼克.萨博对智能合约的定义：“智能合约就是执行合约条款的可计算交易协议”，即智能合约是反映契约的算法合同（Algorithmic Contract）和可执行代码合同，即当事人同意依据一定的计算机算法来确定合同的内容、订立合同和履行合同（执行代码...
知识:智能合约
什么是智能合约？ALOK52088智能合约是一种计算机化的代码，用于执行预定义的合同条款。这些契约自行执行它们自己与存在于分布式分散区块链网络中的协议条款。它们允许在不同的匿名当事人之间执行可信的交易，而不用中央当局、法律制度或任何形式的外力强制执行。什么是智能合约审核？ALOK52088...
知识:智能合约,合约,智能合约代码,区块链网络
什么是智能合约？智能合约是一种计算机化的代码，用于执行预定义的合同条款。这些契约自行执行它们自己与存在于分布式分散区块链网络中的协议条款。它们允许在不同的匿名当事人之间执行可信的交易，而不用中央当局、法律制度或任何形式的外力强制执行。什么是智能合约审核？智能合约审核...
知识:智能合约,区块链网络,合约,智能合约代码
...一个项目是否必须要使用区块链技术才能实现？一个项目是否使用了完美的智能合约代码？我们靠什么判断。一、区块链代码审计可以解决哪些问题：让黑客无孔可入随着BTC、ETH、EOS等区块链项目的迅速发展，区块链项目已经进入了智能合约时代，但是智能合约自身的正确性和安全性却面临着巨大的问...
知识:智能合约,DEFI,成都链安,项目方
...一个项目是否必须要使用区块链技术才能实现？一个项目是否使用了完美的智能合约代码？我们靠什么判断。一、区块链代码审计可以解决哪些问题：让黑客无孔可入随着BTC、ETH、EOS等区块链项目的迅速发展，区块链项目已经进入了智能合约时代，但是智能合约自身的正确性和安全性却面临着巨大的问...
知识:智能合约,区块链项目,智能合约代码,区块链代码
实际上，比特币问世之前的1994年，Nick Szabo提出了智能合约概念，Nick Szabo是电脑科学家，也是密码学家和前华盛顿大学法学教授。由于当时技术条件不够成熟，所以智能合约没有得到广泛应用。随着比特币提出，区块链概念为大家广泛了解。而以太坊的问世使智能合约有了一个落地环境。比特币相对来...
知识:智能合约,合约,链上,比特币
来源：数字资产研究院编者注：原标题为《樊晓娟 | 智能合约的法律探析》 智能合约与法律上的传统合同是不同的概念。2019年10月20日，由数字资产研究院、万商天勤律师事务所、中伦律师事务所、中国政法大学校友读书会联合主办，上海交大数据法盟协办的“数字经济、区块链和法座谈会”在上海金...
知识:法律,智能合约
1.智能合约的二个关键词“智能合约”(smart contract)，有二个关键词，一个是“合约” (contract)，一个是“智能”(smart)。对于“合约”的概念，大家并不 陌生，“合约”即“合同”(也称协议)，从传统的押字画押，演变到今天 的电子契约，其本质就是合同。“智能合约”中的另一个较为重要的关键 词即...
知识:智能合约,合约,区块链,中本聪
传统智能合约像以太坊的目标就是可以自由创建“合约”，提供一个内置成熟图灵完备语言的区块链，在这个平台里可以支持用户通过简单的几行代码就能实现他们想要的合约，实现无需人为监督的、不可篡改、自动化运行的合约。从SEA项目的白皮书上了解到SEA采用了一种形式化的智能合约，形式化的...
知识:智能合约,智能合约代码,区块链,智能合约的编写
...是我今天在群里面看到大家聊天时的一点感想而已。今天我要介绍的主要是智能合约，这是一种在普通传统合约基础上更高层次的合约，其目的是降低人工成本，其特点是减少人位的干预和操控。很多人可能都听说过智能合约这个名词，尤其是谈论到以太坊都会着重提到智能合约，所谓的智能合约，如...
知识:合约,智能合约,以太坊,以太币
传统智能合约像以太坊的目标就是可以自由创建“合约”，提供一个内置成熟图灵完备语言的区块链，在这个平台里可以支持用户通过简单的几行代码就能实现他们想要的合约，实现无需人为监督的、不可篡改、自动化运行的合约。从SEA项目的白皮书上了解到SEA采用了一种形式化的智能合约，形式化的...
知识:智能合约,智能合约代码,合约,智能合约的编写
...间11月6日，美国区块链安全审计公司CERTIK完成Super Trister去中心化借贷协议TLC智能合约代码审计，并发布安全审计报告，审计结果未发现重大或关键或主要漏洞。至此，Super Trister已通过包括成都BEOSIN链安科技在内的TLC智能合约代码“双审计”。 图1：CERTIK完成Super Trister去中心化借贷协议TLC智能合约代...
知识:智能合约代码,去中心化,区块链安全,智能合约
智能合约，如果去掉智能，就能很好地理解他是一份合约，之所以前缀加上智能，是因为合约的条款可以以代码的形式表现出来，并且保存在区块链里。如果合约的某个条款触发了某个条件，那么代码就会自动执行，也就很难违约，这样能很好地节省人为沟通和监督成本。传统合约指双方或多方通过协...
知识:智能合约,合约,以太币,以太坊