打字猴:1.703869089e+09
1703869089
1703869090
1703869091 图10.8 在布莱切利园(Bletchley Park)博物馆重建的炸弹机(Bombe)
1703869092
1703869093 注:炸弹机是一个由阿兰·图灵(Alan Turing)设计的特殊功能的高级计算机,用于破解德国的英格玛(Enigma)密码。通用计算机取代类似炸弹机的精巧装备,以太币能否也能像这样取代特殊功能的另类币呢?
1703869094
1703869095 以太币(Ethereum)是一种雄心勃勃的另类币,致力于提供一种满足图灵计算要求的可编程语言,用这种语言可以编写脚本或者合约。虽然有其他方案可以做到这一点,但是以太坊无疑是最引人注目的:它使用了几个创新的技术,成功地完成了众筹,在几个月内筹资两千万美元,并且采用激进的参数,比如使用较短的产生区块的时间参数。以太坊系统本身很复杂,需要再编写一本新的教材才能完整阐述,本节只做简要讨论。
1703869096
1703869097 智能合约编程模式
1703869098
1703869099 智能合约最初是用来指使用计算机系统(或者其他自动化方式)来执行合约。例如,你可以把自动售货机看成一个销售商品的智能合约,执行的就是你和机器主人之间关于如何购买一个糖果的合约。
1703869100
1703869101 在以太坊体系,一个合约就是一个存在区块链里的程序。任何人支付一点费用,就可以用特定的操作将他的程序上传,建立一个以太坊合约。这个合约是用字节码(bytecode)写的,可以被特殊的以太坊专用虚拟机(Ethereum-specific Virtual Machine,简称EVM)执行。一旦合约上传,便永远存在在区块链里。智能合约有它自己的资金账户,其他用户可以调用程序里面开放的应用程序编程接口(API),合约可以收发款项。
1703869102
1703869103 一个简单的例子:以太坊中的域名币
1703869104
1703869105 我们说以太坊可以用来执行任何特定应用的另类币功能。举个简单的例子,我们可以展示使用一个简单的以太坊合约,来构建出域名币形式的功能。
1703869106
1703869107 图10.9 所示就是一个构建的案例。它是以“稳健”语言(Solidity)编写,“稳健”是以太坊里用于定义合约的高级编程语言。这个合约产生一个原始的域名/数值(name/value)储存配对或者注册名。名字永远连着数字。这个合约定义了一个数字变量——注册表(registryTable), 里面有32比特长字节和公开密钥的配对关系。初始时期,每个字节都对应着空地址0×0000000…000。这个合约同时定义了单一入口点,叫“用户名称”(claimName)。这个入口点只接受名字参数。首先,这个合约确认调用这个合约的人已经支付了至少10个wei。wei是在以太坊里最小的货币单位。如果没有支付10wei, 合约自动终止并发出错误信号(“throw”的编程命令就做这些)。如果足够的wei已经发出而且这个名字还没有被注册,那么这个名字就和调用的地址永久地联系在一起。
1703869108
1703869109
1703869110
1703869111
1703869112 图10.9 一个用于实现域名注册功能的简单以太坊智能合约
1703869113
1703869114 以上就是这个8行代码的合约能做的事。我们还可以多花点时间,把其他域名币有的功能都在这个合约里实现。比如,可以存储拥有者地址以外的信息,通过存储上次更新时间来要求域名的主人定期地重新注册,并且允许其他用户拥有长期不更新的域名权。
1703869115
1703869116 我们还可以加第二个功能,允许钱回撤。按照初始的代码设计,钱只能不断堆积在合约里,也就意味着从流通中消失。当然,在可以回撤钱的程序里,最好能设定,调用回撤的是合约的主人。任何人在以太坊都可以调用任何方程,但是用户是指定的,所以能确认谁是真正调用方程的人。
1703869117
1703869118 燃料、激励和安全
1703869119
1703869120 和比特币不一样的是,以太坊支持循环语句,虽然第一个例子里并不需要循环。循环语句一听就容易让人产生警觉,因为有循环的地方就会有无限死循环。从根本上说,以太坊合约有可能因为种种原因而无限循环。计算机领域里一个著名的研究结果(难以判断的终止问题)证明,不存在任何算法,可以根据源代码去判断一个程序是否可以无限运行下去。因此,我们如何防止合约无限运行下去呢?
1703869121
1703869122 更进一步讲,即使条约不会无限运行,也需要某种方式来限制它不会运行太久。以太坊体系通过一种称作“燃料费用”的机制来实现这一点。简单地说,每执行一条虚拟机器的指令需要花费一小部分的成本费用,我们称之为“燃料费用”。不同的操作花费不同。基本的像加减操作只花费1单位燃料费用,而计算SHA-3哈希值(内置函数)需要20单位燃料费用,在永久存储器上写256比特长的字符需要100单位燃料费用。每笔交易也需要先支付21 000单位燃料费用。你可以把以太坊体系想象成超级折扣的航空公司。机票只是你支付乘飞机的费用,任何其他需求都要多付钱。完整操作清单和固定的燃料费用都可以从以太坊里找到。任何清单和费用的变动都需要以太坊产生一个硬分叉,这和比特币脚本语言的语义改变一样。
1703869123
1703869124 燃料费用是通过以太坊体系内部被称为以太(ether)的货币来支付的。它只是在用来支付合约操作的时候才叫燃料费用。每笔交易都规定了燃料的价格,也就是说,每份燃料需要多少以太。燃料费用就像比特币的交易费,矿工可以自由公布交易的燃料费用,每个矿工都可以独立地决定收费方式。这样会得出一个反映市场供求关系的燃料市场价格。2016年年初,虽然以太坊网络体系还是属于实验阶段,市场已经默认50 gigawei为1单位价格。50gigawei等于5×10-8以太,根据以太币和比特币2016年1月的汇兑比例,这也就是大约3×10-10比特币。
1703869125
1703869126 每次调用之前,必须设定燃料费用的最高限,也就是愿意支付价格的最大值。当达到这个值(燃料用完了),程序就会终止,发生的所有程序状态的变化就会被重新设置到原始状态,但是矿工还是保留燃料。由此可见,不要用完燃料,这一点非常重要。
1703869127
1703869128 燃料的使用要求,意味着以太坊不适合很耗费资源的计算。以太坊系统未被设计成像云计算那样的服务,即支付一定的费用让云服务完成自己无法做到的计算。像亚马逊的弹性计算云或者微软云计算平台,提供划算百万倍的计算量。另一方面,以太坊更加适合创建安全逻辑协议。本质上来说,以太坊提供了一种两个或者多个匿名交易者可以信赖的服务系统。
1703869129
1703869130 以太坊上区块链的安全还没有像比特币一样完善。理论上,以太坊比较复杂,也比较难以用数学推理来论证。实际上,以太坊才刚刚开始发展,其安全性还没有像比特币一样经过很多考验。尤其是,担心处理交易的成本会让类似比特币的激励机制失效,我们在共同挖矿的分析中讨论过存在这种担心的情况。当交易成本占矿工的总成本的比重不再能忽略不计的时候,大的矿工有明显优势,因为成本和哈希算力相互独立。更重要的是,燃料只支付给最初包括该交易的区块的挖工。但是所有的在这之上建立区块的矿工都必须验证该区块,却得不到任何报酬。这意味着,他们将有动力去跳过该验证。正如之前所看到的,这种情况不利于区块链体系的健康发展。
1703869131
1703869132 第二个例子:以太坊体系中的国际象棋
1703869133
1703869134 我们还没涉及以太坊中新功能如何运用,所以让我们看第二个案例。假设爱丽丝和鲍勃下国际象棋,赌注是一定数额的金钱。唯一的问题是爱丽丝和鲍勃生活在不同的国家,他们都不相信对方输了会支付赌注。这个问题可以用以太坊来解决。
1703869135
1703869136 爱丽丝写下以太坊程序,这个程序设定了国际象棋的规则并且被上传到以太坊网络。她给这个合约支付一定数量的以太作为赌注。鲍勃可以看到这个合约,如果他答应接受挑战,他把他的赌注支付给这个合约,就等于开始了这个游戏。鲍勃在接受挑战之前应该确认,这个合约是准确无误地遵守了国际象棋的规则,并且最后会把所有赌注支付给获胜者。
1703869137
1703869138 一旦双方都支付了赌注,假设他们约定下同样的赌注,合约会检查双方的赌注是否相等。这时候,游戏就开始了。任何一方除非赢了游戏,否则无法从合约里取出钱来。其他人在任何情况下也无法取得这笔钱。
[ 上一页 ]  [ :1.703869089e+09 ]  [ 下一页 ]