ZKS:探索零知識：zkSync 和 zkEVM_SynchroBitcoin

zkSync

zkSync由MatterLabs開發，由AlexGluchowski于2018年創建。zkSync的最終目標是創建一個完全無需信任的L2，具有L1保證，例如重組保護和資金安全。除了簡單的安全保證之外，它還在開發工具，為基于零知識的智能合約提供支持。

zkSync1.0最初于2020年6月推出，并已經完全運行。目前，它使用PLONK作為證明者。隨著?zkSync1.1的推出，遞歸證明、訂閱機制、以及單一代幣的手續費支付以及ERC-20代幣鑄造和銷毀功能被添加進去了。啟用遞歸證明后，zkSync的當前吞吐量為每秒3000筆交易。

Multichain：目前CEO仍處于失聯狀態，將暫停部分網絡的跨鏈服務:6月1日消息，Multichain 官方在社交媒體上發文表示，在過去的兩天里，由于不可預見的情況，Multichain 協議出現了多個問題。團隊已盡一切可能維護協議運行，但目前無法聯系到 CEO Zhaojun 并獲得必要的服務器訪問權限以進行維護。

今日下午，Router5 的掃描節點網絡出現問題，影響了部分鏈的正常跨鏈服務。該問題超出團隊目前的權限和能力。為保障廣大用戶的利益，Multichain 決定在 UI 上對受影響的鏈暫停相應的跨鏈服務。

同時，Multichain 要求其合作伙伴停止在受影響的鏈上直接調用 Multichain 協議智能合約進行跨鏈操作。所有受影響的鏈包括：Kekchain、PublicMint、Dyno Chain、Red Light Chain、Dexit、Ekta、HPB、ONUS、Omax、Findora、Planq。[2023/6/1 11:51:06]

PLONK

OpenAI CEO旗下加密項目Worldcoin已開啟全球城市社區專家申請:5月7日消息，OpenAICEO旗下加密項目Worldcoin已開啟全球城市社區專家申請，社區負責人將有機會參與Worldcoin旗下虹膜掃描設備Orb的屬地推廣，目前已開放申請表填寫。據悉，Worldcoin全球城市巡演推廣將于4月在東京拉開帷幕，這是Worldcoin首次在亞洲進行推廣。[2023/5/7 14:48:15]

PLONK全稱為“基于拉格朗日基數的全局非交互式知識證明排列”，最初由ArielGabizon、ZacWilliamson和OanaCiobotaru創建，它提供了一些改進，相比之前的證明協議有著一些優點，但同時也保留了一些缺點。

幣安：正進行熱錢包資金整合，或導致Gas費上升與大量流入幣安的交易:金色財經報道，幣安發推稱正在將資金從存款地址整合到熱錢包，以為下一階段的POR（Proof of reserve）審計做準備。在此期間，用戶可能會看到以太坊網絡的Gas費暫時上升，并且有大量流入幣安熱錢包的交易。[2022/12/10 21:35:43]

PLONK的優勢和改進：

從特定于應用程序的可信設置轉變為通用且可更新的可信設置依賴于標準化加密更小的證明大小

淘寶小程序接入Cocos游戲引擎，探索電商元宇宙:12月5日，據Cocos引擎官方消息，近日，Cocos推出社區版，實現對淘寶平臺的支持。內容開發者和商家使用社區版CocosCreator，即可輕松實現將游戲一鍵發布至淘寶購物平臺。

這是繼Cocos和阿里淘寶開放平臺（TaobaoOpenPlatform，簡稱TOP）聯合舉辦的2022淘寶開放生態創新大賽之后，雙方的又一次合作。（鞭牛士）[2022/12/5 21:23:48]

雖然不完美，但PLONK比以前的實現要好得多。來源：vitalik.ca

zkSyncv1的PLONK實現依賴于由Aztec組織的Ignition可信設置儀式。通過可信設置儀式，只要一個參與方刪除了用于生成設置的他/她所提供的熵，就足以確保安全性。通過Ignition，來自30多個國家的176名參與者參加了該儀式，顯著降低了信任要求。

除了PLONK之外，zkSync還致力于開發RedShift，旨在使用仍處于活躍研究和開發階段的“transparentSNARKs”來消除對可信設置儀式的需求。transparentSNARKs將有助于通過默認方式完全消除PLONK的信任問題。

zkSync2.0

zkSync2.0的zkEVM使開發人員能夠平滑地將L1dApps轉移到L2；雖然它不是EVM的完全復制，但zkEVM為L1帶來了可擴展性。讓我們來探討一下它是如何運作的！

zkSync基礎設施

zkSync在以太坊之上運營著幾個基礎設施。所有基礎設施目前都已投入使用并運行，包括zkEVM。但是，zkEVM仍在開發中，并將在稍后公布。

全節點

使用虛擬機執行zkEVM字節碼過濾不正確的交易執行內存池的交易構建塊證明者

從區塊見證生成ZK證明提供用于并行證明生成的接口可擴展交互器

L1以太坊和L2zkSync之間的鏈接計算交易費用——費用取決于代幣價格、證明生成和L1gas成本偏執監視器

監控基礎設施并在發生事故時通知MatterLabs

zkEVM

來源：MatterLabs

Yul是一種中間表示，它可以將Solidity編譯成字節碼。然后，它會被傳遞給LLVM，這是一個可模塊化的可重用編譯器。通過引入LLVM，它為未來采用Rust或Javascript原生語言編寫的zkSync智能合約開發打開了大門。雖然基于Rust的Zinc將在未來得到使用，但是為了完成Solidityv8和Vyperv3的zkEVM實現，目前Zinc的開發已經降低了優先級。

可編程性

雖然可擴展性三難困境側重于三大問題：可擴展性、去中心化和安全性，但還有第四塊拼圖。解決可擴展性三難困境但非常深奧且難以編程的鏈如果大規模采用是不可行的。zkSync通過使zkEVM易于將現有的L1協議轉移到其中來解決這個問題，同時也為原生Rust和Javascript智能合約開發打開了大門。

來源：MatterLabs

結論

2022年是Layer2的一年。隨著如此多的協議從研究中走出來并進入實施階段，以太坊將準備好大規模采用，同時保持無需信任、安全和去中心化。十年后，今天正在構建的基礎設施將成為下一代協議的支柱。

Tags：SYNKSYZKSSYNCSynchroBitcoinzksync幣與zks幣zkSyncKite Sync

KuCoin