Function calculate_b_constraint

pub fn calculate_b_constraint(
    s: &[PolyVector],
    a_constraint: &[PolyVector],
    phi_constraint: &[PolyVector],
) -> PolyRing

calculate b^{k} = \sum(a_{ij}^{k}<s_i, s_j>) + \sum(<phi_{i}^{k}, s_i>), k \in [K] in Prover initialization process, page 17 from the paper.

@param: s: s_i @param: a_constraint: a_{ij}^{k} @param: phi_constraint: \phi_{i}^{k}

@return: b^{k}