二进制域上的SNARK：Binius - 第二部分 本文是关于Binius证明系统的第二部分，重点介绍了连接码（允许扩展小字段的多项式承诺方案）和用于检查多元多项式上语句的不同协议。Binius中几乎所有的协议都归结为sumcheck协议，并提出使用Plonkish算术化，与HyperPlonk的主要区别在于trace包含属于不同子域的元素，因此门约束将表达不同子域的关系。 Binius 证明系统 连接码 多项式承诺 Sumcheck 协议 Plonkish 算术化 lambdaclass 发布于 2024-01-06 2132 0 0
