淺析3種ZK擴容方案：ZK-rollup、Validium和Volitions_ROLL

原文：《Volitions：在ZK-rollup和Validium之間做選擇的零知識證明方案》

作者：Chloe

目前以太坊基于零知識證明的擴容方案是ZK-rollup，但其實還有另外兩種解決方案——Validium和Volitions。

本文簡單介紹以上3種基于零知識證明的擴容方案。

ZKrollup

ZK-rollup的運作簡單來說是將多筆交易打包在一起，發布到L1上，同時發布一個證明來聲稱這些交易有效，一旦在L1上驗證確實有效，那么zk-rollup的狀態就會更新。

鏈上數據顯示a16z正在逢高出售700萬美元的MKR代幣:金色財經報道，區塊鏈數據顯示，隨著加密貸款平臺MakerDAO的MKR治理代幣價格飆升至近一年高位，Andreessen Horowitz(a16z)正在逢高出售其對MKR治理代幣的部分持倉。以太坊區塊鏈監控網站Etherscan顯示，約700萬美元的MKR已從a16z的加密錢包轉移到上周四新創建的地址，新錢包開始每天向加密交易所Coinbase存入1,380枚代幣（價值約150萬美元），將代幣發送到交易所通常表明有意出售。截至周二，從該錢包存入Coinbase的存款總額為610萬美元，最新一筆交易發生在北京時間周二10:18?PM。

這些交易發生之際，MKR一度飆升至近一年高點1,200美元以上，此前一項新的代幣回購計劃啟動，減少了代幣的供應。該代幣目前交易價為1,140 美元。

a16z的加密錢包仍持有12,395MKR（占其流通供應量的1.3%），價值1,400萬美元。[2023/7/26 15:58:42]

這套證明機制也被稱作「有效性證明」，目前ZK-rollup主要采用的證明機制是zkSNARK和zkSTARK。

OPNX平臺現貨和永續衍生品24小時交易量僅為13.64美元:金色財經報道，由 Zhu Su 等人創立的債權市場 OPNX 平臺上線首日交易量表現不佳，在頭 24 小時內現貨和永續衍生品交易量僅為 13.64 美元。該公司首席執行官Leslie Lamb在后續推文中表示，在 FTX 事件發生后，我們對此進行了深入思考，并重新評估了建立流動性應該是什么樣子。?這意味著不依賴內部做市商，也不優先考慮外部做市商。這就是我們以最低流動性啟動的原因。[2023/4/6 13:47:00]

尤其是zk-SNARK應用最為廣泛，而zk-SNARK則是它的改進版，目前使用者并不多。

加密交易所Bit2Me推出萬事達返現借記卡:2月10日消息，西班牙加密貨幣交易所Bit2Me推出返現最高9%的萬事達借記卡。除了在實體店支付外，還支持全球24小時在線支付和ATM取款。

該卡支持通過加密貨幣錢包使用B2M、比特幣、以太坊、ADA、XRP、SOL、DOT和USDT支付。Bit2Me在2023年計劃讓其錢包支持更多加密貨幣。[2023/2/10 11:58:26]

zk-SNARK即zero-knowledgesuccinctnon-interactiveargumentonknowledge，是一種文件很小且很容易驗證的加密證明，而簡潔jiu就在于非交互式。

Axie Infinity Builders Program收到超2000份申請，最終12個項目入選:5月31日消息，周二，Axie Infinity開發商Sky Mavis宣布已經接受了Axie Infinity Builders Program中第一個由用戶創建的項目。在2000多名申請者中，只有12個項目入選。

據悉，被選中的團隊將獲得至少1萬美元的贈款，以AXS支付，用于資助項目開發。他們還將獲得授權，以使用Axie Infinity品牌，以收入分成模式實現游戲盈利。其中值得一提的項目包括Across Lunacia（面向Axies NFTs的平臺冒險游戲）和Mech Infinity（面向Axies及其獨特能力的大逃殺游戲）。（Cointelegraph）[2022/6/1 3:54:05]

傳統方案是交互式證明，即示證者和驗證者之間反復確認。你可以理解為示證者不斷向驗證者詢問“是或不是？”，然后驗證者不斷給出回答，直到最后碰出一個正確答案來，所以效率很低。

而SNARK的解決方案是提前先搞一個“可信初始化”，從而生成公共參考字符串，這樣所有的示證者直接訪問它就可以了。你可以理解為有一個標準答案，示證者就像批改試卷那樣去驗證。

但SNARK提前生成公共參考字符串提高了效率，但也留下了隱患——萬一公共參考字符串泄漏了呢？于是就催生出了STARK。

STARK是交互式證明，但它是一種巧妙的交互式證明——通過哈希函數碰撞來保證安全性，因此也比較高效。

Validiums

ZK-rollup是將交易分批發送到L1上去執行，是一種無需信任的「自定義安全性」。

Validiums則是直接在鏈下執行，并通過零知識證明來維護數據，只有需要的時候才在主網上驗證取款請求的有效性證明。

所以Validiums可擴展性要高于ZK-rollup，但它是把信任交給鏈外第三方的「弱信任擴容」，會被攻擊導致數據不可用或者用戶無法取出資金。

解決安全的方式是采用PoS機制，用經濟激勵來確保數據儲存在各個節點之中并且隨時可用。

目前采用Validiums方案的代表項目是ImmutableX，以NFT為中心的擴展解決方案。

Vitalik認為Validiums其實被嚴重低估，因為大多數Dapp用Validiums就已經可以滿足運行需求了。

Volitions

StarkWare團隊結合ZK-rollup和validium，創造性地推出了Volitions方案，顧名思義是關于「決斷能力」。

Volitions方案本質上是同時提供ZK-rollup和validium這兩種服務，它們共享同一個狀態根，用戶可以自行選擇每筆交易的DA模式。即便Validium那部分被攻破，ZK-rollup上的資金仍然安全。

用戶就可以在涉及重要資金往來時選擇ZK-rollup模式，共享以太坊的安全性，如果是日常娛樂、社交或者小額交易，自然選擇Validium模式來提高速度并節省成本。

結語

以太坊擴容戰爭還在剛開始，目前占據優勢的是Optimisticrollups陣營，它們可以做到EVM兼容甚至完全等效，另外社區運營能力也非常強勁。

ZK-rollup落于下風很大程度上是因為一開始就要定制VM，這意味著來自EVM的代碼要從頭開始編寫。

不過長遠來看，相比于Optimisticrollups，ZKrollups具有內置的隱私和安全優勢，未來實現EVM兼容性，很可能勝過Optimisticrollups。

而且可以在ZK-rollup和validium之間做決斷的Volitions方案，也不失為一種兼顧了各種場景的解決方案。

Tags：ROLLROLALIVALQrolliBenjiRollsVirtual Reality Game Worldvalue幣最新消息

Luna