use mcl::{init, bn::*};
fn main() {
init::init_curve(init::Curve::Bls12_381);
let g = G1::hash_and_map(b"something").unwrap();
let sk = Fr::from_csprng();
let pk = &g * &sk;
let x = Fr::from_csprng();
let commitment = &g * &x;
let c = Fr::from_csprng();
let s = x + &sk * &c;
assert_eq!(&g * s, &commitment + pk * &c);
}