Доброе утро, мир. Какой крипто-подкаст вам нравится больше всего? Поделитесь своими рекомендациями, пожалуйста 🔥

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

Часть, которую я люблю больше всего в том, что я CEO StarkWare, это слушать и получать исправления от членов моей команды, которые умнее и более осведомлены, чем я.

Время рассказа -- Самый быстрый провайдер на западе и как это произошло. Когда мы основали 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, снижая затраты и задержки. Бенчмарки, которые мы тестировали, просто невероятны. В то же время несколько внешних команд используют его для построения своей инфраструктуры. Я думаю, что это будет золотой стандарт открытого исходного кода для провайдеров, и вы все приглашены его использовать. КОНЕЦ.

Почему я оптимистично настроен по поводу Starknet? Лучшая технология. Верно, TVL и объем DeFi могут вырасти. Но я думаю о долгосрочной перспективе. Экосистема созревает, ожидая еще одного искры, и эта искра придет. И когда это произойдет, пользователи и разработчики обнаружат, что лучшая технология означает лучший UX, лучшую безопасность, лучшие функции, и они не уменьшатся, когда активность возрастет. Почему это лучшая технология? - Язык смарт-контрактов следующего поколения и лучший из когда-либо существовавших. Да, Cairo намного лучше, чем Solidity или Rust от Solana. - Смарт-аккаунты следующего поколения (благодаря нативной абстракции аккаунтов) -> лучший UX для конечных пользователей, наряду с первоклассной самообслуживаемой безопасностью. - Наибольшая вычислительная мощность в сети -> Перп-обмены, разработчики игр и другие приложения с высокой вычислительной нагрузкой могут выполнять сложную логику, которую вы не найдете нигде в блокчейне. - Самое безопасное соединение с Bitcoin и Ethereum. - Единственный L2, который активно движется к полной, истинной децентрализации. - Наибольшая избыточность в отношении секвенсоров и проверов. Самая безопасная, быстрая и надежная технология доказательства, которая существует. Так что я думаю о долгосрочной перспективе, и я очень оптимистично настроен по поводу Starknet. И вы тоже должны быть.

Starknet переходит в режим Grinta, и я немного удивлён (грустно?), что никто не поднимает это на следующий уровень с Margagrintas🍹🍹🍹

Как я почти получил куб из вольфрама от @ercwl Я утверждал (и до сих пор утверждаю), что доказательства мошенничества не работают. Это означает, что обещание "любой может инициировать процесс арбитража" не может быть выполнено. Несколько лет назад Эрик спросил меня за ужином: "Хотел бы ты поставить куб из вольфрама на это?" Я ответил: "Да! Я ставлю, что в следующие 3 года ни одна система на основе доказательств мошенничества не предложит истинную децентрализацию секвенсора и валидатора и не позволит залог спора менее $100, доступный среднему пользователю." Простая причина, по которой системы на основе доказательств мошенничества не могут предложить залог спора по такой цене, заключается в том, что это открывает дверь для троллинга/DoS-атак на систему. Мы никогда не формализовали это в письменном виде, и я думаю, что прошло довольно много времени, но я все еще рад сделать эту ставку сегодня, с ним или с кем угодно, кто готов к вызову.

Мнение: L2 должны быть децентрализованными. *Децентрализация важна на L2 так же, как и на L1.* Starknet опубликовал свою дорожную карту по децентрализации некоторое время назад, и они следуют ей шаг за шагом. Я не вижу ни одной другой команды L2 с реальными планами или работой в этом направлении.

Надо любить эти битвы "только ETH" и "только BTC". После такой недели они вообще не имеют смысла.

В конце этой крипто-недели вот мой вывод: (Кратко - мосты строятся между двумя мирами)