以太坊原理
以太坊通过建立终极的抽象的基础层-内置有图灵完备编程语言的区块链-使得任何人都能够创建合约和去中心化应用,并在其中设立他们自由定义的所有权规则、交易方式和状态转换函数。
图灵完备:能够运行非常复杂的运算,最简单的理解是它支持循环的操作,而比特币的验证是不支持循环的。
以太坊虚拟机(EVM)是以太坊中智能合约的运行环境。它不仅被沙箱封装起来,事实上它被完全隔离,也就是说运行在EVM内部的代码不能接触到网络、文件系统或者其它进程。甚至智能合约与其它智能合约只有有限的接触。
对比比特币
外部账户:可用私钥控制的
合约账户:一旦创建,只能是合约里面的代码控制,不能人为控制,但可以人为触发
有向无环图DAG ( Directed Acyclic Graph)
因为以太坊是12s出一个块,所以在12s内可能出现上图的状况,其实在实际情况中,高度2的两个块后面可能还有很多其他块,我们选择最长的当做主链,如果是比特币的话,未做主链的块不会得到任何奖励,如下图
而以太坊的话,会给未做主链的块适当奖励,如下图
状态转移
以太坊区块链
临时分叉
区块头
ommerHash:包含叔区块的Hash
beneficiary:挖洞矿后奖励的存放地址
logsBloom:日志过滤器
number:交易数量
gasLimit:要运行以太坊付出的花费限制
gasUsed:运行以太坊的花费
mixHash:和nonce结合起来做挖矿运算
stateRoot:账户所有信息会生成一个Merkle patricia tree,把树根存储在其中
transactionsRoot:所有的transaction形成Merkle patricia tree,把树根存储集中
receiptsRoot:为每一个transaction做了一个收据,把收据集合起来形成Merkle patricia tree
以太坊账户
包含四个部分:
- 序号,用于确定每笔交易只能被处理一次的计数器,参与生成交易的id
- 账户目前的以太币余额,以太币(Ether)是以太坊内部的主要加密燃料,用于支付交易费用。 以太币的最小单位为Wei, 最大单位为以太,1 Ether=10^18Wei
- 账户的合约代码,如果有的话
- 账户的存储(32byte to 32byte key-value map)
账户信息被称为world state,放在db上管理
外部账户:用户用公钥、私钥控制
合约账户:由合约编译后的code控制
tips:外部账户和内部账户,是在相同的地址空间,相同的数据结构有不同的功能
重放攻击
Gas
什么是Gas(气)?
由以太坊网络上的交易而产生的每一次计算,都会产生费用,这个费用是以称之为”gas”的来支付,gas就是用来衡量在一个具体计算中要求的费用单位,智能合约最原子运算所需花费的单位。
例如 :一个位移运算需要1气,一个相加运算需要3气;
gasPrice
1气和以太币(wei)的兑换价格
一次Transaction的所有花费
Total_fee= value (转移给对方账户的以太币数量)
- transaction fee
- gas* gasPrice (执行智能合约的花费,此为上限,以实际执行步数为准,gasReal*gasPrice)
Gas Limit
允许的最大花费:以太坊中有循环操作和一些其他复杂的操作,限制最大花费。
image
交易
智能合约(Smart contract)
- 智能合约概念于1995年由Nick Szabo首次提出。
- 是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转。
- 智能合约的目的是提供优于传统合约的安全方法,并减少与合约相关的其他交易成本。
- 一个智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。
智能合约的定义
“智能合约”- 根据事先任意制订的规则来自动转移数字资产的系统。
Smart contracts are pieces of code that live on the blockchain
and execute commands exactly how the were told to.
智能合约就是存储在区块链上的代码,用以实现执行特定的功能。
例子:
if HAS_EVENT_X_HAPPENED() is true: send(party_A,10000)else: send(party_B,10000)
一个运行在安全环境下的计算机程序,可以直接控制数字资产.
安全环境:
- 由可信的人,组织运行的服务器(公有云).
- 准去中心化的计算机网络(私有链).
- 去中性化的计算机网络(公有链).
法律合约:”我承诺如果X发生的话,则给你发送10000元”.
智能合约:”我将10000元发送给一个计算机程序,如果X发生了,这个程序会把10000元发送给你,否则将返还给我”.
tips:法律合约可能会出现耍赖的情况
一个运行在安全环境下的计算机程序,可以直接控制数字资产.
- 域名
- 房地产权
- 证券
- 票据
- 专利许可证
- 游戏装备
- 数字货币…
为什么要用智能合约:
- 自动处理
- 减少依靠信任的程度。信任依赖集中在数量很少的数据源,而不是大量的合约执行机制。
智能合约 VS 法律合约
法律合约 | 智能合约 |
---|---|
适合主观性佳(如需人类的判断)的请求 | 适合于客观性佳(可用数学去衡量价值) |
高成本 | 低成本 |
事后执行 | 事前预防 |
依赖于处罚 | 依赖于抵押品或者保证金 |
受限于具体的地理范围 | 全球性的 |