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 倍的因素。