Ingress/egress indexes allow to find all the senders and receivers given the opposite side. I.e.
(a) ingress index allows to find all the senders for a given recipient. (b) egress index allows to find all the recipients for a given sender.
Invariants:
P
I
HrmpChannels
(I, P)
E
(P, E)
Ingress/egress indexes allow to find all the senders and receivers given the opposite side. I.e.
(a) ingress index allows to find all the senders for a given recipient. (b) egress index allows to find all the recipients for a given sender.
Invariants:
Peach itemIin the index should present inHrmpChannelsas(I, P).Peach itemEin the index should present inHrmpChannelsas(P, E).HrmpChannels.