以太坊原理

以太坊通过建立终极的抽象的基础层-内置有图灵完备编程语言的区块链-使得任何人都能够创建合约和去中心化应用,并在其中设立他们自由定义的所有权规则、交易方式和状态转换函数。

图灵完备:能够运行非常复杂的运算,最简单的理解是它支持循环的操作,而比特币的验证是不支持循环的。

以太坊虚拟机(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 法律合约

法律合约智能合约
适合主观性佳(如需人类的判断)的请求适合于客观性佳(可用数学去衡量价值)
高成本低成本
事后执行事前预防
依赖于处罚依赖于抵押品或者保证金
受限于具体的地理范围全球性的