Noir Primer

Repository with some simple examples of Noir code to show the basics of the language.

Installation

To install the necessary tool to compile and execute Noir code, run the following command:

curl -L https://raw.githubusercontent.com/noir-lang/noirup/main/install | bash

It will install noirup on your system. You can then close your terminal and open it again. And then run noirup

noirup

It will install the latest stable version of Noir. You can also install a specific version of Noir by running:

noirup -v <version>

Or if you the want the nightly version (unstable but latest features), you can also run:

noirup -n

For Windows

noirup only works on Linux or MacOS. For Windows you'll need to follow another procedure. You can refer to the Noir Docs for this.

Usage

First cd to the folder you want to work with.

Generate proof

Then to generate a proof run the following command:

# name_of_proof could be just p for example
nargo prove <name_of_proof>

It will create a proofs folder where you will your proof.

If you want to show the output for println in your terminal, make sure to add the show-output flag:

nargo prove --show-output <name_of_proof>

Verify proof

To verify the proof. Run the following command:

nargo verify <name_of_proof>

Changing inputs to circuit