Час розповіді -- найшвидший провер на заході і як він з'явився. Коли ми заснували компанію StarkWare у 2018 році, ми вирішили створити перший доказ STARK виробничого класу. У той час обмежуючим фактором була вартість газу на Ethereum. Найпростіше і найдешевше було побудувати ровер з використанням величезних чисел (256-бітних). Це призвело до створення простого прохідника STARK, який, як ми знали, можна зробити більш ефективним, зменшивши розмір поля. Перенесемося у 2023 рік. Весь світ вже переконався, що zkSTARK – це кінцева гра, і багато команд починають будувати системи з використанням невеликих полів, що призводить до швидших випробувань. Влітку 2023 року ми розпочали проєкт із вибору технології випробування наступного покоління. Ми розглянули всі існуючі технології випробувань - СНАРКИ, складні матеріали, ГКР та багато іншого. Ми дуже швидко зрозуміли, що домінуючим фактором продуктивності є розмір кінцевого поля, а 32-бітові прості числа є найкращими. Чому? (1) всі сучасні архітектури HW оптимізовані для тих, (2) чому prime (а не двійкові?), тому що графічні процесори погано підтримують двійкове множення. Гаразд, це залишає нам доведення таких технологій, як GKR і STARK, понад 32b простих чисел. Зараз ми зіткнулися з проблемою. Найкращим полем для швидких обчислень є M31, але йому не вистачає групової структури, щоб мати швидкі STARKs. На щастя, блискуче тріо - Ульріх Хабок (тоді працював у Polygon, а зараз працює в StarkWare), Девід Левіт і Шахар Папіні знайшли спосіб використовувати "групу кіл" замість M31, щоб отримати оптимальне рішення. Нова команда приступила до впровадження математики. У найефективніший спосіб, про який ми могли б подумати, тестування та перевірка ефективності, а також побудова її таким чином, щоб вона була достатньо модульною для використання іншими командами. У той же час, інфраструктура обмежень AIR була перебудована з нуля, виходячи з нашого попереднього досвіду, щоб привести до чогось надійного та ефективного. І тепер Stwo запускає виробництво в Starknet, скорочуючи витрати і затримки. Тести, які ми тестували, не з цього світу. У той же час кілька зовнішніх команд використовують його для створення своєї інфраструктури. Я думаю, що це буде доказовим золотим стандартом відкритого вихідного коду, і вам усім пропонується ним скористатися. КІНЕЦЬ.
11,32K