Mempool protocol

We can define this problem as follows:

Consider a system of \(n\) servers receiving a stream of authenticated transactions from clients. The mempool protocol ensures the following: Availability: The output of the mempool protocol is always available. If an honest client queries the system with a transaction identifier it must be able to obtain the full original transaction.