Function check_bulletproof

fn check_bulletproof(
    params: CheckBulletProofParams<'_>,
    w: &mut Witness<Fq>,
) -> (Boolean, Vec<Fq>)