阅读笔记
文章平均质量分 94
读文章的随机,类似于精简翻译,加上我自己的一些理解。
AdijeShen
密码学入门中,/wiːtʃæt/:shenghua-adije
展开
-
CKKS自举笔记(CKKS Bootstrapping)
简单介绍18年CKKS自举的文章思路,以及后续22年的优化。其中包括同态矩阵乘法的操作以及同态旋转(rotation)的过程。原创 2023-03-02 10:35:10 · 3191 阅读 · 11 评论 -
椭圆曲线介绍(四):椭圆曲线安全性,与RSA对比
虽然我们讨论了几个方法,他们并不能很有效地破解椭圆曲线的离散对数问题。但不代表这些算法完全不可行,也许可以继续做优化,比如硬件上面的突破。虽然目前没有离散对数问题的有效解决方法,但不代表未来不会有。...翻译 2022-07-29 18:19:35 · 986 阅读 · 0 评论 -
PLONK电路如何构造,PLONK例子
PlonK : Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge。零知识证明协议Plonk(PLONK)的个人笔记,主要讲了 copy constraint 和gate constraint如何构造。原创 2022-03-08 15:41:19 · 1603 阅读 · 12 评论 -
SNARK超详细解释,从GGPR13到Groth16
初学零知识证明,准备从SNARK开始入手,还是自己做个整理会印象深刻一些。细节我还没有深究,目前看来GGPR13是最先提出SNARK这个框架的工作,而Groth16则是目前效率表现最好的SNARK方案。话说Craig Gentry大佬也太牛了吧,搞不止是全同态加密的鼻祖,这边SNARK的提出原来也有他的关系啊。原创 2021-12-31 10:52:42 · 6209 阅读 · 7 评论 -
零知识证明从0到1,ZK简介
梳理了ZK的基本概念,给出了Completeness,Soundness,Zero-knowledgeness的定义和证明方法。整理SNARK的框框;BulletProof、SNARK、STARK的区别;ZK如何给区块链做扩容。原创 2021-12-21 15:35:15 · 12666 阅读 · 0 评论 -
群环域,理想商环,原根复习
包含了抽象代数里面的一些概念,最近看文章的时候一直反映不过来,理想是个啥来着,环和域的区别是啥来着。所以统筹整理一下。集合/(Set):一个集合GGG表示一组数据有限集合:G={a1,a2,...,an},∣G∣=nG=\{a_1,a_2,...,a_n\},|G|=nG={a1,a2,...,an},∣G∣=n无穷集合:G={a1,a2,...},∣G∣=∞G=\{a_1,a_2,...\},|G|=\infinG={a1,a2,...},∣G∣=∞一个班级的所有学生半群/(Mo原创 2021-12-10 16:10:38 · 1000 阅读 · 3 评论 -
BGV方案简介(同态加密)
BGV方案是同态加密目前比较流行的技术之一(BGV,BFV,CKKS,TFHE,FHEW),作为2012年发表的论文,提出了modulus switching的概念,Keyswitching。可以做到层级的同态加密。目前来说BGV也是一个比较可靠的整数上的同态加密方案,且支持SIMD,整体的效率还不错...原创 2021-12-06 14:14:42 · 17623 阅读 · 18 评论 -
随便写写的残差神经网络笔记
这里可能用很多错误内容,不建议阅读,我最近在看Residual Neural Network,以前对NN都不太了解。只是写一下加强印象。文章目录NN学习笔记(Neural Network)NN的框框符号表示逻辑回归损失函数梯度下降向量化(numpy)加速残差神经网络Residual BlockNN学习笔记(Neural Network)NN的框框图1 不同的NN模型图示(标准神经网络,卷积神经网络,循环神经网络)标准的NN一般用于做预测,CNN一般用于图像识别,RNN一般用于处理一维数据(时序数原创 2021-11-18 16:25:49 · 813 阅读 · 0 评论 -
CKKS的Encoding(CKKS方案的编码部分的笔记)
文章目录为什么会有这篇文章快速傅里叶变换(FFT)FFT思路如何加速系数多项式到点值类型多项式的运算?如何做逆运算?即从点值多项式变为系数多项式CKKS Encoding思路通过IFFT构造简单的Encode为什么会有这篇文章在我参与工作的时候,这边就已经把CKKS的源码都写好了,没有能够自己实现一遍,导致目前对CKKS的Encoding方法一知半解。于是趁着有空来梳理一下。首先看一下Daniel Huynh大佬的讲解,CKKS的上层框架。是将N/2N/2N/2个复数m∈CN/2m\in \mat原创 2021-11-18 15:48:54 · 8131 阅读 · 30 评论 -
TFHE拓展:Programmable Bootstrapping
Improved Programmable Bootstrapping with Larger Precision and Efficient Arithmetic Circuits for TFHE(对TFHE优化的可编程同态刷新的方案,拥有高精度和高效率)索引Improved Programmable Bootstrapping with Larger Precision and Efficient Arithmetic Circuits for TFHE(对TFHE优化的可编程同态刷新的方案,拥有高原创 2021-10-11 16:22:43 · 1651 阅读 · 9 评论 -
FHEW阅读笔记
FHEW: Bootstrapping Homomorphic Encryption in Less Than a Second作者: Leo Ducas1, Daniele Micciancio2.摘要目前所有FHE方案主要的瓶颈在于Gentry的Bootstrapping操作。在之前2014年HElib of Halevi and Shoup中,一次Bootstrapping操作需要6分钟3。我们发现了一种新的方法来刷新密文的噪声,在个人机器上只要半秒。引言我们的工作这篇文章考虑了1bit密原创 2021-08-09 17:45:01 · 5960 阅读 · 23 评论