兼容EVM又高效安全的zkSync有何潛力?
zkSync是MatterLabs開發的Layer2擴容方案,基于零知識證明運行,同時強調一流的用戶及開發者體驗。目前,計劃中的V2版本zkSync能夠兼容EVM,并很快就會開始公測。盡管還需優化才能上線,但zkSync已經展現著強勁的發展勢頭。
Zinc——zkSync官方打造的編程語言:
Zinc是zkSync創建的,專門為基于零知識證明的智能合約而設計的安全、簡單且高效的編程框架和基于虛擬機的運行環境。與Solidity、Starkware的Cairo等類似,是用來編寫基于底層的一般應用;零知識語言如Noir等針對的是隱私智能合約,代碼中不包括那些執行代碼的慣用函數,寫的是能驗證承諾的判斷式,使用的是完全不同的范式。如果需要構建隱私智能合約,就必須使用零知識語言,切實理解它們的原理。如果只想寫Layer2的可擴展智能合約,可直接用Solidity或者用Zinc、Cairo等語言進行。
Algorand 基金會宣布撥款 1000 萬美元,重點關注 EVM 兼容性:金色財經報道,Algorand 基金會今天宣布了一項價值 10,000,000 美元的SupaGrant 獎勵,獎勵給那些將探索和加速在 Algorand 上提供 EVM 兼容性所需的技術工作的團隊。這將使那些希望利用 Algorand 的高性能、可持續和具有成本效益的區塊鏈但已經習慣于在 EVM 上構建的創新者能夠實現這一目標。(prnewswire)[2022/2/18 10:00:00]
已經在以太坊(無論Layer1還是Layer2)上的應用,可以直接用Solidity的代碼正常在zkSync運行。除非代碼里包含特殊設置,否則不用修改任何代碼。
如果要開發新的應用,Rust這些更高級的函數語言會有幫助。Zinc就是Rust的子語言,它們面對各種情況都更穩定,再加上各種函數性質,句法上更簡明,容易審計,降低隨機錯誤概率。ZincVM搭建于LVM編譯器之上,可以處理正常的Rust代碼,把它轉換編譯到虛擬機上。
與以太坊EVM兼容的區塊鏈基礎設施Rangers Protocol宣布其主網啟動:12月9日消息,Rangers Protocol主網于12月7日正式上線,全面支持NFT和復雜應用部署以及NFT跨鏈的開發者和用戶。作為Rangers Protocol的核心技術,Rangers Engine和Rangers Connector在支持EVM兼容和NFT跨鏈功能方面已經發揮作用。此外,它還提供關鍵開發文檔,有效簡化廣大開發者的dapp開發流程。
Rangers Protocol是一個元宇宙區塊鏈基礎設施。它是用于復雜開發和數據遷移的高性能引擎。Rangers Protocol完全兼容以太坊,專業支持NFT和復雜應用,集成和擴展跨鏈、NFT、EVM、分布式網絡協議。(The Block)[2021/12/9 13:00:19]
如果從零開發針對某一Layer2平臺的程序,可以直接用Zinc代碼進行部署。或者應用的部分代碼是用Rust寫的,而開發者恰好想保留這部分,Zinc的機制非常有利,但大部分用戶用Solidity就可以。
動態 | Spend.com宣布App已集成并兼容Apple Pay和Google Pay:據AMBCrypto消息,加密錢包&Visa卡Spend.com宣布,Spend App現已集成并兼容Apple Pay和Google Pay,可在蘋果、三星和其他安卓設備上使用。[2019/4/18]
zkRollup&zkPorter:
在zkSync2.0中,L2狀態將會分成兩個部分:數據可用性在鏈上的zkRollup和數據可用性在鏈下的zkPorter。從zkSync的角度看,兩者是一模一樣的系統,只不過有兩個不同類型的賬戶而已。用戶可以調取不同地址的多個智能合約,然后與ZKRollup和ZKPorter的賬戶互動。這些過程除了手續費略有不同沒有其他區別。用戶可以自行決定使用哪個:
愿意為最高的安全性多支付一些的交易費,可以選擇zkSyncRollup賬戶;
看重側鏈上低廉的交易費,并愿意為此承擔一定的安全風險。可以選擇zkPorter賬戶,單筆交易費僅一美分;
動態 | 新代碼將使比特大陸ASIC礦機不再兼容挖掘SC:據CoinDesk獲得的電子郵件,為Siacoin(SC)協議提供替代挖礦設備的初創公司Obelisk已推出了新的代碼,運行該軟件的人可選擇通過更改規則使比特大陸ASIC礦機不再兼容。[2018/8/15]
之后官方會專門出份指南幫助用戶在zkPorter上搭建智能合約,降低交易費。但這完全取決于用戶選擇,用戶如果直接用Solidity,zkPorter依然可以順利運行,無需修改或重新審計。
zkRollup和zkPorter的用戶選擇:
用戶選擇主要取決于gas費用。總體上以太坊和區塊鏈的應用在逐漸擴大,一旦更多人可以負擔得起在該系統上交易,就會迎來數以百萬的新用戶紛涌而至。廣泛接觸DeFi、NFT和類似產品,最終大幅抬高交易費用。可以舉例的是:我們如何使用銀行卡賬戶?有儲蓄賬戶和現金賬戶的話,大家是不是都會把大部分資金存入儲蓄賬戶,同時在活期賬戶留些可用資金來保障日常交易?盡管面臨相應的詐騙風險,畢竟信用卡有可能被盜,但好在卡上額度并不高。這與zkSync的賬戶類型相似:
ACINQ正式發布與閃電網絡兼容的手機錢包應用程序:據Coinpost消息,ACINQ(閃電網絡開發團隊之一)正式發布與閃電網絡(Lightning Network)兼容的手機錢包應用程序。[2018/4/7]
大額資產會被放置在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技術,大家都任重而道遠。
注:原文作者是以太坊聯合創始人VitalikButerin,在這篇文章中,他描述了一種新型的M-of-N密鑰分享方案,并提出了腦錢包和社交恢復設計的兩種應用案例.
1900/1/1 0:00:00摘要:“古往今來,貨幣有許多形式,但貨幣始終有三種功能:價值儲存、記賬單位和交換媒介。現代經濟使用法定貨幣——既不是商品,也不代表商品,或被商品支持.
1900/1/1 0:00:00法案的內容 美國眾議院議員DonBeyer提出“(1)”,他介紹道,“多年來,數字資產持有者遭遇了無處不在的欺詐、失竊和市場操控.
1900/1/1 0:00:00概述 早在VitalikButerin最初的以太坊論文中,去中心化游戲就被吹捧為智能合約技術最具潛在用例之一.
1900/1/1 0:00:00社交代幣,隨著創作者經濟的興起,在加密圈內引起了廣泛的關注。然而,大多數用戶對于其的理解僅僅停留在「它是一個幣」,和其他的幣沒有什么太大區別,也不曾思考社交代幣解決了什么問題和其底層邏輯.
1900/1/1 0:00:00特斯拉在周一美股盤后公布二季報,連續第八個季度實現盈利。營收119.6億美元,去年同期60.36億美元,同比增長98%;整車毛利率為28.4%,去年同期為25.4%;凈利潤為11.42億美元,去.
1900/1/1 0:00:00