prove and verify now just use a dummy pk and vk

crates/nargo/src/ops/prove.rs

@@ -6,8 +6,10 @@ pub fn prove_execution<B: ProofSystemCompiler>(
     common_reference_string: &[u8],
     circuit: &Circuit,
     solved_witness: WitnessMap,
-    proving_key: &[u8],
 ) -> 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, proving_key, 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

@@ -7,15 +7,16 @@ pub fn verify_proof<B: ProofSystemCompiler>(
     circuit: &Circuit,
     proof: &[u8],
     public_inputs: WitnessMap,
-    verification_key: &[u8],
 ) -> 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,
-        verification_key,
+        &verification_key,
         false,
     )
 }