Fuzz, Invariant and Differential Tests Using Foundry

Requirements

Running these tests requires the following:

• Python 3.10+
  • Packages: pip install eth_abi
• Foundry
• zkSync Foundry

Usage

This repo contains examples of advanced testing using Foundry. To run these tests using Forge to see expected behavior, follow these steps after cloning and cd to project root (one test should fail):

forge test --ffi

To run these tests using zkSync Foundry, run the following from project root (test output should match that of Forge above):

zkforge test --ffi