## 📄️ Preliminaries

In this tutorial, you will learn how to deploy a circom program on our Prover infrastructure. This includes how to

## 📄️ Step 1: Create a circom program

Step 1.1: Create a working directory

## 📄️ Step 2: Compile the circom program using the Prover infrastructure

Compile the circom program on the Prover infrastructure by using

## 📄️ Step 3: Generate proofs using the Prover infrastructure

Let us generate a proof that we know factors of the number 1024. The factors we choose for this are 16 and 64.

## 📄️ Step 4: Verify proofs using snarkjs

Step 4.1: Verify public inputs/outputs