Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Час розповіді -- найшвидший провер на заході і як він з'явився.
Коли ми заснували компанію 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
Найкращі
Рейтинг
Вибране