chore!: remove backend interactions from nargo

noir/Earthfile

@@ -44,6 +44,18 @@ test:
   COPY noir-repo/.rustfmt.toml noir-repo/.rustfmt.toml
   RUN ./scripts/test_native.sh
 
+examples:
+  FROM +nargo
+  ENV PATH="/usr/src/noir-repo/target/release:${PATH}"
+
+  COPY --dir noir-repo/examples noir-repo
+  COPY ../barretenberg/cpp/+preset-clang-assert/bin/bb /usr/src/barretenberg/cpp/build/bin/bb
+
+  ENV BACKEND=/usr/src/barretenberg/cpp/build/bin/bb
+
+  WORKDIR noir-repo/examples/codegen-verifier
+  RUN ./test.sh
+
 format:
   FROM +nargo
   ENV PATH=$PATH:/usr/src/noir-repo/target/release

noir/noir-repo/docs/docs/how_to/how-to-solidity-verifier.md

@@ -43,11 +43,19 @@ Generating a Solidity Verifier contract is actually a one-command process. Howev
 This is by far the most straight-forward step. Just run:
 
 ```sh
-nargo codegen-verifier
+nargo compile
 ```
 
-A new `contract` folder would then be generated in your project directory, containing the Solidity
-file `plonk_vk.sol`. It can be deployed to any EVM blockchain acting as a verifier smart contract.
+This will compile your source code into a Noir build artifact to be stored in the `./target` directory, you can then generate the smart contract using the commands:
+
+```sh
+# Here we pass the path to the newly generated Noir artifact.
+bb write_vk -b ./target/<noir_artifact_name>.json
+bb contract
+```
+
+replacing `<noir_artifact_name>` with the name of your Noir project. A new `contract` folder would then be generated in your project directory, containing the Solidity
+file `contract.sol`. It can be deployed to any EVM blockchain acting as a verifier smart contract.
 
 :::info
 

noir/noir-repo/examples/codegen-verifier/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "hello_world"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.29.0"
+
+[dependencies]

noir/noir-repo/examples/codegen-verifier/codegen_verifier.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+set -eu
+
+BACKEND=${BACKEND:-bb}
+
+nargo compile
+
+# TODO: backend should automatically generate vk if necessary.
+$BACKEND write_vk -b ./target/hello_world.json
+$BACKEND contract -v ./target/vk

noir/noir-repo/examples/codegen-verifier/src/main.nr

@@ -0,0 +1,3 @@
+fn main(x: Field, y: pub Field) {
+    assert(x != y);
+}

noir/noir-repo/examples/codegen-verifier/test.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+set -eu
+
+# This file is used for Noir CI and is not required.
+
+BACKEND=${BACKEND:-bb}
+
+./codegen_verifier.sh
+
+if ! [ -f ./target/contract.sol ]; then 
+    printf '%s\n' "Contract not written to file" >&2
+    exit 1
+fi

noir/noir-repo/tooling/backend_interface/src/cli/mod.rs

@@ -1,6 +1,5 @@
 // Reference: https://github.com/AztecProtocol/aztec-packages/blob/master/barretenberg/cpp/src/barretenberg/bb/main.cpp
 
-mod contract;
 mod gates;
 mod proof_as_fields;
 mod prove;
@@ -9,7 +8,6 @@ mod version;
 mod vk_as_fields;
 mod write_vk;
 
-pub(crate) use contract::ContractCommand;
 pub(crate) use gates::GatesCommand;
 pub(crate) use proof_as_fields::ProofAsFieldsCommand;
 pub(crate) use prove::ProveCommand;

noir/noir-repo/tooling/backend_interface/src/lib.rs

@@ -6,7 +6,6 @@ use std::path::PathBuf;
 mod cli;
 mod download;
 mod proof_system;
-mod smart_contract;
 
 pub use bb_abstraction_leaks::ACVM_BACKEND_BARRETENBERG;
 use bb_abstraction_leaks::BB_VERSION;

noir/noir-repo/tooling/backend_interface/test-binaries/mock_backend/src/main.rs

@@ -5,7 +5,6 @@
 
 use clap::{Parser, Subcommand};
 
-mod contract_cmd;
 mod gates_cmd;
 mod prove_cmd;
 mod verify_cmd;
@@ -20,7 +19,6 @@ struct BackendCli {
 
 #[derive(Subcommand, Clone, Debug)]
 enum BackendCommand {
-    Contract(contract_cmd::ContractCommand),
     Gates(gates_cmd::GatesCommand),
     Prove(prove_cmd::ProveCommand),
     Verify(verify_cmd::VerifyCommand),
@@ -32,7 +30,6 @@ fn main() {
     let BackendCli { command } = BackendCli::parse();
 
     match command {
-        BackendCommand::Contract(args) => contract_cmd::run(args),
         BackendCommand::Gates(args) => gates_cmd::run(args),
         BackendCommand::Prove(args) => prove_cmd::run(args),
         BackendCommand::Verify(args) => verify_cmd::run(args),

noir/noir-repo/tooling/nargo_cli/src/cli/mod.rs

@@ -12,7 +12,6 @@ mod fs;
 
 mod backend_cmd;
 mod check_cmd;
-mod codegen_verifier_cmd;
 mod compile_cmd;
 mod dap_cmd;
 mod debug_cmd;
@@ -63,7 +62,6 @@ enum NargoCommand {
     Backend(backend_cmd::BackendCommand),
     Check(check_cmd::CheckCommand),
     Fmt(fmt_cmd::FormatCommand),
-    CodegenVerifier(codegen_verifier_cmd::CodegenVerifierCommand),
     #[command(alias = "build")]
     Compile(compile_cmd::CompileCommand),
     New(new_cmd::NewCommand),
@@ -118,7 +116,6 @@ pub(crate) fn start_cli() -> eyre::Result<()> {
         NargoCommand::Verify(args) => verify_cmd::run(&backend, args, config),
         NargoCommand::Test(args) => test_cmd::run(args, config),
         NargoCommand::Info(args) => info_cmd::run(&backend, args, config),
-        NargoCommand::CodegenVerifier(args) => codegen_verifier_cmd::run(&backend, args, config),
         NargoCommand::Backend(args) => backend_cmd::run(args),
         NargoCommand::Lsp(args) => lsp_cmd::run(args, config),
         NargoCommand::Dap(args) => dap_cmd::run(args, config),