TinyGarble 项目常见问题解决方案

TinyGarble 项目常见问题解决方案

TinyGarble TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits 项目地址: https://gitcode.com/gh_mirrors/ti/TinyGarble

1. 项目基础介绍及主要编程语言

TinyGarble 是一个开源项目，实现了姚氏混淆电路（Garbled Circuit，GC）协议，用于双方安全函数评估（Secure Function Evaluation，SFE）。该协议允许两方在保护各自输入隐私的情况下执行任何函数，并获取输出结果而不泄漏任何输入信息。项目包含两个主要部分：一是电路合成，二是安全函数评估。电路合成基于硬件合成和时序电路概念，输出网表Verilog文件。安全函数评估部分是基于JustGarble项目实现的GC框架，包含多种优化和功能，如半门优化、通信和 oblivious transfer（OT）等。

主要使用的编程语言是 C++，部分脚本可能使用 Python 或 Bash。

2. 新手常见问题及解决步骤

问题一：如何安装 TinyGarble 的依赖？

问题描述： 新手在尝试编译 TinyGarble 时发现缺少必要的依赖库。

解决步骤：

1. 确保系统中已安装 g++ 编译器。
2. 安装 OpenSSL，使用命令：sudo apt-get install libssl-dev。
3. 安装 Boost 库，使用命令：sudo apt-get install libboost-all-dev。
4. 安装 CMake，使用命令：sudo apt-get install cmake。
5. 确认所有依赖已正确安装，可以通过运行 g++ --version、openssl version、cmake --version 等命令检查。

问题二：如何编译 TinyGarble？

问题描述： 新手不知道如何从源代码编译 TinyGarble。

解决步骤：

1. 克隆 TinyGarble 仓库到本地：git clone https://github.com/esonghori/TinyGarble.git。
2. 进入项目目录：cd TinyGarble。
3. 创建一个构建目录并进入：mkdir build && cd build。
4. 运行 CMake 配置：cmake ..。
5. 编译项目：make。
6. 如果编译成功，可以在 build 目录下找到编译出的可执行文件。

问题三：如何使用 TinyGarble 执行安全函数评估？

问题描述： 新手不知道如何使用编译后的 TinyGarble 进行安全函数评估。

解决步骤：

1. 编写一个描述函数的 Verilog 文件。
2. 使用 TinyGarble 的电路合成工具将 Verilog 文件转换为网表 Verilog 文件。
3. 将网表文件转换为简单电路描述文件（SCD），使用 V2SCD_Main 工具。
4. 将生成的 SCD 文件分发给双方。
5. 一方使用 --alice 标志运行 TinyGarble，另一方使用 --bob 标志运行。
6. 按照项目文档提供的参数运行 TinyGarble，确保正确设置所有必要的参数。

通过以上步骤，新手可以顺利地安装、编译和使用 TinyGarble 进行安全函数评估。

TinyGarble TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits 项目地址: https://gitcode.com/gh_mirrors/ti/TinyGarble