理解用于稳定匹配的安全多方电路

Question

我现正阅读以下文件：

MPCircuits:用于安全多方计算的优化电路生成

我有以下问题：

1. 为什么group1的偏好从L_0开始，而group2的as偏好列表开始于L_(n/2+1)？
2. 他们为什么使用优先级编码器？
3. 他们是否为安全偏好列表做了什么？

Answer 1

1. 此命名仅用于说明将首选项列表与两个组区分开来的目的。在Verilog代码中，它们实际上从索引0：https://github.com/sadeghriazi/MPCircuits/blob/705fda8ac6e45a2d67bbdd0c81007507742bd4ae/stable_匹配_梳/稳定_匹配_comb.v#L64开始
2. 你需要优先编码器，以确定‘下一个自由的人从A组’。假设你有一个0和1s的向量，你想学习前0的“索引”。这就是优先编码器为你做的。
3. 偏好列表的安全性由底层的安全计算协议(这里是BMR协议)来保证。要使用BMR，您需要一个为您实现该功能的布尔电路。在协议执行期间，对电路的任何输入都不会透露给其他各方。