Function initialization

vb_accumulator/src/universal.rs:723–773

()

    #[test]
    fn initialization() {
        let max = 100;
        let mut rng = StdRng::seed_from_u64(0u64);

        let (params, keypair, accumulator, initial_elements, _) =
            setup_universal_accum(&mut rng, max);

        let accumulator_1: UniversalAccumulator<G1Affine> =
            UniversalAccumulator::initialize_given_f_V(accumulator.f_V, &params, max);
        assert_eq!(accumulator, accumulator_1);

        let initial = initial_elements.db.into_iter().collect::<Vec<Fr>>();
        let mut chunks = initial.chunks(30);
        let f_V_1 = UniversalAccumulator::<G1Affine>::compute_initial_f_V(
            chunks.next().unwrap(),
            &keypair.secret_key,
        );
        let f_V_2 = UniversalAccumulator::<G1Affine>::compute_initial_f_V(
            chunks.next().unwrap(),
            &keypair.secret_key,
        );
        let f_V_3 = UniversalAccumulator::<G1Affine>::compute_initial_f_V(
            chunks.next().unwrap(),
            &keypair.secret_key,
        );
        let f_V_4 = UniversalAccumulator::<G1Affine>::compute_initial_f_V(
            chunks.next().unwrap(),
            &keypair.secret_key,
        );
        assert_eq!(accumulator.f_V, f_V_1 * f_V_2 * f_V_3 * f_V_4);

        let initial: Vec<Fr> = initial_elements_for_bls12_381!(Fr);
        assert_eq!(initial.len(), 12);
        let mut initial_elements_1 = InMemoryInitialElements::new();
        let accumulator_1: UniversalAccumulator<G1Affine> = UniversalAccumulator::initialize(
            &mut rng,
            &params,
            max,
            &keypair.secret_key,
            initial.clone(),
            &mut initial_elements_1,
        );
        assert_eq!(
            initial_elements_1.db.len(),
            max as usize + initial.len() + 1
        );
        for i in initial {
            assert!(initial_elements_1.db.contains(&i));
            assert!(!accumulator_1.is_element_acceptable(&i, &initial_elements_1));
        }
    }

    #[test]
    fn membership_non_membership() {