ROLL:Volitions：在ZK-rollup和Validium之間做選擇的零知識證明方案_VOL

作者:Chloe

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

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

  ZK rollup

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

Revolut在美國市場下架ADA、MATIC和SOL:金色財經報道，在6月28日發送給美國用戶的電子郵件中，英國金融科技公司Revolut宣布將終止對三種主要加密貨幣的支持。該公司表示，美國用戶將無法通過其應用程序購買Cardano?(ADA)、Polygon?(MATIC) 和Solana (SOL)，立即生效。

在稍后的未指定日期，用戶將無法再持有或出售這些加密貨幣。該日期之后，Revolut將自動出售代幣并將等值現金存入每個用戶的Revolut賬戶。[2023/6/30 22:09:39]

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

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

英國央行計劃拒絕Revolut的銀行執照申請:金色財經報道，英國央行已經告知英國財政部，計劃拒絕Revolut的銀行執照申請。在審計師BDO對Revolut2021年的收入數字表示懷疑后，Revolut的財務狀況今年引起了審查。BDO在賬目附帶的一份說明中說，它無法核實Revolut報告的四分之三的收入約7.65億美元，并警告說，一些信息可能有 \"重大誤報\"。

據悉，Revolut是英國的新興加密銀行，提供加密貨幣交易作為其金融應用程序的一部分，它的銀行執照申請可能被英格蘭銀行拒絕。[2023/5/19 15:13:45]

zk-SNARK即zero-knowledge succinct non-interactive argument on knowledge（簡潔非交互式零知識證明），是一種文件很小且很容易驗證的加密證明，而簡潔jiu就在于非交互式。

Revolut將推出\"精簡版\"應用程序，具有即時跨境轉賬等功能:金色財經報道，倫敦數字銀行Revolut將在未來幾個月內推出其應用程序的輕量級版本，具有即時跨境轉賬等功能。它也在深入研究加密貨幣，并正在努力為美國客戶增加其加密貨幣產品，同時開發一個非托管的DeFi錢包。（the block）[2022/11/17 13:17:58]

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

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

英國股票交易應用Freetrade聘請Revolut前高管Paul Brooking擔任首席財務官:9月20日消息，根據一份新聞稿，英國股票交易應用Freetrade已聘請Paul Brooking擔任首席財務官。Brooking此前曾在Freetrade的競爭對手Revolut擔任副首席財務官和財務控制主管。Revolut是一家市值330億美元的金融科技公司，提供股票交易和一系列其他金融產品，在加入Revolut之前，Brooking曾在倫敦上市交易平臺IG Group工作。Freetrade的創始人兼首席執行官Adam Dodds表示，Brooking將帶來“在私營和上市公司擔任高級財務職務的豐富經驗”，他表示，隨著公司向新市場擴張，這些經驗將是“無價的”，而其中一個市場便是加密貨幣交易。今年2月消息，Freetrade正在為一款新的加密貨幣產品招聘一名產品經理。而Revolut的核心業務是一個活期賬戶產品，自2017年以來一直向客戶提供加密交易工具。（The Block）[2021/9/20 23:38:37]

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

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

  Validiums

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

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

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

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

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

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

  Volitions

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

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

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

  結語

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

ZK-rollup落于下風很大程度上是因為一開始就要定制VM，這意味著來自EVM的代碼要從頭開始編寫（雖然難度已經越來越低了）。

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

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

鏈茶館

個人專欄

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：VOLREVOROLLREVRevoltrevo幣團隊TROLLER幣RevivalX

歐易交易所app官網下載