什么是HElib?

HElib是一个基于C++语言的同态加密开源软件库,底层依赖于NTL数论运算库和GMP多精度运算库实现,主要开发者为IBM的Halevi,目前最新版本为1.0.2,实现了支持“Bootstrapping”的BGV方案和基于近似数的CKKS方案。 HElib在上述原始方案中引入了许多优化以加速同态运算,包括Smart-Vercauteren密文打包技术和Gentry-Halevi-Smart优化,提升了算法的整体运行效率。

HElib提供了一种“同态加密汇编语言”,支持“set”、“add”、“multiply”、“shift”等基本操作指令,此外还提供了自动噪声管理、改进的“Bootstrapping”方法、多线程等功能。

HElib的github主页:https://github.com/homenc/HElib

相关论文:Halevi S , Shoup V . Algorithms in HElib[J]. Lecture Notes in Computer Science, 2014, 8616:554-571.

如何安装?

//CentOS 8安装HElib

##一般先决条件

GNU make

//-GNU make> = 3.82

yum install make

pthreads

什么是Pthreads?

参考:链接

git

//-git> = 1.8.3(需要构建和运行HElib测试套件)

yum install git

** Linux环境:**

g ++

// -g ++> = 7.3.1

yum install gcc-c++

cmake

// -cmake> = 3.10.2

yum install cmake

Linux安装

自动下载并构建GMP和NTL依赖关系并打包可重定位文件夹中的库

此选项将HElib及其依赖项(NTL和GMP)捆绑在一个目录中,然后可以在系统上自由移动。 NTL和GMP将自动获取和编译。 它可以全局安装(即在/ usr / local下),如果未指定CMAKE_INSTALL_PREFIX,这是默认选项,但是由于要覆盖现有版本的NTL,GMP或HElib,因此应谨慎操作。在这种情况下,还需要另外两个前提条件:

m4

什么是m4?

m4是一个宏处理器,将输入拷贝到输出,同时将宏展开。宏可以是内嵌的,也可以是用户定义的,它还有一些内建函数,可以引用文件、执行命令和计算等。m4既可以作为编译器的前端,也可以单独作为一个宏处理器。

更多:链接

//  -m4> = 1.4.16

yum install m4

patchelf

什么是patchelf ?

patchelf 是一个用来修改elf格式的动态库和可执行程序的小工具,可以修改动态链接库的库名字,以及链接库的RPATH。

更多:链接

//  -patchelf> = 0.9(如果在Linux上构建)

yum install patchelf

PS:一般用云服务器的话,镜像里没有 patchelf 的话,会自动去github上下载

如果用的是服务器测试的话,一般是yum 不了patchelf的,所以请采用其他方式安装

参考:链接

安装

1、下载

wget https://github.com/homenc/HElib/archive/v2.1.0.tar.gz

链接 

2、解压

tar -zxvf v2.1.0.tar.gz

3、构建目录

mv HElib-2.1.0/ HElib
cd HElib
mkdir build
cd build

4、运行cmake

cmake -DPACKAGE_BUILD=ON -DCMAKE_INSTALL_PREFIX=/home/alice/helib_install .. 

PS:运行cmake配置步骤,指定要构建软件包(通过-DPACKAGE_BUILD = ON)并说出您希望安装到的位置,例如,要在`/home/alice/helib_install`中安装

可以在此处指定其他选项,例如使用以下命令启用HElib测试 -DENABLE_TEST = ON

5、编译

编译,并指定可选数量的线程(在此示例中为16),其输出将在可重定位文件夹“ helib_pack”中

make -j16

PS:1核 2GB 20Mbps 的服务器,CPU直接100%,需要稍微高点的配置。或者输入小的进程数,例如: make -j5

1核 4GB 20Mbps的服务器make时:

6、可选

(1)如果步骤2是通过-DENABLE_TEST = ON执行的,则HElib测试可以运行如下: 

ctest

可以在以下位置找到详细的HElib特定测试日志 :`Testing / Temporary / LastTest.log`

(2)运行安装步骤,将文件夹“ helib_pack”复制到 :$ {CMAKE_INSTALL_PREFIX}(在此示例中为/home/alice/helib_install)

make install

当然,如果将“ CMAKE_INSTALL_PREFIX”保留为默认的“ /usr /local”,或者其他系统范围的路径,步骤6(2)可能需要`sudo`特权

默认按上面安装的流程,此时已安装完毕:

1、解压后的目录:

examples:里面有三个工程项目,稍后在下面可以演示

tests:里面有很多小例子,均引用了该库,后期会运行演示

2、安装目录

/home/alice/helib_install/helib_pack

所有的头文件都在 include 中

Mac安装

安装环境

依赖库

GMP> = 6.0.0和NTL> = 11.4.3。

编译

假设上main的环境和依赖库已经配置完毕!

(1)下载

git clone git://github.com/homenc/HElib

(2)编译

cd HElib
mkdir build
cd build // 选择一个安装位置,例如 /home/alice/helib_install
cmake -DPACKAGE_BUILD=ON -DCMAKE_INSTALL_PREFIX=/home/alice/helib_install .. // 得好一阵,如果机器够好,多开点进程
make -j16 make install

(3)运行example

cd example

///home/alice/helib_install 就是当初制定的安装位置
cmake -Dhelib_DIR=/home/alice/helib_install/helib_pack/share/cmake/helib .. //编译example下的所有文件
make -j16

生成结果在/example/build/bin下:

执行第一个例子:

Docker安装

请参考:FHE-Toolkit 安装

如何使用?

在项目中使用HElib

前提

在方法1或方法2中运行“ make install”后,可以在lib中找到要链接的必需共享库文件,并在 include 中找到头文件【我这里是 /home/alice/helib_install/helib_pack/include】

例子的使用参考:examples/README.md

examples

1、介绍

`examples'目录包含教程和独立的示例程序表示各种API以及使用HElib的简单用例。

2、提供了什么

[tutorials]要涵盖CKKS方案,并包含8个记录在案的示例从基本操作到更复杂的序列化。

提供的示例程序使用BGV方案,包括:

-[BGV_binary_arithmetic](二进制算法)

-[BGV_country_db_lookup](BGV国家数据库查找)

-[BGV_packed_arithmetic](BGV压缩算法)

3、安装

要编译示例,您必须在系统上已经安装了HElib。这个过程是纯CMake的。首先,创建一个构建目录并移入该目录。在“ examples / build”中运行CMake,

mkdir build
cd build
cmake -Dhelib_DIR=/share/cmake/helib ..

PS:我这里的目录不是 /share/cmake/helib,而是 /home/alice/helib_install/helib_pack/share/cmake/helib 故应该:

cmake -Dhelib_DIR=/home/alice/helib_install/helib_pack/share/cmake/helib  ..

4、编译

例如 BGV_country_db_lookup,进入 BGV_country_db_lookup 目录

cd BGV_country_db_lookup
make -j6

100%,显示编译完成,下面可以运行试试看

5、运行

进入/bin

cd ../bin
./BGV_country_db_lookup

此时应该会报错,大概的意思就是没有找到 countries_dataset.csv 文件,现在要将该文件复制到该位置即可,文件位置在:examples/BGV_country_db_lookup

cp countries_dataset.csv ../bin

再次运行即可

其他两个例子也如此!

examples/tests

1、示例的所有测试均以bats(bash的测试框架)编写,并且需要bats-core。
2、请注意,测试要求示例已在build目录中成功编译并且可在build / bin中使用。 要运行测试,只需在examples / tests目录中执行脚本即可。
3、要运行所有测试,请键入以下命令。 (可选)-j标志可以使用线程来并行化测试。 注意,这需要与GNU并行,请参阅bats文档以获取更多信息。

前提安装:bats

举例运行:

cd  test
bats BGV_binary_arithmetic.bats

有报错,暂时不知道咋回事!

examples/tutorial

1、在examples目录下

make 

2、在bin下执行即可

参考

1、官方安装文档

2、官方例子

3、不懂球的2大业

HElib的更多相关文章

  1. 同态加密-Homomorphic encryption

    同态加密(Homomorphic encryption)是一种加密形式,它允许人们对密文进行特定的代数运算得到仍然是加密的结果,将其解密所得到的结果与对明文进行同样的运算结果一样.换言之,这项技术令人 ...

  2. FHE-Toolkit 安装

    什么是FHE-Toolkit? FHE-Toolkit-linux是用于Linux的IBM全同态加密工具包, 该工具包是一个基于Linux的Docker容器,可演示对加密数据的计算而无需解密, 该工具 ...

  3. cmake和make

    学计算机的,在写代码的时候,IDE安装好,环境按着教程配置好,就直接代码了,编辑器的具体原理只是一知半解,现在来系统学习一下,为了方便以后学习HElib! make和cmake 写程序大体步骤为: 1 ...

  4. CKKS加密方案

    本文内容来自"Protecting Privacy throughHomomorphic Encryption",主要学习里面的CKKS部分. CKKS是一种同态加密方案,其安全性 ...

  5. SIMD编码/解码

    在看SEAL库和HElib库中经常在编码中碰到打包(batch)技术,另外还提到了SIMD编码技术,有点困惑,编码.打包.SIMD到底有什么关系? 编码 在CKKS方案中,因为明文空间在复数域上,简单 ...

  6. DFT/FFT/NTT

    在Seal库和HElib库中都用到了NTT技术,用于加快多项式计算,而NTT又是FFT的优化,FFT又来自于DFT,现在具体学习一下这三个技术! 基础概念 名词区分 1.DFT:离散傅立叶变换 2.F ...

  7. Homomorphic Evaluation of the AES Circuit:解读

    之前看过一次,根本看不懂,现在隔这么久,再次阅读,希望有所收获! 论文版本:Homomorphic Evaluation of the AES Circuit(Updated Implementati ...

  8. TENSEAL: A LIBRARY FOR ENCRYPTED TENSOR OP- ERATIONS USING HOMOMORPHIC ENCRYPTION 解读

    本文记录阅读该paper的笔记,这篇论文是TenSeal库的原理介绍. 摘要 机器学习算法已经取得了显著的效果,并被广泛应用于各个领域.这些算法通常依赖于敏感和私有数据,如医疗和财务记录.因此,进一步 ...

随机推荐

  1. 摒弃传统setInterval, 自己封装一个

    传统的setInterval在某种情况下会导致内存泄漏,每次调用都会占用一部分内存空间,既然threejs的更新都是基于# requestAnimationFrame的循环调用,那么我们就可以利用这个 ...

  2. 鸿蒙NEXT开发案例:指尖轮盘

    [1]引言 "指尖轮盘"是一个简单而有趣的互动游戏(类似抓阄),这个应用通过触摸屏幕的方式,让玩家参与一个激动人心的游戏,最终选出幸运的赢家.未来可以进一步扩展功能,如增加游戏模式 ...

  3. 解密Facebook产品的开发流程

    作者: 王淮  来源: <程序员>  发布时间: 2013-03-25 17:22  阅读: 3750 次  推荐: 6   原文链接   [收藏]   [编者注]王淮是Facebook第 ...

  4. 关于XML文档和JAVA中的JTree之间如何转换的问题

    关于XML文档和JAVA中的JTree之间如何转换的问题 XML因为良好的结构,被广泛地应用于文档格式的定义.我们知道,应用软件一般需要用配置文件来决定运行时的一些 参数.以前的应用程序的配置文件一般 ...

  5. Codeforces Round 713 (Div

    Codeforces Round 713 (Div. 3) A-B Palindrome 给定字符串只含有\('?'\ '0' \ '1'\),给定字符串中1的个数\(a\)和0的个数\(b\),你需 ...

  6. Spring基于注解实现 AOP 切面功能

    一.Spring AOP 注解概述 1.Spring 的 AOP 功能除了在配置文件中配置一大堆的配置,比如切入点.表达式.通知等等以外,使用注解的方式更为方便快捷,特别是 Spring boot 出 ...

  7. 如何实现LLM的通用function-calling能力?

    众所周知,LLM的函数function-calling能力很强悍,解决了大模型与实际业务系统的交互问题.其本质就是函数调用. 从openai官网摘图: 简而言之: LLM起到决策的作用,告知业务系统应 ...

  8. 如何为在线客服系统的 Web Api 后台主程序添加 Bootstrap 启动页面

    背景 我在业余时间开发了一款自己的独立产品:升讯威在线客服与营销系统.这个系统的核心后台主程序,在最早期是完全没有页面,经常有朋友部署之后,一访问是 404,以为没有部署成功.我一看这肯定不行啊,可后 ...

  9. DSL 和 reactive 噩梦

    Kotlin 之美-DSL篇 - 掘金 像 Compose 那样写代码 :Kotlin DSL 原理与实战_fundroid_方卓的博客-CSDN博客 先找好一个靶子: val yesterday = ...

  10. mysql:sql create database新建utf8mb4 数据库

    create database sina default character set utf8mb4 collate utf8mb4_unicode_ci;或者是create database con ...