摘要: source: https://aszepieniec.github.io/stark-anatomy/stark 本教程的这一部分涉及 STARK 证明系统的信息论主干,您可以将其称为 STARK 多项式 IOP。回想一下,SNARKs 的编译流水线涉及中间阶段,其中前两个是 算术约束系统(ari 阅读全文
posted @ 2022-02-13 23:43 elimsc 阅读(145) 评论(0) 推荐(0) 编辑