2
I am wondering, if the simulator is not PPT, what intuitive and formal contradiction we will have? For example, if we can only have a simulator in exponential time. This PPT condition for simulator seems not come from computational hardness, since even for perfectly secure multiparty computation,...