精华内容
下载资源
问答
  • 智能合约

    千次阅读 2019-12-31 14:32:22
    智能合约允许在没有第三方情况下进行可信交易,这些交易可追踪且不可逆转。智能合约概念于1995年由Nick Szabo首次提出。 智能合约的目的是提供优于传统合约的安全方法,并减少与合约相关的其他交易成本。 协议 ...

    智能合约(英语:Smart contract )是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转。智能合约概念于1995年由Nick Szabo首次提出。
    智能合约的目的是提供优于传统合约的安全方法,并减少与合约相关的其他交易成本。
    协议
    协议是技术实现(technical implementation),在这个基础上,合约承诺被实现,或者合约承诺实现被记录下来。选择哪个协议取决于许多因素,最重要的因素是在合约履行期间,被交易资产的本质。
    再次以销售合约为例。假设,参与方同意货款以比特币支付。选择的协议很明显将会是比特币协议,在此协议上,智能合约被实施。因此,合约必须要用到的“数字形式”就是比特币脚本语言。比特币脚本语言是一种非图灵完备的、命令式的、基于栈的编程语言,类似于Forth。
    安全问题
    智能合约是“执行合约条款的计算机交易协议”。区块链上的所有用户都可以看到基于区块链的智能合约。但是,这会导致包括安全漏洞在内的所有漏洞都可见,并且可能无法迅速修复。
    这样的攻击难以迅速解决,例如,2016年6月The DAOEther的漏洞造成损失5000万美元,而开发者试图达成共识的解决方案。DAO的程序在黑客删除资金之前有一段时间的延迟。以太坊软件的一个硬分叉在时限到期之前完成了攻击者的资金回收工作。
    以太坊智能合约中的问题包括合约编程Solidity、编译器错误、以太坊虚拟机错误、对区块链网络的攻击、程序错误的不变性以及其他尚无文档记录的攻击。
    案例
    部署智能合约的案例有:
    以太坊在其区块链上实施了一种近乎图灵完备的语言,这是一个突出的智能合约框架。
    RootStock(RSK) 是一个智能合约平台,通过侧链技术连接到比特币区块链。 RSK兼容为以太坊创造的智能合约。

    在这里插入图片描述

    展开全文
  • 区块链——智能合约

    2021-01-16 22:16:01
    智能合约允许在没有第三方情况下进行可信交易,这些交易可追踪且不可逆转。智能合约概念于1995年由Nick Szabo首次提出。 智能合约的目的是提供优于传统合约的安全方法,并减少与合约相关的其他交易成本。 ——智能...

    智能合约(英语:Smart contract )是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转。智能合约概念于1995年由Nick Szabo首次提出。
    智能合约的目的是提供优于传统合约的安全方法,并减少与合约相关的其他交易成本。
    ——智能合约·百度百科

    区块链领域的智能合约特点:
    1.规则公开透明,合约内的规则以及数据对外部可见;
    2.所有交易公开可见,不会存在任何虚假或者隐藏的交易。
    总的来说就是去信任,签订合约的双方只需要相信区块链系统就行了。
    
    智能合约使用“Solidity”语言进行编码,与传统合约相比具有许多优势:
    不依赖第三方执行合约。消除中间人,大大减少了花费在合约上的总金额。
    消除第三方供应商也意味着合约验证和执行的整个过程随着用户间的直接交易而变得快速。
    由于合约条款不能更改,用户受骗的风险较小。智能合约不受各种人为干预。
    智能合约不容易出现断电、节点故障等问题。合约保存在分布式账本上时,不存在放错或丢失的风险。
    连接到网络的每个设备都有一份合约副本,并且数据会永远保存在网络上。
    
    参考https://www.zhihu.com/question/43404157/answer/193952393
    
    展开全文
  • 浅析智能合约

    2019-07-19 11:18:54
    随着比特市场的大火,让“区块链,智能合约”等新名词出现我们的生活中, 这就让很多币圈的小白一脸懵逼。智能合约是什么?区块链又是什么?他们二者之间有什么联系吗? 首先,智能合约(Smart contract)这个术语...

    链客,专为开发者而生,有问必答!

    此文章来自区块链技术社区,未经允许拒绝转载。
    在这里插入图片描述

    随着比特市场的大火,让“区块链,智能合约”等新名词出现在我们的生活中, 这就让很多币圈的小白一脸懵逼。智能合约是什么?区块链又是什么?他们二者之间有什么联系吗?

    首先,智能合约(Smart contract)这个术语是在1995年诞生的,是由多产的跨领域法律学者尼克·萨博(Nick Szabo)提出来的。他在发表于自己的网站的几篇文章中提到了智能合约的理念,定义是这样:“一个智能合约是一套以数字形式定义的承诺(promises),包括合约参与方可以在上面执行这些承诺的协议”, 是一种旨在以信息化方式传播、验证或执行合同的计算机协议。简单的说它就是一段计算机执行的程序,满足可准确自动执行即可。

    它具有很大的优势,一是允许在没有第三方的情况下进行可信交易。二是这些交易可追踪且不可逆转。它需要一套承诺,一套经由合约参与方同意相互履行的义务与责任。还要表明合约的本质于目的,就像你买东西一样,买卖双方同意一手交钱一手交货一样。第三是数字化,智能合约必须由计算机程序代码写入计算机,并且可读可自动执行,因为,一旦各个合约参与方达成协议,智能合约就必须建立各个参与方之间的权力与义务,而且合约必须由计算机或者计算机网络来自动执行。举个简单的例子,合约双方达成一笔销售协议,决定用以太坊(一种加密电子货币)来结算,那么他们必须选择以太坊协议,智能合约在以太坊协议上被实施。所以合约用到的数字化语言就是以太坊脚本语言。以太坊脚本语言一种编程语言,使开发人员能够建立和发布下一代分布式应用。以太坊可以用来编程,分散,担保和交易任何事物。

    区块链技术是一种去中心化的电子记账方式,它具有安全和不可篡改的特性,安全性很高。所以区块链技术与智能合约的结合不仅可以发挥智能合约在成本效率方面的优势,而且还成功的避免了恶意行为对智能合约的正常执行的干扰。将智能合约以数字化的形式写入区块链中,由区块链技术的特性保障存储、读取、执行整个过程透明可跟踪、不可攥改。

    同时,由区块链自带的共识算法构建出一套状态机系统,使得智能合约能够高效地运行。

    所有新兴技术都会存在一些问题,智能合约也不例外。由于智能合约是“执行合约条款的计算机交易协议”。区块链上的所有用户都可以看到基于区块链的智能合约。但是,这会导致包括安全漏洞在内的所有漏洞都可见,并且可能无法迅速修复。

    最近发生了几起这样的事故,4月22日中午,有黑客利用以太坊 ERC-20智能合约中BatchOverFlow漏洞攻击BEC(美链的代币“美蜜”)智能合约,成功向两个地址转出了天量级别的 BEC代币,导致市场上海量BEC被抛售。此事使得当日BEC的价值几乎归零。64亿人民币瞬间蒸发。

    4月25日另一个智能合约SmartMesh(SMT)曝出漏洞,交易所表示,因SMT出现异常交易,各交易平台暂停SMT的充提和交易。现实世界里,财物失窃尚能够通过立案侦查追回损失。但是在互联网的世界里,尽管数字货币“钱途”无量,一旦被黑却血本无归。

    虽然智能合约存在这些问题,但是我们应该理性看待。用辩证法的观点对待。

    展开全文
  • “白皮书”介绍,数字人民币通过加载不影响货币功能的智能合约实现可编程性,使数字人民币确保安全与合规的前提,可根据交易双方商定的条件、规则进行自动支付交易,促进业务模式创新。 什么是“智能合约”? ...

    在这里插入图片描述

    7月16日,中国人民银行在官网发布了《中国数字人民币的研发进展白皮书》(以下简称“白皮书”),以阐明人民银行在数字人民币研发上的基本立场,阐释数字人民币体系的研发背景、目标愿景、设计框架及相关政策考虑。

    “白皮书”介绍,数字人民币通过加载不影响货币功能的智能合约实现可编程性,使数字人民币在确保安全与合规的前提下,可根据交易双方商定的条件、规则进行自动支付交易,促进业务模式创新。

    什么是“智能合约”?

    百度百科上对于智能合约的解释是,智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转。

    智能合约概念于1995年由Nick Szabo首次提出。他在发表于自己的网站的几篇文章中提到了智能合约的理念,定义如下:“一个智能合约是一套以数字形式定义的承诺(commitment),包括合约参与方可以在上面执行这些承诺的协议。”

    其中有三个关键词,分别是承诺、数字形式、协议。一套承诺指的是合约参与方同意的权利和义务,这些承诺定义了合约的本质和目的。数字形式意味着合约需要被写入计算机可读的代码中。协议则是技术实现,通过某种技术手段来执行合约。

    因此,“智能合约”本质上是一种计算机协议,通过事先确定的代码自动执行合约条款,无须人工干预和第三方中介,一方面可以减少恶意和意外的情况,另一方面可以减少使用信任中介。

    《区块链:从数字货币到信用社会》一书中写到,“智能合约的工作理论迟迟没有实现,一个重要原因是因为缺乏能够支持可编程合约的数字系统和技术。区块链技术的出现解决了该问题,不仅可以支持可编程合约,而且具有去中心化、不可篡改、过程透明可追踪等优点,天然适合于智能合约。因此,也可以说,智能合约是区块链技术的特性之一。”

    因此在很多情况下智能合约指的都是区块链领域的“智能合约”。因为区块链领域的智能合约又具备了一些特点,比如规则公开透明,合约内的规则以及数据对外部可见;所有交易公开可见,不会存在任何虚假或者隐藏的交易。

    区块链中的“智能合约”

    据移动支付网此前统计,2020年-2021年上半年(截至8月初)期间,中国人民银行数字货币研究所(以下简称“数研所”)共计申请了30项专利,其中明确关于数字货币的仅有5项,涉及到区块链技术的有高达23项,包括数字证书、交易凭证、智能合约、数据处理、共享文件等多个方面。

    而其中明确与“智能合约”相关的有6项,都和区块链相关。也就说,数研所提交的关于“智能合约”的专利都是基于区块链中的。

    比如其中《区块链中定时智能合约的注册、执行方法和装置》等专利,描述了区块链可以认为是去中心化、可信的分布式账本,将智能合约以数字化方式写入区块链,并通过执行区块链中的智能合约来完成对应交易,已越来越受到各机构的青睐。

    但是目前,存在于区块链中的智能合约一般需要外部交易才能触发执行,对于一些需要特定事件来触发完成的交易,如定时交易(实现金融机构之间固定时间对账的智能合约)、根据产生的业务记录执行交易(某一条业务记录出现时,执行对应的智能合约)等,仍是现有的智能合约管理和执行方式亟待解决的问题。

    因此,这几项专利提供了一种区块链中智能合约的注册、执行方法和装置,能够通过注册对定时智能合约以及包括的事件触发函数对应的事件进行监控,以根据监控结果执行第一智能合约,实现通过特定事件以及定时智能合约的执行。

    目前数研所这一系列的专利并没有明确与数字人民币有关,但是据移动支付网了解数字人民币系统采用了分布式、平台化的设计,综合了集中式与分布式架构特点,形成稳态与敏态双模共存、集中式与分布式融合发展的混合技术架构。也就是说,尽管在交易层,为支持高并发、低延迟,数字人民币并没有采用区块链技术,但是在发行层分布式架构肯定是有所运用的。而这些专利未来用于参与方联盟链之间肯定会有一定的作用。

    非区块链下的“智能合约”

    除了数研所之外,部分银行也申请了数字货币“智能合约”方面的专利。

    据移动支付网统计,目前查询到的商业银行关于“数字货币”的专利仅有14项,涉及工行、建行、中信、交行等四家银行。其中,中信银行的几项专利重点即涉及数字货币“智能合约”的内容。

    中信银行的《基于智能合约的数字货币交易方法、装置及电子设备》的专利中,明确提出了一种基于智能合约的数字货币交易方法、装置及电子设备。

    该申请通过经CA机构认证的智能合约接收央行智能合约发送的数字货币交易请求,基于查询得到的目标智能合约的合约条件信息确定其合约条件是否达成,并确定是否执行目标智能合约。具体方法为,当经CA机构认证的智能合约接收到央行智能合约发送的数字货币交易请求时,自动查询目标合约的合约条件,并当合约条件满足时执行目标智能合约,实现数字货币交易的自动执行。

    这些专利的重点即在于通过CA认证机构的智能合约来查询和判断接收合约的条件,而不用被动等待合约各方或第三方将相关合约条件数据上传至区块链节点。区块链智能合约的验证和执行都依赖区块链中其它方节点的监督和自动执行,智能合约和区块链大多是绑定使用的,区块链智能合约的应用要求较高,这项专利申请是基于非区块链智能合约实现数字货币的交易,与通过区块链合约实现数字货币交易相比,CA机构认证智能合约的实现较为简便。这实际上,也为非区块链下的“智能合约”提供了一个方向。

    结语

    “智能合约”将会是未来数字人民币的应用中一个非常重要的技术手段,加载智能合约的数字人民币其灵活性可以适用于多种环境和关系,比如定向用途、定向人群、定向场景等。

    智能合约或许不能完美解决现有支付场景中,数字人民币无法解决的很多复杂问题,比如电商平台的三方信任问题,但是智能合约为数字人民币未来的应用拓展提供了更多的想象空间。

    展开全文
  • 智能合约场景的模糊测试前言基本概念智能合约图灵完全智能合约特性运行环境 前言 模糊测试和区块链的相关概念此不再赘述,网络上有很多成熟的文档可以自行查阅。本人是模糊测试领域有一年研究基础的CS研究生,...
  • 智能合约允许在没有第三方情况下进行可信交易。这些交易可追踪且不可逆转。智能合约概念于1994年由Nick Szabo首次提出。智能合同的目的是提供优于传统合同方法的安全,并减少与合同相关的其他交易成本。 由于...
  • 区块链应用中,外部世界如何与智能合约交互...传统IT人员一般认为是如下的流程:智能合约预定的时间,从期货交易场所获取农产品价格,然后按照获取的数据采取预设的行动。听起来很简单,但却不可能实现。为什么呢?
  • 步步为营从智能合约到 DApp

    千次阅读 2018-07-03 02:45:08
    课程介绍 本课程从以太坊的基本知识点出发,由浅入深地学习以太坊的智能合约 Solidity,编写简单合约,并完成 DApp 的构建部署。 通过本系列课程的学习,将对智能合约有一个完整的认识,从零开始编写属于...第三部...
  • 区块链智能合约介绍

    千次阅读 多人点赞 2020-08-05 11:12:19
    作者:qinyutong、chengyueqiang智能合约 (smart contract) 是一种由事件驱动的、具有状态的代码合约和算法合同 [11],随着以比特币为代表的区块链技...
  • 智能合约技术引起了开发者和各企业的极大兴趣。使用区块链技术实现特定进程的自动化可以创建新的用例。同时,从性能到防盗等一些与智能合约有关的问题仍然存在。解决盗窃问题可能不像人们想象的那么容易。 智能合约...
  • 智能合约——传统合约的数字化实现》 上期精进课堂,我们学习了什么是共识机制,知道了共识机制是如何一个人与人之间完全陌生的网络中对某件事达成一致的,并了解了UPoS共识机制如何安全、公平和高效者...
  • 智能合约安全审计指南

    千次阅读 2018-05-30 16:15:03
    译者注:智能合约代码的审计,目前还不是技术社区内经常会讨论的主题。今年3月6日,发表博客网站【Schneier on Security】上的一篇博客(原文链接:...
  • 关于智能合约现有问题的若干思考

    千次阅读 2019-03-07 21:30:05
    智能合约”(smart contract)这个术语至少可以追溯到1995年,由法律学者尼克·萨博提出。 维基百科定义:A smart contract is a computer protocol intended to digitally facilitate, verify, or enforce the...
  • 基于区块链的智能合约中,数据管理、事务验证和状态处理都是区块链上完成的,区块链提供完备的状态机接受和处理各种智能合约程序。我们此系统列举四十种支持或是用于开发智能合约的平台或项目,并介绍影响智能...
  • 传统上,商业交易中,当两交换价值时,他们需要共享交换后的价值以及交易条款和条件的表示。 如果他们不能完全相互信任,则各将维护自己的交换记录-交易分类帐。 他们还保留自己管理合同交换价值的规则和流程...
  • 深圳零时科技有限公司(简称:零时科技),公司成立于2018年11月,是一家专注于区块链生态安全的实战创新型网络安全企业,团队扎根区块链安全与应用技术研究,以丰富的安全攻防实战经验结合人工智能数据分析处理,为...
  • 智能合约允许在没有第三方情况下进行可信交易,这些交易可追踪且不可逆转。智能合约概念于1995年由Nick Szabo首次提出。 智能合约的目的是提供优于传统合约的安全方法,并减少与合约相关的其他交易成本。 ...
  • 金融合约与智能合约

    万次阅读 2019-04-02 09:26:01
    由于缺少可信的执行环境,智能合约没有被应用到实际产业中,自比特币诞生后,人们认识到比特币的底层技术区块链天生可以为智能合约提供可信的执行环境,以太坊首先看到了区块链和智能合约的契合,发布了白皮书...
  • 智能合约这个术语至少可以追溯到 1995 年,是由多产的跨领域法律学者尼克萨博(Nick Szabo)提出来的,他发表自己的网站的几篇文章中提到了智能合约的理念,他的定义如下:“一个智能合约是一套以数字形式定义的...
  • 以太坊智能合约编程简单教程(全)

    万次阅读 多人点赞 2018-03-12 22:03:40
    有些人说以太坊太难对付,于是我们(译注:指Consensys, 下同)写了这篇文章来帮助大家学习如何利用以太坊编写智能合约和应用。这里所用到的工具,钱包,应用程序以及...第三部分主要关于编程,我们将学习如何使用Tr...
  • 区块链2.0——详解智能合约

    千次阅读 2020-06-04 21:43:20
    区块链没有出来之前智能合约式中没有普及开来,一个重要原因是因为缺乏能够支持可编程合约的数字系统和技术。 2. 概念以及原型 2.1 概念 智能合约的最核心的概念就是;通过数字的方法控制有价值的所有类型的的任何...
  • 智能合约入门

    千次阅读 2019-10-27 11:23:25
    智能合约也称为”自执行和约“,或者叫“代码化的合约”。这个小节里面我们不聊智能合约的社会意义,而是假设你是一位开发者,准备上手智能合约的开发,那么动手之前都有哪些基础知识是必备的呢?本文为你呈现。 一....
  • Fabric学习笔记-智能合约

    千次阅读 2018-04-27 13:59:46
    智能合约允许在没有第三方情况下进行可信交易。这些交易可追踪且不可逆转,Fabric为智能合约提供了一个可信的执行环境。Fabric的智能合约Chaincode是Fabric智能合约的代码实现,是一段区块链上验证,存储和...
  • 以太坊的目标是打造一个用于运行智能合约的去中心化平台,根据程序代码的设置来运行应用,目的是保障程序运行时不存在审查、欺诈、停机、以及第三方人为干预的可能。开发者可以使用官方提供的工具其上开发、部署并...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 1,782
精华内容 712
关键字:

智能合约允许在没有可信第三方的情况下

友情链接: WNIY.rar