Since the current state of knowledge does not allow us to prove such claims, we formulate instead mathematical assumptions regarding the computational difficulty of this set of problems, and prove properties of the protocols we develop based on these assumptions
2006