pub unsafe extern "C" fn groth16_verify( proof: *const c_char, inputs: *const c_char, verification_key: *const c_char, error_msg: *mut c_char, error_msg_maxsize: c_ulong, ) -> i32