| 171 | |
| 172 | #[test] |
| 173 | fn test_commitment() { |
| 174 | use ark_bls12_381::Bls12_381; |
| 175 | use ark_bls12_381::Fr; |
| 176 | use ark_poly::univariate::DensePolynomial; |
| 177 | use ark_poly::DenseUVPolynomial; |
| 178 | use ark_poly::Polynomial; |
| 179 | |
| 180 | let rng = &mut ark_std::test_rng(); |
| 181 | let ck = CommitterKey::<Bls12_381>::new(100, 3, rng); |
| 182 | let vk = VerifierKey::from(&ck); |
| 183 | let polynomial = DensePolynomial::rand(100, rng); |
| 184 | let alpha = Fr::zero(); |
| 185 | |
| 186 | let commitment = ck.commit(&polynomial); |
| 187 | let (evaluation, proof) = ck.open(&polynomial, &alpha); |
| 188 | let expected_evaluation = polynomial.evaluate(&alpha); |
| 189 | assert_eq!(evaluation, expected_evaluation); |
| 190 | assert!(vk.verify(&commitment, &alpha, &evaluation, &proof).is_ok()) |
| 191 | } |
| 192 | |
| 193 | #[test] |
| 194 | fn test_open_multi_points() { |