| 151 | |
| 152 | #[test] |
| 153 | fn test_trivial_commitment() { |
| 154 | use ark_bls12_381::Bls12_381; |
| 155 | use ark_bls12_381::Fr; |
| 156 | use ark_poly::univariate::DensePolynomial; |
| 157 | use ark_poly::DenseUVPolynomial; |
| 158 | use ark_std::One; |
| 159 | |
| 160 | let rng = &mut ark_std::test_rng(); |
| 161 | let ck = CommitterKey::<Bls12_381>::new(10, 3, rng); |
| 162 | let vk = VerifierKey::from(&ck); |
| 163 | let polynomial = DensePolynomial::from_coefficients_slice(&[Fr::zero(), Fr::one(), Fr::one()]); |
| 164 | let alpha = Fr::zero(); |
| 165 | |
| 166 | let commitment = ck.commit(&polynomial); |
| 167 | let (evaluation, proof) = ck.open(&polynomial, &alpha); |
| 168 | assert_eq!(evaluation, Fr::zero()); |
| 169 | assert!(vk.verify(&commitment, &alpha, &evaluation, &proof).is_ok()) |
| 170 | } |
| 171 | |
| 172 | #[test] |
| 173 | fn test_commitment() { |