prove and verify now just use a dummy pk and vk

crates/nargo/src/ops/prove.rs

@@ -8,5 +8,7 @@ pub fn prove_execution<B: ProofSystemCompiler>(
     solved_witness: WitnessMap,
 ) -> Result<Vec<u8>, B::Error> {
     // TODO(#1569): update from not just accepting `false` once we get nargo to interop with dynamic backend
-    backend.prove_with_pk(common_reference_string, circuit, solved_witness, &Vec::new(), false)
+    // Nargo no longer handles logic related to proving/verifying with keys.
+    let proving_key = Vec::new();
+    backend.prove_with_pk(common_reference_string, circuit, solved_witness, &proving_key, false)
 }

crates/nargo/src/ops/verify.rs

@@ -9,12 +9,14 @@ pub fn verify_proof<B: ProofSystemCompiler>(
     public_inputs: WitnessMap,
 ) -> Result<bool, B::Error> {
     // TODO(#1569): update from not just accepting `false` once we get nargo to interop with dynamic backend
+    // Nargo no longer handles logic related to proving/verifying with keys.
+    let verification_key = Vec::new();
     backend.verify_with_vk(
         common_reference_string,
         proof,
         public_inputs,
         circuit,
-        &Vec::new(),
+        &verification_key,
         false,
     )
 }