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.

Quotes that support claims

The bytecode is executed through a Bytecode Interpreter, which allows unaltered EVM code to run on the ZKsync network, preserving compatibility with Ethereum-based projects.

Existing security practices, auditing tools, and formal verification methods designed for the EVM can be applied directly to ZKsync contracts.

Related projects

Related topics

Product launches