原文:《Volitions:在ZK-rollup和Validium之間做選擇的零知識證明方案》
作者:Chloe
目前以太坊基于零知識證明的擴容方案是ZK-rollup,但其實還有另外兩種解決方案——Validium和Volitions。
本文簡單介紹以上3種基于零知識證明的擴容方案。
ZKrollup
ZK-rollup的運作簡單來說是將多筆交易打包在一起,發布到L1上,同時發布一個證明來聲稱這些交易有效,一旦在L1上驗證確實有效,那么zk-rollup的狀態就會更新。
加密基礎設施初創公司Openfort完成300萬美元種子輪融資:金色財經報道,加密基礎設施初創公司Openfort完成 300 萬美元的種子輪融資,用于為游戲開發商和發行商開發其“錢包即服務”軟件產品,該輪融資由 Gumi Cryptos Capital 和 Maven 11 共同領投。Game7、NGC Ventures、紐曼資本也參與了此輪融資。?
Openfort 希望為視頻游戲工作室提供該公司所稱的“無摩擦”錢包技術,該技術由多個 API 組成,這些 API 與瀏覽器游戲以及在 Unity 和虛幻引擎 5 中構建的 PC 游戲兼容。該公司還在構建一個選項,也支持手機游戲。?[2023/5/23 15:19:28]
這套證明機制也被稱作「有效性證明」,目前ZK-rollup主要采用的證明機制是zkSNARK和zkSTARK。
美聯儲明年2月加息25個基點的概率為69.2%:1月3日消息,據CME“美聯儲觀察”:美聯儲明年2月加息25個基點至4.50%-4.75%區間的概率為69.2%,加息50個基點的概率為30.8%;到明年3月累計加息25個基點的概率為14.0%,累計加息50個基點的概率為61.4%,累計加息75個基點的概率為24.5%。[2023/1/3 22:21:40]
尤其是zk-SNARK應用最為廣泛,而zk-SNARK則是它的改進版,目前使用者并不多。
zk-SNARK即zero-knowledgesuccinctnon-interactiveargumentonknowledge,是一種文件很小且很容易驗證的加密證明,而簡潔jiu就在于非交互式。
CFTC 專員呼吁成立重點關注零售交易者的新辦公室并保護加密市場:金色財經報道,美國商品期貨交易專員(CFTC)Caroline Pham提議為CFTC設立一個新的 \"零售倡導者辦公室\",這可能是該機構領導層更廣泛地推動更直接監督加密貨幣市場的因素。
Pham特別提到,\"加密貨幣崩潰,風險管理失敗,以及大量的零售損失,是作為在該機構啟動一個專注于零售投資者的新辦公室的理由。他還指出,CFTC的執法和目前的零售投資者教育工作是該辦公室要擴大的努力。[2022/9/29 6:00:01]
傳統方案是交互式證明,即示證者和驗證者之間反復確認。你可以理解為示證者不斷向驗證者詢問“是或不是?”,然后驗證者不斷給出回答,直到最后碰出一個正確答案來,所以效率很低。
俄羅斯準備通過立法修正案來規范 NFT:金色財經報道,俄羅斯莫斯科經濟發展部正計劃對民法典和“數字金融資產”法提出幾項修正案,以規范俄羅斯聯邦的 NFT 市場。該消息來自在該部的倡議下舉行的一個特別工作組的會議。在討論期間,參與者為數字收藏品提供了法律定義,并起草了必要的立法修改。俄羅斯中央銀行 (?CBR?) 和俄羅斯社交媒體網絡Vkontakte的代表出席了會議,該網絡于今年早些時候宣布打算在其平臺上引入對區塊鏈和NFT的支持。
以對加密貨幣的強硬立場而聞名的俄羅斯銀行堅持認為,經濟部不應處理與數字代幣監管相關的問題。根據貨幣當局的說法,這些屬于其職權范圍和財政部的職權范圍。監管機構反對在俄羅斯將比特幣等加密貨幣的流通合法化,并將其用于支付。[2022/7/28 2:42:32]
而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方案,也不失為一種兼顧了各種場景的解決方案。
原文來源:Shield?華語頻道原文編輯:SevenUpDAO本篇旨在系統講解?LSD?賽道從上游到下游的全景及競爭概況,從質押邏輯到后續推演和投資機會均有涉及.
1900/1/1 0:00:001.金色觀察|一文看懂ERC-4337賬戶抽象在OpenZeppelin最近的審計之后,ERC-4337的“EntryPoint”合約在主網上線,你可以在身邊的EVM上使用帳戶抽象了.
1900/1/1 0:00:00Mar.2023,Daniel數據源:ArbitrumEcosystemOverview雖然L2的甜蜜點一直是DeFi.
1900/1/1 0:00:00導讀:一家引領全世界的搜索引擎巨頭,已經手握類ChatGPT技術兩年,卻被微軟和OpenAI步步搶先,正在逐漸失去自己曾經制霸的領土。谷歌的故事,值得所有人深思。 最近,微軟是喜訊連連.
1900/1/1 0:00:00編譯:Dali@Web3CN.Pro這是一個很可能會被載入硅谷歷史的事件:硅谷最著名的銀行——硅谷銀行居然自己釀成大錯,現在深陷危機不得不需要其他銀行來救助.
1900/1/1 0:00:00摘要: 近期,美國首個承載比特幣挖礦服務的核動力數據中心宣告正式建成。這一事件使得核能挖礦再次進入了人們的視野.
1900/1/1 0:00:00