Command-Line Help for nargo

This document contains the help content for the nargo command-line program.

Command Overview:

• nargo↴
• nargo check↴
• nargo fmt↴
• nargo compile↴
• nargo new↴
• nargo init↴
• nargo fetch↴
• nargo execute↴
• nargo export↴
• nargo debug↴
• nargo test↴
• nargo fuzz↴
• nargo info↴
• nargo lsp↴
• nargo expand↴
• nargo doc↴
• nargo generate-completion-script↴

nargo

Noir's package manager

Usage: nargo <COMMAND>

Subcommands:

• check — Check a local package and all of its dependencies for errors
• fmt — Format the Noir files in a workspace
• compile — Compile the program and its secret execution trace into ACIR format
• new — Create a Noir project in a new directory
• init — Create a Noir project in the current directory
• fetch — Fetch the dependencies of a package from the network
• execute — Executes a circuit to calculate its return value
• export — Exports functions marked with #[export] attribute
• debug — Executes a circuit in debug mode
• test — Run the tests for this program
• fuzz — Run the fuzzing harnesses for this program
• info — Provides detailed information on each of a program's function (represented by a single circuit)
• lsp — Starts the Noir LSP server
• expand — Show the result of macro expansion
• doc — Builds documentation for the specified package or workspace
• generate-completion-script — Generates a shell completion script for your favorite shell

Options:

nargo check

Check a local package and all of its dependencies for errors

Usage: nargo check [OPTIONS]

Options:

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --overwrite — Force overwrite of existing files

  Possible values: true, false

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

nargo fmt

Format the Noir files in a workspace

Usage: nargo fmt [OPTIONS]

Options:

• --check — Run noirfmt in check mode

  Possible values: true, false

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

nargo compile

Compile the program and its secret execution trace into ACIR format

Usage: nargo compile [OPTIONS]

Options:

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

nargo new

Create a Noir project in a new directory

Usage: nargo new [OPTIONS] <PATH>

Arguments:

• <PATH> — The path to save the new project

Options:

• --name <NAME> — Name of the package [default: package directory name]

• --lib — Use a library template

  Possible values: true, false

• --bin — Use a binary template [default]

  Possible values: true, false

• --contract — Use a contract template

  Possible values: true, false

nargo init

Create a Noir project in the current directory

Usage: nargo init [OPTIONS]

Options:

• --name <NAME> — Name of the package [default: current directory name]

• --lib — Use a library template

  Possible values: true, false

• --bin — Use a binary template [default]

  Possible values: true, false

• --contract — Use a contract template

  Possible values: true, false

nargo fetch

Fetch the dependencies of a package from the network

Usage: nargo fetch [OPTIONS]

Options:

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

nargo execute

Executes a circuit to calculate its return value

Usage: nargo execute [OPTIONS] [WITNESS_NAME]

Arguments:

• <WITNESS_NAME> — Write the execution witness to named file

Defaults to the name of the package being executed.

Options:

• -p, --prover-name <PROVER_NAME> — The name of the toml file which contains the inputs for the prover

  Default value: Prover

• --overwrite-return — Optionally overwrite the return entry in the prover file

  Default value: false

  Possible values: true, false

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

• --oracle-resolver <ORACLE_RESOLVER> — JSON RPC url to solve oracle calls

• --oracle-file <ORACLE_FILE> — Path to the oracle transcript

nargo export

Exports functions marked with #[export] attribute

Usage: nargo export [OPTIONS]

Options:

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

nargo debug

Executes a circuit in debug mode

Usage: nargo debug [OPTIONS] [WITNESS_NAME]

Arguments:

• <WITNESS_NAME> — Write the execution witness to named file

Options:

• -p, --prover-name <PROVER_NAME> — The name of the toml file which contains the inputs for the prover

  Default value: Prover

• --package <PACKAGE> — The name of the package to execute

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

• --acir-mode — Force ACIR output (disabling instrumentation)

  Possible values: true, false

• --skip-instrumentation <SKIP_INSTRUMENTATION> — Disable vars debug instrumentation (enabled by default)

  Possible values: true, false

• --test-name <TEST_NAME> — Name (or substring) of the test function to debug

• --oracle-resolver <ORACLE_RESOLVER> — JSON RPC url to solve oracle calls

nargo test

Run the tests for this program

Usage: nargo test [OPTIONS] [TEST_NAMES]...

Arguments:

• <TEST_NAMES> — If given, only tests with names containing this string will be run

Options:

• --show-output — Display output of println statements

  Possible values: true, false

• --exact — Only run tests that match exactly

  Possible values: true, false

• --list-tests — Print all matching test names, without running them

  Possible values: true, false

• --no-run — Only compile the tests, without running them

  Possible values: true, false

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

• --oracle-resolver <ORACLE_RESOLVER> — JSON RPC url to solve oracle calls

• --test-threads <TEST_THREADS> — Number of threads used for running tests in parallel

  Default value: 4

• --format <FORMAT> — Configure formatting of output

  Possible values:

  • pretty: Print verbose output
  • terse: Display one character per test
  • json: Output a JSON Lines document

• -q, --quiet — Display one character per test instead of one line

  Possible values: true, false

• --no-fuzz — Do not run fuzz tests (tests that have arguments)

  Possible values: true, false

• --only-fuzz — Only run fuzz tests (tests that have arguments)

  Possible values: true, false

• --corpus-dir <CORPUS_DIR> — If given, load/store fuzzer corpus from this folder

• --minimized-corpus-dir <MINIMIZED_CORPUS_DIR> — If given, perform corpus minimization instead of fuzzing and store results in the given folder

• --fuzzing-failure-dir <FUZZING_FAILURE_DIR> — If given, store the failing input in the given folder

• --fuzz-timeout <FUZZ_TIMEOUT> — Maximum time in seconds to spend fuzzing (default: 1 seconds)

  Default value: 1

• --fuzz-max-executions <FUZZ_MAX_EXECUTIONS> — Maximum number of executions to run for each fuzz test (default: 100000)

  Default value: 100000

• --fuzz-show-progress — Show progress of fuzzing (default: false)

  Possible values: true, false

• --coverage — Produce a coverage report.

Writes coverage data to the workspace target directory into target/coverage/<package-name>/lcov.info or target/coverage/lcov.info files, depending on whether we are dealing with a workspace.

Possible values: true, false

• --coverage-dir <COVERAGE_DIR> — Override the directory where coverage files are written.

If not set, defaults to the workspace target directory.

nargo fuzz

Run the fuzzing harnesses for this program

Usage: nargo fuzz [OPTIONS] [FUZZING_HARNESS_NAME]

Arguments:

• <FUZZING_HARNESS_NAME> — If given, only the fuzzing harnesses with names containing this string will be run

Options:

• --corpus-dir <CORPUS_DIR> — If given, load/store fuzzer corpus from this folder

• --minimized-corpus-dir <MINIMIZED_CORPUS_DIR> — If given, perform corpus minimization instead of fuzzing and store results in the given folder

• --fuzzing-failure-dir <FUZZING_FAILURE_DIR> — If given, store the failing input in the given folder

• --list-all — List all available harnesses that match the name

  Possible values: true, false

• --show-output — Display output of println statements

  Possible values: true, false

• --num-threads <NUM_THREADS> — The number of threads to use for fuzzing

  Default value: 1

• --exact — Only run harnesses that match exactly

  Possible values: true, false

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

• --oracle-resolver <ORACLE_RESOLVER> — JSON RPC url to solve oracle calls

• --timeout <TIMEOUT> — Maximum time in seconds to spend fuzzing (default: no timeout)

  Default value: 0

• --max-executions <MAX_EXECUTIONS> — Maximum number of executions of ACIR and Brillig per harness (default: no limit)

  Default value: 0

nargo info

Provides detailed information on each of a program's function (represented by a single circuit)

Current information provided per circuit: 1. The number of ACIR opcodes 2. Counts the final number gates in the circuit used by a backend

Usage: nargo info [OPTIONS]

Options:

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --profile-execution — Compile and execute the program in the Brillig VM, reporting the number of Brillig opcodes executed at runtime rather than the static opcode count of the compiled circuit. Useful for analyzing the runtime cost of unconstrained functions and identifying execution bottlenecks. It implies --force-brillig: a constrained circuit has fully flattened control flow (e.g. loops and conditionals), so execution profiling is only meaningful for unconstrained code

  Possible values: true, false

• -p, --prover-name <PROVER_NAME> — The name of the toml file which contains the inputs for the prover

  Default value: Prover

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

nargo lsp

Starts the Noir LSP server

Starts an LSP server which allows IDEs such as VS Code to display diagnostics in Noir source.

VS Code Noir Language Support: https://marketplace.visualstudio.com/items?itemName=noir-lang.vscode-noir

Usage: nargo lsp

nargo expand

Show the result of macro expansion

Usage: nargo expand [OPTIONS]

Options:

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

nargo doc

Builds documentation for the specified package or workspace.

Note: this command is in development and functionality may change greatly with no warning.

Usage: nargo doc [OPTIONS]

Options:

• --package <PACKAGE> — The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

• --workspace — Run on all packages in the workspace

  Possible values: true, false

• --force — Force a full recompilation

  Possible values: true, false

• --print-acir — Display the ACIR for compiled circuit, including the Brillig bytecode

  Possible values: true, false

• --deny-warnings — Treat all warnings as errors

  Possible values: true, false

• --silence-warnings — Suppress warnings

  Possible values: true, false

• --debug-comptime-in-file <DEBUG_COMPTIME_IN_FILE> — Enable printing results of comptime evaluation: provide a path suffix for the module to debug, e.g. "package_name/src/main.nr"

• --skip-underconstrained-check — Flag to turn off the compiler check for under constrained values. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --skip-brillig-constraints-check — Flag to turn off the compiler check for missing Brillig call constraints. Warning: This can improve compilation speed but can also lead to correctness errors. This check should always be run on production code

  Possible values: true, false

• --count-array-copies — Count the number of arrays that are copied in an unconstrained context for performance debugging

  Possible values: true, false

• --inliner-aggressiveness <INLINER_AGGRESSIVENESS> — Setting to decide on an inlining strategy for Brillig functions. A more aggressive inliner should generate larger programs but more optimized A less aggressive inliner should generate smaller programs

  Default value: 9223372036854775807

• -Z, --unstable-features <UNSTABLE_FEATURES> — Unstable features to enable for this current build.

If non-empty, it disables unstable features required in crate manifests.

• --no-unstable-features — Disable any unstable features required in crate manifests

  Possible values: true, false

• --check — Do not produce any output files, only check for broken links

  Possible values: true, false

nargo generate-completion-script

Generates a shell completion script for your favorite shell

Usage: nargo generate-completion-script <SHELL>

Arguments:

• <SHELL> — The shell to generate completions for. One of: bash, elvish, fish, powershell, zsh

---

This document was generated automatically by clap-markdown.