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

兼容EVM又高效安全的zkSync有何潛力?_SYNC

Author:

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

兼容EVM又高效安全的zkSync有何潛力?

zkSync是MatterLabs開發的Layer2擴容方案,基于零知識證明運行,同時強調一流的用戶及開發者體驗。目前,計劃中的V2版本zkSync能夠兼容EVM,并很快就會開始公測。盡管還需優化才能上線,但zkSync已經展現著強勁的發展勢頭。

Zinc——zkSync官方打造的編程語言:

Zinc是zkSync創建的,專門為基于零知識證明的智能合約而設計的安全、簡單且高效的編程框架和基于虛擬機的運行環境。與Solidity、Starkware的Cairo等類似,是用來編寫基于底層的一般應用;零知識語言如Noir等針對的是隱私智能合約,代碼中不包括那些執行代碼的慣用函數,寫的是能驗證承諾的判斷式,使用的是完全不同的范式。如果需要構建隱私智能合約,就必須使用零知識語言,切實理解它們的原理。如果只想寫Layer2的可擴展智能合約,可直接用Solidity或者用Zinc、Cairo等語言進行。

Milkomeda C1已發布,可為Cardano提供EVM兼容性:3月29日消息,Milkomeda基金會在其官方博客上宣布,它已經發布了Milkomeda C1,為Cardano(ADA)提供 EVM(以太坊虛擬機)兼容性。這允許用戶在Cardano和Milcomeda C1側鏈之間轉移資產,Milkomeda C1使以太坊dApp能夠部署在Cardano生態系統中。[2022/3/29 14:23:31]

已經在以太坊(無論Layer1還是Layer2)上的應用,可以直接用Solidity的代碼正常在zkSync運行。除非代碼里包含特殊設置,否則不用修改任何代碼。

如果要開發新的應用,Rust這些更高級的函數語言會有幫助。Zinc就是Rust的子語言,它們面對各種情況都更穩定,再加上各種函數性質,句法上更簡明,容易審計,降低隨機錯誤概率。ZincVM搭建于LVM編譯器之上,可以處理正常的Rust代碼,把它轉換編譯到虛擬機上。

Algorand 基金會宣布撥款 1000 萬美元,重點關注 EVM 兼容性:金色財經報道,Algorand 基金會今天宣布了一項價值 10,000,000 美元的SupaGrant 獎勵,獎勵給那些將探索和加速在 Algorand 上提供 EVM 兼容性所需的技術工作的團隊。這將使那些希望利用 Algorand 的高性能、可持續和具有成本效益的區塊鏈但已經習慣于在 EVM 上構建的創新者能夠實現這一目標。(prnewswire)[2022/2/18 10:00:00]

如果從零開發針對某一Layer2平臺的程序,可以直接用Zinc代碼進行部署。或者應用的部分代碼是用Rust寫的,而開發者恰好想保留這部分,Zinc的機制非常有利,但大部分用戶用Solidity就可以。

zkRollup&zkPorter:

在zkSync2.0中,L2狀態將會分成兩個部分:數據可用性在鏈上的zkRollup和數據可用性在鏈下的zkPorter。從zkSync的角度看,兩者是一模一樣的系統,只不過有兩個不同類型的賬戶而已。用戶可以調取不同地址的多個智能合約,然后與ZKRollup和ZKPorter的賬戶互動。這些過程除了手續費略有不同沒有其他區別。用戶可以自行決定使用哪個:

帥初:Qtum實現與EVM兼容的去中心化PoS智能合約平臺:量子鏈創始人帥初發推稱,Qtum已經完成ETH2.0想要構建的工作中的95%。一個非常去中心化的PoS智能合約平臺(與EVM兼容)。[2021/1/24 13:20:22]

愿意為最高的安全性多支付一些的交易費,可以選擇zkSyncRollup賬戶;

看重側鏈上低廉的交易費,并愿意為此承擔一定的安全風險。可以選擇zkPorter賬戶,單筆交易費僅一美分;

之后官方會專門出份指南幫助用戶在zkPorter上搭建智能合約,降低交易費。但這完全取決于用戶選擇,用戶如果直接用Solidity,zkPorter依然可以順利運行,無需修改或重新審計。

zkRollup和zkPorter的用戶選擇:

Telos發布以太坊虛擬機EVM 可運行與以太坊兼容的智能合約:Telos今日在其測試網上發布了一個以太坊虛擬機(EVM)。它將使開發者能夠創建和運行與以太坊兼容的智能合約,而無需支付交易費用。開發者已經被邀請使用以太坊的主要編程語言Solidity來在測試網上運行智能合約,之后在7月份將在mainnet上啟動Telos EVM。Telos聲稱可以支持每秒10000次交易(TPS),而且不收取交易費用。這是以太坊每秒14次交易收費的一個有競爭力的替代品。(Cointelegraph)[2020/6/18]

用戶選擇主要取決于gas費用。總體上以太坊和區塊鏈的應用在逐漸擴大,一旦更多人可以負擔得起在該系統上交易,就會迎來數以百萬的新用戶紛涌而至。廣泛接觸DeFi、NFT和類似產品,最終大幅抬高交易費用。可以舉例的是:我們如何使用銀行卡賬戶?有儲蓄賬戶和現金賬戶的話,大家是不是都會把大部分資金存入儲蓄賬戶,同時在活期賬戶留些可用資金來保障日常交易?盡管面臨相應的詐騙風險,畢竟信用卡有可能被盜,但好在卡上額度并不高。這與zkSync的賬戶類型相似:

動態 | Zcash將升級系統以兼容硬分叉Sapling:據Coindesk消息,Zcash正在對網絡軟件進行系統升級,以期與硬分叉 Sapling 兼容。據悉,該硬分叉將于10月28日發布,第一個Sapling區塊將在419,200區被開采。在實時發布之前,Sapling將在280,000區網絡上進行測試。Zcash工程師Sean Bowe表示測試預計于下周四開始。[2018/8/17]

大額資產會被放置在zkRollup賬戶內保管,就像巨鯨們、大型基金、大額交易員們以及大部分用戶一樣,把黃金資產儲存在安全的賬戶里;

同時用相對費用低廉的zkPorter完成其他日常活動。

預期TPS

關于TPS,zkRollup會受到以太坊的限制,和其他Rollup共享以太坊區塊空間,所有Rollup都會搶這個空間。

如果zkSync用上以太坊所有的區塊空間,可以達到每秒兩千或三千筆交易。這取決于交易類型,比如不是所有交易都是轉賬,有些涉及到DeFi的交易需要對存儲進行更多檢查、調取更多數據,所以吞吐量也會降低。但zkSync不可能占用所有空間,畢竟還有其他應用和其他以太坊用戶。

現實中,zkSync可以做到每秒數百筆或上千筆交易。對于去中心化驗證者是有限制的。在Layer2需要運行另一個共識,決定放什么到區塊里。因為把這些交易做成去中心化,而不是由中央服務器運作是很重要的,這和一些最好的共識機制類似。總的來說,盡管TPS的天花板很高,但還是會有極限。

兼容EVM

以太坊上的EVM可以把Solidity智能合約編譯成EVM字節碼,而zkSync可以將Solidity代碼編譯到zkSync字節碼。這個虛擬機的字節碼是不同的字節碼,和Optimism的原理很相似,Optimism有虛擬機,把Solidity編譯到它的字節碼。但對于開發者來說并沒有不同,所做的都是把代碼編譯到字節碼,然后在系統中部署。zkSync的字節碼經優化可在零知識證明中有效運行,但依然有著同樣的功能,與Solidity通過了同樣的測試等等。

潛在風險&防御策略

如果出現黑天鵝事件,無論出現在生態系統哪個地方,所有Layer2都會受到影響。代碼錯誤、智能合約漏洞導致受到攻擊,或者共識或服務器出了問題、系統臨時崩潰,都會減少對技術的信任。zkSyncV1運行了一年,期間崩潰了幾次,卻沒有發生安全事件。但尾部風險依然會持續存在,對此,zkSync有多層次的防御策略:

雙重認證:在一筆交易被放到區塊里之前,首先要經過服務器和驗證者的驗證。只有在交易驗證有效后才會產生知識證明,智能合約會驗證此證明。

升級機制:如果系統出現問題,官方會升級系統和修復問題。

時間鎖定:如果團隊出現了惡意情況,試圖通過升級盜取用戶資金,破壞狀態或任何非法行為。用戶總有抽身的時間窗口,而且時間窗口較長。

安全理事會:由15名成員組成,邀請社區聲望高的人擔任,在出現問題的時候,可以加速升級,程度要看有多少位安全理事會成員為升級擔保。平均耗時會降到一兩周甚至三天,修復問題的應對時間也會相應縮短。

zkRollupVS其他Layer2方案

zkRollup可能會是從長期來看將占領領先位置的解決方案:

一方面,zkRollup是Layer2技術里面唯一具備拓展性的,像zkPorter或者Validium一樣,可以在同系統中既有Rollup也有側鏈,而且自動可組合,沒有其他Layer2可以做到一點。我們看到了幣安鏈和Polygon的崛起,這清楚地表明存在著有一大批用戶在乎交易費用高低,他們更在乎的不是安全而是低費用。

另一方面,大多數交易仍然發生在以太坊上進行,意味著又有一波用戶不在乎高昂的費用,他們會優先考慮絕對高度的安全。當然,前提是它必須可用。有不同的系統針對不同的用例進行優化,而zkRollup是唯一能將它們組合在一起的技術。

設想以太坊將實現極度互操作,來自Polygon或幣安鏈的用戶可以在同一筆交易中在以太坊上的Uniswap交互。他們可以進行交易,使用Uniswap和Aave以及其他協議交互然后所有資金回到自己賬戶上,他們只需支付Polygon上的低費用,目前這不太現實。對于兩種系統,用戶要先把資金轉移,需要一些時間才可以進行交易,交易很貴,然后要把資金移回來。但用上zkSync就有可能:用戶可以在zkPorter有賬戶且超級便宜,在zkRollup網站上有賬戶,它們就像以太坊本身一樣可靠,有最高級別的安全措施且完全透明。

因此我們相信,zkRollup有較大概率成為主流。Starkware等及其他更新的項目也正在研究zkRollup技術,大家都任重而道遠。

Tags:KSYzkSyncZKSSYNCzksync幣圖標zksync幣交易所zks幣有投資價值嗎SYNC Network

火幣APP下載
對去中心化穩定幣的追求仍在繼續?_TOKEN

摘要:“古往今來,貨幣有許多形式,但貨幣始終有三種功能:價值儲存、記賬單位和交換媒介。現代經濟使用法定貨幣——既不是商品,也不代表商品,或被商品支持.

1900/1/1 0:00:00
金色早報 | V神等發起EIP-3675提案以將共識升級為權益證明_比特幣

頭條 ▌V神等發起EIP-3675提案以將共識升級為權益證明金色財經報道,7月22日,以太坊2.0客戶端Teku的MikhailKalinin、以太坊基金會核心開發人員DannyRyan及V神發.

1900/1/1 0:00:00
金色前哨丨 美監管機構正在審查Tether商業票據儲備_ETHE

穩定幣是加密貨幣行業一個快速增長的領域。目前穩定幣市值超過1000億美元,其中Tether占總市值一半以上。伴隨著穩定幣的爆炸式增長,美國政府一直在討論怎么監管穩定幣.

1900/1/1 0:00:00
聚焦以太坊擴容 Layer 2代表項目分享功守道_LAYER

從去年DeFi農耕熱潮引發以太坊網絡擁堵開始,Layer2就成為一個熱門賽道。持續至今,7月28日PANews邀請到了四位Layer2領域的典型代表來為我們分析Layer2當下發展的局勢以及他們.

1900/1/1 0:00:00
加密市場的破與立:哪一個先來?_COIN

核財經APP深核報道?千呼萬喚始出來,“TheBitcoinWord”會議如期而至。7月22日,由加密創新委員會發起并舉辦的“TheBitcoinWord”線上會議召開.

1900/1/1 0:00:00
國際貨幣基金組織計劃“加強”數字貨幣監控_CHA

金色財經報道,根據國際貨幣基金組織(IMF)周四發布的一篇論文,該組織計劃“加強”對數字貨幣的監控。文章稱,IMF必須增加資源,以尋求“監控、建議和幫助管理這一影響深遠且復雜的數字貨幣轉型”.

1900/1/1 0:00:00
ads