首先非常感謝imToken錢包的郭輝同志苦酱，第一時間將國外對以太坊大都會升級的詳細(xì)解答翻譯成可讀通順的中文資料！

譯者注：隨著以太坊第三階段 Metropolis 臨近（區(qū)塊高度4370000）禁灼，imToken 用戶非常關(guān)注此次硬分叉將帶來的影響。簡短說明一下：imToken 會處理好所有節(jié)點升級和硬分叉帶來的變化，用戶無需任何操作导绷，本次分叉也沒有預(yù)期會產(chǎn)生新的幣種。為讓大家更好理解 Metropolis 技術(shù)升級的細(xì)節(jié)屎飘，翻譯此文妥曲，歡迎指正。-- by imToken 郭輝
作為以太坊的里程碑事件钦购，大都會終于要來到我們身邊了檐盟。以太坊開發(fā)團(tuán)隊計劃于9月18日在測試網(wǎng)絡(luò)上測試"大都會"（Metropolis），測試至少3周時間押桃。如果測試正常葵萎，"大都會"將被部署在主網(wǎng)絡(luò)。所以唱凯，升級到"大都會"階段的最早時間是10月9日（譯者注：實際部署時間已經(jīng)推遲）羡忘。所以，問題來了:

• 什么是"大都會"磕昼？
• "大都會"會給以太網(wǎng)絡(luò)帶來什么新的特性卷雕？
• "大都會"后會分叉產(chǎn)生新的 Ethereum？
• 以太幣的價格會上漲嗎票从？

這些問題在本指南都可以找到答案漫雕。
( 一 ) 何謂"大都會"之以太坊的四大階段
這不是以太坊第一次升級滨嘱，也不會是最后一次。以太坊不僅僅被設(shè)計為一種貨幣模式浸间，更是一個去中心化的應(yīng)用平臺太雨。在最終達(dá)到這個目標(biāo)之前，它需要經(jīng)歷不同的增長階段魁蒜，在每一個階段囊扳，以太坊都會引入不同的特性來使得系統(tǒng)變得更加穩(wěn)定和強(qiáng)大。
以太坊的完整發(fā)展路線分為四個階段梅惯，即"前沿"（Frontier）宪拥、"家園"（Homestead）、"大都會"（Metropolis）和"寧靜"（Serenity）铣减。"大都會"是以太坊發(fā)展的四個階段里面的第三個她君，隨著它的到來，以太坊將會增加許多有趣的特性葫哗，下面介紹一些會對以太坊造成重大影響的特性缔刹，即：
zk-SNARKs
PoS（Proof of Stake , 即權(quán)益證明）早期實施
智能合約的靈活性和穩(wěn)定性
抽象賬戶

( 二 ) "大都會"之四大特性

特性1：zk-SNARKs

"大都會"最大和最重要的特性就是執(zhí)行 zk-SNARKs，zk-SNARKs 全稱 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge劣针，即"簡明非交互零知識證明"校镐。zk-SNARKs 基于"零知識證明"（zero knowledge proof，即ZKP）捺典。
何謂"零知識證明"鸟廓？
"零知識證明"是由 S.Goldwasser、S.Micali 及 C.Rackoff 在 20 世紀(jì) 80 年代初提出的襟己。它指的是證明者能夠在不向驗證者提供任何有用的信息的情況下引谜，使驗證者相信某個論斷是正確的。"零知識證明"實質(zhì)上是一種涉及兩方或更多方的協(xié)議擎浴，即兩方或更多方完成一項任務(wù)所需采取的一系列步驟员咽。證明者向驗證者證明并使其相信自己知道或擁有某一消息，但證明過程不能向驗證者泄漏任何關(guān)于被證明消息的信息贮预。大量事實證明贝室，"零知識證明"在密碼學(xué)中非常有用。如果能夠?qū)?零知識證明"用于驗證仿吞，將可以有效解決許多問題滑频。
"零知識證明"能夠成立必須具備以下三個要素：
完整性：如果聲明為真，那么一個誠實的驗證者可以被誠實的證明者相信茫藏；
可靠性：如果聲明為假误趴，不排除有一定概率欺騙者可以說服誠實的驗證者它是真的；
零知識：如果聲明為真务傲，那么驗證者在證明過程中并不知道任何關(guān)于聲明的消息凉当；

"零知識證明"并不是數(shù)學(xué)意義上的證明，因為它存在小概率的誤差售葡，欺騙者有可能通過虛假陳述騙過證明者看杭。換句話來說，"零知識證明"是概率證明而不是確定性證明挟伙。但是也存在有技術(shù)能將誤差降低到可以忽略的值楼雹。
零知識的形式定義必須使用一些計算模型，最常見的是圖靈機(jī)的計算模型尖阔。
下面舉兩個例子說明零知識證明：
1）假設(shè)有一個房間只能用鑰匙打開鎖贮缅，其他任何方法都打不開。Alice 要向 Bob 證明自己擁有這個房間的鑰匙介却，這時有2個方法：
① Alice 把鑰匙出示給 Bob谴供，Bob 用這把鑰匙打開該房間的鎖，從而證明 Alice 擁有該房間的正確的鑰匙
② Bob 確定該房間內(nèi)有某一物體齿坷，Alice 用自己擁有的鑰匙打開該房間的門桂肌，然后把物體拿出來出示給 Bob，從而證明自己確實擁有該房間的鑰匙
后面的 ② 方法屬于零知識證明永淌。好處在于在整個證明的過程中崎场，Bob 始終不能看到鑰匙的樣子，從而避免了鑰匙的泄露遂蛀。
2）這是一個很經(jīng)典的例子：有一個缺口的環(huán)形長廊 谭跨，出口和入口距離非常近（在目距之內(nèi)），但走廊中間某處有一道只能用鑰匙打開的門李滴，Alice 要向 Bob 證明自己擁有該門的鑰匙螃宙。采用零知識證明，則 Bob 看著 Alice 從入口進(jìn)入走廊悬嗓，然后又從出口走出走廊污呼，這時Bob沒有得到任何關(guān)于這個鑰匙的信息，但是完全可以證明Alice擁有鑰匙包竹。

特性2：PoS（Proof of Stake,即權(quán)益證明）早期實施

這一部分我們將會詳細(xì)闡述吵得沸沸揚(yáng)揚(yáng)的 PoS 協(xié)議遵蚜，并和 PoW （Proof of Work，工作量證明）作比較奈惑。
PoS vs PoW
PoW：包括 ETH 和 BTC 在內(nèi)的絕大多數(shù)主流加密貨幣采用的就是這種協(xié)議吭净，PoW 需要礦工（或者節(jié)點）不斷消耗算力進(jìn)行哈希計算，以找到期望的隨機(jī)數(shù)肴甸，這就意味著系統(tǒng)需要消耗大量的算力和電力寂殉。
PoS：在這個系統(tǒng)里，我們有驗證者而不是礦工原在，它的原理是友扰，作為驗證節(jié)點，首先你必須擁有一定數(shù)量的以太幣庶柿，根據(jù)以太幣的數(shù)量和時間會產(chǎn)生用于下注驗證區(qū)塊的權(quán)益村怪。只有擁有權(quán)益的節(jié)點才能有效驗證區(qū)塊，當(dāng)你驗證的區(qū)塊被打包進(jìn)鏈浮庐，你將獲得和你權(quán)益成正比的區(qū)塊獎勵甚负。如果你驗證惡意或錯誤的區(qū)塊，那么你所下注的權(quán)益將被扣除审残。
為了實施 PoS梭域，以太坊將采用 Casper 的共識算法，一開始搅轿，它將是一個 PoW 和 PoS 共存的系統(tǒng)病涨，區(qū)塊的絕大多數(shù)交易還是采用 PoW 協(xié)議，每100個區(qū)塊有一個采用 PoS 協(xié)議挖出璧坟，這樣做的目的就是為在以太坊平臺上創(chuàng)建了一個真實的測試環(huán)境既穆，但是這種協(xié)議究竟能給以太坊帶來什么好處呢？讓我們慢慢道來：
降低系統(tǒng)的整體能源成本：全世界的比特幣礦工每小時耗資約5萬美元沸柔，一年耗資約4.5億美元循衰！通過使用 PoS 協(xié)議，你可以將整個過程虛擬化褐澎，大幅減少成本会钝；
無 ASIC 優(yōu)勢：由于整個過程是虛擬的，它將不再依賴誰有更好的設(shè)備或者 ASICs 。
51% 攻擊變得更困難：PoW 協(xié)議存在算力集中問題迁酸，51% 攻擊風(fēng)險很大先鱼，PoS 則讓這一攻擊變得更加困難；
無惡意驗證者：任何驗證者都需要將其權(quán)益鎖定在區(qū)塊鏈中奸鬓，將確保他們不會向鏈中添加任何惡意或錯誤的塊焙畔，因為這意味著所有權(quán)益將被扣除；
創(chuàng)建區(qū)塊：出塊和整個進(jìn)程都會更快（后面會詳細(xì)介紹）串远；
可拓展性：通過引入"分片"概念宏多，讓區(qū)塊鏈變得可拓展；

雖然之前有過各種各樣的簡單的 PoS 協(xié)議部署過澡罚，但是真正讓 Casper 共識算法從中脫穎而出的是它能激勵誠實的礦工并且懲罰不誠實的礦工伸但，如果你試圖去驗證惡意的區(qū)塊，那不好意思留搔，你所有的權(quán)益將被扣除更胖，它會狠狠地懲罰任何不遵守游戲規(guī)則的人。
Vitalik 是這樣解釋的：
想象現(xiàn)在有 100 個人圍著圓桌隔显，其中有一個人拿著很多張紙却妨，每張紙記錄著很多筆歷史交易信息。第一個人拿起筆簽完后遞給第二個人括眠，第二個人也做出了相同的選擇彪标，如果大多數(shù)人做出了相同的選擇，即都簽署了同一張紙那么每一個參與者會獲得1美元哺窄，當(dāng)你做出和絕大多數(shù)人不同的選擇時捐下，那么你的房子就會著火！
然后他補(bǔ)充道萌业，這可能是一個比較正確的激勵措施去保證大家都能簽署正確的紙張坷襟！那么：
什么是時間 "難度炸彈"？
如何激勵礦工從 PoW 轉(zhuǎn)向 PoS生年？

礦工花費(fèi)了大量的金錢購買設(shè)備用于挖礦婴程，然而隨著 PoS 的到來，大量的設(shè)備變得一文不值抱婉；想象一下档叔，花費(fèi)大量金錢搭建的超級復(fù)雜的礦池突然變得毫無用處！
如果真的不能阻止礦工停留在 PoW 上繼續(xù)挖礦蒸绩，那將會創(chuàng)建三種以太坊幣：ETC衙四、ETH-PoW、ETH-PoS患亿，這對以太坊絕對是個噩夢传蹈！因為那不僅會降低以太坊的可信度和經(jīng)濟(jì)價值押逼，還會稀釋整個系統(tǒng)的哈希值比例，使得它更容易被黑客攻擊惦界！
為了確保以太坊的礦工能加入到新鏈條中來挑格，開發(fā)團(tuán)隊引入了"難度炸彈"機(jī)制。"難度炸彈" 是在2015年9月7日推出的沾歪，想要了解"難度炸彈"是如何工作的漂彤，首先我們需要了解什么是 "難度" 和挖礦。
什么是 "難度" 以及它是如何工作的灾搏？
"難度" 這一概念起源于比特幣挫望，比特幣在最初的時候，由于挖礦的人比較少确镊，挖礦顯得比較簡單士骤，任何人只要使用他們的電腦都可以從事挖礦活動。隨著比特幣越來越受歡迎蕾域，礦工的數(shù)量也越來越多，為了防止過早的把所有的比特幣都挖完到旦，中本聰在比特幣中一開始就引入了難度系統(tǒng)旨巷。
難度系統(tǒng)的工作原理大致如下：礦工們使用他們的電腦算力進(jìn)行解密，解密的過程就是隨機(jī)地往已經(jīng)進(jìn)行過哈希運(yùn)算的區(qū)塊上添加一個隨機(jī)字符串（也叫隨機(jī)數(shù)）添忘，然后對整個字符串再進(jìn)行一次哈希運(yùn)算采呐。如果結(jié)果數(shù)小于某個特定的數(shù)值，則認(rèn)為解密正確搁骑，并且會將這個新的區(qū)塊添加到鏈上斧吐。然而找到這個隨機(jī)數(shù)通常是及其困難和隨機(jī)的，這正是挖礦的核心所在仲器。
這一過程也可以簡明扼要的總結(jié)如下：
獲取新塊內(nèi)容的哈希值
將隨機(jī)字符串添加到區(qū)塊上
對新的字符串再次哈希運(yùn)算
然后將最終的哈希與難度系數(shù)進(jìn)行比較煤率，是否小于等于難度系數(shù)。
如果不是乏冀，則改變隨機(jī)數(shù)重新進(jìn)行運(yùn)算
如果是蝶糯，則將新的區(qū)塊添加到鏈上并對全網(wǎng)進(jìn)行廣播
相應(yīng)的礦工將獲得新區(qū)塊的獎勵

比特幣的難度每2016個區(qū)塊調(diào)整一次，難度系數(shù)與出塊的速度成正比辆沦，比特幣每10分鐘產(chǎn)生一個新的區(qū)塊昼捍。如果出塊時間低于10分鐘，則難度系數(shù)增加肢扯；否則難度系數(shù)減少妒茬，比特幣就是通過調(diào)整難度系數(shù)來保證出塊的時間能始終保持在10分鐘左右。
以上就是比特幣挖礦的工作機(jī)制蔚晨，以太坊也采用了相同的協(xié)議乍钻。
那么以太坊的"難度炸彈"又將如何呢？
難度炸彈將會使難度系數(shù)呈指數(shù)增加以至于讓挖礦變得幾乎不可能。就像我們之前說的团赁，難度系數(shù)會根據(jù)出塊的速度進(jìn)行調(diào)整育拨，以太坊的難度調(diào)整算法如下：

block_diff = parent_diff + parent_diff // 2048 * max(1 – (block_timestamp – parent_timestamp) // 10, -99) + int(2**((block.number // 100000) – 2))
(In here “//” is the division operator such that 6//2 = 3 and 9//2 = 4.)

下面讓我們用更直白的方式來講清楚上面兩行代碼的意思：
block_timestamp： 最新一個區(qū)塊出塊時刻；
parent_timestamp：上一個區(qū)塊出塊時刻欢摄；
如果 (block_timestamp - parent_timestamp) <10秒熬丧，那么難度系數(shù)會增加“parent_diff // 2048 * 1”
如果 (block_timestamp - parent_timestamp) 在10-19秒之間，則難度系數(shù)保持不變怀挠。
如果 (block_timestamp - parent_timestamp) > 20秒析蝴，則將“parent_diff // 2048 * -1”的難度降低到最大值“parent_diff // 2048 * -99”塔沃。

這就是以太坊在"家園"（Homestead）階段的難度調(diào)整算法妹萨，它最終的結(jié)果就是使出塊時間始終穩(wěn)定在15秒。而"難度炸彈"在于它會使難度系數(shù)呈指數(shù)增加模蜡，從而出塊的時間也會顯著增加吞滞，直到最后幾乎挖不出區(qū)塊佑菩，我們把這一狀態(tài)稱為“以太坊冰河期”（Ethereum Ice Age），到那時裁赠，礦工除了轉(zhuǎn)向新的 PoS 協(xié)議將別無選擇殿漠。

難度炸彈會在“大都會”時期引爆嗎？
難度炸彈原本計劃在2017年年底引爆佩捞，現(xiàn)在看來似乎比原計劃推遲了一年半绞幌，然而，隨著大都會的到來一忱，開發(fā)團(tuán)隊將通過其它兩個措施使其平穩(wěn)過渡到 PoS莲蜘。即：
部署之前提到的 Casper 算法，每100個區(qū)塊將有一個采用 PoS 協(xié)議挖出
每個區(qū)塊的獎勵由之前的5個 ETH 減少為3個

所有的這些措施都是為了在以太坊的最后一個階段"寧靜"（Serenity）到來之前所有的節(jié)點都能部署好 PoS 協(xié)議并且消除之前遇到的問題帘营。

特性3：智能合約的靈活性和穩(wěn)定性

可以毫不夸張地說票渠，智能合約就是以太坊的命脈。
智能合約是如何在以太坊中被執(zhí)行的呢仪吧？可以用一個簡單的例子來說明庄新，假設(shè) Alice 和 Bob 在沒有任何第三方干預(yù)的情況下完成某個交易或功能，Alice 要 Bob 完成一個任務(wù)薯鼠，Bob 收取一個 ETH 择诈，Alice 將一個 ETH 放在盒子里，如果 Bob 執(zhí)行任務(wù)出皇，那么盒子里的 1 個 ETH 會自動到 Bob 的賬戶羞芍，否則，那 1 個 ETH 自動返回到Alice的賬戶郊艘。在這個例子中荷科，盒子就像智能合約唯咬，雖然這個例子比較粗略，但它仍然能幫你了解智能合約是如何工作的畏浆。
那么以太坊給智能合約帶來了什么創(chuàng)新能使它變得更好呢胆胰？

智能合約如何在以太坊中發(fā)揮作用？
假設(shè) Alice 讓 Bob 執(zhí)行一個智能合約刻获，該合約中的每個功能需要 Bob 使用某些計算能力蜀涨。這種計算能力被稱為 "gas" ,支付這種算力的錢叫做 "ETH"。通常比特幣中為所有的交易支付相同的費(fèi)用蝎毡，但以太坊能為每個智能合約設(shè)置所花費(fèi)的算力(即 "gas" )厚柳。每個智能合約都有自己 "gas" 的限制值，這個限制值由合約創(chuàng)建者設(shè)置沐兵，顯然别垮，這會導(dǎo)致兩種情況發(fā)生：
所需要的 "gas" 大于限制值：如果是這種情況，合約執(zhí)行狀態(tài)將會回滾到之前的狀態(tài)扎谎，同時 "gas" 將會全部消耗掉碳想。
所需要的 "gas" 小于限制值：如果是這種情況，合約成功執(zhí)行簿透，同時剩余 "gas" 將會返回給合約創(chuàng)建者移袍。

如果有人想在合約執(zhí)行期間返回到較早的狀態(tài)，需要手動觸發(fā)異常老充。例如，如果有人想阻止某筆交易螟左，那么他為此不得不付出雙倍代價啡浊。為了將合約回滾到之前的狀態(tài)，開發(fā)人員可以使用 "throw" 功能胶背，雖然 "throw" 功能確實有助于合約狀態(tài)回滾巷嚣，但同時也會耗盡合約中所有的 "gas" 。
為了解決這個問題钳吟，"大都會" 正在加強(qiáng) "revert" 功能廷粒，它能使合約恢復(fù)到之前的狀態(tài)而不用耗光所有的 "gas" ，合約中未使用的 "gas" 將會退還給合約創(chuàng)建者红且。伴隨著 "revert" 功能坝茎，"大都會" 正在通過引入 "returndata" 指令讓合約能恢復(fù)到一個任意可變大小 "gas" 的狀態(tài)。

特性4：抽象賬戶

在我們正式了解什么是抽象賬戶之前暇番，讓我們首先來了解一下什么是"抽象"嗤放。"抽象"的意思是任何人都可以使用某個系統(tǒng)或者協(xié)議而不必完全了解它內(nèi)部或外部的技術(shù)細(xì)節(jié)。例如當(dāng)你使用你的 iPhone 時壁酬，你不需要是一名程序員或者工程師次酌，你只需要按壓或者滑動屏幕就能使用 APP 或者打電話恨课。你也不需要知道這些 APP 是如何激活 iPhone 內(nèi)部的電路的≡婪總而言之剂公，"抽象"能夠極大降低普通民眾使用復(fù)雜技術(shù)的門檻。正因為如此吊宋，"抽象"才成為以太坊未來要實現(xiàn)的一部分纲辽，想象一下，在一個去中心化的未來贫母，每一個人都在使用 DApps,他們甚至察覺不到這些 DApps 是基于以太坊的文兑，"大都會" 正在通過引入 "抽象賬戶" 向?qū)崿F(xiàn)這一宏偉目標(biāo)邁出了重要的一步。
眾所周知腺劣，現(xiàn)在的以太坊有兩類賬戶绿贞，即外部賬戶和合約賬戶。外部賬戶由私鑰控制橘原，合約賬戶由創(chuàng)建者編寫的代碼控制籍铁。以太坊正在試圖模糊二者的界限，即你可以同時擁有合約賬戶和外部賬戶趾断，這種做法本質(zhì)上就是讓用戶按照合約賬戶的格式來定義外部賬戶拒名。一旦這樣做，代碼支持密鑰將用戶特殊的標(biāo)識加入到交易中芋酌，可是這又有什么用呢增显？因為你可能會說隨著量子計算機(jī)的發(fā)展，它會讓加密貨幣變得不那么安全脐帝，假設(shè)你想保存一筆被量子計算機(jī)攻擊過的交易同云，那又該怎么辦呢？隨著"抽象賬戶"的實施堵腹，你可以使用簽名機(jī)制就像哈希梯子一樣來定義你的賬戶炸站，這樣你的賬戶就會具備量子級別的安全性，同時你的賬戶也會完全變成可定制化, 就像智能合約一樣疚顷。
( 三 ) 大都會之番外篇
什么是"拜占庭"和"君士坦丁堡"旱易？
熟悉以太坊的朋友對"拜占庭"和"君士坦丁堡"應(yīng)該都不會陌生，那么這兩個術(shù)語究竟是什么意思呢腿堤？"大都會"為以太坊帶來了大量重要的特性阀坏，不可能一次性引入這么多特性，畢竟開發(fā)人員精力也有限释液，這就是為什么以太坊要通過兩個階段發(fā)布"大都會"并且這兩個階段都會硬分叉全释，而這兩個階段就是"拜占庭"和"君士坦丁堡"。
經(jīng)過幾次推遲以后误债，"拜占庭"將在第4370000區(qū)塊左右硬分叉浸船。
"拜占庭"將會引入大量新特性妄迁，主要包括前面講的：
zk-SNARKs
"revert"功能和"returndata"
抽象賬戶

"君士坦丁堡"具體什么時候部署還不太清楚，但是應(yīng)該會在2018年部署李命。它主要的特性就是平滑處理掉所有由于"拜占庭"所引發(fā)的問題登淘，并引入 PoW 和 PoS 的混合鏈模式。

以太坊將會再次硬分叉封字？會產(chǎn)生第三種以太幣嗎黔州？
由于之前發(fā)生的 ETH-ETC、BTC-BCC 硬分叉阔籽，人們開始想當(dāng)然的認(rèn)為所有的硬分叉都必然會導(dǎo)致鏈條分裂流妻，事實上根本不是這樣。
之前硬分叉導(dǎo)致鏈條分裂的主要原因是提出的修改方案在社區(qū)有很大的爭議笆制，不是所有人都同意绅这。然而，"大都會"的這次升級已經(jīng)在社區(qū)一致同意過了在辆，大家都知道這終將到來证薇，這次硬分叉是升級的結(jié)果，不是緊急情況下的臨時處理辦法匆篓。這就是為什么不會有任何社區(qū)分裂浑度，不會有新的以太幣⊙桓牛可能存在的爭論焦點就是 PoS 的實施箩张，當(dāng)然，爭論也沒用窗市，礦工不會因為留在舊鏈上而獲得更多的收益伏钠，相反，就像前面所說的那樣谨设，"難度炸彈"的引爆將會使挖礦變得幾乎不太可能。

以太坊"大都會"結(jié)論：現(xiàn)在正在發(fā)生什么缎浇？
那么以太幣的價格會上漲嗎扎拣？我們不知道，我們不是投資顧問素跺，投資任何一個虛擬貨幣之前二蓝，你都需要自己去做一定的研究。拜占庭給以太坊帶來如此多的改變指厌，很興奮它最終會變成怎樣刊愚。zk-SNARKs 的執(zhí)行也是一項勇敢的改變。當(dāng)然踩验，"君士坦丁堡"和它的 PoS 將會成為密碼世界里每個人都會關(guān)注的事情鸥诽。即將到來的一年在以太坊去中心化的道路上絕對是革命性的商玫！

參考：https://blockgeeks.com/guides/ethereum-metropolis/