Время рассказа -- Самый быстрый провайдер на западе и как это произошло. Когда мы основали StarkWare в 2018 году, мы поставили цель создать первый производственный STARK провайдер. В то время ограничивающим фактором была стоимость газа в Ethereum. Было проще и дешевле построить провайдер, используя огромные числа (256-битные). Это привело к созданию простого STARK провайдера, который, как мы знали, можно было сделать более эффективным, уменьшив размер поля. Переносимся в 2023 год. Весь мир к этому времени убежден, что zkSTARKs -- это конечная цель, и многие команды начинают строить системы, используя маленькие поля, что приводит к более быстрым провайдерам. Летом 2023 года мы начали проект по выбору технологии доказательства следующего поколения. Мы исследовали все существующие технологии доказательства -- SNARKs, основанные на сворачивании вещи, GKR и другие. Мы очень быстро поняли, что доминирующим фактором производительности является размер конечного поля, и 32-битные простые числа -- лучшие. Почему? (1) все современные аппаратные архитектуры оптимизированы для них, (2) почему простые (а не двоичные?) потому что GPU плохо поддерживают двоичное умножение. Хорошо, это оставляет нам технологии доказательства, такие как GKR и STARK, на 32-битных простых числах. Теперь мы столкнулись с проблемой. Лучшее поле для быстрой вычислительной работы -- M31, но у него нет групповой структуры для быстрых STARKs. К счастью, блестящая тройка -- Ульрих Хабок (тогда в Polygon, сейчас полный рабочий день в StarkWare), Дэвид Левит и Шахар Папини нашли способ использовать "круговую группу" над M31, чтобы получить оптимальное решение. Новая команда начала реализовывать математику. Наиболее эффективным способом, который мы могли придумать, тестируя и проверяя эффективность, а также строя это так, чтобы это было достаточно модульно для использования другими командами. В то же время инфраструктура ограничений AIR была полностью перестроена с нуля, основываясь на нашем предыдущем опыте, чтобы привести к чему-то, что является надежным и эффективным. И теперь Stwo входит в производство в Starknet, снижая затраты и задержки. Бенчмарки, которые мы тестировали, просто невероятны. В то же время несколько внешних команд используют его для построения своей инфраструктуры. Я думаю, что это будет золотой стандарт открытого исходного кода для провайдеров, и вы все приглашены его использовать. КОНЕЦ.