ZK电路中部分和查找论证实现二次内存优化:流式证明器工程指南2025年09月24日基于子线性空间零知识证明系统,探讨部分和查找论证在ZK电路中的应用,实现O(√T)内存证明生成,支持低内存硬件大规模电路。