Стоун і С-два - про який стрибок йдеться? Камінь є першим доказом виробничого класу StarkWare. Деякі цифри: - Працює на виробництві вже більше 5 років - Він перевищив $1 трлн - Це заощадило понад 1 мільярд доларів на комісіях для користувачів Це звір. S-two – це вже другий раз, коли ми будуємо доказ. Як і слід було очікувати, коли ви будуєте щось вдруге, є багато покращень. Найбільшим удосконаленням є розмір чисел, які використовуються для побудови доказу (розмір поля). У Stone ми використовували 256-бітні числа, а S-two використовує 32-бітні числа. Порівнюючи їх пліч-о-пліч, множення (дуже важлива і дорога операція в СТАРКАХ) відбувається в 120 разів швидше! Повторюся: в 120 разів швидше. 🏎️ Але під капотом є маса інших нововведень. Наприклад, замість того, щоб працювати з одним кроком за раз, і всі кроки мають однакову природу, ми тепер маємо майже необмежену гнучкість для додавання різних кодів операцій та операцій дуже ефективним способом, що призводить до подальшого покращення продуктивності (технічний документ S-two надасть більш детальну інформацію про це). Модульність є ще одним цікавим аспектом - фактична генерація доказів може бути інтегрована модульним способом з різними AIR (системами обмежень). Це дозволяє зовнішнім командам, таким як @NexusLabs , @KakarotZkEvm та @gizatechxyz, використовувати S-two для обчислень, які відрізняються від тих, для яких ми їх використовуємо. Таким чином, S-two виявляється найшвидшим провером у світі, більш ніж у 100 разів швидшим за Стоуна. Чи доведе наступне покоління, яке вийде через кілька років (ні, ми ще не працюємо над цим), знову в 100 разів швидше? Чесно кажучи, я в цьому сумніваюся, але в той же час я також не очікував 100-кратного фактора, який ми отримали до цього часу.