$ETH$
💡不同 ZK-EVM 類型的簡化細分：
📍類型 1：完全等價於以太坊
- 旨在準確反映以太坊，但由於以太坊的非 ZK 友好設計，證明交易非常耗時。
📍類型 2：完全 EVM 等效
- 與類型 1 類似，但修改了某些結構以加快證明生成速度，犧牲了以太坊的完全兼容性。
📍類型 2.5：相當於 EVM，但調整了 Gas 成本。
- 增加複雜操作的天然氣成本以加快證明速度，但可能會導致輕微的不兼容性。
📍類型 3：幾乎與 EVM 等效
- 犧牲一些功能以加快證明生成速度，隨着時間的推移提高兼容性。
📍類型 4：相當於高級語言
- 將高級代碼直接轉換爲 ZK-SNARK 友好語言，以實現非常快速的證明，但可能缺乏與現有基於 EVM 的應用程序的完全兼容性。
ZK-EVM 的目標是向 Type 1 發展，以實現完美的以太坊兼容性，從而允許各種路徑來擴展以太坊和 ZK-rollups。不同的項目正在探索這些類型，隨着時間的推移，它們之間可能會發生變化。
2024 年將是激動人心的一年，大部分零知識證明已經完成並來到主網，解決了 Web3 中的一些問題。
