STARK算法解析




  • 第0部分：導言

  • 第1部分：縱觀STARK

  • 第2部分：有用的“工具”

  • 第3部分：FRI

  • 第4部分：STARK Polynomial IOP

  • 第5部分： A Rescue-Prime STARK

  • 第6部分：加速整個流程

0 1


什麼是STARKs？



最近，密碼學證明系統領域最令人興奮的進展之一是STARKs 的發展。 它是在區塊鏈行業蓬勃發展之後出現。 整體上來看，證明系統似乎是為其量身定做的： 區塊鍊網絡通常由相互不信任的各方組成，他們希望使用秘密信息進行交易，或根據狀態演變規則更新集體狀態。 由於參與者是相互不信任的，因此他們需要驗證其同伴提出的交易（或狀態更新）的有效性的方法。

由於zk-SNARKs 的以下特點，它們自然具備在這種環境中提供計算完整性保證的能力：

  • zk-SNARKs 一般是通用的，意味著它們能夠證明任意計算的完整性；

  • zk-SNARKs 是非交互式的，這意味著整個完整性證明由單個消息組成；

  • zk-SNARKs 的驗證是高效的，也就是說，與簡單地重新運行計算相比，驗證者的工作量會降低一個數量級（譯者註：幾個數量級也是有可能的）；

  • zk-SNARKs 是零知識的，這意味著它們不會洩露關於計算秘密輸入的任何信息。


"我期待zk-SNARKs 在未來10-20年內滲透到主流世界， 並引領一場重大的革命。 "