ubuntu 再make时paxheader文件夹报错_调试电路编译器CBMC-GC以及ABY时遇到的问题及解决办法...

参考链接：

• Projects · Security Engineering / CBMC-GC-2
• encryptogroup/ABY

前言

CBMC-GC是一个能将符合ANSI-C标准的程序转换成布尔电路的电路编译器，它还包括一个以其他格式输出电路的工具circuit-utils，这个工具对于仅支持部分电路格式的文件框架至关重要，比如EMP-toolkit。

一、ABY框架的搭建：

1. 首先在Ubuntu系统中完成依赖项的安装和运行环境的配置（使用命令sudo apt-get install），包括g++ (version >= 8)、make、cmake、libgmp-dev 、libssl-dev、libboost-all-dev (version >= 1.66)。这里需要注意的是g++安装完成后一定要删除旧版本的软链接：sudo rm g++，然后创建新的软链接指向g++-8. 这个过程可以执行ls /usr/bin/g++*命令查看有没有删除成功。结果如下：

2. 框架搭建的问题可以参考已有文章

02 ABY框架的搭建及踩到的坑​blog.csdn.net

在测试的时候要根据build文件夹里二进制文件的实际名称测试，以百万富翁问题为例，执行命令./millionaire_prob_test -r 0 和 ./millionaire_prob_test -r 1后得到以下运行结果：

测试通过，说明ABY框架已经搭建成功。

二、CBMC-GC的编译和运行

1. 下载minisat包并编译：make minisat2-download ，提示错误

此时需要在命令前加上sudo

然后sudo make进行编译，大概需要几分钟，得到

到这里CBMC-GC就编译完成了。

下面我们运行试试。

以examples文件夹的欧几里德距离为例，在CBMC-GC/examples/euclidean_distance下执行make，我们看到它生成了一个output.gate.txt文件，这就是编译输出的初始电路文件。

然后我们验证一下，看两个参与方的输入类型和值以及电路计算的输出

结果正确。

但是，这个编译器提供的转换功能我们无法使用，即circuit-utils. S&P 2019上的一篇综述《SoK: General Purpose Frameworks for Secure Multi-Party Computation》也说明了这个问题， 他们给出的MPC-SoK/frameworks也没有解决此问题。

我们的解决办法是对makefile进行改动，定义一个转换命令run-trans，如下图所示:

然后执行make run-trans，此时终端显示

表示转换完成，电路门数由81691变为87835个（计算功能不变）。

此时，目录CBMC-GC/examples/euclidean_distance下已经生成了一个标准的电路文件bristol_circuit.txt（此文件和初始电路文件功能是相同的，只是格式不同）

这就是计算欧几里德距离的标准电路文件。

对于其他具体问题，我们可以调用编译器将C程序转换为布尔电路，然后执行后续操作，比如两方计算。

二、利用ABY对生成的电路garble

按以下步骤执行：

1. 将搭建好的ABY框架放到CBMC-GC下的cbmc-gc/文件夹里；
2. 将aby-cbmc-gc/复制到ABY/src/examples/；
3. 在ABY的顶级目录里执行make进行编译；
4. 验证ABY/bin/里是否已经包含名为aby-cbmc-gc.exe的可执行文件；

这里遇到的问题是在第三步没有makefile，因此编译时显示未找到命令，解决办法是：

在CBMC-GC/ABY目录下执行 cmake . 命令，生成makefile后再编译，就可以了。

此时我们去查看ABY/bin/是否已经包含aby-cbmc-gc.exe的可执行文件，然而并没有～怎么办呢T T

注意到原链接里说了这么一句话 API已经过时，所以我推测需要从某些地方做下改动，这一部分未完待续～～

以上内容如果有错误欢迎指正！

写在最后：因为现在已经可以生成标准的电路文件，目前的问题是如何对其执行两方计算，比如garble。想到一种方法是利用ABY，一种方法是借助emp库的garble算法（至于为什么不直接利用emp-tool生成电路，是因为好难懂，遇到了很多问题。。弱鸡哭泣）目前只实现了后一种。。