LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

智能合约

1. 降低合约编写门槛 SEA将智能合约可视化

传统智能合约像以太坊的目标就是可以自由创建“合约”,提供一个内置成熟图灵完备语言的区块链,在这个平台里可以支持用户通过简单的几行代码就能实现他们想要的合约,实现无需人为监督的、不可篡改、自动化运行的合约。从SEA项目的白皮书上了解到SEA采用了一种形式化的智能合约,形式化的...

知识:智能合约,智能合约代码,合约,智能合约的编写

2. 降低合约编写门槛 SEA将智能合约可视化

传统智能合约像以太坊的目标就是可以自由创建“合约”,提供一个内置成熟图灵完备语言的区块链,在这个平台里可以支持用户通过简单的几行代码就能实现他们想要的合约,实现无需人为监督的、不可篡改、自动化运行的合约。从SEA项目的白皮书上了解到SEA采用了一种形式化的智能合约,形式化的...

知识:智能合约,智能合约代码,区块链,智能合约的编写

3. 智能合约的形式化验证工具

北京航空航天大学分布式实验室 北航云南创新研究院 白晓敏,段张博在智能合约的形式化验证过程中,总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而,未来使用智能合约的必然不会全都是会编写模型的人员,因此,我们在智能合约和模型检测技术原理的基...

知识:合约,智能合约,智能合约模型,模型

4. 晓币:大家对智能合约有什么误会?

区块链中最有发展前景的应用就是智能合约。这个概念首先由密码学家尼克Szabo在他1994年的文章《智能合约》中进行了详细的阐述,他认为这是一个“执行合约条款的计算机化的交易协议”。今天,以太坊区块链的兴起有利于在公共环境中更容易地开发并部署这个概念。然而,大家对智能合约的概念还...

知识:智能合约,合约,区块链,区块

5. 智能合约的法律探析:智能合约与传统合同有什么不同?

来源:数字资产研究院编者注:原标题为《樊晓娟 | 智能合约的法律探析》 智能合约与法律上的传统合同是不同的概念。2019年10月20日,由数字资产研究院、万商天勤律师事务所、中伦律师事务所、中国政法大学校友读书会联合主办,上海交大数据法盟协办的“数字经济、区块链和法座谈会”在上海金...

知识:法律,智能合约

6. 智能合约与传统合同有什么不同?

实际上,比特币问世之前的1994年,Nick Szabo提出了智能合约概念,Nick Szabo是电脑科学家,也是密码学家和前华盛顿大学法学教授。由于当时技术条件不够成熟,所以智能合约没有得到广泛应用。随着比特币提出,区块链概念为大家广泛了解。而以太坊的问世使智能合约有了一个落地环境。比特币相对来...

知识:智能合约,合约,链上,比特币

7. 智能合约的力量:什么是智能合约?智能合约将如何在未来掀起一场革命?| 火

智能合约能够完全颠覆现有商业逻辑。目前,区块链技术和加密货币引起了广泛讨论,然而在区块链上可自动执行的智能合约却时常被忽视或甚至被误解。互联网彻底颠覆了人们处理信息和互联互通的方式,同样地,智能合约也将从根本上改变个人和组织达成协议和履行约定的方式。强大可靠的智能合...

知识:预言机,智能合约,Chainlink,火星技术帖

8. 智能合约是什么?智能合约+区块链=?

  摘要:密码学家尼克萨博(Nick Szabo)早在1994年提出的智能合约的理念,在区块链技术出现以前一直不能够应用到现实中,但是比特币出现以后,智能合约获得了重生。智能合约的理念加上区块链的技术,将会产生出什么呢 如果这还不够,再加上个物联网呢   ----   此文包括对瑞波实...

知识:智能合约

9. 什么是智能合约?智能合约将如何在未来掀起一场革命?

智能合约能够完全颠覆现有商业逻辑。目前,区块链技术和加密货币引起了广泛讨论,然而在区块链上可自动执行的智能合约却时常被忽视或甚至被误解。 互联网彻底颠覆了人们处理信息和互联互通的方式,同样地,智能合约也将从根本上改变个人和组织达成协议和履行约定的方式。 强大可靠的智...

知识:合约,区块链,金融

10. 智能合约系列1:数字社会的基石——智能合约

...大学云南创新研究院北京航空航天大学分布式实验室胡凯教授 业界不少人对智能合约(Smart Contract)的认识常常是不清楚的,有的认为是区块链里本来带的内容,有的认为就是发币用的,有的认为就是以太坊上的应用等等,这些认识完全淹没了智能合约的意义、严重制约了智能合约的发展和应用。那么...

知识:智能合约,区块链技术

11. 区块链四大特征之二,智能合约

区块链从比特币到以太坊,最大的变化是增加了“智能合约”。比特币系统是专为叫做比特币数字货币而设计的,它的UTXO和脚本也可以处理一些复杂的交易,但是有很大的局限性。比特币系统自身有诸多缺陷,诸如此类价值盲、区块链盲、图灵不完备等。而维塔利克创建了以太坊区块链,在完善了比特...

知识:智能合约,通证,合约,以太坊

12. 智能合约(smart contract)的魅力

1.智能合约的二个关键词“智能合约”(smart contract),有二个关键词,一个是“合约” (contract),一个是“智能”(smart)。对于“合约”的概念,大家并不 陌生,“合约”即“合同”(也称协议),从传统的押字画押,演变到今天 的电子契约,其本质就是合同。“智能合约”中的另一个较为重要的关键 词即...

知识:智能合约,合约,区块链,中本聪

13. 智能合约的精髓:数字社会的基石

...大学云南创新研究院北京航空航天大学分布式实验室胡凯教授业界不少人对智能合约(Smart Contract)的认识常常是不清楚的,有的认为是区块链里本来带的内容,有的认为就是发币用的,有的认为就是以太坊上的应用等等,这些认识完全淹没了智能合约的意义、严重制约了智能合约的发展和应用。那么...

知识:智能合约,合约,区块链,区块

14. 智能合约系列 | 智能合约工程简述:Smart Contract Engineering

作者:?胡凯编者注:原标题为《智能合约系列2:智能合约工程 SCE:Smart Contract Engineering》 合约是经济社会运行的基石之一。合约确定了多方交易的时间、期限、地点和内容等,使得合约参与的多方可以在信任或不信任的条件下执行合约协议,保证交易活动的正常和有序运行。合约通常在法律上是具有...

知识:智能合约

15. 智能合约的价值

智能合约能够完全颠覆现有商业逻辑。目前,区块链技术和加密货币引起了广泛讨论,然而在区块链上可自动执行的智能合约却时常被忽视或甚至被误解。互联网彻底颠覆了人们处理信息和互联互通的方式,同样地,智能合约也将从根本上改变个人和组织达成协议和履行约定的方式。强大可靠的智能合...

知识:智能合约,合约,区块链,区块链技术