這篇文章概述了optimistic rollup:一種使用OVM在二層網網絡上啓用智能合約的結構。此結構類似於Plasma,但放棄了一些擴展性,以便在二層網絡中運行完全通用的智能合約(例如Solidity),同時還享有和一層網絡相同的安全性。

這篇文章概述了optimistic rollup:一種使用 OVM 在二層網網絡上啓用智能合約的結構。 該構造大量借鑑了plasma和zkRollup設計,並以Vitalik所描述的 shadow chains 爲基礎 。 此結構類似於Plasma,但放棄了一些擴展性,以便在二層網絡中運行完全通用的智能合約(例如Solidity),同時還享有和一層網絡相同的安全性 。optimistic rollup的可擴展性與一層網絡數據可用帶寬成正比,一層網絡可以包括Eth1,Eth2, 甚至 Bitcoin現金或以太坊經典 ,optimistic rollup都可以在二層網絡上提供類EVM的鏈。

備註:下文中二層網絡將使用簡寫 L2 ,相應的以太坊主網(或其他網絡)稱爲 L1

快速概述

讓我們先從一些直覺開始,瞭解如何在以太坊主網上進行 optimistic rollup,然後再深入研究。

以下是 optimistic rollup智能合約(名爲Fred)的生命歷程:

  1. 開發人員編寫了一個名爲Fred的Solidity合約。

  2. 開發人員將交易在鏈下發送到綁定的 聚合商(aggregator) (L2的區塊生產者),聚合商負責部署合約。 — 任何支付了保證金的人都可以稱爲聚合商(aggregator)。 — 同一條鏈上有多個聚合商。 — 可以支付費用,但聚合商需要(帳戶抽象/元交易)。 — 開發人員可以即時確認交易,否則聚合商將損失保證金。

  3. 聚合商在本地處理交易並計算新的狀態根。

  4. 聚合商提交以太坊交易(支付gas費用),其中包含交易和狀態根(一個optimistic rollup區塊)。

  5. 如果 任何人 下載了該塊並發現其無效,則可以使用 verify_state_transition(prev_state, block, witness) 來證明其無效, 將:

    — 刪除惡意聚合的區塊以及在無效塊之上構建的任何聚合區塊。 — 用聚合商的部分保證金獎勵證明者。

  6. Fred 知道自己的部署交易現在已成爲每個未來有效的optimistic rollup狀態的一部分,因此有安全保障。可以將Fred的主網ERC20發送到L2中! 好極了!

僅此而已! 用戶和智能合約的行爲應該與我們今天在以太坊主網上看到的非常相似,只是擴容了! 現在,讓我們探討一下這整個過程的可能性。

深入Optimistic Rollup

首先,讓我們定義創建像以太坊這樣的無許可智能合約平臺的含義。 構建這些可愛的狀態機之必須滿足三個屬性:

  1. 可用的(availabe)總體狀態 — 任何相關方都可以下載當前的總體狀態。
  2. 有效的(valid)總體狀態 — 總體狀態是有效的 (例如:沒有無效的狀態轉換)。
  3. 活躍的(live)總體狀態 — 任何感興趣的一方都可以提交轉換總體狀態的交易。

譯者注:總體狀態對應的原文是 head state, 直譯或許是頭部狀態, 不過中文裏貌似沒有這個說法。

您會注意到以太坊L1滿足了這三個屬性,因爲我們相信:

  1. 礦工不會在不可用的區塊上進行挖礦;

  2. 礦工不會在無效的區塊上進行挖礦 *

  3. 並非所有礦工都會審查交易。

但是,以太坊目前無法擴容。另一方面,在一些類似的安全假設下,optimistic rollup 可以大規模擴容下,提供這三個保證。 爲了瞭解構造和安全性的假設,將逐一檢查我們希望分別確保的每個屬性。

#1: 可用的總體狀態

Optimistic rollup 使用經典 rollup技術( 此處概述 )來確保當前狀態數據的可用性。該技術很簡單-區塊生產者(稱爲聚合商)通過以太坊主網上的calldata(調用以太坊函數的輸入參數)傳遞所有區塊的交易和狀態根。calldata數據將默克爾化來並存儲一個32字節的狀態根。提示:calldata爲每32字節2,000 gas,而存儲成本爲20,000 gas。此外,在伊斯坦布爾硬分叉中,calldata的gas成本降低了近5倍。

值得注意的是,我們也可以使用除以太坊主網之外的其他網絡作爲L1提供數據可用性,包括 Bitcoin Cash 和Eth2。在Eth2階段1中,所有分片都可以作爲L1提供數據可用性,以分片數量線性地擴容TPS。這樣的吞吐量是足夠的,直到遇到其他可擴展性瓶頸(例如狀態計算)。

安全假設

在這裏,我們假設以太坊主網上多數是誠實的。 另外,如果我們使用Eth2、ETC或Bitcoin Cash,我們也將類似假設。

在這些假設下,使用可信的L1來發布所有交易,我們可以確保任何人都可以計算當前的總體狀態,從而滿足屬性1。

#2: 有效的總體狀態

我們需要確保的第二個屬性是有效的總體狀態。 在zkRollup中,使用零知識證明來確保有效性。 從長遠來看,這是一個不錯的解決方案,但目前無法爲任意狀態轉換創建有效的zkProofs。 但是,仍然有希望使用通用的EVM型狀態機! 我們可以使用plasma/truebit類似的加密經濟學進行有效性博弈。

密碼經濟學有效性博弈

從較高層次來看,區塊提交和有效性博弈規則如下:

  1. 聚合商提交保證金才能開始生產區塊。
  2. 每個區塊包含 [access_list, transactions, post_state_root] .
  3. 有保證金的聚合商將按照“先到先得”的原則(或根據需要使用輪流方式)將所有區塊提交到 ROLLUP_CHAIN 合約。
  4. 任何人 都可能證明該區塊無效, 並贏得了聚合商的部分保證金

要證明一個塊無效,必須證明以下三個屬性之一:

is_valid_transition(prev_state, block, witness) => boolean

這三個狀態轉換有效性條件如圖所示:

該狀態有效性博弈具有一些有趣的屬性:

  1. 可插拔的有效性檢查器 : 我們可以爲 is_valid_transition(…) 定義不同的有效性檢查器,從而允許我們使用不同的VM(包括EVM和WASM在內)來運行智能合約。
  2. 僅有一條有效鏈 : 提交到以太坊的區塊,可以確定交易和區塊的總順序。 這使我們能夠確定性地確定“頭(head)”塊,從而要求聚合商在提交新塊之前刪減無效的塊。
  3. 部分驗證 : 此有效性博弈可以以單個UTXO爲基礎進行。方案使用部分無效取代全部區塊整體無效 -- 這類似於Plasma Cash。 請注意,並不需要證明一個塊的所有無效轉換。 部分區塊無效驗證意味着我們可以只驗證我們關心的狀態, 以確保安全。 要了解有關UTXO如何實現並行性請查看 Cryptoeconomics.study視頻

有關瞭望塔

譯者注:瞭望塔是一個幫助用戶監視交易欺詐的實體,因爲普通用戶很難實時在線,瞭望塔則可以充當用戶的代理。

採用L2的挑戰之一是 瞭望塔 的複雜性。 與用戶簽約的瞭望塔,是另一個加入的來管理已經複雜的系統實體。 幸運的是,optimistic rollup 加密經濟有效性博弈自然地激勵了瞭望塔! 所有數據都是可用的,因此任何人都可以運行全節點驗證無效交易以獲得“所有”構建無效鏈的聚合商的保證金。 這種風險激勵將促使聚合商成爲瞭望塔,從而驗證他們建立的鏈,從而減輕了驗證者的困境。

有關Plasma

許多plasma構造也依賴於加密經濟學的有效性博弈。 但是,在沒有zkProofs或數據劫持攻擊的 漁夫博弈 (數據可用性問題)情況下,在plasma中執行合約自治是不可能的。 值得慶幸的是,rollup 通過發佈計算鏈上狀態轉換所需的最少信息來解決數據可用性問題。 不過,如果我們想擴容到每秒數十萬(甚至更多)的交易 plasma 仍然是至關重要,但是這是遠期的需要,但對於許多智能合約而言,從中期來看並不是必需的。

安全假設

  1. 加密經濟學有效性博弈是基於 誠實甚至理性的驗證者 假設下工作的。 我們可以說他是“理性”的驗證者,而不是“誠實”的驗證者,因爲挑戰博弈可能會從經濟上激勵他們。

  2. 另外,我們假設主網是 活躍的 ,這意味着它不會審查所有試圖證明無效的交易(譯者注: 審查意味着干預 ,這裏的意思是指:證明無效的交易並不會選擇性的干預,例如如丟棄該交易)。 請注意,從某種意義上說,聚合商的解除保證金退出期限是主網上的活躍性假設(例如,如果我們需要1個月的保證金退出期限,需要在該月內證明提交無效性證明,才能罰沒保證金)。

在這些假設下,所有無效塊或狀態轉換都將被丟棄,從而使我們獲得一個有效總體狀態,並滿足屬性 #2。

#3: 活躍的總體狀態

我們必須滿足的最終屬性是活躍,通常被稱爲抗審查能力。 確保這一點的關鍵是:

  1. 保證金大小超過 MINIMUM_BOND_SIZE 的任何人都可能成爲同一rollup鏈的聚合商。

  2. 由於誠實的聚合商可能會移除無效的塊,因此即便產生了無效區塊,鏈也 不會停止

有了這兩個屬性,我們就可以保持活躍!誠實的聚合商可能總是避免提交無效區塊,因此,即使只有一個非審查性聚合商,你的交易最終也會得到確定,這與主網類似。

有關活躍與即時確認

我們真正想要的一個屬性是即時確認。 這樣就可以爲用戶提供亞秒級的反饋,表明他們的交易將被處理。 我們可以通過在塊上指定聚合器短時的壟斷出塊來實現這一目標。 缺點是,它降低了抗審查能力,因爲現在一個參與方一段時間內具備了審查。 很想聽聽有關此權衡的任何研究!

安全假設

保持活躍基於兩個安全性假設:

  1. 存在一個非審查聚合商。
  2. 以太坊主網是非審查的

在這些假設下,optimistic rollup 鏈將能夠基於任何有效的用戶交易來進化和變更總體狀態 (滿足屬性#3)。

現在,這三個屬性均已滿足,並且我們在以太坊L2中提供了一個無許可的智能合約平臺!

可擴展性指標

以下估算是**完全基於數據可用性 **。 實際上,可能會遇到其他瓶頸,其中一個是狀態計算。 但是,這確實提供了可用的上限。

在ETH1數據可用性下的ERC20 轉賬

計算基於 一個簡單的 call-data 計算 python 腳本 .

請注意,這些 ERC20 轉賬對calldata 進行了優化。 另外請注意,Optimistic Rollup 的好處是我們不僅限於ERC20傳輸!

ECDSA 簽名~100 TPS: 未採用 EIP 2028 時 ~450 TPS: 採用 EIP 2028 後 ( 2019年 10 月已經很到主網)

BLS 簽名 / SNARK-ed 簽名~400 TPS : 未採用 EIP 2028 時 ~2000 TPS : 採用 EIP 2028 後 ( 2019年 10 月已經很到主網)

在其他的數據可用性下( 如 ETH2, Bitcoin Cash)

與L1可以處理的吞吐量的數量成線性關係。

超過2000 TPS!

Optimistic Rollup 與 Plasma

Optimistic Rollup與Plasma有很多共同點。 兩者都使用聚合商通過加密經濟有效性博弈來確保安全性,從而在主網上提交區塊。 唯一的區別是是否具有確保區塊可用的可用性收據。

兩種解決方案之間的相似之處使得兩者之間可以共享許多基礎架構和代碼。 在成熟的L2生態系統中,我們很可能會看到rollup,plasma和狀態通道在同一個客戶端(智能錢包)中一起工作。 哦,我是否提到過[OVM](https://medium.com/plasma-group/introducing-the-ovm-db253287af50)? :grin:

Yay Optimistic Rollup :tada:

Optimistic Rollup會在L2中佔據一席之地。 它在通用智能合約平臺,簡單性,安全性和擴展性之間做了一些權衡。 再加上其能夠安全的運行智能合約,意味着它甚至可以用於裁定其他第二層解決方案,例如Plasma和狀態通道!

就把它稱爲二代 L2 中的 L1 吧。

無論如何,研究已經夠了,是時候實施強大,全面且用戶友好的以太坊第2層了! :heart_eyes:

特別感謝Vitalik Buterin與我一起解決這些想法並提出了很多建議

此外,還要感謝Ben Jones所做的大部分工作以及Jinglan Wang,Kevin Ho 和Jesse Walden 的編輯。

更新:John Adler 在他的《合併共識》中的文章與optimistic rollups 進行了對比分析,參考 此處 ,另外, 此提案 可以提高 ETH1 的數據可用性 - 更多的 TPS!

Plasma Group Blog

這篇文章概述了optimistic rollup:一種使用 OVM 在二層網網絡上啓用智能合約的結構。 該構造大量借鑑了plasma和zkRollup設計,並以Vitalik所描述的 shadow chains 爲基礎 。 此結構類似於Plasma,但放棄了一些擴展性,以便在二層網絡中運行完全通用的智能合約(例如Solidity),同時還享有和一層網絡相同的安全性 。optimistic rollup的可擴展性與一層網絡數據可用帶寬成正比,一層網絡可以包括Eth1,Eth2, 甚至 Bitcoin現金或以太坊經典 ,optimistic rollup都可以在二層網絡上提供類EVM的鏈。

備註:下文中二層網絡將使用簡寫 L2 ,相應的以太坊主網(或其他網絡)稱爲 L1

快速概述

讓我們先從一些直覺開始,瞭解如何在以太坊主網上進行 optimistic rollup,然後再深入研究。

以下是 optimistic rollup智能合約(名爲Fred)的生命歷程:

  1. 開發人員編寫了一個名爲Fred的Solidity合約。

  2. 開發人員將交易在鏈下發送到綁定的 聚合商(aggregator) (L2的區塊生產者),聚合商負責部署合約。 — 任何支付了保證金的人都可以稱爲聚合商(aggregator)。 — 同一條鏈上有多個聚合商。 — 可以支付費用,但聚合商需要(帳戶抽象/元交易)。 — 開發人員可以即時確認交易,否則聚合商將損失保證金。

  3. 聚合商在本地處理交易並計算新的狀態根。

  4. 聚合商提交以太坊交易(支付gas費用),其中包含交易和狀態根(一個optimistic rollup區塊)。

  5. 如果 任何人 下載了該塊並發現其無效,則可以使用 verify_state_transition(prev_state, block, witness) 來證明其無效, 將:

    — 刪除惡意聚合的區塊以及在無效塊之上構建的任何聚合區塊。 — 用聚合商的部分保證金獎勵證明者。

  6. Fred 知道自己的部署交易現在已成爲每個未來有效的optimistic rollup狀態的一部分,因此有安全保障。可以將Fred的主網ERC20發送到L2中! 好極了!

僅此而已! 用戶和智能合約的行爲應該與我們今天在以太坊主網上看到的非常相似,只是擴容了! 現在,讓我們探討一下這整個過程的可能性。

深入Optimistic Rollup

首先,讓我們定義創建像以太坊這樣的無許可智能合約平臺的含義。 構建這些可愛的狀態機之必須滿足三個屬性:

  1. 可用的(availabe)總體狀態 — 任何相關方都可以下載當前的總體狀態。
  2. 有效的(valid)總體狀態 — 總體狀態是有效的 (例如:沒有無效的狀態轉換)。
  3. 活躍的(live)總體狀態 — 任何感興趣的一方都可以提交轉換總體狀態的交易。

譯者注:總體狀態對應的原文是 head state, 直譯或許是頭部狀態, 不過中文裏貌似沒有這個說法。

您會注意到以太坊L1滿足了這三個屬性,因爲我們相信:

  1. 礦工不會在不可用的區塊上進行挖礦;

  2. 礦工不會在無效的區塊上進行挖礦 *

  3. 並非所有礦工都會審查交易。

但是,以太坊目前無法擴容。另一方面,在一些類似的安全假設下,optimistic rollup 可以大規模擴容下,提供這三個保證。 爲了瞭解構造和安全性的假設,將逐一檢查我們希望分別確保的每個屬性。

1: 可用的總體狀態

Optimistic rollup 使用經典 rollup技術( 此處概述 )來確保當前狀態數據的可用性。該技術很簡單-區塊生產者(稱爲聚合商)通過以太坊主網上的calldata(調用以太坊函數的輸入參數)傳遞所有區塊的交易和狀態根。calldata數據將默克爾化來並存儲一個32字節的狀態根。提示:calldata爲每32字節2,000 gas,而存儲成本爲20,000 gas。此外,在伊斯坦布爾硬分叉中,calldata的gas成本降低了近5倍。

值得注意的是,我們也可以使用除以太坊主網之外的其他網絡作爲L1提供數據可用性,包括 Bitcoin Cash 和Eth2。在Eth2階段1中,所有分片都可以作爲L1提供數據可用性,以分片數量線性地擴容TPS。這樣的吞吐量是足夠的,直到遇到其他可擴展性瓶頸(例如狀態計算)。

安全假設

在這裏,我們假設以太坊主網上多數是誠實的。 另外,如果我們使用Eth2、ETC或Bitcoin Cash,我們也將類似假設。

在這些假設下,使用可信的L1來發布所有交易,我們可以確保任何人都可以計算當前的總體狀態,從而滿足屬性1。

2: 有效的總體狀態

我們需要確保的第二個屬性是有效的總體狀態。 在zkRollup中,使用零知識證明來確保有效性。 從長遠來看,這是一個不錯的解決方案,但目前無法爲任意狀態轉換創建有效的zkProofs。 但是,仍然有希望使用通用的EVM型狀態機! 我們可以使用plasma/truebit類似的加密經濟學進行有效性博弈。

密碼經濟學有效性博弈

從較高層次來看,區塊提交和有效性博弈規則如下:

  1. 聚合商提交保證金才能開始生產區塊。
  2. 每個區塊包含 [access_list, transactions, post_state_root] .
  3. 有保證金的聚合商將按照“先到先得”的原則(或根據需要使用輪流方式)將所有區塊提交到 ROLLUP_CHAIN 合約。
  4. 任何人 都可能證明該區塊無效, 並贏得了聚合商的部分保證金

要證明一個塊無效,必須證明以下三個屬性之一:

is_valid_transition(prev_state, block, witness) => boolean

這三個狀態轉換有效性條件如圖所示:

該狀態有效性博弈具有一些有趣的屬性:

  1. 可插拔的有效性檢查器 : 我們可以爲 is_valid_transition(…) 定義不同的有效性檢查器,從而允許我們使用不同的VM(包括EVM和WASM在內)來運行智能合約。
  2. 僅有一條有效鏈 : 提交到以太坊的區塊,可以確定交易和區塊的總順序。 這使我們能夠確定性地確定“頭(head)”塊,從而要求聚合商在提交新塊之前刪減無效的塊。
  3. 部分驗證 : 此有效性博弈可以以單個UTXO爲基礎進行。方案使用部分無效取代全部區塊整體無效 -- 這類似於Plasma Cash。 請注意,並不需要證明一個塊的所有無效轉換。 部分區塊無效驗證意味着我們可以只驗證我們關心的狀態, 以確保安全。 要了解有關UTXO如何實現並行性請查看 Cryptoeconomics.study視頻

有關瞭望塔

譯者注:瞭望塔是一個幫助用戶監視交易欺詐的實體,因爲普通用戶很難實時在線,瞭望塔則可以充當用戶的代理。

採用L2的挑戰之一是 瞭望塔 的複雜性。 與用戶簽約的瞭望塔,是另一個加入的來管理已經複雜的系統實體。 幸運的是,optimistic rollup 加密經濟有效性博弈自然地激勵了瞭望塔! 所有數據都是可用的,因此任何人都可以運行全節點驗證無效交易以獲得“所有”構建無效鏈的聚合商的保證金。 這種風險激勵將促使聚合商成爲瞭望塔,從而驗證他們建立的鏈,從而減輕了驗證者的困境。

有關Plasma

許多plasma構造也依賴於加密經濟學的有效性博弈。 但是,在沒有zkProofs或數據劫持攻擊的 漁夫博弈 (數據可用性問題)情況下,在plasma中執行合約自治是不可能的。 值得慶幸的是,rollup 通過發佈計算鏈上狀態轉換所需的最少信息來解決數據可用性問題。 不過,如果我們想擴容到每秒數十萬(甚至更多)的交易 plasma 仍然是至關重要,但是這是遠期的需要,但對於許多智能合約而言,從中期來看並不是必需的。

安全假設

  1. 加密經濟學有效性博弈是基於 誠實甚至理性的驗證者 假設下工作的。 我們可以說他是“理性”的驗證者,而不是“誠實”的驗證者,因爲挑戰博弈可能會從經濟上激勵他們。

  2. 另外,我們假設主網是 活躍的 ,這意味着它不會審查所有試圖證明無效的交易(譯者注: 審查意味着干預 ,這裏的意思是指:證明無效的交易並不會選擇性的干預,例如如丟棄該交易)。 請注意,從某種意義上說,聚合商的解除保證金退出期限是主網上的活躍性假設(例如,如果我們需要1個月的保證金退出期限,需要在該月內證明提交無效性證明,才能罰沒保證金)。

在這些假設下,所有無效塊或狀態轉換都將被丟棄,從而使我們獲得一個有效總體狀態,並滿足屬性 #2。

3: 活躍的總體狀態

我們必須滿足的最終屬性是活躍,通常被稱爲抗審查能力。 確保這一點的關鍵是:

  1. 保證金大小超過 MINIMUM_BOND_SIZE 的任何人都可能成爲同一rollup鏈的聚合商。

  2. 由於誠實的聚合商可能會移除無效的塊,因此即便產生了無效區塊,鏈也 不會停止

有了這兩個屬性,我們就可以保持活躍!誠實的聚合商可能總是避免提交無效區塊,因此,即使只有一個非審查性聚合商,你的交易最終也會得到確定,這與主網類似。

有關活躍與即時確認

我們真正想要的一個屬性是即時確認。 這樣就可以爲用戶提供亞秒級的反饋,表明他們的交易將被處理。 我們可以通過在塊上指定聚合器短時的壟斷出塊來實現這一目標。 缺點是,它降低了抗審查能力,因爲現在一個參與方一段時間內具備了審查。 很想聽聽有關此權衡的任何研究!

安全假設

保持活躍基於兩個安全性假設:

  1. 存在一個非審查聚合商。
  2. 以太坊主網是非審查的

在這些假設下,optimistic rollup 鏈將能夠基於任何有效的用戶交易來進化和變更總體狀態 (滿足屬性#3)。

現在,這三個屬性均已滿足,並且我們在以太坊L2中提供了一個無許可的智能合約平臺!

可擴展性指標

以下估算是 完全基於數據可用性 。 實際上,可能會遇到其他瓶頸,其中一個是狀態計算。 但是,這確實提供了可用的上限。

在ETH1數據可用性下的ERC20 轉賬

計算基於 一個簡單的 call-data 計算 python 腳本 .

請注意,這些 ERC20 轉賬對calldata 進行了優化。 另外請注意,Optimistic Rollup 的好處是我們不僅限於ERC20傳輸!

ECDSA 簽名~100 TPS: 未採用 EIP 2028 時 ~450 TPS: 採用 EIP 2028 後 ( 2019年 10 月已經很到主網)

BLS 簽名 / SNARK-ed 簽名~400 TPS : 未採用 EIP 2028 時 ~2000 TPS : 採用 EIP 2028 後 ( 2019年 10 月已經很到主網)

在其他的數據可用性下( 如 ETH2, Bitcoin Cash)

與L1可以處理的吞吐量的數量成線性關係。

超過2000 TPS!

Optimistic Rollup 與 Plasma

Optimistic Rollup與Plasma有很多共同點。 兩者都使用聚合商通過加密經濟有效性博弈來確保安全性,從而在主網上提交區塊。 唯一的區別是是否具有確保區塊可用的可用性收據。

兩種解決方案之間的相似之處使得兩者之間可以共享許多基礎架構和代碼。 在成熟的L2生態系統中,我們很可能會看到rollup,plasma和狀態通道在同一個客戶端(智能錢包)中一起工作。 哦,我是否提到過[OVM]( https://medium.com/plasma-group/introducing-the-ovm-db253287af50 )? :grin:

Yay Optimistic Rollup :tada:

Optimistic Rollup會在L2中佔據一席之地。 它在通用智能合約平臺,簡單性,安全性和擴展性之間做了一些權衡。 再加上其能夠安全的運行智能合約,意味着它甚至可以用於裁定其他第二層解決方案,例如Plasma和狀態通道!

就把它稱爲二代 L2 中的 L1 吧。

無論如何,研究已經夠了,是時候實施強大,全面且用戶友好的以太坊第2層了! :heart_eyes:

特別感謝Vitalik Buterin與我一起解決這些想法並提出了很多建議

此外,還要感謝Ben Jones所做的大部分工作以及Jinglan Wang,Kevin Ho 和Jesse Walden 的編輯。

更新:John Adler 在他的《合併共識》中的文章與optimistic rollups 進行了對比分析,參考 此處 ,另外, 此提案 可以提高 ETH1 的數據可用性 - 更多的 TPS!

Plasma Group Blog

  • 發表於 3分鐘前
  • 閱讀 ( 3 )
  • 學分 ( 104 )
  • 分類:以太坊
相關文章