pub fn checked_equal_compressed_key_const_and( a: &CompressedPubKey, b: &CompressedPubKey, w: &mut Witness<Fp>, ) -> Boolean