本文是筆者之前博文的整合：

• 初識 Plasma
• Plasma —— 以太坊擴容新方案
• 區(qū)塊鏈性能提升——鏈上設(shè)計之道

相關(guān)論文

• Plasma: Scalable Autonomous Smart Contracts
• The Road to Scalable Blockchain Designs

擴容背景

Scalable Blockchain

擴容背景

盡管建立在信息開放和自由的理想之上，互聯(lián)網(wǎng)已經(jīng)變得越來越中心化：只有少數(shù)大公司可以控制誰可以訪問信息。 為了抵消這一趨勢伤疙，一些建議被提出爷辱，以便信息存儲和處理不集中在任何單一實體中。由于區(qū)塊鏈的固有缺陷烈评，比特幣系統(tǒng)已經(jīng)變得越來越中心化，并且越來越低效。 為了解決這個問題运杭，大量替代解決方案被提了出來：

• Off-chain（鏈外）解決方案允許小型和頻繁的交易發(fā)生在與主鏈并行并由主鏈背書的側(cè)鏈實例上。
• On-chain（鏈上）解決方案直接修改區(qū)塊鏈設(shè)計以支持高性能函卒。

常見方案

而解決低吞吐量的問題辆憔，目前有幾種比較流行的解決方案：

• 增加區(qū)塊的大小可以提高一定的吞吐量，但會有很大的限制——計算性能和帶寬的限制报嵌，會導(dǎo)致整個網(wǎng)絡(luò)在廣播的時候效率非常低下虱咧。
• 鏈下交易需要提前支付一些數(shù)字貨幣作為押金，之后通過線下手段來跟其他人進行支付锚国，最后把結(jié)算放在鏈上腕巡。但鏈下交易缺乏對線下節(jié)點的有效監(jiān)督，中心化的優(yōu)勢減少了血筑。
• 代理人共識協(xié)議通過權(quán)益證明或者官方驗證绘沉，選出若干代理人煎楣。之后通過某種協(xié)議，形成一個共識车伞，產(chǎn)生區(qū)塊廣播給整個網(wǎng)絡(luò)择懂。問題是代理人是否能夠公正的代表大多數(shù)人的利益。

區(qū)塊鏈性能

有兩個測量指標(biāo)與區(qū)塊鏈擴展性直接相關(guān)：交易吞吐量（區(qū)塊鏈可以處理交易的最大速率）和延遲（確認交易已包含在區(qū)塊鏈中的時間）另玖。吞吐量和延遲是提升區(qū)塊鏈性能的瓶頸問題困曙，從研究的角度也更具挑戰(zhàn)性。比特幣的交易吞吐量是其區(qū)塊大小和塊間間隔（時間）的函數(shù)谦去。在當(dāng)前塊大小為1MB和10分鐘塊間間隔的情況下慷丽，最大吞吐量限制在每秒約7個交易；而創(chuàng)建交易的客戶必須平均等待至少10分鐘以確保交易包含在區(qū)塊鏈中鳄哭。相比之下要糊，像 Visa 這樣的主流支付處理公司可以在幾秒鐘內(nèi)確認交易，并且每秒處理吞吐量高達24,000次窃诉。目前的研究集中在開發(fā)顯著提高區(qū)塊鏈性能的解決方案杨耙，同時保持其去中心化特性。

鏈上擴容

這里介紹鏈上提升區(qū)塊鏈性能的新方案飘痛。

Legends used in Models

比特幣區(qū)塊鏈

比特幣是一個P2P網(wǎng)絡(luò)珊膜，任何節(jié)點都可以加入并成為網(wǎng)絡(luò)的一部分。 如果一個節(jié)點收到一個新的區(qū)塊宣脉，它會將其廣播到網(wǎng)絡(luò)的其余節(jié)點车柠。 所有節(jié)點都可以接收和發(fā)送廣播，但只有領(lǐng)導(dǎo)者節(jié)點才可以向區(qū)塊鏈追加信息塑猖。為了阻止不誠實的領(lǐng)導(dǎo)者將系統(tǒng)帶入泥潭竹祷， 這就會涉及到挖礦，這也是領(lǐng)導(dǎo)者節(jié)點被稱為礦工的原因羊苟。 如果礦工幸運地找到哈希難題的答案塑陵，它會提出要追加到區(qū)塊鏈下一個區(qū)塊。為了激勵礦工解決哈希難題并提出下一個區(qū)塊蜡励，允許成功的礦工為自己支付一些金錢作為報酬或扣除交易輸出的一部分作為交易費用令花。

Bitcoin Blockchian Model

多區(qū)塊單一領(lǐng)導(dǎo)

Bitcoin-NG 分享了比特幣的信任模型，將領(lǐng)導(dǎo)者選舉與交易序列化解耦凉倚。Bitcoin-NG將時間劃分為epoch兼都，領(lǐng)導(dǎo)者節(jié)點可以在其epoch期間單方面向區(qū)塊鏈追加多筆交易，直到新領(lǐng)導(dǎo)者節(jié)點被選出稽寒。 Bitcoin-NG中有兩種區(qū)塊：密鑰區(qū)塊和微區(qū)塊扮碧。 密鑰區(qū)塊包含一個難題答案，用于領(lǐng)導(dǎo)者選舉。密鑰區(qū)塊還包含一個公鑰慎王，用于簽署由領(lǐng)導(dǎo)者節(jié)點生成的后續(xù)微區(qū)塊蚓土。每個區(qū)塊都包含對前一個微區(qū)塊和密鑰區(qū)塊的引用。費用會在當(dāng)前領(lǐng)導(dǎo)者（40％）和下一個領(lǐng)導(dǎo)者（60％）之間分配柬祠。與比特幣類似北戏，通過增長（聚合所有密鑰區(qū)塊的）最長分支來解決分叉問題。

為了對微區(qū)塊中創(chuàng)建分叉的領(lǐng)導(dǎo)者節(jié)點進行懲罰漫蛔，后續(xù)的領(lǐng)導(dǎo)者節(jié)點可以在其關(guān)鍵塊（包含被剪枝分叉中的第一個塊的頭部）之后插入特殊的有毒交易作為欺詐證據(jù)。這使惡意領(lǐng)導(dǎo)者節(jié)點的報酬無效旧蛾，報酬的一小部分支付給告發(fā)領(lǐng)導(dǎo)者莽龟。當(dāng)一位新領(lǐng)導(dǎo)者選出但前任領(lǐng)導(dǎo)者還沒有收到，并繼續(xù)產(chǎn)生微區(qū)塊時锨天，分叉也會出現(xiàn)毯盈。然而，一旦新領(lǐng)導(dǎo)者選舉的宣布達到所有節(jié)點病袄，這些分叉就會得到解決搂赋。

Multi-blocks per Leader

集體領(lǐng)導(dǎo)

該方案采用多個領(lǐng)導(dǎo)者共同快速決定是否應(yīng)該將區(qū)塊添加到區(qū)塊鏈中。ByzCoin 通過擴展Bitcoin-NG取代比特幣的概率性交易一致性保證益缠，以實現(xiàn)高交易吞吐量脑奠。好處在于，區(qū)塊鏈仍然是無分叉的即使客戶提交的交易將被添加到區(qū)塊鏈中幅慌，因為所有領(lǐng)導(dǎo)者都立即就區(qū)塊有效性達成一致宋欺。 ByzCoin修改了Bitcoin-NG的密鑰區(qū)塊生成機制：一組領(lǐng)導(dǎo)者，而不是單個領(lǐng)導(dǎo)者胰伍，產(chǎn)生一個密鑰區(qū)塊齿诞，然后是微區(qū)塊。領(lǐng)導(dǎo)者小組由近期時間窗口的礦工動態(tài)組成骂租。每個礦工的投票能力與其在當(dāng)前時間窗口的挖礦區(qū)塊數(shù)量成正比祷杈，這是其哈希能力。當(dāng)一位新礦工解決難題之后渗饮，它將成為現(xiàn)任領(lǐng)導(dǎo)小組的一員但汞，更進一步，替換出最老的礦工抽米。 ByzCoin使用與比特幣相同的激勵模式特占，但報酬由領(lǐng)導(dǎo)者小組成員按其比例分?jǐn)偂?/p>

Collective leaders

領(lǐng)導(dǎo)者小組被組織成一個消息通信樹，其中最新的礦工（領(lǐng)導(dǎo)者）在樹的根部云茸。領(lǐng)導(dǎo)者運行一個具有線性消息傳遞復(fù)雜度的實用拜占庭容錯協(xié)議的修改版本是目，以生成一個集體簽名，證明至少三分之二的共識小組成員見證并驗證了該微區(qū)塊标捺。網(wǎng)絡(luò)中的節(jié)點可以以時間復(fù)雜度驗證該微區(qū)塊已被共識小組驗證為有效懊纳。這種設(shè)計解決了Bitcoin-NG的限制——惡意領(lǐng)導(dǎo)者節(jié)點可以創(chuàng)建微區(qū)塊分叉：在 ByzCoin中揉抵，這要求領(lǐng)導(dǎo)者小組成員的三分之二多數(shù)為惡意節(jié)點。此外嗤疯，Bitcoin-NG遭受競爭條件困擾：一位尚未收到新領(lǐng)導(dǎo)者的老領(lǐng)導(dǎo)者節(jié)點可能會繼續(xù)錯誤地在較早的微區(qū)塊上進行挖礦冤今。在 ByzCoin中，領(lǐng)導(dǎo)者小組成員確保新領(lǐng)導(dǎo)者建立在最新的微區(qū)塊之上茂缚。

平行區(qū)塊鏈增長

在這種方法中戏罢，多個領(lǐng)導(dǎo)者并行增長區(qū)塊鏈的不同部分。比特幣具有增長區(qū)塊鏈的線性過程：礦工嘗試解決難題脚囊，找到答案的礦工追加下一個區(qū)塊龟糕。交易可以由多個子節(jié)點進行潛在的驗證。此外悔耘，每次交易還會包含一筆報酬讲岁，這筆報酬由驗證該交易的交易收取。隨著更多的節(jié)點直接或間接地驗證它衬以，報酬值會降低缓艳，因此新節(jié)點有更多的動機來驗證最新的交易。該系統(tǒng)已被證明是收斂的看峻，這意味著在某一時刻有一個交易連接到之前的所有交易阶淘。作為這種圖結(jié)構(gòu)的結(jié)果，礦工可以并行地增長交易圖的不同分支备籽。系統(tǒng)中的正常（非礦工）節(jié)點在收到交易時驗證它們舶治。除了對交易及其雙親的工作量證明正確性和結(jié)構(gòu)有效性進行標(biāo)準(zhǔn)檢查之外，節(jié)點還驗證該交易不是雙花车猬。

Parallel Blockchain Extension

分片交易

Elastico將節(jié)點分成稱為“委員會”的組霉猛，每個委員會管理交易的一個子集（分片）。上部分片處理前10個交易珠闰，而下部分片處理后續(xù)10個交易惜浅。在委員會內(nèi)，節(jié)點運行拜占庭一致性協(xié)議以協(xié)定交易區(qū)塊伏嗜。如果該區(qū)塊已被足夠的節(jié)點簽名坛悉，委員會將其發(fā)送給最終委員會。最終委員會將從委員會收到的一系列交易整理到一個最終區(qū)塊中，然后在其成員之間運行拜占庭一致協(xié)議以增長區(qū)塊鏈，并將附加區(qū)塊廣播給其他委員會萍桌。系統(tǒng)按epoch運行：分配給委員會的節(jié)點僅在epoch期間內(nèi)有效。在這個epoch結(jié)束時轩猩，這些節(jié)點解決當(dāng)前最終委員會產(chǎn)生的隨機字符串難題，并將求解答案發(fā)送給下一個最終委員會。因此均践，在每個epoch晤锹，一個節(jié)點與委員會中的不同節(jié)點搭檔，管理一組不同的交易彤委。委員會數(shù)量與系統(tǒng)中可用算力成線性比例關(guān)系鞭铆，但一個委員會內(nèi)的節(jié)點數(shù)量是固定的。因此焦影，隨著更多節(jié)點加入網(wǎng)絡(luò)车遂，交易吞吐量增加而延遲不會增加，因為這里有一個解耦：一致性協(xié)議所需的消息與添加到區(qū)塊鏈的最終區(qū)塊的計算和廣播之間的解耦斯辰。

Sharding transactions

側(cè)鏈擴容

目前的區(qū)塊鏈技術(shù)存在不少問題艰额，比如成本較高，吞吐量非常低椒涯，還有智能合約的安全性問題，而側(cè)鏈則可以較好的解決這些問題回梧。側(cè)鏈?zhǔn)窍鄬σ粋€主鏈而言的废岂，比如說比特幣的側(cè)鏈，相對是說以比特幣為主狱意。一個主鏈可以有多個側(cè)鏈湖苞，每一個側(cè)鏈，都可以承載不同的業(yè)務(wù)详囤。其實側(cè)鏈也是一種分片技術(shù)财骨，只不過側(cè)鏈?zhǔn)前磻?yīng)用來分片，就是說藏姐，根據(jù)不同的場景隆箩，用不同的鏈去承載不同的業(yè)務(wù)。

Plasma 介紹

Plasma 作為一種以太坊擴容方案羔杨，對以太坊主鏈可擴展性的提高通過將大量交易和計算下放到側(cè)鏈來實現(xiàn)捌臊。其基本思想是將所有交易都被觸及的共享賬簿區(qū)塊鏈，轉(zhuǎn)換成一個用戶可以私下交換消息的模型兜材；使用 P2P 支付渠道和 Ethereum 的存款網(wǎng)絡(luò)來保存來自區(qū)塊鏈系統(tǒng)的擔(dān)保理澎；節(jié)點之間通信以促進傳輸，與 Ethereum 區(qū)塊鏈通信以管理存款曙寡。

Plasma 架構(gòu)

類似哈希表糠爬，Plasma實際上用一個“鏈中鏈”來支撐分布式擴容、以太坊的中央工作卸載举庶。

image

如圖是 Plasma 架構(gòu)执隧，最底層是主區(qū)塊鏈，是合約和支付的判決層，合約本身在主鏈上殴玛。Plasma 鏈上包含了當(dāng)前賬本的狀態(tài)捅膘，可以在主鏈上清算和贖回（如果存在欺詐將允許資金的贖回）。Plasma 提供了一種鏈嵌套的結(jié)構(gòu)滚粟，實現(xiàn)資金的可擴容的存取寻仗。閃電網(wǎng)絡(luò)又基于其上，支持即時支付凡壤。

image

更詳細來說：節(jié)點自身被激勵去運行一個鏈署尤；每個節(jié)點都可以創(chuàng)建一個自定義的 Plasma 鏈；Plasma 是一系列的智能合約亚侠，允許在主鏈里有許多的區(qū)塊鏈曹体；主鏈可以強制 Plasma 鏈中的狀態(tài)，是全局計算的強制檢查者硝烂，計算和懲罰那些存在欺詐的行為箕别；許多的 Plasma 的區(qū)塊鏈可以并存，且有他們獨自的商業(yè)邏輯和合約術(shù)語滞谢；Plasma 將會由 EVM 智能合約組成串稀，并直接在以太坊上運行；Plasma 執(zhí)行次數(shù)不多狮杨，卻能代表大量計算得到的金融賬本實體母截。

Plasma 的核心部分由以下幾部分構(gòu)成：：

• 激勵層——用于持續(xù)以優(yōu)化的價格執(zhí)行合約，樹形地組織子鏈來提高效率
• MapReduce框架——構(gòu)建一個狀態(tài)轉(zhuǎn)換的的欺詐證明
• 共識機制——嘗試構(gòu)建一個和比特幣的共識激勵類似的機制
• UTXO提交位圖——保證在主鏈下的確定的狀態(tài)轉(zhuǎn)換橄教，同時盡可能降低退出費用清寇，允許在數(shù)據(jù)不可用或者其它Byzantine行為時可以退出。

Plasma 區(qū)塊鏈

多方通道可以代表他人持有某個狀態(tài)护蝶，這個框架被稱為一個 Plasma 區(qū)塊鏈华烟。Plasma 鏈支持存取資金，通過在欺詐證明中提供狀態(tài)轉(zhuǎn)換證明滓走。

• image
  Alice 的1 以太幣被Plasma的一個區(qū)塊捕捉垦江，送到了根鏈。
• image
  區(qū)塊 4 被檢查出有欺騙行為了搅方，因此 Alice 的錢被直接提交到了主鏈上比吭。

Plasma 使能

Plasma 本質(zhì)上是一系列運行在以太坊主鏈上的智能合約，只需處理少量來自側(cè)鏈的請求姨涡，海量的交易和計算都在側(cè)鏈上完成衩藤。不同于以太坊主鏈目前使用的 POW 共識算法，側(cè)鏈將使用 POS 等更高的共識機制涛漂。因此赏表，側(cè)鏈提供了可擴展性检诗，而主鏈保證了安全性和去中心化。

鏈中鏈

Plasma 是一系列運行在根區(qū)塊鏈（Mainnet Ethereum區(qū)塊鏈）之上的契約瓢剿。根網(wǎng)絡(luò)契約只處理來自子區(qū)塊鏈的少量提交逢慌，而子區(qū)塊鏈在大多數(shù)情況下都能進行非常大的計算。子鏈門會把自己的提交定期地根區(qū)塊鏈廣播间狂。根區(qū)塊鏈就如同是最高法院攻泼，所有下級法院都要從它那里獲得權(quán)力。并非所有數(shù)據(jù)都傳播給所有各方鉴象，各方負責(zé)定期監(jiān)控他們感興趣的特定鏈忙菠，并懲罰欺詐行為。在發(fā)生攻擊時纺弊，參與者可以迅速而廉價地從子鏈大量退出到根鏈牛欢。

Plasma區(qū)塊鏈層級排布在樹中，將會最大化數(shù)據(jù)可用性淆游、安全性傍睹，并可以最小化成本。挖掘只在根上進行犹菱，并且具有充分的安全性焰望，安全性和證明從根鏈流動。

image

每個子區(qū)塊鏈都有它的 token 作為驗證激勵已亥，并在其受欺詐時用做保護。一旦發(fā)現(xiàn)欺詐来屠，就會失去其保證金虑椎。

image

區(qū)塊轉(zhuǎn)移圖：如圖為Plasma的層級排布。參與者可以集體將其資金到其他鏈上俱笛，以免其父鏈?zhǔn)且粋€欺詐鏈捆姜。當(dāng)出現(xiàn)攻擊行為的時候，子區(qū)塊的提交被廣播至父鏈或者根鏈迎膜。

權(quán)益證明 PoS

當(dāng)我們發(fā)現(xiàn)一個區(qū)塊時泥技，我們很自然地會覺得他是最長的那條鏈，但也不是非常確定它是不是最長的磕仅。為保證它是最長的珊豹，我們要附加自己的塊并廣播給網(wǎng)絡(luò)中的參與者，來增大它的機率榕订。區(qū)塊扣留攻擊在這種機制中的問題被無限放大店茶。關(guān)于區(qū)塊扣留問題的可以參考我博客的這個文章或者論文“Proof-of-Work ” Proves Not to Work version 0.2 和 Majority Is Not Enough: Bitcoin Mining Is Vulnerable。

文章中提供的解決方案是允許權(quán)益所有者在主鏈或父Plasma鏈中發(fā)布一個新區(qū)塊的提交哈希劫恒。

• 驗證者僅會在他們完全驗證過的節(jié)點上建新的區(qū)塊贩幻，為了鼓勵最大化的信息共享轿腺，他們可以并行創(chuàng)建區(qū)塊。
• 設(shè)計了一個驗證者激勵丛楚，來讓最近100個塊與他們的當(dāng)前的權(quán)益成正比（比如族壳，如果一個節(jié)點的權(quán)益占3成，那么過去的100個塊也需要占3成）趣些。
• 超出的費用將會進入一個池在將來支付費用仿荆。在每個塊里存在一個包含最近的100個塊（和一個nonce）的提交。
• 正確的鏈將是總權(quán)重最高的鏈喧务，一段時間后整個鏈將會確定下來（finalize）赖歌。

image

MapReduce 分治

之所以我把 Plasma 視作是一個分布式區(qū)塊鏈，主要原因還是說到了 MapReduce功茴。我在大二云計算課上實現(xiàn)了一個關(guān)于 PageRank 算法的 Hadoop 程序庐冯，發(fā)現(xiàn)這個思想跟 MapReduce 分治如出一轍。

MapReduce 是一種編程模型坎穿，用于大規(guī)模數(shù)據(jù)集的并行運算展父。概念"Map"和"Reduce"，是它們的主要思想玲昧，都是從函數(shù)式編程語言里借來的栖茉，還有從矢量編程語言里借來的特性。它極大地方便了編程人員在不會分布式并行編程的情況下孵延，將自己的程序運行在分布式系統(tǒng)上吕漂。下圖為 Plasma 的 MapReduce 模型。

image

image

節(jié)點僅僅需要關(guān)注那些它希望執(zhí)行的數(shù)據(jù)巍扛。如果經(jīng)濟行為或者計算發(fā)生在其它的 Plasma 鏈上愿伴，它不需要執(zhí)行。

Plasma 機制

子鏈中的所有狀態(tài)电湘，都通過欺詐證明強制執(zhí)行隔节，從而允許任何參與方檢驗無效區(qū)塊鹅经，推斷區(qū)塊數(shù)據(jù)的可用性。來自主鏈的存款將直接發(fā)送給主合約怎诫。合約有責(zé)任跟蹤當(dāng)前的提交狀態(tài)瘾晃，使用欺詐證明來懲罰無效的提交，以及執(zhí)行取款幻妓。

欺詐證明

欺詐證明（智能契約邏輯）強制執(zhí)行蹦误，檢查子區(qū)塊鏈中的所有狀態(tài)。欺詐證明確保了所有狀態(tài)轉(zhuǎn)換都是有效的肉津。此外强胰，這些欺詐證明還強制執(zhí)行了一個交互式協(xié)議的資金提取。

image

區(qū)塊4通過前一個塊的數(shù)據(jù)和第4個塊中的Merkel證明是欺詐的妹沙。

image

Alice 有所有區(qū)塊的數(shù)據(jù)偶洋，所以在主鏈上提交了一個欺詐證明。第4個區(qū)塊從而變得無效并回滾距糖，無效區(qū)塊提交者失去了在智能合約中的押金從而得到了懲罰玄窝。在某些設(shè)置的時間以后，區(qū)塊將確定下來悍引。應(yīng)該通過完整的校驗區(qū)塊確保在沒有欺詐的區(qū)塊上繼續(xù)建立區(qū)塊恩脂。

Plasma 資金變動

• Plasma 鏈上的存款

  • image
    Alice 有一個1 ETH 的賬戶。她想將之發(fā)送到子 Plasma 鏈趣斤。她將它發(fā)送到 Plasma 合約俩块。需要經(jīng)歷以下步驟：
    1. 將貨幣或代幣發(fā)送到主鏈的 Plasma 合約。
    2. Plasma 區(qū)塊鏈引入了一個即將到來的交易證明浓领。
    3. 存款者在子 Plasma 鏈上簽名一個交易典阵，激活交易。
  • image
    Alice 現(xiàn)在在 Plasma 區(qū)塊鏈中有1ETH镊逝。資金由主鏈上的智能合約持有，但賬本記錄在某個特定的Plasma 區(qū)塊鏈上嫉鲸。

• Plasma 鏈上的狀態(tài)轉(zhuǎn)換

  1. Alice 希望在 Plasma 鏈上轉(zhuǎn)移他的資金給 Bob（不需要將完整的記錄提交到區(qū)塊鏈上）撑蒜。她創(chuàng)建了一個交易，在 Plasma 鏈上花費她的支出玄渗、簽名座菠，并廣播這個交易。
  2. 這個交易被 Plasma 鏈的驗證者校驗后藤树，頭部的信息會作為區(qū)塊的一部分放入父 Plasma 鏈或者主鏈浴滴，最終會被提交并打包到主鏈中。
  3. Alice 和 Bob 觀察到了這個交易岁钓，簽名確認他們看到了這個交易和區(qū)塊升略。確認需要簽名同時被包含進另一個 Plasma 區(qū)塊中微王。

• Plasma 鏈上的取款

  • Plasma 鏈上的一般取款

    1. 一個簽名的取款交易被提交到根鏈或父Plasma鏈；
    2. 存在一個預(yù)定義超時周期用于調(diào)解糾紛品嚣；
    3. 存在第二個延遲來等待任何由較低的區(qū)塊確認高度的取款請求炕倘；
    4. （如果取款是正常行為）取款者可以在根鏈或父鏈上贖回資金。

  • Plasma 鏈上的快速取款

    • 快速取款與簡單取款的構(gòu)建方式類似翰撑，但資金會發(fā)送到一個合約以進行原子交換罩旋。根鏈上被交換的資金會存在高低時間鎖。
    1. Alice 愿付出時間價值獲得快速取款眶诈，流動性供應(yīng)商提供這個服務(wù)并與 Alice 協(xié)調(diào)一致在根鏈上進行一個取款涨醋。
    2. 資金被鎖定在 Plasma 特定輸出的某個合約上。
    3. 雙方廣播一個在 Plasma 鏈上的交易逝撬。
    4. 合約的條款是如果確定浴骂，那么支付就可以在 Plasma 鏈上進行；反之球拦，Alice 贖回自己的資金靠闭。
    5. 上述 Plasma 塊確定后，流動性供應(yīng)商創(chuàng)建了一個鏈上合約坎炼，向 Alice 收取服務(wù)收費愧膀。

  • Plasma 鏈上的大量取款（一般在退出時候發(fā)生）

    • Plasma 需要用戶通過區(qū)塊扣留來檢測拜占庭行為，用戶也有責(zé)任及時的退出不正確的 Plasma 鏈谣光。主鏈上不可能探測某個區(qū)塊是否處于區(qū)塊扣留的狀態(tài)檩淋，狀態(tài)轉(zhuǎn)換對于非常大的區(qū)塊和是十分昂貴的。批量退出保證了 Plasma 鏈的拜占庭行為在某個時間和鏈暫停期間萄金，不會影響大家的資金蟀悦。
    1. Alice 與其它人協(xié)調(diào)一致以實現(xiàn)在 Plasma 鏈上的批量退出。
    2. 退出的執(zhí)行者協(xié)調(diào)資金要發(fā)送到的目標(biāo)鏈氧敢，且自動承諾承認資金在批量退出后日戈，在新鏈上的資金可用性。
    3. 退出的執(zhí)行者驗證了到數(shù)據(jù)還可用時的鏈數(shù)據(jù)孙乖。
    4. 用戶在下載所有簽名后對這個大量取款再簽一次名浙炼。
    5. 退出的執(zhí)行者然后會關(guān)注當(dāng)前是否有其它退出交易，同時移除那些可能的重復(fù)唯袄，然后簽名這個退出交易弯屈，廣播交易到根鏈或者父 Plasma 鏈。
    6. 如果出現(xiàn)重復(fù)的取款恋拷，退出的執(zhí)行者可以一個較短的寬限期內(nèi)更新位圖和余額资厉。
    7. 任何網(wǎng)絡(luò)中的參與者可以通過 DMET 挑戰(zhàn) MEIT 中的數(shù)據(jù)。
    8. 如果沒有挑戰(zhàn)蔬顾，那么在前述的 MEIT 的確定時間后宴偿，用戶將收到他們的資金湘捎。

總結(jié)與感想

區(qū)塊鏈技術(shù)去中心化、透明性酪我、以及不可篡改性的特性驅(qū)使我們探索這個技術(shù)更廣泛的應(yīng)用消痛。但公有鏈的低吞吐量，即性能的低下都哭，是技術(shù)落地中秩伞，當(dāng)下項目應(yīng)用嚴(yán)峻的問題。

一些其他的方案如 Casper欺矫、Sharding纱新、Raiden Network 也在探索更普適的擴容方案。讀完 Plasma 白皮書穆趴，十分佩服這個團隊的能力脸爱，同時也質(zhì)疑這個框架的“大眾友好性”，編寫一個安全可靠的智能合約將是一個艱巨的任務(wù)未妹。

新技術(shù)帶了新挑戰(zhàn)簿废，新形式的產(chǎn)生勢必帶來很多新問題，同時推動區(qū)塊鏈技術(shù)的研究络它，以太坊技術(shù)問題的領(lǐng)域也將更加浩渺族檬。

參考資料

“喝水不忘挖井人”，這里感謝為我?guī)盱`感的參考：

• Plasma: Scalable Autonomous Smart Contracts -- [Article]
• The Road to Scalable Blockchain Designs -- [Article]
• 中文版白皮書：
  • Plasma白皮書（一）
  • Plasma白皮書（二）
  • Plasma白皮書（三）
  • Plasma白皮書（四）
• 提升區(qū)塊鏈架構(gòu)性能的N種方法
• 區(qū)塊鏈性能效率提升
• 區(qū)塊鏈擴容技術(shù)Plasma研究之核心篇
• 區(qū)塊鏈性能提升：鏈上設(shè)計之道
• 我所知道的Plasma
• Plasma in 10 minutes

更多資源

您可以從這些地方獲得在線資源和我其他關(guān)于 Plasma 的工作：

• Plasma白皮書筆記

• 區(qū)塊鏈擴容之路筆記

• 初識 Plasma —— 譯自 Plasma in 10 minutes

  • 初識 Plasma

  • 初識 Plasma

• Plasma —— 以太坊擴容新方案

  • Plasma —— 以太坊擴容新方案
  • Plasma —— 以太坊擴容新方案

• 區(qū)塊鏈性能提升——鏈上設(shè)計之道

  • 區(qū)塊鏈性能提升——鏈上設(shè)計之道
  • 區(qū)塊鏈性能提升——鏈上設(shè)計之道

• 本文在線鏈接??——區(qū)塊鏈性能優(yōu)化新方案

  • 區(qū)塊鏈性能優(yōu)化新方案
  • 區(qū)塊鏈性能優(yōu)化新方案