Add test
This commit is contained in:
parent
6717902a1f
commit
3591426d44
|
@ -400,6 +400,7 @@ fn test_binlinearity() {
|
||||||
|
|
||||||
let t = Fr::zero().sub(&Fr::one());
|
let t = Fr::zero().sub(&Fr::one());
|
||||||
|
|
||||||
|
assert!(a != Gt::new(Fq12::one()));
|
||||||
assert_eq!((&a ^ t) * &a, Gt::new(Fq12::one()));
|
assert_eq!((&a ^ t) * &a, Gt::new(Fq12::one()));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue