2025年10月

CUDA Cooperative Groups 求和规约示例

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

重心插值

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

FRI PCS

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

MMCS (Mixed Matrix Commitment Scheme)

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

DFT NTT FFT

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