- 博客(18)
- 收藏
- 关注
RSS订阅原创 基于同态加密CKKS方案实现的矩阵乘法算法及卷积运算
我是研究隐私计算方向的， 主要学习的领域是应用全同态加密对已有机器学习模型进行重写，即设计基于全同态加密的机器学习算法。在阅读论文的过程中，发现许多大佬应用SIMD型全同态加密技术实现了一系列的密态卷积运算、密态矩阵向量乘法运算和密态矩阵乘法运算），然后也算是随着这些算法的提出而逐渐成长起来的，所以这里对这些算法进行一些总结。本文不介绍这些算法的性能。长期更新中。。。。。。
2024-11-07 21:48:15
418
原创 一系列SIMD-FHE下的密态线性运算算法总结
最近看了许多在CKKS下计算卷积操作，矩阵向量乘法，矩阵乘法的文章，发现不同的人提出了许多不同的看法，最近我会在这里总结一下，感兴趣的同学可以点点关注。
2024-11-06 11:13:25
67
原创 基于CKKS的非交互式安全Transformer推理实现
随着ChatGPT的普及，安全transformer推理已经成为一个突出了研究主题。已有的解决方法通常是交互式的，涉及到客户端和服务端之间大量的通信负载和交互轮次。本文提出NEXUS，这是第一个用于安全transformer推理的非交互式协议，其中客户端仅需要提交一个加密输入，然后等待来自服务器的加密结果即可。NEXUS的核心是两个创新的技术：SIMD密文压缩和分解技术，以及SIMD槽折叠技术。
2024-09-24 21:45:58
1232
1
原创 一种优化后的全同态隐私保护CNN推理
随着隐私保护问题的出现，研究具有数据隐私保护的机器学习模型具有重大意义。由于FHE可以提供严格的数据隐私保护，因此基于FHE实现的安全模型推理具有显著的实用性。本文针对FHE评估卷积运算提出了一种有效的算法，可以实现无论卷积核大小，该算法的计算代价都保持不变，从而在各种卷积核下将运行时间改善12—46倍。将该FHE卷积运算算法与CKKS的自举算法结合，可以在CIFAR10/100和ImageNet数据集上实现20层的CNN分类器同态评估，运行时间可以减少18.9%和48.1%。
2024-09-23 19:52:01
935
原创 基于多分类SVM和CKKS同态算法的可验证隐私保护在线医疗诊断系统
医疗物联网的发展使得在线诊断系统成为非常有吸引力的应用。然而，云计算的不透明性和监督不足可能导致诸如数据泄露和诊断结果不可靠等问题。为了解决这些问题，本文提出了一种基于多类SVM的可验证隐私保护在线诊断方案(VPOD)。该解决方案使用CKKS构建了一个安全内积计算协议以及一个安全决策函数计算协议来实现对多类SVM模型参数，患者医疗数据和诊断结果的隐私保护。此外，本文还设计了用于多类SVM模型预测的验证机制，以确保计算结果的正确性。
2024-09-18 21:58:10
932
1
原创 基于CKKS实现的ResNet20卷积神经网络
由于DNN的出现，图像分类已经变成一项简单移动的任务。然而，对图像中包含的敏感信息有关的隐私问题依然值得关注。通过结合ML和密码学技术，本文对该问题提出了一种解决方案。特别地，FHE已经成为最有前景的解决方案，它可以在加密数据上执行计算。本文基于FHE提出了Residual Network的实现，它允许对加密图像进行分类并确保仅有用户可以看到结果。且相较于已有的研究，本文的实现大大降低了内存和计算时间。本文使用的FHE是CKKS同态加密方案，它可以在近似数上进行密态计算。
2024-05-12 21:28:17
895
12
原创 META-BTS Bootstrapping Precision Beyond the Limit
Bootstrapping 是HE中必不可少的步骤，它通过恢复密文模数来实现可以无限次同态操作的FHE。然而Bootstrapping是HE中最消耗时间和内存的操作。且随着Bootstrapping精度的增加，大量的计算资源也被需要。特别地，先前所设计的所有Bootstrapping操作，其精度都受限于Rescaling的精度。本文提出了一种新的Bootstrapping算法用于CKKS，该算法需要重复使用先前已知的Bootstrapping算法，所以称其为"Meta-BTS"。
2024-04-22 19:16:45
398
原创 OpenFHE Open-Source Fully Homomorphic Encryption Library
OpenFHE是一个同态加密开源库，本文是我对该库的学习笔记。
2024-04-16 10:47:19
515
3
原创 Rotation Key Reduction for CKKS-Based Neural Network
基于CKKS实现的分级旋转密钥系统，用于密态机器学习。
2024-04-02 18:37:03
551
1
原创 Efficient Bootstrapping for Approximate Homomorphic Encryption with Non-Sparse Keys
本文提出用于RNS-CKKS的Bootstrapping程序，相较于之前的自举算法，本文算法更精确、更高效且能够实现128bit安全性。本文最大的优势是不需要使用稀疏密钥，先前的方案均要求稀疏密钥。为了实现本文的Bootstrapping程序，本文引入以下三个新颖的贡献:(1) 提出了一个通用的算法用于同态多项式评估。(2) 优化了KS程序，并提出了新的技术用于线性变换。(3) 提出了系统化的方法来参数化Bootstrapping。
2024-03-25 22:33:49
1006
原创 Better Bootstrapping for Approximate Homomorphic Encryption
本文推广了RNS-CKKS，提出了新的KS算法，减少了在KS算法中使用的临时模的数量。因此，在保证相同安全性的情况下，本文算法可以不依赖Bootstrapping算法实现更深级别的计算。同时本文提出了一种新的多项式近似算法，可以在密态下评估Sin函数，该评估专门用于CKKS的Bootstrapping算法中。结合本文推广后的RNS-CKKS和新的Sin函数评估算法，本文实现了第一个在RNS-CKKS上的Bootstrapping算法。
2024-03-23 21:17:43
859
原创 RNS-CKKS同态加密
本文提出了CKKS的RNS变体。首先本文引入了一种新的密文模结构，该结构允许对分圆多项式进行RNS分解，并对每个RNS分量进行NTT转换，实际上就是近似模组成的模链。同时本文还提出了一种不需要RNS组合的近似模交换技术，即在密文在RNS表示下可以使用近似模交换技术变得到模交换后的结果。实际上可以看到，这里全部使用到了CKKS的核心概念，误差是明文的一部分，只要误差足够小就可以接受。
2024-03-22 20:19:07
1308
2
原创 CKKS同态加密方案
1.详细分析了CKKS中的编码和解码算法。2.详细分析了CKKS中的KS算法，包括有重现性化操作、旋转操作和共轭操作。
2024-03-22 11:11:58
1094
2
原创 makefile的简单实现
这里是简单的关于makefile的一个实现案例，目的是让一些类似于我这样没有接触过的小白，切实的感受以下什么是makefile。
2022-11-03 17:25:37
643
原创 对二维离散图像进行哈达玛变换
本文介绍了哈达玛变换的基本原理和公式，以及使用矩阵来实现哈达玛变换。另外给出了Matlab内置函数实现哈达玛变换，以及自己编写函数实现哈达玛变换。
2022-07-09 11:28:06
2409
原创 proteus仿真控制电机正转、反转和停止转动
本文讲解了在proteus仿真电路中，基于stm32单片机如何实现对电机转动的控制，包括有正转，反转，停止转动，以及如何调速。
2022-07-05 19:09:40
5518
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人