阿萍的博客

2025年10月

内存一致性检查：Multiset Hashing

在 zkVM 中，内存访问一致性检查是证明任何读操作返回的值确实是写入该内存地址的最新值。如果能证明读取和写入的数据是置换关系，便可证明内存访问的一致性。内存一致性检查构造读集合 $R$ 和写集...

Cryptography，zkVM

NVIDIA GeForce RTX 5090 core dump 排查

5090 如果不限制 maxrregcount=102 或者不修改 numThreadsPerBlock=512 → 384，会 core dump编译的时候加上 -G 会产生误导信息：CUDA...

问题解决

CUDA Cooperative Groups 求和规约示例

CUDA Cooperative Groups 求和规约示例优点Warp 原生指令，可避免共享内存访问，减少延迟自动同步，无需手动调用 __syncthreads()灵活线程组，支持任意大小的 ...

编程语言

重心插值

重心插值（Barycentric interpolation ）是拉格朗日插值的变换。有时候需要通过一组多项式点值直接计算另一个不同点处的值，例如，$p(x)$ 是一个度为 2 的多项式，可以在...

Cryptography

FRI PCS

FRI (Fast Reed-Solomon Interactive Oracle Proof of Proximity) 协议用于证明多项式是低度的。Commit计算 domaindomain...

Cryptography

MMCS (Mixed Matrix Commitment Scheme)

MMCS (Mixed Matrix Commitment Scheme)Merkle Tree 用于对向量（单列数据）承诺，而 MMCS (Mixed Matrix Commitment Sc...

Cryptography

DFT NTT FFT

Radix-2 DITRadix-2 DIT FFT 由 Cooley 和 Tukey 于 1965 年发明，广泛应用于数字信号处理。它是一种分治算法，递归地将问题拆分为更小的子问题。复杂度为 ...

Cryptography