/cairo-verifier

Primary LanguageCairoApache License 2.0Apache-2.0

Cairo Verifier

This document provides steps to build and run the Cairo Verifier.

Building the Verifier

To build the latest version of the verifier and create a Sierra file, follow these steps:

  1. Navigate to the project root directory:
cd .
  1. Build the project:
scarb build

Running the Verifier

After building the verifier, you can run it with the following steps:

  1. Navigate to the runner directory:
cd runner
  1. Run the verifier:
cargo run --release -- ../target/dev/cairo_verifier.sierra < resources/parserin.txt