介紹
面對最大的技術挑戰,我們正朝著在EVM兼容環境中部署智能合約開始沖刺。測試網的第一個版本已經上線:您已經可以使用區塊瀏覽器查看zkSync2.0上的活動。在這篇文章中,我們將深入解釋每個關鍵組件、提供進度更新以及下一個版本的計劃。
主要成就
在密碼學方面,zkEVM的指令集已經完成,并且兩個實現都完成了:在電路中和在執行環境中。
在編譯器方面,用Solidity和Zinc編寫的智能合約現在可以編譯成zkEVM字節碼。
在核心基礎設施方面,全節點集成完成,能夠成功部署和執行編譯后的智能合約。
雖然zkEVM和核心2.0基礎設施已準備好公開,但編譯器需要更多的工作來正確覆蓋所有邊緣情況。為了提供更全面的開發人員體驗,我們決定在編譯器100%可靠后立即開放對zkEVM、編譯器和核心SDK的訪問。
zkSync2.0與以太坊的比較
大多數事情看起來和感覺都一樣。以下是一些重要的區別:
Solidity智能合約
支持以太坊中的大多數操作碼!但是,也有一些例外:
此版本不支持ADDMOD、SMOD、MULMOD、EXP和CREATE2操作碼,但將來會支持。
我們暫時不支持KECCAK256操作碼,而是會自動將其所有調用替換為對另一個抗碰撞哈希函數的調用。KECCAK256稍后將作為預編譯引入。
Web3資產安全服務商ZKSAFE推出1萬美元漏洞賞金活動:12月27日消息,Web3資產安全服務商ZKSAFE推出1萬美元漏洞賞金(Bug Bounty)活動,ZKSAFE在推特上公布一個Safebox的地址和私鑰,黑客還需要破解對應密碼才能取走賞金。
據悉,ZKSAFE創建了一種帶有密碼+私鑰的安全箱,即使私鑰被盜,資產仍然安全。用戶可以擁有自己的安全箱合約,可以理解為自己的私人銀行。據RootData數據顯示,該項目于9月完成種子輪融資,NGC資本、Catcher VC、Betterverse Dao、Aperture參投。[2022/12/27 22:09:59]
我們決定不包含SELFDESTRUCT操作碼,因為以太坊計劃將其刪除。
我們可能會取消對完整256位XOR/AND/OR操作碼的支持,因為這些僅存在于已編譯的用于位掩碼的Solidity代碼中。這可以由編譯器使用其他操作碼來完成。
費用
在zkSync2.0中,有一個不同的gas概念。交易價格將根據當前的L1gas價格和ZKP生成成本而波動。智能合約調用將具有最大數量的zkEVM步驟和存儲寫入參數。
Web3API
下一個版本將包括我們的Web3API實現,它將與以太坊文檔定義的Web3標準兼容。事件將開箱即用,所有服務都可以輕松集成。
RSS3與zkSync宣布完成鏈上數據的索引與集成:7月28日消息,今日RSS3和zkSync宣布正式達成合作關系。目前,RSS3已完成zkSync的鏈上數據索引與集成,用戶可以通過使用RSS3協議或者節點服務獲取zkSync鏈上的內容和數據。
zkSync作為一個開源的Layer2區塊鏈,通過其快速且價格低廉的特點,目前已處理超過1000萬筆的鏈上交易。zkSync是繼以太坊、幣安智能鏈、Polygon、Flow、Arbitrum、Avalanche和 Fantom等區塊鏈后,RSS3協議和節點支持的另一區塊鏈。雙方特有的優勢將為Web3帶來更多的可能性,為項目方和開發者提供簡單易用且成本極低的基礎設施選擇。
RSS3將能在其網絡中提供zkSync用戶的鏈上交易數據和社交信息,zkSync及其鏈上的生態項目和開發商也能通過RSS3為zkSync帶來更??多各種形式的feed的呈現可能性。同時,RSS3通過zkSync為生態系統中的應用程序帶來了新的快速、低成本、無需許可的選擇。[2022/7/28 2:44:04]
zkSync包含L1沒有的功能,例如已提交和最終塊的概念。因此,將有其他方法可以讓開發人員更精確地控制數據。Web3客戶端代碼將接收與以太坊相同的數據,但可以使用`zksync_`命名空間請求特殊信息。
由于zkSync有多種交易類型,并且使用EIP712簽名,因此`eth_sendRawTransaction`數據的格式會與L1不同。但是,編碼對應于以太坊ABI,因此支持它并不困難。
數據:ZKS突破3.66USDT,上線最高漲幅358.25%:MXC抹茶交易數據,ZKS突破3.66USDT,24小時漲23.64%。2月13日,MXC抹茶創新區上線ZKS,開放USDT交易,相比0.8USDT開盤價,上線最高漲幅358.25%。資料顯示,ZKSwap 是一套基于自動化做市商(AMM,Automated Market Maker)的Swap協議。[2021/2/18 17:26:16]
簽署交易
zkSync2.0中的交易可以通過兩種方式進行授權:
用戶可以通過簽署EIP712消息,使用他們的普通以太坊錢包簽署交易。
任何賬戶都可以設置公鑰來創建我們內部的Schnorr簽名來簽署交易。這允許基于智能合約的錢包與zkSync2.0進行交互,而無需發送L1消息的額外成本。
存儲效率提升
每個塊僅應用一次存儲槽覆蓋。這意味著如果多個用戶與單個AMM合約交互,則AMM合約的存儲槽只會被覆蓋一次。這允許排序器稍后向用戶退還單次寫入的共享成本。
預編譯
“預編譯”機制是計劃中的,但將在稍后發布。我們計劃首先支持keccak256、sha256哈希和ECDSA恢復原語。根據需求和復雜性,可以考慮包含其他預編譯,例如Blake2f輪函數。
進一步的限制
火幣全球站“全球觀察區”定于今日上線ZKS:據官方消息,Huobi Global“全球觀察區”定于2021年2月18日16:00 (GMT+8) 開ZKS (ZKSwap) 幣幣交易,目前火幣已開放ZKS充幣業務。
同時,Huobi 還開啟了ZKS雙重賺幣活動,2月19日至2月28日期間,用戶交易ZKS,可瓜分15萬ZKS錦鯉獎勵。2月18日至2月21日、2月25日至年2月28日期間,Huobi 將上線兩期ZKS限時挖礦活動,活動總鎖倉上限為1500萬ZKS。[2021/2/18 17:26:02]
zkSync2.0的第一次迭代可能會對每筆交易施加32次智能合約調用的額外限制,直到實施適當的記賬機制。
執行跟蹤將有一個硬性限制,但它與以太坊區塊大小的當前限制相當,不應影響大多數協議。
可能還有更多限制,但我們的目標是在最終版本中將它們減少到絕對最小值。
深入了解zkSync2.0架構
您可能聽說過區塊鏈三難困境,但在擴展以太坊時,還有第四個因素:可編程性。所有當前的擴展解決方案都存在于為了可擴展性而犧牲一些安全性、去中心化和可編程性的范圍內。zkSync2.0的設計結合了以下2項技術突破,最大限度地發揮了所有4項功能:
zkEVM:為我們與EVM兼容的zkRollup提供動力的引擎,這是唯一具有L1安全性和可靠性智能合約支持的解決方案。
ZKSwap24小時交易筆數超過10萬筆 預計2月初上線以太坊主網:1月18日消息,基于ZK Rollup擴容技術的AMM去中心化交易所ZKSwap過去24小時處理的交易筆數超過10萬筆交易,其中包括47,977筆Layer2的swap交易和61,584筆Layer2到Layer1的提現交易。另外,根據系統在以太坊主網的部署情況,ZKSwap預計會在2月1日至2月8日之間上線以太坊主網。主網上線之后,ZKSwap將會進一步開發分布式的零知識證明網絡和Layer2的隱私支付工具(率先支持USDT的layer2隱私支付)以及隱私兌換協議(所有swap過程全部隱私)以及未來支持ERC-721和NFT token的swap交易。目前ZKSwap部署在以太坊Ropsten測試網上,是一個非常接近以太坊主網的測試網絡。ZKSwap團隊將在1月25號開啟測試網最后一輪活動,將測試流動性挖礦、交易即挖礦和智能合約鎖倉挖礦,以及模擬主網上線的環境和活動。除此之外,ZKSwap開發團隊已經完成了plonk算法的GPU版本的實現,TPS也會有大幅提升,在上線主網的時候也會部署。[2021/1/18 16:27:18]
zkPorter:一個鏈下數據可用性系統,其可擴展性比匯總高2個數量級。
由于zkEVM和zkPorter是可互操作和可組合的,因此zkSync2.0能夠顯著優于所有其他擴展解決方案。
目前的共識是Eth2數據分片將在2022年底到來,以在不犧牲去中心化的情況下提供指數級更大的數據可用性層。zkSync的zkRollup技術結合Eth2數據分片是最終目標,在不犧牲4個因素中的任何一個的情況下達到100,000+TPS。
狀態樹
zkSync2.0狀態樹覆蓋了以太坊的完整160位地址空間。每個帳戶將駐留在狀態的zkRollup部分或zkPorter部分。zkRollup和zkPorter帳戶完全相同,除了一個組件:保證數據可用性。zkRollup交易數據通過calldata發布到以太坊,zkPorter交易數據發布到zkSyncGuardian網絡,zkSync代幣持有者參與權益證明。
數據發布的地方是成本和安全性之間的權衡。zkPorter交易比匯總交易便宜得多,但它有可能導致您的資金被凍結。但是,zkRollup和zkPorter帳戶的有效性都是通過零知識證明和以太坊來保證的。換句話說,zkPorter中的資金只能被凍結,不能被盜。
zkRollup和zkPorter帳戶的互操作性和可組合性使每個用戶都有機會成為zkSync中的一等公民。部署在zkRollup端的Uniswap可以通過zkPorter帳戶訪問以交換最低費用。zkSync2.0是一個系統,旨在供整個金融領域的用戶參與。
密碼學
我們的VM,最常被稱為zkEVM,不是EVM1:1副本,而是旨在能夠運行99%用Solidity編寫的合約并保持其相同的行為,例如在恢復和異常期間。同時,zkEVM被編寫為在電路中高效生成零知識證明。
這是在我們的證明系統沒有任何重大變化的情況下完成的;我們繼續將PLONK與自定義門和查找表以及以太坊的BN-254曲線一起使用。這是有利的,因為自2020年6月以來,該證明系統已經在zkSync1.0以及使用相同證明系統的其他項目中進行了實戰測試。
再一次,我們很高興地宣布,經過幾個月的努力:zkEVM的指令集已經完成并在電路和執行環境中實現。
這里有一個重要的區別:電路和執行環境中的實現是分開的,用于不同的目的。電路的工作是生成執行跟蹤的證明并提供證人,但這非常慢。另一方面,執行環境是zkEVM在rust中的直接實現,高效且快速。如果我們依靠電路來生成證明和執行,交易最終確定將需要幾個小時。證明生成和簡單執行的分離使zkSync上的交易能夠即時結算。
接下來,我們專注于將zkEVM和編譯器結合在一起,并將遞歸結合在一起:塊之間的遞歸,它允許我們為N個塊發布一個證明,以及塊內的遞歸,它聚合塊的不同邏輯部分的子證明.這是簡單的部分!自2020年6月以來,zkSync1.0的主網上已在使用區塊之間的遞歸聚合證明。有關區塊內遞歸以及我們的zkEVM工作原理的更多信息,請觀看此視頻說明。
編譯器
我們同時致力于兩個針對zkEVM的編譯器前端:Yul和Zinc。Yul是一種中間Solidity表示,可以為不同的后端編譯為字節碼。Zinc是我們用于智能合約和通用零知識證明電路的基于Rust的語言。
由于編譯器是使用LLVM框架構建的,因此可以將其視為具有前端Yul→LLVMIR和后端LLVMIR→zkEVM字節碼。LLVM的采用帶來了幾個主要優勢:
LLVM優化框架無與倫比:它從LLVMIR生成最高效的zkEVM字節碼。
使用較新版本的Solidity或Zinc,編譯器前端將處理所有更改,而LLVM將使我們無需更改編譯器后端。
未來,如果開發人員想用原生Rust或Javascript編寫智能合約,只需為該語言構建編譯器前端,智能合約就可以在zkSync中開箱即用。
編譯器的安全性對我們來說至關重要,并且已經通過了多套測試:
Zinc和Yul編譯器中的詞法、語法和語義測試。
我們自己的Zinc和Solidity集成測試,貫穿整個智能合約生命周期:從解析源代碼到合約部署和在zkSync上執行交易。
從Solidity存儲庫集成的廣泛的測試套件,適用于我們的集成測試工具。
每個套件已經包含數千個測試,我們將把這個數字至少增加一個數量級。
我們的2個編譯器已經成功部署并執行了兩種語言的簡單智能合約。但是還有更多的優化需要完成,一些復雜的LLVMIR語句需要轉換為zkEVM字節碼。因此,我們決定在編譯器處于更健壯的狀態之前不發布它。
編譯器完成后,我們將專注于使Zinc更具表現力和功能更豐富,然后構建Rust編譯器前端以允許使用原生Rust編寫智能合約。
核心基礎設施
zkSync2.0核心由幾個關鍵角色組成:
完整節點
通過虛擬機的zkEVM字節碼的預電路執行器環境
該狀態在交易發送后的幾秒鐘內可用,
過濾掉可能導致區塊膨脹的明顯不正確的交易,
在內存池中執行交易并生成區塊。
證明者
接收區塊的見證人并生成零知識證明,
用于并行證明生成的證明者接口,
自定義證明者自動縮放器,可根據需要創建和終止證明者機器。
交互器
用于觀看和與以太坊L1交互的工具,
根據代幣價格、ZKP生成成本和L1gas價格計算交易費用。
偏執監視器
Prometheus、elastic、sentry、uptime、幾個獨立的事件通知系統和自定義健康檢查服務。
這個核心基礎設施功能齊全,已經集成了zkEVM執行器。
以下報告是由MessariHub分析師撰寫并應MessariHub成員yAxis的要求編寫的。有關其他信息,請參閱本文后面的免責聲明*。收益耕種是DeFi中最受歡迎和發展最快的資產管理策略之一.
1900/1/1 0:00:00原標題:《密碼經濟要點》5月20日17:00,知密大學發起人、Freecash發起人昌用老師受邀在PlatON中文Telegram群參加快閃活動,向社區成員分享了密碼經濟的相關知識.
1900/1/1 0:00:00來源:財聯社 作者:瀟湘 盡管不少幣圈的擁躉常常將比特幣等加密貨幣譽為“數字黃金”,不過在高盛(GoldmanSachs)大宗商品研究全球主管JeffCurrie看來,在對沖通脹方面.
1900/1/1 0:00:00Mintbase是一個基于NEAR的NFT平臺,曝光度并不算高,但奇妙的是,在此前的許多研究報告中,都可以看到這個項目的身影。這個項目的進展直到上周才正式上線.
1900/1/1 0:00:0025日,馬斯克發推表示,他與北美比特幣礦工交談,礦工承諾發布當前和計劃中的可再生能源使情況,并鼓勵行業跟進實施。他暗示,這是比特幣潛在的希望.
1900/1/1 0:00:00DeFi衍生品被認為是DeFi最具前景的市場之一,其中包括合成資產、期權、預測市場、永續合約、保險、利率衍生品等六大方向.
1900/1/1 0:00:00