Cairo Verifier

This document provides steps to build and run the Cairo 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 .

2. Build the project:

scarb build

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

1. Navigate to the runner directory:

cd runner

2. Run the verifier:

cargo run --release -- ../target/dev/cairo_verifier.sierra < resources/parserin.txt