比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

PSE Trading:零知識證明的出路在哪里?_BSP

Author:

Time:1900/1/1 0:00:00

原文作者:@Calvin,PSE Trading Analyst

“總的來說,我的觀點是在短期內,Optimistic rollup 在 EVM 兼容方面占盡優勢,而 ZKrollup 則有望在簡單支付層面、交易以及其他特定用例方面更勝一籌。

不過在中長期來看,ZK rollup 會隨著 ZK-SNARK 技術的改進,在所有用例中勝出。”

這是V神在他的博客《An Incomplete Guide to Rollups》一文中的原話。

ZK 是 ETH 的理想, 零知識證明(Zero-Knowledge Proofs, 一下簡稱 ZK)在以太坊生態系統中的應用揭示了其在解決區塊鏈的不可能三角問題(即安全性、可擴展性和去中心化之間的權衡)方面的潛力, 無需訪問完整的交易詳細信息,提高了系統的可擴展性的同時不損失安全性。

ZK 的引入使的 ETH 系統的去中心化特性進一步加強(節點門檻降低)確保了網絡的分散性和抗審查能力, 讓 ETH 如龍入海, 難以抹滅。

這么重要的 ZK, 為什么大家的使用感受奇差, 規模化落地又掀不起任何浪花呢?

我把目前零知識證明之所以還處于瓶頸期, 的原因歸結為 三個方面: 兼容性問題、效率問題、 和 數據結構問題。

由于 EVM(以太坊虛擬機)已經在區塊鏈領域中崛起為類似 JavaScript 的地位,它已成為新型價值互聯網的通用語言。擁有眾多的工具、服務、庫和基礎設施,EVM 的廣泛應用在當前的技術環境中幾乎成為了一種必然趨勢。

互聯網中流傳這一句話:“凡是能用 JavaScript 實現的東西,最后都會用 JavaScript 實現”。

這其中還有一種重要的但是容易混淆的概念就是“EVM 兼容”和“EVM 等效”。

通用 Layer2 基礎設施 Eclipse 完成 1500 萬美元融資:金色財經報道,通用 Layer2 基礎設施 Eclipse 宣布以上億美元估值完成 1500 萬美元的Pre-seed和種子輪融資,其中,900 萬美元種子輪融資由 Tribe Capital 和 Tabiya 共同領投,Tabiya 是一家由幣安前高管創辦的加密風險投資基金,該輪的其他參與者包括Caballeros Capital、 Infinity Ventures Crypto、Soma Capital、Struck Capital 和 CoinList。600 萬美元 Pre-seed 輪融資由 Polychain Capital 牽頭,參與方包括 Tribe Capital、Tabiya、Galileo、Polygon Ventures、The House Fund 和 Accel。據悉,Eclipse 是一個可定制的 Rollup,與多個第 1 層區塊鏈兼容。該平臺使開發人員能夠部署他們自己的由 Solana 操作系統提供支持的Rollup,使用任何鏈進行安全或數據存儲。(coindesk)[2022/9/28 5:55:52]

從“接近程度”和“實現方式”上來理解這兩者的差距——

“兼容”:一個系統能夠以某種方式執行和理解 EVM 字節碼,它能夠支持通過 Solidity 或其他 EVM 語言編寫的智能合約。

“等效”:EVM 等效性 則是一個更高的標準。一個 EVM 等效的系統不僅能夠執行 EVM 字節碼,而且在行為和路徑上完全匹配 EVM。所有針對 Ethereum 的工具和庫應該也能在 EVM 等效的系統上使用,而無需任何修改。

“EVM 等效”優勢和劣勢:

優勢:

完全的工具鏈和基礎設施支持:Ethereum 擁有一個龐大的工具鏈和基礎設施生態系統,包括各種開發工具、測試框架、代碼庫和服務。如果一個L2解決方案是 EVM 等效的,那么所有這些工具和服務都可以無縫地與其集成,因為從他們的視角來看,這個L2解決方案就像是另一個 Ethereum 網絡。

更容易吸引和遷移開發者:Ethereum 上的開發者們已經習慣了 EVM 的行為和特性。如果一個L2解決方案是 EVM 等效的,那么開發者可以直接使用他們已經熟悉的語言(如 Solidity)和工具在這個L2解決方案上進行開發,而無需學習新的編程模型或語言。

跨鏈協議Synapse Network宣布支持Fantom網絡:10月9日消息,跨鏈協議Synapse Network宣布支持Fantom網絡,并增加了對Stable Coin Magic Internet Money (MIM)的支持,用戶現已可將包括SYN、nUSD、USDT、USDC、MIM在內的5種資產,在Ethereum主網、Arbitrum、Polygon、BSC、Avalanche以及Fantom網絡間進行雙向轉移。此外,SynapseNetwork目前已推出一個包含資產MIM/USDT/USDC的FantomnUSD池。[2021/10/9 20:16:06]

更好的合約兼容性:許多現有的 Ethereum 合約依賴于 EVM 的特定行為。如果一個L2解決方案是 EVM 等效的,那么這些合約可以在不修改或只需進行最小修改的情況下在這個L2解決方案上運行。

未來的 EVM 改進和特性:EVM 還在不斷發展和改進中,新的 EIPs(Ethereum Improvement Proposals)可能會引入新的特性或優化。如果一個L2解決方案是 EVM 等效的,那么這些改進和特性可以很容易地在這個L2解決方案上實現。

劣勢:

技術更復雜:EVM 是一個復雜的虛擬機,它的行為和特性需要深入理解并準確實現。在L2解決方案中實現 EVM 等效性可能需要解決一些技術上的困難,比如如何在一個不同的共識環境或網絡模型中模擬 EVM 的行為。

性能和效率:EVM 是為 Ethereum 設計的,它的設計可能并不完全適合L2解決方案的特性和需求。例如,EVM 使用 256 位整數進行計算,而許多 zk-proof 系統更自然地工作在質數字段上。直接實現 EVM 可能需要引入額外的范圍檢查等操作,這可能會降低性能和效率。

靈活性和創新的限制:堅持 EVM 等效性可能會限制L2解決方案在某些方面的靈活性和創新能力。例如,如果一個L2解決方案想要引入一個新的特性或優化,那么它必須確保這個變化不會破壞其 EVM 等效性。

比特幣基金會主席Brock Pierce出任IPSE戰略顧問:3月16日,比特幣基金會主席、Block One聯合創始人Brock Pierce接受邀請,正式成為IPSE戰略顧問, 并接受專訪。在專訪中,Brock表示IPSE是互聯網從Web2.0到Web3.0的歷史性轉變中重要的推動力之一。作為去中心化哲學的信仰者,Brock Pierce認為IPSE具備價值潛力,即使當前全球經濟遭遇“黑天鵝” 時,依然逆勢爆發性增長,并逐步推動構建一個更加公平、共享的分布式經濟體。

Brock是當今區塊鏈及加密貨幣領域中最具影響力的人物之一,咨詢孵化超過100個項目,同時也是首個ICO項目 (MasterCoin)以及 EOS的創始人(融資超過 50億美元)。作為創業投資家,Brock認為金沙江數字基金對IPSE追加投資1000萬美元,是對IPSE產業價值的再次驗證。[2020/3/17]

OP 就寫過一篇文章 探索 EVM 兼容和 EVM 等效, 剛開始的時候 OP 用的 OVM 后來轉變為 EVM 等效。這也是我認為 OP 為什么在初期野蠻生長期沒有干過 ARB 的重要原因, 沒有做到 EVM 等效在兼容性上和 ARB 有差距, 但現在是改過來了, 而且兼容性上甚至有超越 ARB 的意思。

從這個角度我們也能理解 EVM 兼容性的重要意義, 甚至要做到等效才能吸引來開發者,由此有用戶,從而有生態。

從數據可驗證性的角度來看, 數據可驗證性是區塊鏈系統中的一項關鍵特性,確保了系統的透明度和可審計性。

ZK Rollup 的證明構造相對復雜,要求所有數據都必須在鏈上可用。這確保了強大的安全性和完整性,但也增加了數據存儲的復雜性和成本, 這一點和 OP 有很大的不同。

Optimistic Rollup: OP Rollup 采用一種樂觀的策略,其中交易被假定為有效,除非有人提出異議。這種方法不需要在鏈上存儲所有數據,只需要存儲足夠的信息來允許任何人挑戰交易的有效性。因此,OP Rollup 在數據可驗證性方面的要求相對較低。

動態 | 基于IPFS的分布式搜索引擎IPSE獲金沙江數字基金投資:分布式搜索引擎項目IPSE獲得金沙江數字基金投資,該輪投資金額未披露。IPSE是基于IPFS的搜索引擎系統,旨在實現文件安全存儲,經過智能索引讓用戶快速而高效地訪問到星際文件系統上的文件。(IPSE中文社區)[2020/2/13]

ZK Rollup: ZK Rollup 利用零知識證明(ZK-SNARKs)來壓縮交易并證明其有效性。所有的交易數據都必須在鏈上可用,以便任何人都可以生成有效性證明。如果數據規模過大,并且全部存儲在主鏈上,可能會遇到容量瓶頸的問題。

隨著 zkSync 的數據規模的增長,將所有數據全部存儲在主鏈上可能變得不可行。這可能需要引入外部數據的驗證,從而轉變現有的二次驗證方式,減少對主網數據的依賴。

這樣的改變引發了新的挑戰:如何在減少對主鏈數據依賴的同時確保系統的安全性?

因此,zkSync 向 STARK 的轉型也部分是由此引發,因為與 SNARK 相比,STARK 更適合使用外部的可驗證數據。

由上述描述所知,ZK rollup 的落地還需要依賴 ETH 進行更多的 ZK 友好化改進,例如 DA 層以及 EVM 的改進。

在區塊鏈領域,Sequencer 的速度(通常以每秒交易數,TPS,來衡量)是評估 ZK 系統性能的關鍵指標。Sequencer 負責交易的排序和處理,其處理能力直接決定了整個鏈的吞吐量。

然而,在目前的實施中(Zksync),單一 Sequencer 的處理能力大約只有幾百個交易每秒,這一局限性暴露了一個顯著的性能瓶頸。

為了擴大 TPS,有兩種主要的途徑可供考慮:一是繼續提高單個 Sequencer 的能力,但這樣做可能會增加系統的中心化風險;二是引入更多的 Sequencer 以分散處理負載,盡管這樣做增強了去中心化的特性,但協調多個 Sequencer 可能會增加延遲并降低整體 TPS。這個問題凸顯了一個需要仔細權衡的挑戰,即在提高性能與維持去中心化之間找到合適的平衡點。

動態 | IOTA與加拿大開源軟件基金會Eclipse Foundation合作成立創新工作組:據Finance Magnates消息,IOTA基金會與加拿大開源軟件基金會Eclipse Foundation合作,成立創新工作組Tangle EE Working Group。該組織將聯合公司和學者以開發基于IOTA數據的商業支付解決方案。[2020/2/12]

ZK 技術的發展方向,如 zkSync 所展示的,傾向于推動去中心化的 Sequencer 進程。這樣的選擇會讓性能繼續成為 ZK 技術發展的一個重要瓶頸。雖然采用多個 Sequencer 和模塊化設計提供了一定的解決方案,但在實際操作中可能會涉及復雜的協調和同步問題。這不僅可能影響系統的響應時間和吞吐量,還可能引入新的安全和可靠性挑戰。

性能問題仍是一個待解決的關鍵挑戰。未來的研究和開發可能需要集中在如何在不犧牲去中心化原則的前提下,通過優化算法、協調策略和硬件支持等方式,來提高 ZK 系統的性能和可擴展性。

我們說了 ZK 目前的問題, 以及面臨的困境, 那么死磕 ZK 的原因是什么呢?

“以太坊協議最初被設想為加密貨幣的升級版本,通過高度通用的編程語言提供高級功能...以太坊協議遠遠超出了貨幣的范疇。”

ETH 的未來不僅僅局限于成為一個價值轉移的平臺,它的終極理想是打造一個可信、可擴展、保障隱私的全新數字世界。

而零知識證明正是幫助 ETH 向更高目標邁進的關鍵一步, 零知識證明不僅是 ETH 的技術進步,更是其文化和理念的體現。它代表了一種對隱私、安全和可擴展性的全新理解和追求。

傳統社會結構依賴于中心化機構來建立信任。零知識證明允許在無需相互了解的情況下建立信任。這種去中心化的信任模式可能會顛覆現有的社交、金融和政府結構,引發一場社會革命。

目前以太坊的結構是犧牲隱私以換取安全和便利。ETH 通過零知識證明的引入,重新定義了隱私的概念。人們不再需要在隱私和安全之間做出選擇,而是可以同時享有這兩個權利。

ZK 的實施將允許 ETH 節點輕量級的驗證過程,即使在不知道全部數據的情況下也能驗證交易的有效性。這可以降低節點運行的計算和存儲需求,從而降低參與網絡的門檻。按V神的原話就是“手機都可以參與進來跑 ETH 節點”。

通過降低節點運行的硬件和維護要求,ZKP 有助于使更多的參與者能夠加入網絡。這增加了網絡的分散性,從而增強了去中心化。

ZK 的實施通過保護交易的隱私,可以阻止任何中央機構追蹤和干預特定交易, 除此之外去中心化進一步確保了沒有單一點故障,使網絡更難被攻擊或關閉。

隱私保護鼓勵更多的人參與,無論是個人還是組織, 使得這個開放的生態系統可以自由增長,不受中央機構的約束。

最終,ZK 借著隱私和去中心化的交融使 ETH 成為了一個真正的全球網絡,具有無限的潛力和彈性,正如神龍入海般難以抹滅。

必要性是終點,問題是現狀,那路徑是什么呢?

先說結論:就是做 EVM 等效的 ZK rollup,并且等待現在的以太坊進行 EVM 的 ZK 友好化升級,兩頭齊頭并進共同幫助 ZK 技術和 ETH 的完美融合。

Type 1 (完全 Ethereum 等效)

Type 1 ZK-EVM 致力于完全無妥協地與 Ethereum 等效。它不改變任何部分,即使這會讓生成證明變得困難。

優勢:完美兼容。

劣勢:證明時間長。

誰在開發?:ZK-EVM Community Edition。

Type 2 (完全 EVM 等效)

Type 2 ZK-EVM 追求與 EVM 完全等效,但對外部數據結構有所更改。

優勢:在虛擬機級別完全等效。

劣勢:改善但仍然慢的證明時間。

誰在開發?:Scroll 和 Polygon Hermez。

Type 3 (幾乎 EVM 等效)

Type 3 ZK-EVM 幾乎與 EVM 等效,但為了進一步提高證明時間和開發便捷性,做了一些妥協。

優勢:更容易構建,證明時間更快。

劣勢:更多的不兼容性。

誰在開發?:Scroll 和 Polygon。

Type 4 (高級語言等效)

Type 4 系統通過直接從高級語言編譯來工作,不通過 EVM 執行。

優勢:非常快的證明時間。

誰在開發?:ZKSync 和 Nethermind 的 Warp 項目。(注意, StarkNet 甚至不是 EVM 兼容,不在討論之列)

ZK-EVM 的不同類型在兼容性與效率之間呈現了一系列復雜的權衡點。

Type 1 以完全的兼容性為目標,卻受制于證明時間過長,暴露了以太坊未曾考慮 ZK 友好設計的現實挑戰。

Type 2 和 Type 3 在完全兼容性與證明效率之間尋找平衡,展現了現有技術條件下實際可行方案的探索與妥協。

Type 4 則以追求效率為首要目標,但卻以犧牲兼容性為代價,使得生態發展起來會略顯吃力。

ETH 落地 ZK 的最佳路徑不僅涉及 ZK EVM 等效的零知識證明的實施,更關鍵的是 EVM 自身的升級和改造。

EVM 的 ZK 友好化改造

EVM 的 ZK 友好化改造是一個復雜但必要的過程。EVM 不僅需要與 ZK-EVM 等效,還必須考慮將來可能的 ZK-SNARK ASIC 的發展。

ZK-EVM 與 EVM 的雙向協同

ZK-EVM 與 EVM 的協同不僅在于技術層面的兼容性和效率,還涉及開發者工具、預編譯支持等多方面的整合。

逐步邁向 Type 1 的未來

通過 ZK-EVM 和 Ethereum 本身的不斷改進,逐漸實現 Type 1 ,是許多人的愿景。這一進程可能緩慢,但它描繪了一條通向未來的明確路徑。

以太坊落地零知識證明(ZK)的挑戰并非僅僅是技術問題,而是一場在理想和現實之間尋找最佳路徑的探索。這一過程揭示了如何在保持現有基礎設施兼容性的同時,逐漸引入更快、更高效的解決方案。

在這一探索過程中,最理想的方案是構建一個與現有 EVM 完全等效的 ZK 解決方案,然后等待 EVM 自身的 ZK 友好化升級。這一過程的精髓在于雙方同步努力,共同前進,以期在某一中間點相遇。

這種共同努力的思路不僅僅體現在技術實現上,更在于如何在保留以太坊獨特價值和現有生態的基礎上,引導整個社區朝著更加安全、可擴展的方向發展。這一過程需要技術洞察、戰略謀劃,以及對整個生態系統動態的敏銳理解。

因此,我們可以看到,ZK 技術在以太坊上的落地不僅是技術革新,而是一場整個生態系統共同參與的變革之旅。這一旅程將塑造以太坊的未來,尋求平衡創新和穩定、速度和兼容性的區塊鏈環境。

ZK 時代的開啟不僅標志著以太坊生態的嶄新篇章,更是一次歷史性的躍升。在這一波潮流中,以太坊不僅有望在某些方面超越現有的互聯網體系,更預示著一種全新的、更先進的連接方式的誕生。

金色財經

企業專欄

閱讀更多

金色財經 善歐巴

web3中文

金色早8點

YBB Capital

吳說Real

元宇宙簡史

Tags:NBSBSPETHROLnbs幣前景bspt幣未來前景ETHSHIBROLS價格

比特幣價格實時行情
加密圈RWA踏浪而來:“風浪越大 魚越貴”?_RWA

引言 2023年,隨著世界宏觀經濟形勢的起起伏伏以及各國對傳統虛擬資產監管規則的逐漸成熟,迫使加密世界在原有敘事的基礎上不斷推陳出新,創造出更具有吸引力且滿足社區及潛在投資者需求的產品.

1900/1/1 0:00:00
業的啟示:從GGR到NGR 加密游戲的吸引力法則?_CRYPT

作者:加密韋馱,AC Capital活用模型,GGR是否適合你的項目,你的收益模型是什么?如何控殺?“Crypto游戲必須要有可玩性”.

1900/1/1 0:00:00
探索NFTfi和BendDAO的借貸動態_區塊鏈

作者:Ana Milovan 翻譯:善歐巴,金色財經在不斷發展的區塊鏈技術領域,兩種非凡的力量日益凸顯:不可替代代幣(NFT)和去中心化金融(DeFi).

1900/1/1 0:00:00
速覽a16z推出的基于SNARK的零知識證明新工具Lasso和Jolt_SSO

作者:Felix, PANewsa16z Crypto推出了兩項與 SNARK 相關的技術:Lasso和Jolt.

1900/1/1 0:00:00
5個美聯儲最關注的「美元代幣」風險_NEWS

本周,美聯儲向美國各聯邦儲備銀行和所有國有銀行的監管官員及相關監管和檢查人員致信,其中公布了一項監督銀行加密貨幣活動的新計劃.

1900/1/1 0:00:00
一文讀懂全新賽道Telegram Bot_BOT

作者:韭而韭之,來源:作者twitter@sir13751154今天跟大家分享一個全新的賽道:Telegram Bot.

1900/1/1 0:00:00
ads