Function verify_one

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