Method update_resp_generated

proof_system/src/prover.rs:1190–1208

(
        s_id: usize,
        total_msgs: usize,
        disjoint_equalities: &[EqualWitnesses],
        resp_generated: &mut BTreeSet<usize>,
    )

    }

    fn update_resp_generated(
        s_id: usize,
        total_msgs: usize,
        disjoint_equalities: &[EqualWitnesses],
        resp_generated: &mut BTreeSet<usize>,
    ) {
        for w_id in 0..total_msgs {
            let wit_ref = (s_id, w_id);
            for (i, eq) in disjoint_equalities.iter().enumerate() {
                if eq.has_wit_ref(&wit_ref) {
                    if !resp_generated.contains(&i) {
                        resp_generated.insert(i);
                    }
                    // Exit loop because equalities are disjoint
                    break;
                }
            }
        }
    }

    // fn get_ve_func_args<'a, 'b: 'a>(s_idx: usize, s: &'a VerifiableEncryptionTZ21<E::G1Affine>, proof_spec: &'b ProofSpec<E>, witness_count: usize, blindings: &'b mut BTreeMap<WitnessRef, E::ScalarField>) -> Result<(Vec<E::ScalarField>, &'a [E::G1Affine], &'a ElgamalEncryptionParams<E::G1Affine>), ProofSystemError> {
    //     let comm_key = s.get_comm_key(&proof_spec.setup_params, s_idx)?;