2PC

密码学

0X00. 概述

0X01. 2PC协议的基本模型

OT

encryptor

0X02. malicious-secure 2PC（cut and choose）

0X03. 王肖前辈的2PC模型

在2017年的CSS上，针对cut and choose 的低效，XIAO WANG 提出了一种新的2PC模型。该模型利用了一种非常直观的XOR同态实现了对计算双方的保护。

我将会先介绍这种新模型用到的各个部件的功能与名字，然后直接介绍如何利用这些部件来实现一个2PC。在这之后，我会对各个部件如何具体实现做一个描述。

0X03-0 变量定义

1. 因为是2PC嘛，2-Part-Computation，在这里给通信的双方命名为 PA 和 PB。
2.

0X03-1 各个部件

• Fpre函数

  密码学中有一句话叫“一切需要可信第三方参与的协议，都可以通过对协议的一些改动将可信第三方去掉，并提供同样的功能。”这里的Fpre函数的功能就是“去掉可信第三方”。