突破性进展：亚线性空间零知识证明

研究人员开发了一种名为SSZKP的亚线性空间零知识证明系统，其Rust实现利用KZG/BN254，仅需O(√T)内存即可处理长度为T的轨迹。该系统通过分块IFFT和流式累加器实现亚线性空间，并使用标准KZG承诺，无需缓冲整个多项式。这为构建可扩展的零知识系统提供了一种高效的方案，并包含了完整的证明者和验证者CLI工具以及端到端测试脚本。