VAL:淺析3種ZK擴容方案_ROL

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

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

ZKrollup

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

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

Alpaca Finance擬停用Fantom上的治理金庫，將所有ALPACA橋接回BNB Chain:6月2日消息，杠桿挖礦平臺 Alpaca Finance 發推表示，由于 MultiChain 存在持續問題，將停用 Fantom 上的治理金庫，且今后 Fantom 鏈上的收入將分配給 BNB Chain 上的 xALPACA 持有者。其中 Alpaca Finance 將升級 Fantom 的治理合約，允許管理員提取鎖定的 ALPACA，然后將所有 ALPACA 橋接回 BNB Chain，并進行 Merkle 分發，使用戶可以在 BNB Chain 上領取他們的 ALPACA。此項操作將在周末開始，并且 ALPACA 代幣將在下周初可供認領。[2023/6/2 11:54:35]

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

中國銀河證券數字人民幣投資場外理財產品獲準上線:5月19日消息，中國銀河證券聯合中國工商銀行召開“數字連接財富 證券行業數字人民幣應用創新”試點發布會。本次發布會正式宣布，雙方申報的金融科技創新試點項目“證券市場數字人民幣應用場景創新”，獲中國證監會批準上線。據了解，在該試點項目中，銀河證券和工商銀行充分利用數字人民幣支付即結算、可加載智能合約、可追蹤、不可非法偽造復制的技術優勢，創新設計出“三方存管體系下數字人民幣購買場外理財產品”的應用場景。[2023/5/19 15:13:08]

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

歐盟將要求加密貨幣公司向監管機構報告稅收細節:金色財經報道，歐盟委員會表示，計劃要求加密貨幣公司向稅務機關報告用戶的持倉情況，不過該機構仍在研究如何對設在歐盟之外的交易所執行這些措施。歐盟稅務專員Paolo Gentiloni在一份聲明中表示，匿名性意味著許多賺取大量利潤的加密資產用戶落在國家稅務機關的視線之外。這是不可接受的。

當被問及歐盟將如何對集團外的公司執行這些措施時，Gentiloni稱，我們將在這方面努力，對我們來說，重要的是歐盟居民成為這些措施的目標，即使他們使用來自其它地方的加密貨幣供應商。

Gentiloni的措施將進一步推動歐盟的《加密資產市場條例》（MiCA），該條例允許外國公司使用一種稱為反向招攬的程序獲得歐盟客戶。[2022/12/9 21:32:49]

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

Deribit：所有工具的結算將在ETH PoS上進行:8月9日消息，加密衍生品交易所Deribit發布關于以太坊合并硬分叉政策公告，稱所有工具的Deribit結算將在ETH基金會支持的鏈（即PoS或ETH2）上進行。如果分叉代幣的價值大于ETH PoS的0.25%并且新鏈已經穩定并正常運行，Deribit將向用戶提供這些分叉代幣。不過如果有新的代幣，新的代幣也不被視為保證金。[2022/8/9 12:12:10]

而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方案，也不失為一種兼顧了各種場景的解決方案。

公眾號：Crypto馬少

Tags：ROLLROLALIVALTROLLQrolliItalian LiraCOVAL

Filecoin