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

智能合约

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

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

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

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

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

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

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

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

知识:智能合约

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

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

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

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

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

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

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

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

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

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

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

知识:智能合约

8. 成都链博科技:区块链链改与智能合约

...念越来越广为人知,和区块链相关的一些名词也开始进入更多人的视野。“智能合约”就是其中之一。近几年,越来越多的概念被冠以“智能”的名头,从智能手机到智能电视,从智能家居到智能办公,但是到目前为止,这些“智能”的程度似乎都比较有限,远远谈不上聪明,遑论智能。那么,这个智...

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

9. 智能合约微服务

...、便捷的区块链部署和使用功能,方便企业级用户的使用,而基于区块链的智能合约也被移植到了BaaS上,成为了BaaS上实现各企业业务的方法,而如何将云上现有的技术与智能合约相结合,解决现有智能合约的问题,成为了一个重要的研究点。本文主要针对基于区块链的智能合约存在的合约可扩展性问...

知识:合约,智能合约,基于区块链的智能合约,区块链即

10. 智能合约在司法体系中的应用

感谢OpenLaw对本文进行校对,并对智能合约应用于司法体系的前景提供深刻洞察。智能合约能够实现无纸化流程,由于其采用了去中心化的架构,因此可以保障合约内容无法被篡改,并实现商业流程的全自动化。虽然智能合约具有如此巨大的商业价值,但它是否具有法律约束力呢?为了找到这个问题的答...

知识:合约,智能合约,区块链,去中心化

11. 关于智能合约的有用指南

...验证。 以太坊是市值最大的加密货币之一,仅次于比特币,其声誉在于促进智能合约的创建和执行。 什么是智能合约? 了解智能合约的含义和作用并不像它初看起来那样困难。最基本的说,智能合约就是一个计算机代码,它包含两个或多个参与方之间的协议,并且基于区块链。 此计算机代码或算法...

知识:合约,智能,区块,协议

12. 捕获科技 | 区块链智能合约撰写服务

...用户建立信任,区块链技术其中的一大改变就是改变了我们的信任机制。而智能合约的存在就是在信任的基础下,能够自动完成合约中的条款。什么是智能合约?智能合约(smart-contract)实际上就是运行在以太坊网络中的一段代码。其最大的特点就是:自动执行、一旦部署就不可更改。智能合约这一特...

知识:合约,区块,智能,节点

13. 乌镇·Chainlink创始人Sergey Nazarov:智能合约3.0是全面集成的智能合约

...世界:区块链底层基础设施”上,Chainlink创始人兼CEO Sergey Nazarov发表《连接智能合约至任意链下事件、隐私保护计算和链上数据》主题演讲。Sergey Nazarov 表示,智能合约存在连通性问题,智能合约无法自主地获取区块链外部的数据和资源,80%以上的智能合约应用需要与区块链外部进行连接。智能合约1.0...

知识:ChainLink,2019世界区块链大会(乌镇)

14. 科普系列文(二)||从发展形态 透析区块链智能合约

--智能合约的初级形态--目前,我们在生活中能看到不少基于互联网技术的智能合约被应用的案例,比如最常见的自动售货机,商场里的娃娃机,最近在商场里出现的"鲜客"...我们信用卡的自动还款功能...它们本质都是一段"if...else"嵌套组合的具有触发条件的可执行代码,如我们信用卡的自动还款功能,...

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

15. 堪称区块链艺术品的智能合约

很多人一聊到区块链都会提到区块链技术构建信任环节的一项技术———智能合约,今天我们将走进智能合约,看完本文你就能了解智能合约的应用、工作原理、技术意义和现如今存在不足的地方啦!let's go~ 01 什么是智能合约 智能合约(英语:Smart contract )是一种旨在以信息化方式传播、验证或执行...

知识:智能合约,数字货币,以太坊,比特币