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