We prove in the real/ideal world mo

We prove in the real/ideal world model as described by Canetti [9]. First, we consider the protocol in an ideal model. In this model, all parties send their input to a trusted party who computes the shuing circuit. Then, it sends the result to the location-based server. Let A be the sequence of inputs and A0 be the sequence of sorted inputs according to the random numbers associated with them. Recall that we have at least n