Function create_P

compressed_sigma/src/partial_knowledge.rs:60–69

Create a random gamma and then P = gs * y + h * gamma

(
    rng: &mut R,
    y: &[G::ScalarField],
    gs: &[G],
    h: &G,
)

/// Create a random gamma and then P = gs * y + h * gamma
fn create_P<R: RngCore, G: AffineRepr>(
    rng: &mut R,
    y: &[G::ScalarField],
    gs: &[G],
    h: &G,
) -> (G::ScalarField, G) {
    let gamma = G::ScalarField::rand(rng);
    let P = G::Group::msm_unchecked(gs, &y) + h.mul_bigint(gamma.into_bigint());
    (gamma, P.into_affine())
}

macro_rules! impl_homomorphism {
    ($name: ident, $G: ident) => {