背景#
EVM 在設計之時，並未考慮到要支持零知識證明，這使得構建 EVM 兼容的零知識虛擬機變得困難，這也是早期的「ZK-rollup」缺乏執行智能合約的能力的原因。但是，不過伴隨研究方面的進展，使得可以將 EVM 的計算包裹到零知識證明中。
什麼是 ZK-EVM#
「零知識以太坊虛擬機（ZK-EVM）」是一種生成零知識證明來驗證程式正確性的虛擬機。ZK-EVM 旨在以支持零知識技術的方式執行智能合約。
不同的 ZK-EVM 專案採用不同的方法將 EVM 執行與零知識證明計算相結合。V 神根據 EVM 等效性將 ZK-EVM 分為 5 種不同類型：
・完美兼容以太坊 (Type 1)
・對以太坊底層做了一些不涉及應用層的微小變動 (Type 2)
・對 EVM 中某些操作的 GAS 進行修改 (Type 2.5)
・對以太坊底層做了一些涉及應用層的微小變動（Type 3）
・高級語言等效，將由 Solidity 和 Vyper 等高級語言編寫的應用編譯成 ZK 友好的語言（Type 4）
什麼是 ZK-SNARK#
「ZK-SNARK」全名是 Zero Knowledge Succinct Non-interactive Argument of Knowledge，是一種實現零知識證明協議，允許一方（證明者）向另一方（驗證者）證明他們擁有某些信息，例如密鑰或解決方案解決數學問題，而不透露實際信息本身。
「零知識證明（ZK-SNARK）」和「零知識以太坊虛擬機（ZK-EVM）」為 zk-rollup 提供了一套完整的解決方案。