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