in src/hashwires.rs [608:613]
fn test_proof_success() -> Result<(), HwError> {
let value = BigUint::from_u32(402).unwrap();
let threshold = BigUint::from_u32(378).unwrap();
assert_eq!(true, prove_and_verify(4, 32, &value, &threshold).is_ok());
Ok(())
}