摘要: source: https://aszepieniec.github.io/stark-anatomy/overview STARK 是一类交互式证明系统,但本教程将它们视为 SNARK 的一个特例,其中 哈希函数是唯一的加密成分, 算术化基于 AIR(algebraic intermediate 阅读全文
posted @ 2022-02-11 16:04 elimsc 阅读(157) 评论(0) 推荐(0) 编辑