Function characteristic_poly

delegatable_credentials/src/set_commitment.rs:706–731

()

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

        let (srs, td) = SetCommitmentSRS::<Bls12_381>::generate_with_random_trapdoor::<
            StdRng,
            Blake2b512,
        >(&mut rng, 3, None);

        // let set = (0..3).map(|_| Fr::rand(&mut rng)).collect::<BTreeSet<_>>();
        let ls = (0..3).map(|_| Fr::rand(&mut rng)).collect::<Vec<_>>();
        let poly = poly_from_roots(&ls);
        let eval = poly.evaluate(&td);

        // let l = sp.P1.mul(eval.into_bigint()).into_affine();
        let l = srs.get_P1().mul_bigint(eval.into_bigint()).into_affine();

        assert_eq!(poly.coeffs.len(), 4);
        let r = <Bls12_381 as Pairing>::G1::msm_unchecked(&srs.P1, &poly.coeffs).into_affine();
        assert_eq!(l, r);

        let set = ls.iter().cloned().collect::<BTreeSet<_>>();
        assert_eq!(
            srs.eval_P1(set).into_affine(),
            srs.get_P1().mul_bigint(eval.into_bigint()).into_affine()
        );
    }

    #[test]
    fn commit_and_open_full() {