zkSync：zkSync Era執行延遲安全機制將允許有足夠時間檢測問題并及時作出反應

3月24日消息，zkSync介紹zkSync Era多層安全機制中的其中一種機制，即執行延遲，執行延遲意味著每個提交給L1的L2塊在執行和最終確定之前都會有一個時間鎖，最初該延遲將是24小時，隨著系統的成熟，該延遲將逐漸減少，直到移除Alpha階段，屆時延遲將被完全移除。延遲主要是確保團隊有足夠的時間在區塊成為最終區塊之前驗證包含在區塊中的交易的影響，并且有足夠的時間來檢測漏洞、調查并通過治理凍結協議。

此前報道，2月中旬zkSync宣布上線Fair Onboarding Alpha主網，在此階段，主網對最終用戶保持關閉，注冊項目可以在系統向外部用戶開放之前在封閉環境中部署和測試應用程序。同時，zkSync 2.0更名為zkSync Era，zkSync 1.0更名為zkSync Lite。根據zkSync Era路線圖，下一個里程碑是zkSync Era公開發布。

去中心化存儲網絡Storj集成zkSync擴容方案:3月17日，去中心化存儲網絡 Storj （STORJ）宣布集成 zkSync 擴容方案，允許節點運營商能夠以更低的費用接收付款。[2021/3/17 18:51:58]

以太坊擴容項目 Matter Labs 為 Curve 推出首個 zkSync 二層智能合約測試網:以太坊擴容項目 Matter Labs 為穩定幣兌換平臺 Curve 推出首個 zkSync 二層智能合約測試網「Zinc Alef」。Matter Labs 現已引入 Zinc 編程語言和對 SNARK 友好的 Zinc VM （虛擬機），并為以太坊實施了遞歸 PLONK 證明驗證。目前，必須使用 Zinc 編程語言來編寫 Zinc VM 智能合約。zkSync 二層網絡中的所有合約都將能夠以與以太坊主網上完全相同的方式互相調用。目前，測試網功能齊全，用戶可編寫智能合約并將其部署至測試網，然后對此進行本地測試，并生成智能合約執行的零知識證明。每筆交易都將導致 zkSync 測試網上的真實代幣發生轉移，也會反映至區塊瀏覽器和錢包中。不過，Zinc VM 尚未集成至 zkSync core 中，Zinc 編程語言中的一些重要功能也可能會丟失。Matter Labs 將根據社區的要求優先開發該功能。另外，Matter Labs 正在與其他團隊合作開發通用的以太坊二層簽名標準，這將提升圍繞二層合約進行交互的用戶體驗。此前報道，今年 6 月份，Matter Labs 在以太坊主網部署了 Layer 2 擴展工具 zkSync。[2020/10/10]

動態 | zkSNARK合約“輸入假名”漏洞致眾多混幣項目爆雷:據安比實驗室消息，大量零知識證明項目由于錯誤地使用了某個zkSNARKs合約庫，引入“輸入假名 (Input Aliasing) ”漏洞，可導致偽造證明、雙花、重放等攻擊行為發生，且攻擊成本極低。眾多以太坊社區開源項目受影響，其中包括三大最常用的zkSNARKs零知開發庫snarkjs、ethsnarks、ZoKrates，以及近期大熱的三個混幣（匿名轉賬）應用hopper、Heiswap、Miximus。 事實上，所有使用了該zkSNARKs 密碼學合約庫的項目都應該立即開展自查，評估是否受影響。修復很簡單。僅需在驗證函數中添加對輸入參數大小的校驗，強制要求input值小于上面提到的q值。即嚴禁“輸入假名”，杜絕使用多個數表示同一個點。 所幸的是，目前常見的zkSNARKs合約庫都火速進行了更新，從底層庫層面杜絕“輸入假名”。安比（SECBIT）實驗室認為，底層庫的更新誠然能夠很大程度上消除掉后續使用者的安全隱患，但若該問題的嚴重性沒有得到廣泛地宣傳和傳播，依舊會有開發者不幸使用到錯誤版本的代碼，或者是根據錯誤的教程進行開發，從而埋下安全隱患。[2019/7/29]