区块链之智能合约-

PPT模板：素材：背景：图表：下载：教程：资料下载：范文下载：试卷下载：教案下载：论坛：课件：语文课件：数学课件：英语课件：美术课件：科学课件：物理课件：化学课件：生物课件：地理课件：历史课件：内容以太坊Demo演示智能合约SolidityPart1以太坊比特币的脚本的缺点不支持循环语句缺少图灵完备UTXO不可分割价值盲UTXO智能是已花费或未花费缺少状态比特币的脚本局限性内置有图灵完备编程语言以太坊以太坊介绍以太坊通过建立终极的抽象的基础层-内置有图灵完备编程语言的区块链-使得任何人都能够创建合约和去中心化应用，并在其中设立他们自由定义的所有权规则、交易方式和状态转换函数。以太坊虚拟机（EVM）是以太坊中智能合约的运行环境。它不仅被沙箱封装起来，事实上它被完全隔离，也就是说运行在EVM内部的代码不能接触到网络、文件系统或者其它进程。甚至智能合约与其它智能合约只有有限的接触。以太坊账户用户用公钥、私钥控制由合约编译后的code控制合约账户外部账户相同的地址空间相同的数据结构不同的功能包含四个部分：•随机数，用于确定每笔交易只能被处理一次的计数器，参与生成交易的id•账户目前的以太币余额，以太币（Ether）是以太坊内部的主要加密燃料，用于支付交易费用。以太币的最小单位为Wei，最大单位为以太，1Ether=10^18Wei•账户的合约代码，如果有的话•账户的存储（默认为空）交易交易包含以下内容：•消息的接收者地址•用于确认发送者的签名•要发送的以太币的数量•可选的数据（合约的参数）•STARTGAS:用来限制合约最多执行多少次运算•GASPRICE:每次计算需要支付的费用每5个Byte需要1个Gas防止死循环交易费用=STARTGAS*GASPRICE对计算资源、存储资源、带宽的消耗都用Gas支付外部账户发送交易消息消息包含五个部分：•消息的发送者•消息的接受者•要发送的以太币的数量•可选的数据（合约的参数）•STARTGAS:用来限制合约最多执行多少次运算调用合约的CALL方法时隐式生成以太坊状态转移以太坊的状态转换函数：APPLY(S,TX)-S’，可以定义如下：1.检查交易的格式是否正确（即有正确数值）、签名是否有效和随机数是否与发送者账户的随机数匹配。如否，返回错误。2.计算交易费用:fee=STARTGAS*GASPRICE，并从签名中确定发送者的地址。从发送者的账户中减去交易费用和增加发送者的随机数。如果账户余额不足，返回错误。3.设定初值GAS=STARTGAS，并根据交易中的字节数减去一定量的燃料值。4.从发送者的账户转移价值到接收者账户。如果接收账户还不存在，创建此账户。如果接收账户是一个合约，运行合约的代码，直到代码运行结束或者燃料用完。5.如果因为发送者账户足够的钱或者代码执行耗尽燃料导致价值转移失败，生成out-of-gas异常，恢复原来的状态，但是还需要支没有付交易费用，交易费用加至矿工账户。6.否则，将所有剩余的燃料归还给发送者，消耗掉的燃料作为交易费用发送给矿工。以太坊状态转移函数以太坊有Go语言、C++语言、Python语言的版本。以太坊实现版本Etherscan以太坊区块在线浏览以太坊的问题挖矿机制高耗能每秒10~20笔交易并发处理能力差完全公开隐私性交易费用小额交易成本高以太坊在不断的改进中，很多机制可能会改变。Part2智能合约智能合约的定义Smartcontractsarepiecesofcodethatliveontheblockchainandexecutecommandsexactlyhowtheweretoldto.智能合约就是存储在区块链上的代码，用以实现执行特定的功能。“智能合约”-根据事先任意制订的规则来自动转移数字资产的系统。业务人员开发人员智能合约使用步骤编译合约部署合约调用合约监听合约销毁合约创建合约编译合约备注：本节中的所有例子以在Go语言的客户端geth中的操作为例vargreeterSource='contractgreeterismortal{stringgreeting;…..returngreeting;}}'vargreeterCompiled=web3.eth.compile.solidity(greeterSource)contractgreeterismortal{//继承mortalstringgreeting;functiongreeter(string_greeting)public{greeting=_greeting;}functiongreet()constantreturns(string){returngreeting;}}智能合约helloword创建合约备注：本节中的所有例子以在Go语言的客户端geth中的操作为例vargreeterContract=web3.eth.contract(greeterCompiled[stdin:greeter].info.abiDefinition);abiDefinition是合约的接口说明老版本中是greeterCompiled.greeter.info.abiDefinition新版本（geth-1.5.9）中是greeterCompiled[stdin:greeter].info.abiDefinition部署合约vargreeter=greeterContract.new(_greeting,{from:eth.accounts[0],data:greeterCompiled[stdin:greeter].code,gas:1000000},function(e,contract){if(!e){if(!contract.address){console.log(Contracttransactionsend:TransactionHash:+contract.transactionHash+waitingtobemined...);}else{console.log(Contractmined!Address:+contract.address);console.log(contract);}}})部署合约的时候，需要支付费用，需要用户输入密码，先执行personal.unlockAccount(eth.accounts[0]);日志调用合约合约部署的Transaction被矿工挖矿之后，可以调用该合约。greeter.greet()合约部署的Transaction被矿工挖矿之后，可以查看该合约的地址。eth.getCode(greeter.address))其它的机器调用合约其它的机器上没有greeter对象，需要根据合约的地址和abiDefinition来创建，然后调用。vargreeter2=eth.contract([{constant:false,inputs:[],name:‘kill’,outputs:[],type:‘function’},{constant:true,inputs:[],name:‘greet’,outputs:[{name:‘’,type:‘string’}],type:‘function’},{inputs:[{name:‘_greeting’,type:‘string’}],type:'constructor'}]).at(‘0xcde7cfdf234dfa63ba4d7c273a’);greeter2.greet();监听合约合约部署后，可设置监听另一种调用方式销毁合约只有拥有者才能销毁合约msg存在于上下文中，不是参数中合约使用场景对冲合约、储蓄钱包、遗嘱等金融类场景在线投票、去中心化治理、域名注册非金融类场景ÐAPPS（去中心化的应用）上面已经有300多个ÐAPPSÐAPPS构建去中心化WEB3.0Solidity语言Part3数据类型DatalocationArraysStructs引用类型Mappingsmapping(_KeyType=_ValueType)不能遍历keys和valuesboolean,int/uint,byte,string,enumInt8~int256bytes1,bytes2,…bytes32function,fixedpointnumbers基本类型20个字节，主要方法：balance、transfer、send、call、delegatecall、callcodeaddress流程控制和函数支持大部分javascript的逻辑控制，包括if,else,while,do,for,break,continue,return,?:但是不支持switch和gotofunction函数名(参数)权限控制符returns(返回值，可以有多个)functionRegister(uintinitialPrice){price=initialPrice;}functionutterance()returns(bytes32){returnmiaow;}functiongetData()publicreturns(uint){returndata;}合约的结构合约与面向对象编程中的类非常相似。合约由变量、函数、函数修饰符、事件、struct结构体、枚举类型构成。合约也可以继承。函数的修饰符可见性：public,private,internal,external。其中public和private用于决定是否可以通过对象直接调用。internal和external用于决定是否其它的合约可以调用。另外constant关键词，可以用于修饰常量和常函数。事件Event——非常重要的功能以太坊通过Logs实现Events（事件）功能。日志内容是交易收据（TransactionReceipts）的一部分，整个日志内容，包括Receipts的其它内容会生成一个ReceiptsRoot存储在区块的头部。日志永远存在。通过设置一些过滤条件，来获取某些特定的事件。可以用于追溯合约的历史状态，设置检查点等。eventDeposit(addressindexed_from,bytes32indexed_id,uint_value);继承抽象合约接口contractFinalisBase2,Base1{}继承的关键字是is，支持多重继承。常用对象和操作编译器和开发环境IDE1、IntelliJIDEAplugin2、VisualStudioExtension等其他=soljson-v0.4.10+