第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年內滲透到主流世界， 並引領一場重大的革命。 "
