Интервью с СЕО Starknet

Что привело вас в криптовалюту и почему вы основали Zcash и StarkWare?

Я был профессором по информатике и занимался теоретическими исследованиями в этой области.

В 2008 году я начал заниматься исследованиями в области доказательств с нулевым разглашением (ZKP). В мае 2013 года, десять лет назад, я посетил конференцию по Bitcoin в Сан-Хосе и понял, что область блокчейна является идеальным применением для моих исследований. Я почти уверен, что я был первым человеком, который понял, что доказательства вычислений общего назначения и блокчейн могут очень хорошо сочетаться. Десять лет назад Ethereum еще не существовал, и когда я впервые встретился с Виталиком, он еще не был основателем Ethereum, а был автором контента для Bitcoin Magazine. Мы обсуждали множество вопросов.

Одной из моих ранних научных статей была "Zerocash: децентрализованные анонимные платежи на основе Bitcoin", где рассматривалось, как использовать доказательства с нулевым разглашением для защиты платежей на BTC. Это и стало основой проекта Zcash, над развитием которого мы работали. В 2018 году мы предложили новые технологические улучшения, названные STARK, которые помогают масштабировать Ethereum и другие общие блокчейны. В 2018 году мы основали компанию StarkWare, основателями которой стали я, Ури Колодни, Алессандро Кьеза и Майкл Риабзев. Сегодня наше доказательство эффективности считается наилучшим способом масштабирования Ethereum.

Вы общались с Виталиком еще на ранних стадиях, и мы помним, что он начал инвестировать и поддерживать StarkWare на ранней стадии

Да, Виталик является одним из ранних инвесторов StarkWare. Это одно из немногих инвестиций, которые он сделал, и мы гордимся этим.

Я помню, что Виталик стал основным инвестором в 2018 году, где-то осенью. Мы присутствовали на одной встрече, которая проходила в Шэньчжэне(Китай). Мы гуляли, обсуждая такие вещи, как StarkWare, его инвестиции и многое другое. Так что все детали этого решения были обсуждены и приняты именно в Китае.

Вы начали рассматривать использование ZK-доказательств в качестве решения проблемы масштабируемости задолго до появления Ethereum. Как вы предвидели проблему масштабируемости в блокчейне?

Многие мессенджеры могут достигать скорости до миллиона операций в секунду. Сегодня блокчейн нуждается в возможности проведения операций с NFT, играми, голосованиями и управлением. Но существующие технологии, такие как Bitcoin и Ethereum, могут обрабатывать всего 10-20 транзакций в секунду. Для этого требуются новые технологии, которые позволят расширить масштаб блокчейна или его применение, без вреда для безопасности. Именно это делает Starknet.

Основатель Arbitrum, профессор Эд Фелтен, также начал работу над проблемой масштабируемости примерно в 2014 году, но он решительно выбрал интерактивные доказательства обмана, которые впоследствии были широко признаны. Почему вы с самого начала решили использовать ZK в качестве решения?

Это более совершенная и действенная технология. По сути, каждый в команде Ethereum знает, что Optimistic Rollups не работает. Ни Arbitrum, ни Optimistic не используют доказательства обмана.

Мы никогда не предоставляли обновление состояния без STARK-доказательства. Даже если бы наша система могла обеспечить производительность в 10 раз выше, чем у Ethereum, мы использовали бы менее 1% ресурсов Ethereum. Optimistic Rollups - хорошая идея, но они не работают, и именно потому, что они не работают, они не используются.

Хотя Виталик инвестировал в StarkWare, но затем поддержал Optimism. Кажется, укрепляется мнение о том, что проблема масштабируемости должна быть решена в первую очередь с помощью Optimistic, а затем перейти к ZK, потому что технически реализация ZKP или ZK Rollup гораздо сложнее, чем у Optimistic. Как вы смотрите на эту ситуацию?

Я ценю команду Optimism, они выдающиеся участники сообщества, но их технология не работает. Это похоже на то, что мы прикрепляем перья к людям и пытаемся заставить их размахивать крыльями, чтобы строить самолеты. Это звучит логично, вот почему Леонардо да Винчи рисовал людей с крыльями. Но это не работает с математической и экономической точек зрения. Я очень ценю и восхищаюсь их умом, но это не изменяет факта, что это технология, которая не может хорошо функционировать в долгосрочной перспективе.

Но ведь для обычного пользователя Optimism и Arbitrum являются практичными решениями на данный момент, не так ли?

Эли: Безусловно, но вам нужно понимать, что когда безопасность ваших активов доверяется одному оператору, тогда это работает очень эффективно. Вы можете подключить свои активы к любому оператору, которому вы действительно доверяете. Это может быть централизованная биржа или что-то в этом роде, и вы получаете невероятную пропускную способность TPS, но вы доверяете свои средства этому оператору, контролируемому одним человеком. Если он выйдет из строя, отключится или произойдет что-то плохое, все ваши средства пропадут.

Arbitrum, Optimism имеют те же предположения о безопасности, что и Binance. Binance — отличный продукт для пользователей, возможно, даже лучше, чем Arbitrum, но для пользователей важно, чтобы их не обманули. Если кто-то скажет, что я не буду использовать Binance, потому что Binance контролируется централизованно, и я собираюсь децентрализовать, размещая активы на Arbitrum или Optimism, но на самом деле это одно и то же.

Значит, когда пользователи используют Optimism или Arbitrum, они на самом деле используют централизованную торговую платформу?

Эли: Они используют централизованную систему, и, что еще хуже, она основана на коде, который не был разработан с нуля для работы с одним оператором. Так что я не думаю, что это дает вам такую ​​же правовую защиту, как Binance.

Говоря о ZKP, вы создали zk-STARK в дополнение к широко известному zk-SNARK Почему вы хотите установить два разных технических стандарта для технологии ZK? И почему StarkWare в итоге выбрала zk-STARK?

Технология SNARKs может быть была создана раньше, но я думаю, что эта технология уступает с точки зрения эффективности и безопасности. Это как технология, которая появилась первой, так же как паровой двигатель, который не был так эффективен, как бензиновый двигатель, но появился первым, я думаю, что это немного похоже на нашу ситуацию.

Что касается того, почему выбран zk-STARK, то это выбор, не требующий размышлений. Он имеет самую безопасную и перспективную базовую технологию, основанную на проверенной на практике математике и криптографии. Стоит отметить, что это постквантовая безопасность, чего нельзя достичь другими системами. Его методы доказательства самые быстрые и эффективные.

Сравнительная таблица технических деталей zk-STARK и zk-SNARK

Многие проекты ZK Rollup и zkEVM в настоящее время используют zk-SNARK Что вы думаете о будущем zk-SNARK?

Я думаю, что использование будет постепенно прекращено. Его можно оставить для транзакций для личного использования, когда пользователей в некоторых случаях может не волновать эффективность проверки. Все проекты в системе Polygon используют изобретенные нами STARK, от Hermez, Miden до Polygon Zero и так далее. Некоторые проекты в настоящее время временно используют SNARK, но в конечном итоге они перейдут на STARK. Таким образом, наибольшее количество проектов, подтверждающих достоверность блокчейна, в настоящее время используют STARK.

О Starknet, Cairo и zkEVM

Многим людям трудно понять, что Starknet не совместим с Ethereum EVM, и разработчикам необходимо использовать Cairo, новый язык для разработки контрактов. Это, похоже, заставляет Starknet терять многие преимущества совместимости EVM с L1 и L2, то есть минимизировать затраты на разработку, чтобы быстро запустить экосистему за короткий промежуток времени. Что еще более важно, у экосистемы Starknet уже есть собственное решение для этого.

Почему StarkWare создала два разных проекта, StarkEx и Starknet? Почему нельзя совместить их?

StarkEx и Starknet служат двум разным целям. Когда вы говорите о высокопроизводительных транзакциях определенного характера, таких как чеканка или торговля NFT, вы можете получить лучшую производительность и пропускную способность от StarkEx - системы, специально созданной для этого. И мы очень гордимся тем, что протестировали всю технологию на практике.

Starknet более сложный проект, созданный первым, он служит другой цели, позволяя вам выполнять вычисления общего назначения, такие как Ethereum. Он является компромиссом между универсальностью и эффективностью.

Значит, для команды StarkWare очень важно добиться высокого показателя TPS транзакций в конкретных сценариях приложений?

Да, для нас очень важно достичь этой цели. Многие команды «запускают свои собственные проекты», потом в Твиттере публикуют красивые цифры и надеются, что люди не заметят, что это неработающая система. Но мы гордимся нашей системой с высоким TPS, которая работает уже много лет. Все дело в увеличении пропускной способности и снижении транзакционных издержек.

Я хочу сказать, что до сих пор наша система обработала более 450 миллионов транзакций, почти на $1 триллион, и было выпущено более 100 миллионов NFT. Ни один другой L2 не может этого сделать. Наш ежедневный TPS на 50% выше, чем у Ethereum, а наш недельный TPS на 30% выше, чем у Ethereum. Ни одна другая система не достигла такого уровня, и мы никогда не использовали больше 1% Ethereum Gas, хотя наш TPS увеличился на 30%.

StarkEx — это очень специфический вариант использования StarkWare, но как технологичный проект, с самого начала имеет очень четкое позиционирование своей бизнес-модели.

Я часто люблю говорить: «Смотри на звезды, но стой на земле». Мы очень хорошо знаем математику, инженерию и технологии и мы легко можем увлечься новым классным проектом. Но мы откладываем в сторону даже классный проект, который не может удовлетворить насущные потребности пользователей. Вместо этого мы очень сосредоточены и усердно работаем, чтобы предоставить пользователям и клиентам то, что им действительно нужно. Как ученый, мне очень жаль, что я не могу делать такие вещи, как быстрое преобразование Фурье на эллиптических кривых (ECFFT), и множество всевозможных сложных методов, которые, как мы знаем, могут улучшить производительность в 10 раз или даже 100.

Члены команды StarkWare

О языке Cairo. Будучи Ethereum L2, Starknet не совместим с Ethereum EVM, и разработчики должны использовать язык Cairo для создания приложений. Похоже, что из-за этого Starknet теряет многие преимущества «экосистемы, совместимой с EVM». В чем преимущество собственного языка?

Да, я хочу кое-что сказать о Cairo. Во-первых, это продвинутый язык программирования смарт-контрактов нового поколения. Он с самого начала поддерживает некоторые новые функции, такие как умные кошельки или абстракции учетных записей, которые встроены в язык Cairo. Это язык программирования, вдохновленный Rust, и многие разработчики, пробующие Solidity и использующие его, особенно те, кто знаком с Rust, скажут, что предпочитают программировать в Cairo, а не в Solidity. Так что это очень, очень хороший язык программирования сам по себе.

Второе, что я хотел бы сказать, это то, что причины использования специального языка для создания доказательств STARK или доказательств достоверности в целом очень похожи на то, почему вы хотели бы писать смарт-контракты в Solidity. Вам нужно использовать Solidity не потому, что он лучше подходит для разработчиков, чем Python, Rust или C++. Когда вы переходите на новый фреймворк с инфраструктурой блокчейна, вам приходится использовать другой язык программирования. Я приведу другой пример. Если вы хотите написать действительно хорошую графику, чтобы использовать преимущества графического процессора, вам следует писать на CUDA, потому что это язык, который максимально использует производительность графического процессора.

То же самое верно и для доказательств STARK. С другой виртуальной машиной существует другой набор ограничений. Если вы хотите достичь производительности, например, поместить миллион NFT в блок, вам нужно более эффективно использовать языки программирования. С помощью STARK мы можем отчеканить 10 миллионов NFT в одном доказательстве на Immutable X, но я не могу представить что-либо, основанное на EVM или любом zkEVM, близкое к этому. Я могу бросить вызов всем zkEVM мира, они этого не сделают. Вот почему вам нужна другая вычислительная модель и другой язык программирования.

Однако многие экосистемные проекты, которые приняли язык Rust в Polkadot, поделились проблемой операционных затрат, поскольку нанимать или обучать инженера, способного разрабатывать контракты на языке Rust, очень дорого. С другой стороны, если команда разрабатывает проект на Ethereum или на совместимой с EVM L1, это очень дешево. Как вы относитесь к этой ситуации? Является ли это проблемой для экосистемы Starknet?

Возможно, это может быть проблемой, но разработчики предпочитают Cairo и STARK. Количество разработчиков и команд увеличивается каждый день, и я думаю, они видят потенциал. Многие люди понимают проблему масштабирования и задают себе вопрос о лучшем и наиболее перспективном решении, которое действительно открывает возможности масштабирования для глобального спроса, и я думаю, что многие из них пришли к правильному выводу — следовать пути Starknet и Cairo 1.0.

Здесь есть аналогия: обычно вы пишете первую версию вашего программного обеспечения на Python, но когда вы стремитесь к масштабированию, вам нужно писать его на другом очень эффективном языке, таком как C++, WASM, Rust и т. д. Я думаю, то же самое происходит с Cairo: вы можете взять код на Solidity и развернуть его в Kakarot — это похоже на написание движка для высокочастотной торговли (HFT) на Python, а так делать нельзя. Вам нужно писать на другом языке, и этим языком будет Cairo.

Есть ли проекты, разрабатывающие zkEVM на основе Starknet?

Да, есть очень хорошие проекты, создающие ZK-EVM на StarkNet. Первый из них называется Warp и создан командой NetherMine, которая делает отличную работу. Второй называется Kakarot и представляет собой формирующееся сообщество.

Kakarot — это ZK-EVM, построенный на основе Cairo. Так что я уверен, что большинство ZK-EVM будут развернуты на Starknet. Если у вас уже есть идея портировать ваш код Solidity или EVM на L2, эффективный Rollup, ваш лучший вариант — сделать это на основе Kakarot или Warp. Таким образом, снова демонстрируется мощь Cairo и Starknet.

В текущей ситуации ZK Rollup, Starknet и zkSync являются абсолютными лидерами, и между ними существует сильная конкурентная связь. По вашему мнению, в чем разница между Starknet и zkSync, и в чем преимущество Starknet?

Вам нужно задать себе вопрос, где находится лучшие технологии? Где наибольшая вероятность собрать больше разработчиков и предоставить лучшие и наиболее безопасные технологии? Мы продемонстрировали наши возможности до zkSync, они были отличными рассказчиками, но между историей и опытом разработчика было некоторое несоответствие. У меня есть предложение: я призываю разработчиков, которые это читают, попробовать разработать или развернуть что-то на zkSync и попробовать разработать и развернуть что-то на Starknet, вы почувствуете явную разницу.

Позвольте мне рассказать вам историю. Кто-то на Reddit попросил кого-то создать что-то, что может выполнить 300 000 транзакций. Мы это сделали на основной сети, и пропускная способность составила около 3000. Через неделю или две команда zkSync заявила, что у них есть 3000 TPS, но эти 3000 TPS никогда не были измерены, подтверждены или продемонстрированы, но это хорошая история. В индустрии, где многие люди любят рассказывать истории, есть и те, кто представляет факты, и мы гордимся нашей способностью представлять факты.

Есть отзывы пользователей. В настоящее время стоимость газа для перевода активов или взаимодействия на ZK Rollup очень высока. Почему так происходит?

В настоящее время Starknet сталкивается с перегрузкой из-за высокого спроса. В течение двух недель мы выпустим версию 12, которая значительно повысит пропускную способность и решит большую часть потребностей. Затем, в следующем релизе, когда мы полностью интегрируем Volition для обработки данных вне цепи, стоимость будет существенно снижена, что может произойти через месяц или два.

Говоря о разработчиках в экосистеме, некоторые люди действительно отмечают, что развитие экосистемы Starknet более сбалансировано, чем у zkSync.

Именно так, это результат лучшего и более глубокого технического понимания. Мы находимся в этой сфере уже долгое время, разворачиваем контент в производстве и совершенствуем систему. Мы знаем, что делаем. Но мы не очень хороши в рассказах, у нас почти нет шумихи. Мы похожи на Tesla, у Tesla нет отдела маркетинга, наши продукты сами являются нашей рекламой.

Сцена конференции StarkWare Sessions 2023

В сфере Web3 команды, которые понимают маркетинг, кажутся более популярными. У многих проектов, ориентированных на технологии, возникают проблемы в развитии экосистемы, не так ли?

Нет, я не думаю, что это произойдет далее. Причина заключается в том, как развивался Ethereum. Однажды очень успешное приложение поймет, на что способен Starknet. Какое это приложение, я пока не знаю. Если мне нужно угадать, я думаю, что это не продукт, который уже существует на L1 и может быть легко скопирован и вставлен на L2.

Так что я думаю, что это будет нечто у всех на виду и о чем все будут говорить — совершенно новое приложение, которое невозможно на L1 или даже на других L2. Это будет точка перелома, и разработчики будут собираться вокруг него. Именно поэтому мы уделяем этому большую часть нашего внимания. Мы пришли на EDCON, чтобы связаться с большим числом разработчиков и пригласить их присоединиться к нашей экосистеме. Некоторые из них создадут замечательные вещи, которые я не могу предсказать.

У вас есть какие-либо советы для разработчиков, планирующих разработку в экосистеме Starknet? Что может предложить Starknet им?

Я не могу ответить на этот вопрос за них, даже если я дам ответ, им не следует слушать меня, они должны решить сами. Я думаю, что некоторые вещи просто потрясающие, например, создание инфраструктуры базы данных на Starknet, таких как продвинутые оракул-сервисы, Proof of Humanity, социальные сети и т. д. Есть много по-настоящему удивительных вещей, которые можно сделать, и они должны изучить это и выяснить то, что, по их мнению, отсутствует или является наиболее интересным.

Starknet — это следующий шаг в развитии блокчейна, и он очень важен. Если вы разработчик, Starknet будет готов для пользователей, и мы создаем его для конечных пользователей. Я думаю, у нас есть очень четкий план развития, больше разработчиков, и есть много инструментов, которые нужно создать, много работы, которую нужно выполнить. Есть много возможностей для вас, чтобы выделяться и заслужить известность своим трудом.

Что еще вы хотели бы сказать читателям?

Если у вас была бы машина времени, то вы могли бы вернуться в ранние дни Ethereum и построить практически все, что вы хотите и все это было бы очень успешно, например, первый рынок прогнозов, первый кошелек и т. д. Однако игра еще не окончена, есть возможности следующего поколения, и я думаю, что победителем этого поколения станет Starknet. Так что сейчас — самое время узнавать о Starknet.