【鏈聞精選】3分鐘了解Reddit獎勵系統用的以太坊擴容引擎:StarkEx

source:PTT新聞

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

撰文:LeftOfCenter,原標題《3 分鐘了解進行Reddit 積分系統演示的以太坊擴容引擎StarkEx》

零知識證明研發機構 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 看作競爭對手,結果他們的技術不是,意味著用戶必須相信他們的聯盟保障資產安全,無法達到與以太坊主網相同的安全級別。

本文經鏈聞同意授權轉載,文章來源:鏈聞 ChainNews(ID:chainnewscom)

衍伸閱讀


立即加入 Telegram 獲得最精準的區塊鏈新知、加密貨幣動態!