This guide walks through the entire workflow of using the Noir Compiler plugin in Remix IDE to compile Noir code, generate a zero-knowledge proof, and verify the generated proof using either a Solidity smart contract or a JS script.

1. Project Setup and File Selection

Before starting, you should have a basic Noir project in your workspace.

1. In the top center of the screen, select "Create a new workspace".
2. Scroll to find the "Noir ZKP" template and click "Create".

This will create a new workspace with the necessary Nargo.toml and src/main.nr files.

1. Select the main.nr file in the file explorer to open it.
2. Click the Noir Compiler plugin icon to open the plugin tab.
3. Selecting the main.nr file will activate the "Compile" button.

2. Compile Circuit

Click the "Compile" button to start compiling the circuit.

• Process:
  1. The plugin zips the project files and sends them to the backend.
  2. The backend runs nargo compile.
  3. On success, the plugin creates (or overwrites) two files in your workspace:
     • build/program.json: The compiled circuit artifact (ACIR/ABI).
     • Prover.toml: A template file for providing inputs needed for proof generation.
• Result (UI):

  • The "Compilation Artifacts" section appears, showing a "View Artifact" button.

  • The "Generate Proof" button is activated.

  • If a compilation error occurs, the error message will be displayed in the feedback window below the "Compile" button.

    

3. Set Inputs (Edit Prover.toml)

If your circuit requires inputs (private or public), you must edit the Prover.toml file before generating a proof.

1. Click the "View Prover.toml" button below the "Generate Proof" button to open the Prover.toml file.
2. In the file, fill in the required input values in the [inputs] section and save the file (e.g., a = "1", b = "2").

4. Generate Proof

Once the inputs are set, click the "Generate Proof" button.