diff --git a/acvm/src/lib.rs b/acvm/src/lib.rs
index 52fe34b46..e7336bca6 100644
--- a/acvm/src/lib.rs
+++ b/acvm/src/lib.rs
@@ -177,7 +177,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;