ZKM 博客新文章:多变量求和检查协议 - 第 2 部分 本文提供了关于多线性扩展的实用指导,涵盖两种表示形式,并提供可实施的点评估、加法和逐元素乘法程序。 它讨论了表示的权衡、内存/运行时行为,以及如何将这些步骤集成到证明者/验证者管道中,而无需不必要的转换。 阅读第 2 部分:
56.4K