📄️ 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