Function create_homomorphisms

compressed_sigma/src/partial_knowledge.rs:208–219

Create a homomorphism for each commitment

(
        g: G,
        Ps: Vec<G>,
        n: usize,
        k: usize,
    )

    /// Create a homomorphism for each commitment
    pub fn create_homomorphisms<G: AffineRepr>(
        g: G,
        Ps: Vec<G>,
        n: usize,
        k: usize,
    ) -> Vec<Hom<G>> {
        assert_eq!(Ps.len(), n);
        cfg_into_iter!(Ps)
            .enumerate()
            .map(|(i, Ps)| Hom::new(g.clone(), Ps, k, n, i).unwrap())
            .collect()
    }
}

/// This module is when witnesses are vectors of field elements and DLs are of for `P_1 = g_1^{x_1}*g_2^{x_2}..`, `P_2 = g_1^{y_1}*g_2^{y_2}..`, ...