- 博客(35)
- 收藏
- 关注
RSS订阅原创 零知识证明基础：数字签名
的应用。数字签名技术一般分为带仲裁和不带仲裁的两类。如果使用对称密钥进行数字签名，则必须使用仲裁者，非对称可以不带仲裁。
2024-06-28 18:30:27
1700
1
原创 零知识证明基础：对称加密与非对称加密
公钥密码的提出实现了加密密钥和解密密钥之间的独立，解决了对称密码体制中通信双方必须共享密钥的问题，在密码学界具有划时代的意义。非对称加密又称为公钥密码，该技术是针对私钥密码体制（对称加密算法）的缺陷被提出来的，非对称加密会产生两把密钥，分别为公钥（Public Key）和私钥（Private Key），其中一把密钥用于加密，另一把密钥用于解密。AES是用来替代DES的新一代加密标准，具有128bit的分组长度，支持128、192和256比特的密钥长度，它是目前最流行的对称加密算法之一。
2024-06-26 17:20:04
1092
1
原创 Circle FFT in the Plonky3
传统的STARK系统需要在域中具有平滑阶数的循环群。如此，可以通过采用快速傅里叶变换（FFT）算法高效的计算多项式的插值点，并在相邻行中加入约束。对于具有阶数为n单位根的有限域Fp，对于很多基本的多项式运算，FFT是最快的已知的代数算法，如乘法、除法、插值和多点估值。然而，对于不满足平滑阶单位根的域，这些计算的效率将降低。其原因为需引入合成单位根以采用FFT进行加速计算。为了解决经典的FFT受限于域的平滑阶数单位根问题，Eli Ben-Sasson等人。
2024-06-17 16:05:55
831
1
原创 Plonky3和Binius中的Brakedown多项式承诺协议解析及优化（3）
当然Brakedown是一种成长型承诺方案，既能用于单变量多项式承诺，也可用于multilinear多项式承诺方案中，随着新的哈希函数和新的纠错码的开发，它在未来还有很大的优化空间。由以上分析可知，Breakdown多项式承诺的唯一缺点是证明的大小较大，因此，Breakdown的优化方向是如何减少证明的大小。采用的方法)，即多项式的系数不必排列为方阵，可以根据实际编码方式和查询方式适当调整行列比例。，与多项式大小呈线性阶，而且很有可能满足后量子安全性，唯一的缺点是证明的大小比较大，达到了。
2024-06-17 14:47:43
807
原创 Plonky3和Binius中的Brakedown多项式承诺协议解析及优化（2）
在取值证明的计算中，需要完成两步，一是Proximity Test，二是Consistency Test。对应位置的值相等，若均相等，则Proximity Test通过，这里用到了线性码的基本性质：码字之间的任意线性组合仍然是一个码字。的多项式承诺，要实现这一点还需要借助线性纠错码(如上小节介绍的Linear-Time Encoding)和Merkle树。Breakown的基础就是使用线性码构建多项式承诺，优点在于证明大小和验证时间复杂度都是长度的平方根。，这个步骤中，如果Prover是诚实的，则。
2024-06-14 13:25:37
954
原创 Plonky3和Binius中的Brakedown多项式承诺协议解析及优化（1）
第四，默克尔树用于POW共识算法，主要操作就是给定一定的数据，然后寻找其他的数据，合并起来计算出来的根哈希值小于某个值（通常说的挖矿），目前的比特币、以太坊，都是使用的POW共识。在各种零知识证明系统中，多项式承诺都是不可缺少的重要组成部分。张量的积有很多种，如外积、内积、直积、Kronecker Product等，我们在这里只介绍直积（通常称为张量积），描述为：两个任意阶张量，第一个张量的每一个分量乘以第二个张量中的每一个分量，它们组合的集合仍然是一个张量，称为第一个张量乘以第二个张量的直积。
2024-06-07 10:45:09
1612
1
原创 零知识证明：哈希函数-Poseidon2代码解析与benchmark
Full Rounds中每次循环中需要对state向量的所有元素依次完成Add Round Constant，S-Box和MDS Mixing( The Linear Layer/MixLayer)操作，其中Add Round Constants需要完成一次常数加法，S-Box需要计算一个7次方的模幂，MDS Mixng计算的是state向量和常数矩阵M相乘。在零知识证明领域中，使用抗碰撞Hash函数能够有效消除对可信任设置或椭圆曲线运算的需要，使Hash函数成为零知识证明系统中不可或缺的一部分。
2024-05-16 11:27:33
1420
原创 SAR动目标检测系列：【3】动目标运动参数估计简介
在SAR-MTI领域，不管是单通道还是多通道动目标检测方法，在检测出动目标之后，接下来的任务就是对剩余杂波和噪声中的动目标精确地估计参数。
2024-01-24 15:46:19
1176
原创 积分梳状滤波器CIC原理与实现
CIC（Cascade Intergrator Comb）：级联积分梳状滤波器，是由积分器和梳状滤波器级联而得。滤波器系数为1，无需对系数进行存储，只有加法器、积分器和寄存器，资源消耗少，运算速率高，实现简单，可实现高速滤波，常用在输入采样率最高的第一级。CIC滤波器是一种数字信号处理中常用的滤波器结构，主要用于降低采样率。CIC滤波器的主要应用是在数字信号处理系统中降低采样率。通过级联积分器和组合器，CIC滤波器可以有效地实现高通滤波和降采样，从而减少数据量和系统复杂度。
2024-01-19 19:08:24
8177
原创 CMAKE：方便CUDA与其他语言（C、C++、RUST）联合编程
CMAKE在linux系统下编译cuda与其它语言联合编写的程序非常好用，文中的常用命令基本都能用上。
2023-11-09 18:24:07
1393
1
原创 CUDA并行库Cooperative Groups
Cooperative Groups（协同组）是CUDA 9.0引入的一个新概念，主要用于跨线程块（block）的同步。
2023-05-06 15:10:09
789
原创 SAR成像系列：【14】全息合成孔径雷达（全息SAR，Holographic SAR, Holo-SAR）
目前发展的全息成像技术包括：光学全息、红外全息、微波全息和超声全息技术，这些全息技术在军事侦察和监视上有重要意义。由于可见光在大气或水中传播时衰减很快，导致光学全息成像设备在不良的气候下无法进行工作，而微波全息技术则完全不受这些条件的影响。这为实现SAR全息成像带来无以伦比的优势和广阔的应用前景。
2022-11-29 15:04:26
2308
7
原创 SAR成像系列：【13】差分层析合成孔径雷达（差分层析SAR，Differential SAR Tomography ，D-TomoSAR）
差分层析合成孔径雷达（D-TomoSAR） 技术能够对观测区域实现多维成像，在对地观测领域具有巨大的应用潜力。
2022-10-07 17:11:44
2416
5
原创 SAR成像系列：【12】层析合成孔径雷达（层析SAR，Tomographic SAR，TomoSAR）
利用压缩感知算法实现层析SAR的高度向聚焦。
2022-10-02 17:31:28
5407
24
原创 SAR成像系列：【11】干涉合成孔径雷达（干涉SAR，Interferometric SAR，InSAR）
雷达干涉的基本原理是利用同一区域两次或多次航过的SAR图像的复共轭相乘，来提取地物目标的高度或形变。
2022-09-07 17:33:26
9499
1
原创 SAR成像系列：【9】合成孔径雷达（SAR）成像算法-波数域（omega-K）成像算法[也叫距离徙动（RM）算法]（附Matlab代码）
合成孔径雷达（SAR）波数域（wK）成像算法也称为距离徙动（RM）算法，它不存在近似条件，可以对整个成像区域基于散射点模型进行精确聚焦。有的文章中称它为SAR成像的最佳实现。
2022-09-06 11:25:56
10470
7
原创 SAR成像系列：【8】合成孔径雷达（SAR）成像算法-压缩感知（Compressed Sensing，CS）成像算法（附Matlab代码）
SAR压缩感知成像既可在时域完成，也可在频域完成，这篇文章介绍一种时域压缩感知成像算法。
2022-08-30 12:10:08
9359
7
原创 SAR成像系列：【7】合成孔径雷达（SAR）成像算法-后向投影（Back Projecting）算法（附Matlab代码）
SAR成像的BP成像算法简单，鲁棒性好，分辨率高，适用于任何轨道或飞行轨迹模型，不存在斜距近似假设，运动补偿容易。尤其适合双基和多基SAR成像
2022-08-26 15:46:52
11022
3
原创 SAR成像系列：【6】合成孔径雷达（SAR）成像算法-调频变标（Chirp Schaling）算法（附Matlab代码）
调频变标（Chirp Schaling）算法通过对线性调频信号进行频率调制，实现尺度变换和平移，并利用相位相乘代替插值运算完成距离徙动补偿，这样不仅提高了算法的计算效率，而且解决二次距离压缩存在的方位频率、依赖问题。
2022-08-25 16:56:50
4727
3
转载 MFC操作注册表
打开注册表键 1 LONG RegOpenKeyEx(2 HKEY hKey, // handle to open key主键3 LPCTSTR lpSubKey, // subkey name子键4 DWORD ulOptions, // reserved。必须是05 REGSAM samDesired, // security ac
2016-12-19 21:44:26
207
SAR成像中后向投影（BP）算法Matlab代码；
2022-08-26
SAR成像中的Chirp Scaling算法；适用小斜视角，并对大斜视成像提供参考。
2022-08-25
合成孔径雷达(SAR)成像距离多普勒(RD)算法仿真
2022-08-24
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人