diff --git a/acvm/src/lib.rs b/acvm/src/lib.rs
index 1ed6b4291..34c44bcbe 100644
--- a/acvm/src/lib.rs
+++ b/acvm/src/lib.rs
@@ -179,7 +179,7 @@ pub trait ProofSystemCompiler {
     fn verify_with_vk(
         &self,
         proof: &[u8],
-        public_inputs: Vec<FieldElement>,
+        public_inputs: BTreeMap<Witness, FieldElement>,
         circuit: &Circuit,
         verification_key: &[u8],
     ) -> bool;