Skip to content

Commit

Permalink
adapt the scheme to arkworks-rs/algebra#691
Browse files Browse the repository at this point in the history
  • Loading branch information
mmagician committed Oct 26, 2023
1 parent fba3d80 commit e00d5b0
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions src/multilinear_pc/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -265,7 +265,9 @@ mod tests {
use crate::multilinear_pc::MultilinearPC;
use ark_bls12_381::Bls12_381;
use ark_ec::pairing::Pairing;
use ark_poly::{DenseMultilinearExtension, MultilinearExtension, SparseMultilinearExtension};
use ark_poly::{
DenseMultilinearExtension, MultilinearExtension, Polynomial, SparseMultilinearExtension,
};
use ark_std::rand::RngCore;
use ark_std::test_rng;
use ark_std::vec::Vec;
Expand All @@ -284,7 +286,7 @@ mod tests {
let com = MultilinearPC::commit(&ck, poly);
let proof = MultilinearPC::open(&ck, poly, &point);

let value = poly.evaluate(&point).unwrap();
let value = poly.evaluate(&point);
let result = MultilinearPC::check(&vk, &com, &point, value, &proof);
assert!(result);
}
Expand Down Expand Up @@ -332,7 +334,7 @@ mod tests {
let com = MultilinearPC::commit(&ck, &poly);
let proof = MultilinearPC::open(&ck, &poly, &point);

let value = poly.evaluate(&point).unwrap();
let value = poly.evaluate(&point);
let result = MultilinearPC::check(&vk, &com, &point, value + &(1u16.into()), &proof);
assert!(!result);
}
Expand Down

0 comments on commit e00d5b0

Please sign in to comment.