第0部分：导言
第1部分：纵观 STARK
第2部分：有用的“工具”
第3部分：FRI
第4部分：STARK Polynomial IOP
第5部分：A Rescue-Prime STARK
第6部分：加速整个流程
最近，密码学证明系统领域最令人兴奋的进展之一是 STARKs 的发展。它是在区块链行业蓬勃发展之后出现。整体上来看，证明系统似乎是为其量身定做的：区块链网络通常由相互不信任的各方组成，他们希望使用秘密信息进行交易，或根据状态演变规则更新集体状态。由于参与者是相互不信任的，因此他们需要验证其同伴提出的交易（或状态更新）的有效性的方法。
由于 zk-SNARKs 的以下特点，它们自然具备在这种环境中提供计算完整性保证的能力：
zk-SNARKs 一般是通用的，意味着它们能够证明任意计算的完整性；
zk-SNARKs 是非交互式的，这意味着整个完整性证明由单个消息组成；
zk-SNARKs 的验证是高效的，也就是说，与简单地重新运行计算相比，验证者的工作量会降低一个数量级（译者注：几个数量级也是有可能的）；
zk-SNARKs 是零知识的，这意味着它们不会泄露关于计算秘密输入的任何信息。
"我期待 zk-SNARKs 在未来10-20年内渗透到主流世界，并引领一场重大的革命。"
分享至：
