Stone 和 S-two -- 我們在談論什麼飛躍？ Stone 是 StarkWare 的第一個生產級證明器。 一些數字： - 它已經在生產中運行超過 5 年 - 它已經結算超過 1 萬億美元 - 為用戶節省了超過 10 億美元的費用 它是一頭猛獸。 S-two 是我們第二次構建證明器。 正如你所期望的，第二次構建某樣東西時，會有很多改進。 最大的改進是用於構造證明的數字大小（域大小）。在 Stone 中，我們使用了 256 位數字，而 S-two 使用 32 位數字。 將它們並排比較，乘法（在 STARKs 中非常重要且成本高昂的操作）快了 120 倍！ 讓我再重複一遍：快了 120 倍。🏎️ 但在底層還有很多其他創新。例如，我們現在幾乎可以無限靈活地以非常高效的方式添加各種操作碼和操作，而不是一次處理一個步驟，並且所有步驟都是相同性質的，這導致了進一步的性能提升（S-two 白皮書將提供更多細節）。 模組化是另一個很酷的方面 -- 實際的證明生成可以以模組化的方式與各種 AIR（約束系統）介面。這允許像 @NexusLabs、@KakarotZkEvm 和 @gizatechxyz 這樣的外部團隊使用 S-two 進行與我們使用的計算不同的操作。 因此，S-two 最終成為世界上最快的證明器，比 Stone 快超過 100 倍。 下一代證明器將在幾年後推出（不，我們還沒有在開發它）會再次快 100 倍嗎？老實說，我對此表示懷疑，但同時我也沒有預料到我們迄今為止獲得的 100 倍的因素。