feat!: update ProofSystemCompiler to not take ownership of keys

acvm/src/lib.rs

@@ -170,7 +170,7 @@ pub trait ProofSystemCompiler {
         &self,
         circuit: &Circuit,
         witness_values: BTreeMap<Witness, FieldElement>,
-        proving_key: Vec<u8>,
+        proving_key: &[u8],
     ) -> Vec<u8>;
 
     /// Verifies a Proof, given the circuit description, the circuit's public inputs, and the verification key
@@ -179,7 +179,7 @@ pub trait ProofSystemCompiler {
         proof: &[u8],
         public_inputs: Vec<FieldElement>,
         circuit: &Circuit,
-        verification_key: Vec<u8>,
+        verification_key: &[u8],
     ) -> bool;
 }