Add Noir support to sindri init command

This adds a basic project template directory for Noir which contains a project
asserting `X == Y`.

Merges #25

LGTM given by: @katiemckeon

src/cli/init.ts

@@ -149,6 +149,36 @@ export const initCommand = new Command()
         packageName,
         provingScheme,
       });
+    } else if (circuitType === "noir") {
+      const packageName = await input({
+        message: "Noir Package Name:",
+        default: circuitName
+          .toLowerCase()
+          .replace(/^[^a-z0-9_]*/, "")
+          .replace(/-+/g, "-"),
+        validate: (input): boolean | string => {
+          if (input.length === 0) {
+            return "You must specify a package name.";
+          }
+          if (!/^[a-z0-9_]+(?:-[a-z0-9_]+)*$$/.test(input)) {
+            return (
+              "Package names must begin with a lowercase letter, number, or underscore, and only " +
+              "be followed by lowercase or numeric characters and underscores (optionally " +
+              "separated hyphens)."
+            );
+          }
+          return true;
+        },
+      });
+      const provingScheme: "barretenberg" = await select({
+        message: "Proving Scheme:",
+        default: "barretenberg",
+        choices: [{ name: "Barretenberg", value: "barretenberg" }],
+      });
+      Object.assign(context, {
+        packageName,
+        provingScheme,
+      });
     } else {
       logger.fatal(`Sorry, ${circuitType} is not yet supported.`);
       return process.exit(1);

templates/noir/.sindriignore

@@ -0,0 +1,3 @@
+/targets/
+Prover.toml
+Verifier.toml

templates/noir/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "{{ packageName }}"
+type = "bin"
+authors = [""]
+compiler_version = "0.19.3"
+
+[dependencies]

templates/noir/Prover.toml

@@ -0,0 +1,2 @@
+X = 5
+Y = 5

templates/noir/sindri.json

@@ -0,0 +1,6 @@
+{
+  "$schema": "https://forge.sindri.app/api/v1/sindri-manifest-schema.json",
+  "name": "{{ circuitName }}",
+  "circuitType": "noir",
+  "provingScheme": "{{ provingScheme }}"
+}

templates/noir/src/main.nr

@@ -0,0 +1,6 @@
+// Define the main function for the circuit.
+fn main(X: Field, Y: pub Field) {
+    // Put your code here...
+    // Enforce the constraint that X must equal Y.
+    assert(X == Y);
+}