Two-party secure computation (2PC) is a cryptographic paradigm enabling distributed evaluation of functionalities that guarantee correctness and semantic privacy against semi-honest adversaries. The theory formalizes these goals through two-party functionalities defined by input/output algorithms, establishing security via indistinguishability between real execution views and ideal world simulations where only the output leakage occurs. While general solutions exist using fully homomorphic encryption or oblivious transfer primitives, practical implementations often rely on optimized dedicated protocols tailored to specific functional requirements like Private Set Intersection.
Two-party secure computation (2PC) is a cryptographic paradigm enabling distributed evaluation of functionalities that guarantee correctness and semantic privacy against semi-honest adversaries. The …