Vitalik 科普稱這不屬於 Rollup 方案,而是 Validium 。

撰文:LeftOfCenter

零知識證明研發機構 StarkWare 針對 Reddit 積分系統進行擴容演示,採用了一種名爲 StarkEx 的擴容技術,StarkWare 將其稱之爲一種 ZK-Rollup 的擴容引擎。

在該演示中, StarkEx 擴容方案以無需信任的方式在以太坊主網上爲Reddit 上「FortNiteBR」子版塊的全部用戶創建了 130 萬個帳號和存入初始資金,並有效展示瞭如何以快速、較低 gas 費成本實現將這些代幣帶到主網上。該交互無需信任,由一系列 STARK 證明和向以太坊主網提交的狀態承諾支持。

StarkEx 擴容方案可降低 30% 以太坊 Gas 費

根據 StarkWare 發佈的鏈上數據, StarkEx 將所有 Reddit 子版塊發送到以太坊主網上,平均每次交易轉移價格爲 600 gas 費,比同期均價低 30%。

此次測試進行了大約12 個小時只佔用了部分以太坊網絡,約爲 2.5%,因此,並沒有造成網絡擁塞。與之對比,如果直接在以太坊主網上進行同樣的操作,即使在佔用整個網絡的情況下,也需要 4.5 天。

3 分鐘瞭解進行 Reddit 積分系統演示的以太坊擴容引擎 StarkEx
StarkEx 降低 30% 以太坊 Gas 費用

此外,在此次演示中,StarkEx 的擴容方案被用於實現代幣轉移和交易

根據 StarkEx 的描述,此次測試共鑄造了2 ^ 60 個 ERC-20 代幣 Mock,然後將其存儲到一個代表某個 subreddit 的智能合約中。

接着,StarkEx 以無需信任的方式將這些新鑄造的代幣資產轉移到「subreddit 金庫」的鏈下帳戶中,在該案例中,每批次代幣轉移是指,將代幣從 Reddit 某子版塊管理員賬號轉移到該版塊下某個個人賬號中。此次測試總共進行了159 次批量代幣轉移,每一批次包含 8,192 次傳輸。每進行一批次轉移操作,都會生成一個 STARK 證明,以證明該批次的完整性,同時更新帳戶餘額的鏈下 Merkle 樹。

然後,這些證明(在 13 次獨立交易中,平均每筆交易達 38 萬 gas 費,每個證明總計 494 萬 gas 費。)再被髮送到鏈上,並附帶一個承諾(commitment)更新至 Merkle 的樹狀態中。

這樣算下來,單筆交易需603 gas 費(494 萬 gas 費 / 8192 次發送)。爲了不給已經嚴重擁堵的主網造成負擔,StarkEx 總共提交了 2067 筆交易(分 13 批次提交,每批次 159 筆交易)。

StarkEx 並不是 Rollup 方案?

該技術也受到了以太坊創始人 Vitalik Buterin 的關注,並通過推特評論詢問,這到底屬於那一種擴容方案,是 Rollup 還是 Plasma?

在 StarkEx 的產品 Avihu Levy 進行解釋後,Vitalik 認爲這並不屬於 Rollup,並採用了 StarkWare 聯合創始人 Eli Ben-Sasson 的建議,認爲將其叫做「Validium」更合適。「Validium」在拉丁語中,是「有效」的意思。

Vitalik 認爲,可將 Validium 方案叫作是「鏈下數據版的 zk Rollup 」或者「Snarks 版的 Plasma」。不過他表示,未來,也可以將「zk Rollup」重命名爲「Validium Rollup」或類似名稱。

3 分鐘瞭解進行 Reddit 積分系統演示的以太坊擴容引擎 StarkEx

根據基於零知識證明的以太坊 Layer 2 擴容方案 ZK-Sync 背後開發團隊 Matter Labs 的科普,zkRollup 和 Validium (StarkEx 屬於 Validium 的一類)的主要區別在於:

zk Rollup: 將數據保存在鏈上,只要存在至少一個以太坊全節點,就能保證其安全性。
Validium:將數據保持在鏈下。其保證安全的前提則是,n 個許可的數據公證人中至少有 1 個是誠實的。

Validium 方案允許每個用戶自行下載鏈下數據,這樣的話,仍需要退出之後才能恢復,以防 operator 突然或永久離線。

Vitalik Buterin 認爲,Validium 擴容方案的優勢在於,其針對鏈下數據系統有效性證明可大大簡化退出機制的邏輯,並允許在第二層內部實現任意執行。但缺陷在於,這會導致出現退出延遲,因此,Vitalik 認爲,Validium 方案遠不如 zk Rollup 方案

科普之後,我們明白,StarkWare 將 StarkEx 稱作是 「zk Rollup 的一種」完全沒有道理。對此,路印協議創始人王東稱,一直將 StarkWare 看作競爭對手,結果他們的技術不是,意味着用戶必須相信他們的聯盟保障資產安全,無法達到與以太坊主網相同的安全級別。

文章參考:
https://medium.com/starkware/with-starkex-ethereum-is-ready-for-reddit-3b2966d5203b
https://twitter.com/VitalikButerin/status/1267455602764251138