pub fn public_input_values(
        &self,
        values: &HashMap<Variable, FieldElement<F>>,
    ) -> Vec<FieldElement<F>> {
        let mut public_inputs = Vec::new();
        for key in &self.public_input_variables {
            if let Some(value) = values.get(key) {
                public_inputs.push(value.clone());
            }
        }
        public_inputs
    }
This method filters the `values` hashmap to return the list of values
corresponding to the public variables
crates/provers/plonk/src/constraint_system/mod.rs