CBMC-GC的下载以及编译

下载

git clone https://gitlab.com/securityengineering/CBMC-GC-2.git

安装

1. 使用cd GBMC-GC-2命令进入GBMC-GC-2文件夹
2. 输入make minisat2-download命令
3. 输入make，进行编译

使用

以example的tutorial_euclidean_distance为例
进入CBMC-GC-2/examples/tutorial_euclidean_distance，然后输入make运行

会得到output.gate.txt，这个是电路文件

为了验证正确性，再输入make run-sim，查看结果是否正确

注意
在SoK: General Purpose Compilers for SecureMulti-Party Computation这篇文章中说这个电路生成的结果是不可运行的,而在[1]中作者提到了另一种解决办法大家可自行查看

参考文章：
[1]https://zhuanlan.zhihu.com/p/150512905
[2]https://blog.csdn.net/qq_38224196/article/details/120529548