Existing security practices, auditing tools, and formal verification methods designed for the EVM can be applied directly to ZKsync contracts.
Quote
Sources
ZKsync EVM Equivalence Unlocks Breakthrough for Ethereum Layer 2 Development
Referenced by
ZKsync’s bytecode-level equivalence with Ethereum allows developers to directly apply existing security practices, auditing tools, and formal verification methods to smart contracts on ZKsync.
Crypto news
Claim
