certora

How to run Certora Prover

Get certora key by filling in the form on Certora's website. You should get an email with the key and all necessary instructions.
Make sure to install everything that is mentioned in instructions.
To run the spec use the following command in your terminal from the root of your project:

certoraRun certora/confs/ERC4337Account.conf

or

certoraRun certora/confs/ERC4337AccountInv.conf

Depending on what spec you want to run.

You might need to remove "solc":"solc8.23" from conf file in certora/confs/*.

Name		Name	Last commit message	Last commit date
parent directory ..
confs		confs
harness		harness
helpers		helpers
openzeppelin-contracts-upgradeable/contracts/utils		openzeppelin-contracts-upgradeable/contracts/utils
specs		specs
README.md		README.md