故事時間 -- 西部最快的證明者及其誕生過程。 當我們在2018年創立StarkWare時，我們的目標是建立第一個生產級的STARK證明者。當時，限制因素是以太坊的燃料成本。使用巨大的數字（256位的）來構建證明者是最簡單和最便宜的。這導致了一個簡單的STARK證明者，我們知道通過減少域大小可以使其更高效。 快進到2023年。到現在為止，整個世界都相信zkSTARKs是終極解決方案，許多團隊開始使用小域來構建系統，這導致了更快的證明者。 在2023年夏天，我們開始了一個項目，以選擇下一代證明技術。我們調查了所有現有的證明技術 -- SNARKs、基於折疊的技術、GKR等等。 我們非常迅速地意識到，主導性能因素是有限域的大小，32位質數是最佳選擇。為什麼？（1）所有現代硬體架構都針對這些進行了優化，（2）為什麼選擇質數（而不是二進制）？因為GPU不支持二進制乘法。 好吧，這讓我們面臨證明技術的選擇，如GKR和STARK，基於32位質數。 現在我們面臨一個問題。最快計算的最佳域是M31，但它缺乏快速STARK所需的群結構。 幸運的是，聰明的三人組 -- Ulrich Habock（當時在Polygon，現在全職在StarkWare）、David Levit和Shahar Papini想出了一種方法，利用M31上的“圓群”來獲得最佳解決方案。 新團隊開始實施數學。我們以最有效的方式進行測試和驗證效率，並以足夠模組化的方式構建，以便其他團隊使用。同時，基於我們之前的經驗，AIR約束基礎設施從零開始重建，以達到健全和高效的結果。 現在，Stwo正在Starknet中投入生產，降低成本和延遲。我們測試的基準數據超乎想像。與此同時，多個外部團隊正在使用它來構建他們的基礎設施。我認為這將成為開源證明者的黃金標準，歡迎大家使用它。 結束。