分享至：
STARK 算法解析（第 4 部分: STARK Polynomial IOP）
- 本文是《STARK 算法解析》系列的第 4 部分，重点介绍 STARK 证明系统中的多项式 IOP（信息论骨干预言），可称为 STARK 多项式 IOP。
- 回顾 SNARKs 的编译流程，其中涉及两个中间阶段：算术约束系统和多项式 IOP。本文会描述算术约束系统的一些特性。
- 将原始计算过程转化为算术约束系统的“算术化步骤”超出了本文讨论范围，但会详细讨论“插值步骤”，该步骤将算术约束系统转换为多项式 IOP。
- 最终的多项式 IOP 可以使用第 3 部分中描述的“基于 FRI 的编译器”编译成一个具体实用的证明系统。
总结
作者：zCloak 隐私网络
本文为PANews入驻专栏作者的观点，不代表PANews立场，不承担法律责任。
文章及观点也不构成投资意见
图片来源：zCloak 隐私网络如有侵权，请联系作者删除。
关注PANews官方账号，一起穿越牛熊
推荐阅读
