Method compute_random_initial

vb_accumulator/src/universal.rs:668–683

(
        rng: &mut R,
        max_size: u64,
        sk: &SecretKey<G::ScalarField>,
        initial_elements_store: &mut dyn InitialElementsStore<G::ScalarField>,
    )

    }

    fn compute_random_initial<R: RngCore>(
        rng: &mut R,
        max_size: u64,
        sk: &SecretKey<G::ScalarField>,
        initial_elements_store: &mut dyn InitialElementsStore<G::ScalarField>,
    ) -> G::ScalarField {
        let mut f_V = G::ScalarField::one();
        for _ in 0..max_size + 1 {
            // Each of the random values should be preserved by the manager and should not be removed (check before removing)
            // from the accumulator
            let elem = G::ScalarField::rand(rng);
            f_V *= elem + sk.0;
            initial_elements_store.add(elem);
        }
        f_V
    }
}

#[cfg(test)]