Installation

Attention

These instructions are for Linux and macOS systems. Windows users should use WSL and follow the Linux installation instructions.

Installing the Sui Prover

  1. First, we will need to install the Certora Sui Prover. For that, please visit Certora.com and sign up for a free account at Certora sign-up page.

  2. You will receive an email with a temporary password and a Certora Key. Use the password to login to Certora following the link in the email.

  3. Next, install Python3.9 or newer on your machine. If you already have Python3 installed, you can check the version: python3 --version. If you need to upgrade, follow these instructions in the Python Beginners Guide.

  4. Next, install Java. Check your Java version: java -version. If the version is < 11, download and install Java version 11 or later from Oracle.

  5. Then, install the Certora Prover: pip3 install certora-cli.

    Tip

    Always use a Python virtual environment when installing packages.

  6. Recall that you received a Certora Key in your email (Step 2). Use the key to set a temporary environment variable like so export CERTORAKEY=<personal_access_key>. Alternatively, to store the key in your profile see Step 3 of the Prover installation.

Move and Sui Setup

  1. Install the Sui CLI

With that, you should be all set for using Certora Sui Prover. Congratulations!