论文阅读：SecretFlow-SPU(1)，熬夜肝完这份Framework笔记

最新推荐文章于 2024-11-11 22:09:06 发布

2401_83740129

最新推荐文章于 2024-11-11 22:09:06 发布

阅读量941

点赞数 10

分类专栏： 2024年程序员学习文章标签：论文阅读笔记

本文链接：https://blog.csdn.net/2401_83740129/article/details/137845299

版权

2024年程序员学习专栏收录该内容

278 篇文章 4 订阅

订阅专栏

先自我介绍一下，小编浙江大学毕业，去过华为、字节跳动等大厂，目前阿里P7

深知大多数程序员，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《2024年最新网络安全全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上网络安全知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以添加V获取：vip204888 （备注网络安全）

正文

+ - [大概流程](#_18)
	- [示意图](#_20)
+ [程序接口](#_22)
+ [隐私保护高级操作](#_26)
+ [前端的一些优化操作](#_31)
+ - [混合数据类型乘法融合](#_32)
	- [混合可见性乘法操作重新排序](#_35)
	- [平方根的逆的转化操作](#_38)
	- [选择预言的复用](#_41)
	- [最大池化的转化](#_44)
+ [后端](#_48)
+ - [操作调度](#_49)
	- [运行优化](#_53)

限制和讨论
自我感受

动机

开发高效的带有MPC技术的PPML程序对没有密码学背景的用户来说是一个挑战；现有的方法一般是用带有PPML版本的API来机械地替代原有的程序或者是重写整个程序

PPML框架的结构

前端

将输入的程序转化为MPC特定的中间表示intermediate representation(IR)；

后端

是一个连接了多个计算节点的虚拟设备，接受IR也就是PPHLO(privacy-preserving high-level operations)为输入，然后把他们变成MPC协议的实现细节，以便于实现ML训练和预测。

文章贡献

第一个能够使用MPC的PPML框架，是用来实现ML程序的；显著提升了开发，测试，debug以及部署的速度。
设计了一个MPC特定的IR叫做PPHLO，连接了ML和MPC；实现了编译上的优化；开发了一个高性能的运行环境来执行PPHLO。
实验结果展现了高性能以及易于使用。
代码开源：https://github.com/secretflow

架构总览

威胁模型

SPU底层使用MPC协议是可设置的，威胁模型会根据使用的MPC协议而进行调整。

架构概览

大概流程

一个用JAX编写的ML程序，使用JAX APIs可以将程序转化为HLO和，同时分析数据可见性。框架的前端部分会根据数据可见性和HLO生成SPU特定的中间表示也就是PPHLO，同时，前端也会执行一些MPC特定的优化。优化后的PPHLO被送到后端，（一个连接了多个网络计算节点的虚拟设备）这些节点负责执行MPC操作，节点的数量必须跟MPC协议中支持的参与方一致。

示意图

系统架构示意图

程序接口

开发者可以使用程序接口定义数据可用性（如@ppd.device(“P1”)）和要保护的函数（如@ppd.device(“SPU”)）,如图：
程序接口示意图

隐私保护高级操作

PPHLO中包含了很多操作，这些操作的输入和输出都是张量，PPHLO中的张量类型可以被定义为一个三元组<Shape, Data Type, Visibility>，其中Shape表示张量的维度，数据类型可以是布尔，整数，定点数，可见性可以是公共的，也可以是私密的。
根据输入决定输出的类型：1）当一个操作数是定点数，那么结果也是定点数； 2）当一个操作数是私密的，那么结果也是私密的。
其实这张图有点看不懂哈哈哈哈，不知道pphlo.sec表示的是什么意思。
PPHLO的一个例子