Основні принципи мають значення.

Частина, яку я найбільше люблю в тому, щоб бути StarkWare Генеральний директор слухає і виправляється членами моєї команди, які розумніші та обізнаніші за мене.

Час розповіді -- найшвидший провер на заході і як він з'явився. Коли ми заснували компанію 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, скорочуючи витрати і затримки. Тести, які ми тестували, не з цього світу. У той же час кілька зовнішніх команд використовують його для створення своєї інфраструктури. Я думаю, що це буде доказовим золотим стандартом відкритого вихідного коду, і вам усім пропонується ним скористатися. КІНЕЦЬ.

Чому я оптимістично налаштований щодо Starknet? Найкраща техніка. Щоправда, обсяг TVL та DeFi може зрости. Але я думаю про довгострокову перспективу. Екосистема назріває, чекає ще однієї іскри, і іскра прийде. І коли це станеться, користувачі та розробники виявлять, що найкращі технології означають найкращий UX, найкращий захист, найкращі функції, і вони не зменшаться, як тільки активність зросте. Чому це найкраща технологія? - Мова смарт-контрактів нового покоління та найкраща в історії. Так, Cairo набагато кращий, ніж Solidity або Solana Rust. - Розумні облікові записи нового покоління (завдяки рідній абстракції облікових записів) - > кращий UX для кінцевих користувачів, поряд з першокласною безпекою самостійного зберігання. - Найбільша обчислювальна потужність у ланцюжку - > біржі Perp, ігрові розробники та інші важкі обчислювальні програми можуть виконувати складну логіку, яку ви не знайдете більше ніде в блокчейні. - Найбезпечніше підключення до Bitcoin та Ethereum. - Єдиний L2, який активно рухається до повної, справжньої децентралізації. - Найбільше надмірності, коли мова йде про секвенсери та провери. Найбезпечніша, найшвидша та найзвуковіша технологія. Тому я думаю про довгострокову перспективу, і я дуже оптимістично налаштований щодо Starknet. І ви теж повинні бути такими.

Starknet переходить у режим Grinta і я дещо здивований (сумний?), що ніхто не виводить його на новий рівень з Margagrintas🍹🍹🍹

Як я ледь не отримав вольфрамовий куб з @ercwl Я стверджував (і досі це роблю), що докази шахрайства не працюють. Це означає, що обіцянка про те, що «будь-хто може ініціювати арбітражний процес», не може бути виконана. Кілька років тому Ерік запитав мене за вечерею: «Чи хотіли б ви поставити на це вольфрамовий куб?». Я сказала: «Так! Б'юся об заклад, що в найближчі 3 роки жодна система, заснована на Fraud Proof, не запропонує справжню децентралізацію секвенсера і валідатора і не дозволить отримати заставу Dispute менше 100 доларів, доступну звичайному користувачеві». Проста причина, через яку системи, засновані на доказі шахрайства, не можуть запропонувати заставу спору за такою ціною, полягає в тому, що це відкриває двері для тролінгу/DoS системи. Ми ніколи офіційно не викладали це в письмовій формі, і я вважаю, що минуло досить багато часу, але я все ще радий зробити це парі сьогодні, з ним або з кимось іншим, хто готовий прийняти виклик.

Заява: L2 мають бути децентралізованими. *Децентралізація має таке ж значення на L2, як і на L1.* Компанія Starknet опублікувала свою дорожню карту децентралізації деякий час тому, і вона слідує їй, крок за кроком. Я не бачу жодної іншої L2 команди з реальними планами чи роботою в цьому напрямку.

Мені подобаються ці битви "тільки ETH", "тільки BTC". Після такого тижня вони взагалі не мають сенсу.

Наприкінці цього криптотижня ось мій висновок: (ТЛ; DR - будуються мости між двома світами)

Між TradFi та DeFi існує сильний суперечливий елемент: TradFi говорить «довіряй нам», «у нас ти віриш». DeFi каже, що «нікому не довіряй, крім себе», «в математиці ми довіряємо». Цікаво спостерігати за зближенням двох світів.