From a964afe8232a808365273cd5f48361f91668a3ea Mon Sep 17 00:00:00 2001 From: kevaundray Date: Sun, 20 Aug 2023 18:49:05 +0000 Subject: [PATCH] prove and verify now just use a dummy pk and vk --- crates/nargo/src/ops/prove.rs | 6 ++++-- crates/nargo/src/ops/verify.rs | 5 +++-- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/crates/nargo/src/ops/prove.rs b/crates/nargo/src/ops/prove.rs index 16839a1b060..c35861e98e1 100644 --- a/crates/nargo/src/ops/prove.rs +++ b/crates/nargo/src/ops/prove.rs @@ -6,8 +6,10 @@ pub fn prove_execution( common_reference_string: &[u8], circuit: &Circuit, solved_witness: WitnessMap, - proving_key: &[u8], ) -> Result, 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) } diff --git a/crates/nargo/src/ops/verify.rs b/crates/nargo/src/ops/verify.rs index 4cc6c9ce34b..f6ec005262e 100644 --- a/crates/nargo/src/ops/verify.rs +++ b/crates/nargo/src/ops/verify.rs @@ -7,15 +7,16 @@ pub fn verify_proof( circuit: &Circuit, proof: &[u8], public_inputs: WitnessMap, - verification_key: &[u8], ) -> Result { // 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, ) }