Pam

摘要： # BabaSSL ## 介绍 BabaSSL是一款轻巧、灵活且靠谱的密码学和TLS协议工具集。BabaSSL是蚂蚁集团和阿里集团的各主要业务中所使用的底层密码库，现在开源出来供业界使用。BabaSSL广泛的应用在包括网络、存储、移动端App等场景中。 BabaSSL 是 OpenSSL 的衍生版， 阅读全文

摘要： 椭圆曲线复习 参考：https://blog.csdn.net/m0_54743939/article/details/121441004 椭圆曲线算法可以看作是定义在特殊集合下数的运算，满足一定的规则。 椭圆曲线在如下两个域中定义：$F_p$域和$F_{2^m}$域。 $F_p$域，素数域，$p$ 阅读全文

摘要： 记录阅读论文的笔记。 ##摘要 总结： （1）CRYPTO 2019:The Communication Complexity of Threshold Private Set Intersection-2019：解读提出任何阈值PSI得通信复杂度为$\Omega(T)$；基于FHE的两方阈值PSI 阅读全文

摘要： 素域（prime field） 有限域也叫伽罗瓦域（galois field），指的是由有限个元素组成的集合，在这个集合内可以执行加、减、乘和逆运算。 而在密码学中，我们只研究拥有有限个元素的域，也就是有限域。 域中包含元素的个数称为域的阶。 只有当$m$是一个素数幂时，即$m=p^n$(其中$n$ 阅读全文

摘要： 数据安全与隐私计算峰会-安全求交集在隐私计算中的发展和应用：学习 PSI是安全多方计算中发展较为成熟的技术。 定义 （1）Alice获取到交集 思考一下：对于两方来说，是一方获取交集？还是两方都获取交集？ （2）可证明安全：证明Alice不能获取除了交集以外的信息 功能分类 两方半诚实 （1）只获得 阅读全文

摘要： 数据安全与隐私计算峰会-可证明安全：学习 完整版：干货分享：可证明安全的隐私计算 永远不正面证明方案有多安全，而是证明方案可以抵抗哪些攻击！ 可证明安全 用于评估安全性的准则 分为两种： 1、基于游戏的证明 以Paillier加密方案为例： 反证法：（1）先假设可以（2）规约到困难问题 2、基于模拟 阅读全文

摘要： 本节内容，转载文章：https://www.zhihu.com/column/c_200294809 ；参考程序：https://github.com/BrightXiaoHan/CMakeTutorial 实验环境：MacOS ##find_package引入外部库 为了方便我们在项目中引入外部依 阅读全文

摘要： 本原根 本原根/原根/生成元 从定义能看出，求本原根就是给定\(m\)，求\(a\)。 a模p的阶 如果\(a\)不被素数\(p\)整除，则\(a\)模\(p\)的阶是指使得\(a^e=1（mod p）\)的最小指数\(e>=1\)。 例如2、3、4、5、6模7的阶分别是3、6、3、6、2，记\(O 阅读全文

摘要： 人工智能安全的密码学思考-学习 人工智能 1、定义 研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用的一门技术科学，主要目标是使机器能够胜任一些通常需要人类智能才能完成的复杂度工作。 2、发展 （1）起源 图灵机的出现 （2）早期发展 从1956年-2016年发展进展 3、安全问题 人 阅读全文

摘要： 密码学与隐私计算在人工智能行业中的实践-矩阵元 由需要安全的数据流通和共享，提出隐私AI，即AI、密码学和系统安全技术的融合，解决安全的多方联合计算问题，分为三个方向：MPC（密码学）、FL（AI算法）和TEE（硬件）。 引言 1、数据流动和共享价值很大！ 2、数据泄露也很严重！ 3、在多方下，进行 阅读全文

摘要： 阈值PSI 若交集数量超过某个给定阈值时，允许分布式的各个参与方在自己集合中找到交集，且除了交集外，得不到其他额外信息。 实现论文： Multi-Party Threshold Private Set Intersection with Sublinear Communication 源码地址：ht 阅读全文

摘要： 学习该论文的笔记。 ##摘要 （1）引出密态时代，以及密态时代的要求 （2）分析密态所需的关键技术，发现问题 （3）提出可信隐私计算解决以上问题 （4）介绍可信隐私计算：受控匿名化和可信密态计算两项技术 ##引言 （1）明文流通很危险 （2）密态流通很重要 （3）密态流通所需要求：性能高、稳定性强、 阅读全文

摘要： 记录学习本论文的笔记。 ##摘要 （1）单密钥同态加密 只有一个私钥，且不同公钥加密的密文无法相互计算。 （2）阈值同态加密（多密钥加密） 支持多个私钥，不同公钥加密的密文可以互相计算。 ##引言 （1）大数据发展很好，结合机器学习更好服务社会，但存在一个问题：单个企业的数据无法支撑算法在自身业务场 阅读全文

摘要： 会议笔记。 ##隐私计算框架“隐语”及其最新实用实践 ###总结 1、隐私计算很重要 2、介绍主要基础技术：TEE、MPC、DP、FL 3、隐语的安全性，在去中心化、集中式和联合计算模式下是安全的。 4、通用隐私计算框架“隐语”介绍及最新应用实践：https://www.bilibili.com/v 阅读全文

摘要： 了解C++的Eigen库，主要内容来自：https://blog.csdn.net/hongge_smile/article/details/107296658 ，并加入自己的笔记。 ##介绍 Eigen is a C++ template library for linear algebra: m 阅读全文

摘要： 在看开源库时，遇到很多条件编译指令，系统学习一波，内容转载自：https://www.cnblogs.com/wind-under-the-wing/p/14018825.html，并加入自己的笔记。 ##作用 根据不同情况编译不同代码、产生不同目标文件的机制，称为条件编译，条件编译是预处理程序的功 阅读全文

摘要： 本文记录阅读该论文的笔记。 本文基于阈值加法同态加密方案提出了一个新的允许$N$方检查其输入集的交集是否大于$n-t$的PSI方案，该协议的通信复杂度为$O(Nt^2)$。 注意：$N$指的是多少个参与方、$n$是输入集的大小、$t$是预先设定的阈值，也是阈值。 该方案基于The Communica 阅读全文

摘要： 似懂非懂，一定要搞懂基础的，剩下的边做边学，从案例中入手。 有关cmake的介绍，请参考： 1、https://www.cnblogs.com/pam-sh/p/13885959.html 2、https://www.cnblogs.com/pam-sh/p/14800154.html ##基础 # 阅读全文

摘要： 原文来自：云辅助隐私集合求交（Server-Aided PSI）协议介绍，下面学习一波，并记录一些笔记。 ##背景 总结： 1、PSI-CA和PSI相比，前者在乎的是交集的大小，后者在乎的是交集本身。另外扩展一下，阈值PSI在乎的是交集大小与阈值的关系（不关心交集大小、交集本身，只想要知道答案：是/ 阅读全文

摘要： ##敌手模型 1、根据敌手是否指示参与方行事 （1）半诚实模型 参与方即使被腐败，也会正常执行协议，但中间会手机相关信息（比如中间结果等），并试图利用这些信息学习协议中的保密信息。 （2）增强半诚实模型 在半诚实的基础上，敌手可以更改参与者的起始输入，并正常执行程序。 （3）恶意模型 参与方会根据敌 阅读全文

摘要： 记录学习云计算的笔记，主要是学习阿里云上的几个主要云产品 ##基础 ###云分类 共有云：所有人都可以访问的 私有云：私人使用的（通过内网实现） 混合云：公有云和私有云混合使用（不重要的数据放公有云，重要数据放私有云，中间通过隧道技术连接） ###云计算的服务模式 IAAS：只提供单个基础设备，比如 阅读全文

摘要： 内容来自“光大科技-基于FATE的可验证秘密分享算法详解及应用场景分享” ##理论 基于Shamir的秘密共享方案，通过多项式插值实现。 加入可验证功能，即发送多项式系数的模数给对方作为承诺，对方通过分享值和承诺去进行验证！ ###秘密共享 以下内容转载自“秘密共享—隐私计算和区块链共识中的榫卯”并 阅读全文

摘要： 记录阅读论文的笔记。 什么是阈值PSI？ Alice和Bob当两者的交集大小不小于$n-t$时（两者的不同元素的数量不大于阈值$2t$时），才会求交集。 所以阈值PSI会分为两步： 1、检测 2、求交 主要内容： 基于阈值的两方PSI协议（HE）构造，并给出扩展为多方的设想，通信复杂度是亚线性的（s 阅读全文

摘要： 文章来自数盾科技 提示一下，里面出现了不少错别字。【GDO、GDO1，小编需要注意点哟】 ##扩展 首先GDOI组密钥管理机制是什么？ ###GDOI The Group Domain of Interpretation，由IETF组织发布的一个安全组播协议标准，是对IPSec协议的有效扩展实。 该 阅读全文

摘要： ## 数域 $R$：实数 $Z$：整数 $C$：复数 $Q$：有理数 ### 空间 $R^n$：n维实数 $Z^n$：n维整数 $C^n$：n维复数 $Q^n$：n维有理数 ### 集合 $Z^+$：正整数 $R^+$：非负实数 $Z_q,q\geq 1$：商环$Z/qZ$ $\left [ n \ 阅读全文