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

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

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

ZKrollup

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

Bankless Ventures已獲得75%承諾投資 LP包括a16z創始人等:4月29日消息，4月28日Bankless聯合創始人David Hoffman發布推特文章，披露了 規模為3500萬美元的Bankless Ventures已獲得75%的承諾投資，LP包括a16z創始合伙人Marc Andreessen，a16z Crypto 創始人 Chris Dixon，以太坊基金會研究員 Dankrad Feist，Polygon聯合創始人Sandeep Nailwal，NGC 等， 其目標是在5月底前結束融資。

此前消息，3月初，Bankless 播客主理人 David Hoffman 和 Ryan Sean Adams 計劃為其風投基金 Bankless Ventures 募集3500萬美元，以用于投資種子輪階段的Web3公司。[2023/4/29 14:34:31]

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

南非超市巨頭Pick n Pay已在其所有門店接受比特幣支付:金色財經報道，南非最大的連鎖超市之一Pick n Pay已開始在其所有1628家門店接受比特幣閃電網絡付款。

此前報道，去年11月，Pick n Pay表示已接受閃電網絡付款。客戶可通過比特幣在全國39家商店中進行支付。[2023/2/2 11:42:00]

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

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

以太坊開發人員就下一次升級中可以包含的內容達成一致:金色財經報道，以太坊開發人員決定考慮將八項以太坊改進提案(EIP) 納入該網絡即將推出的名為“上海”的硬分叉中。硬分叉升級將解鎖Beacon Chain質押的ETH取款，并且可能包括解決可擴展性問題的提案和其他旨在改進以太坊虛擬機的提案。但具體時間，目前還沒有達成共識。

讓 EIP“考慮納入”(CFI) 意味著開發人員將致力于制定這些提案，并將通過開發人員網絡 (devnets) 的測試運行它們。然而，不能保證所有這些提議最終都會被納入上海。[2022/11/25 8:06:10]

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

新疆：讓更多外貿企業利用區塊鏈平臺獲得融資支持:8月9日消息，近日，新疆某國際貿易有限公司通過跨境金融區塊鏈服務平臺成功申請到了10萬美元出口應收賬款融資，有效緩解了企業資金壓力。據悉，國家外匯管理局新疆分局為助企紓困、保穩提質，大力推廣應用跨境金融區塊鏈平臺，通過“廣泛宣傳+精準對接”，聯合轄區外匯指定銀行，確保跨境金融區塊鏈政策第一時間傳導至外貿企業，讓更多外貿企業利用區塊鏈平臺快速、高效獲得融資支持，有效緩解了企業融資難、融資貴問題。（人民日報）[2022/8/9 12:13:12]

而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：ROLLROLALILIDroll幣可以roll坐騎嗎RolodexALIENSQUID幣Lido Staked ETH

屎幣