# Hello, World

Now that we have installed Nargo, it is time to make our first hello world program!

## Create a Project Directory

Noir code can live anywhere on your computer. Let us create a projects folder in the home directory to house our Noir programs.

For Linux, macOS, and Windows PowerShell, create the directory and change directory into it by running:

$mkdir ~/projects$ cd ~/projects


For Windwows CMD, run:

> mkdir "%USERPROFILE%\projects"
> cd /d "%USERPROFILE%\projects"


## Create Our First Nargo Project

Now that we are in the projects directory, create a new Nargo project by running:

$nargo check  Two additional files would be generated in your project directory: Prover.toml houses input values, and Verifier.toml houses public values. ## Prove Our Noir Program Now that the project is set up, we can create a proof of correct execution on our Noir program. Fill in input values for execution in the Prover.toml file. For example: x = "1" y = "2"  Prove the valid execution of your Noir program with your preferred proof name, for example p: $ nargo prove p


A new folder proofs would then be generated in your project directory, containing the proof file p.proof.

The Verifier.toml file would also be updated with the public values computed from program execution (in this case the value of y):

y = "0x0000000000000000000000000000000000000000000000000000000000000002"


Note: Values in Verifier.toml are computed as 32-byte hex values.

## Verify Our Noir Program

Once a proof is generated, we can verify correct execution of our Noir program by verifying the proof file.

Verify your proof of name p by running:

\$ nargo verify p


The verification will complete in silence if it is successful. If it fails, it will log the corresponding error instead.

Congratulations, you have now created and verified a proof for your very first Noir program!

In the next section, we will go into more detail on each step performed.