ストーンとS-two-私たちが話している飛躍は何ですか? StoneはStarkWareの最初のプロダクショングレードの証明者です。 いくつかの数字: - 5年以上生産されています - $1T以上で決済済み - ユーザーの手数料を $1B 以上節約しました それは獣です。 S-twoは、証明者を構築するのは2回目です。 ご想像のとおり、2 回目に何かを構築するときは、多くの改善点があります。 最大の改善点は、証明の構築に使用される数値のサイズ(フィールドサイズ)です。Stoneでは256ビットの数字を使用し、S-twoは32ビットの数字を使用しました。 これらを並べて比較すると、乗算 (STARK では非常に重要でコストのかかる操作) は 120 倍高速です。 繰り返しますが、120倍速いです。🏎️ しかし、内部には他にも多くのイノベーションがあります。たとえば、一度に 1 つのステップで作業し、すべてのステップが同じ性質であるのではなく、さまざまなオペコードや操作を非常に効率的な方法で追加できるほぼ無制限の柔軟性が得られ、パフォーマンスがさらに向上します (これについては S-two ホワイトペーパーで詳しく説明します)。 モジュール性もまたクールな側面です -- 実際の証明生成は、さまざまなAIR(制約システム)とモジュール式でインターフェースできます。これにより、@NexusLabs、@KakarotZkEvm、@gizatechxyzなどの外部チームは、私たちが使用するものとは異なる計算にS-twoを使用できます。 つまり、S-twoは最終的に世界最速の証明者となり、ストーンの100倍以上速い。 数年後に発売される次世代の証明者 (いいえ、まだ取り組んでいません) は再び 100 倍速くなるのでしょうか?正直に言うと、私はそれを疑っていますが、同時に、これまでに得た100倍の係数も予想していませんでした。