pub fn prove( generator: &str, public_value: &str, z_b: &str, g_r_b: &str, bound: &str, ) -> bool
Used for testing