Method build_blindings_map

proof_system/src/prover.rs:284–297

Build a map of blindings for witnesses of given the statement index. The key is the witness index and value is the blinding. Also removes that blinding from the global blindings map containing blinding for each witness reference.

(
            blindings: &mut BTreeMap<WitnessRef, E::ScalarField>,
            s_idx: usize,
            wit_idx: impl Iterator<Item = usize>,
        )

        /// index and value is the blinding. Also removes that blinding from the global blindings map
        /// containing blinding for each witness reference.
        fn build_blindings_map<E: Pairing>(
            blindings: &mut BTreeMap<WitnessRef, E::ScalarField>,
            s_idx: usize,
            wit_idx: impl Iterator<Item = usize>,
        ) -> BTreeMap<usize, E::ScalarField> {
            let mut blindings_map = BTreeMap::new();
            for k in wit_idx {
                match blindings.remove(&(s_idx, k)) {
                    Some(b) => blindings_map.insert(k, b),
                    None => None,
                };
            }
            blindings_map
        }

        // Initialize sub-protocols for each statement
        for (s_idx, (statement, witness)) in proof_spec