以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > 比特幣 > Info

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 等效”。

香港加密基金PSE Trading完成八位數融資,Cipholio Ventures參投:7月18日消息,香港加密貨幣基金PSE Trading完成八位數融資,具體金額暫未披露,Cipholio Ventures參投,新資金用于增強數字資產管理能力,開發其相關服務套件。

PSE Trading旨在提供安全合規的加密產品和服務解決方案,其資金由合規資產托管服務機構Ceffu管理。[2023/7/18 11:01:18]

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

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

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

“EVM 等效”優勢和劣勢:

優勢:

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

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

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

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

Synapse Protocol在Optimism上推出 nUSD/USDC 穩定幣池:金色財經消息,跨鏈流動性協議 Synapse Protocol 在以太坊 Layer2 擴容方案 Optimism 上推出 nUSD/USDC 穩定幣池,旨在幫助用戶用戶將 USDC 連接進出 Optimism。[2022/4/21 14:37:52]

劣勢:

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

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

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

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

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

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

預言機Umbrella Network與跨鏈協議Synapse Network達成合作:1月15日,官方消息,預言機Umbrella Network與跨鏈協議Synapse Network達成合作,SNP-USD 價格信息作為第2層數據在Umbrella Network的去中心化預言機上實時發布。[2022/1/16 8:52:11]

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

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

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

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

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

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

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

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

Synapse跨鏈橋受攻擊事件更新:協議將不會處理黑客的交易,所有nUSD將全額返還:11月8日消息,跨鏈協議Synapse Protocol更新跨鏈橋受攻擊事件進展,協議將不會處理黑客的交易,所有Synapsen USD將全額返回給受影響的流動性提供者們。目前Synapse Protocol網絡正在恢復正常活動以及處理積壓的交易,新的nUSD資金池已完成部署(用stableswap合約代替metapool合約以保證安全性),未受影響的流動性提供者將需要解除抵押并從舊資金池中提取流動性,官方公告將很快發布。此前消息,11月7日,跨鏈協議Synapse Protocol推出的資產跨鏈橋疑似存在漏洞,攻擊者設法操縱nUSD價格并從中獲利約800萬美元。[2021/11/8 6:38:17]

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

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

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

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

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

跨鏈協議Synapse Network已支持以太坊擴容方案Arbitrum:9月22日消息,跨鏈協議Synapse Network宣布已支持以太坊擴容方案Arbitrum,并且可以實現在數分鐘內將ETH從以太坊主網跨鏈至Arbitrum或從Arbitrum上轉回以太坊主網。當用戶使用Synapse將ETH從以太坊主網跨鏈至Arbitrum時,Synapse將在Arbitrum上鑄造nETH,并通過nETH和Arbitrum上ETH流動性池兌換為Arbitrum上的ETH實現跨鏈。用戶可通過為該池提供流動性來獲得協議手續費收入和SYN代幣激勵。[2021/9/22 16:58:58]

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

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:BSPNBSETHSYNBSPAY幣NBS幣ethnographyofcommunicationzksync幣與zks幣

比特幣
LST將替代ETH成新底層資產 LSDFi或將打開50倍增量市場_LSD

作者:Web3世界的拓荒者以強共識底層資產背書,LSD和LSDFi在供需匹配和供需平衡中不斷發展,即將迎來三個不同的發展階段,獲得超過50倍的增長空間.

1900/1/1 0:00:00
friend.tech并非Social產品 Social DeFi才是真名_END

作者:加密韋馱,來源:作者推特@thecryptoskanda上船太晚了,我覺得我像個嬰兒潮一代,但是我在這里了.

1900/1/1 0:00:00
輕松讀懂零知識魔法_ZKP

零知識證明是一種魔法。它能讓我們做到以前想都不敢想的事情。首先,讓我引用幾句名言來刺激你的大腦。有些可能是你耳熟能詳的,有些可能是你第一次聽說.

1900/1/1 0:00:00
9年10000倍收益 一文追蹤以太坊ICO地址_NBS

原文作者:0x Scope Labs 原文編譯:深潮 TechFlow 2014 年以太坊的首次代幣發行(ICO)標志著這個革命性的區塊鏈平臺的開始.

1900/1/1 0:00:00
“科太幣”暴漲背后的瘋狂輪回_MEME

詐騙者試圖利用PayPal推出的美元穩定幣PYUSD所吸引的關注和投資者的熱情,通過混淆視聽的方式,在各種網絡上發行虛假代幣來實施欺詐;這種情況引起了不小的混亂.

1900/1/1 0:00:00
OpenAI正在殺死創業公司?_GPT

誰也無法想到,在這一輪AIGC浪潮中,一些AI公司還沒來得及顛覆行業,自己卻快被顛覆了。7月12日,美國AIGC獨角獸Jasper聯合創始人Dave Rogenmoser在職場社交網站Linke.

1900/1/1 0:00:00
ads