| 65 | |
| 66 | #[test] |
| 67 | fn test_open_consistency() { |
| 68 | let rng = &mut ark_std::test_rng(); |
| 69 | let d = 15; |
| 70 | let max_msm_buffer = 1 << 20; |
| 71 | let polynomials = DensePolynomial::<Fr>::rand(d, rng); |
| 72 | let polynomial_stream = Reverse(polynomials.coeffs()); |
| 73 | let time_ck = CommitterKey::<Bls12_381>::new(d + 1, 3, rng); |
| 74 | let space_ck = CommitterKeyStream::from(&time_ck); |
| 75 | let alpha = Fr::rand(rng); |
| 76 | |
| 77 | // compute the time commitment |
| 78 | let (time_evaluation, time_open) = time_ck.open(&polynomials, &alpha); |
| 79 | let (space_evaluation, space_open) = space_ck.open(&polynomial_stream, &alpha, max_msm_buffer); |
| 80 | // compute the space commitment |
| 81 | assert_eq!(time_evaluation, space_evaluation); |
| 82 | assert_eq!(time_open, space_open); |
| 83 | } |
| 84 | |
| 85 | #[test] |
| 86 | fn test_open_multipoints_correctness() { |