Примечание редактора: согласно Odaily Planet Daily, 8 июня Taiko, сеть Ethereum второго уровня, основанная на zkRollup, завершила два раунда начального финансирования на общую сумму 22 миллиона долларов США. Первый раунд финансирования составляет 10 миллионов долларов США, возглавляемый Sequoia China, и завершится в третьем квартале 2022 года. Последний раунд финансирования серии A на сумму 12 миллионов долларов возглавил Generative Ventures.
Если вы немного следили за сценой Ethereum с доказательством с нулевым разглашением, вы, вероятно, слышали названия Polygon, Starkware, Scroll и zkSync.
На самом деле, вы, вероятно, не только слышали о них, но и видели их в Твиттере, обсуждающих всевозможные вопросы: каково истинное определение zkEVM, кто впервые развернул zkEVM в основной сети Ethereum, кто маркетинг лучше и другие важные и не очень важные вопросы.
Независимо от вашего взгляда на их аргументы, все эти проекты усердно работают над масштабированием Ethereum.
Но появляется новый игрок, относительно незаметный, но столь же жизнеспособный, как и другие. Этим новым игроком является Taiko — zkEVM, который стремится стать полностью децентрализованным эквивалентом Ethereum с нулевым разглашением. Насколько я знаю, ни одна другая команда zkEVM в настоящее время не пытается достичь этого подвига, поэтому я думаю, что Taiko заслуживает особого внимания.
Давайте посмотрим, что такое Тайко.
фон
Taiko («барабан» по-японски) была основана в начале 2022 года Дэниелом Вангом, Брехтом Девосом и другими известными людьми в этой области. До запуска Taiko они работали в Loopring, первом накопительном пакете с нулевым разглашением, развернутом на Ethereum.
Я думаю, что важно быстро понять роль Loopring в создании и развитии Taiko. Первоначально zkEVM, который строил Тайко, должен был быть частью усилий Loopring по распространению Ethereum с доказательством с нулевым разглашением.
Однако где-то на этапе разработки Внаг и его команда поняли, что их путаница может привести к путанице, поскольку Loopring — это расширение для конкретного приложения, а Taiko — расширение общего назначения. В результате Taiko отделилась от Loopring и развивалась самостоятельно.
В настоящее время в Taiko работает около 20 сотрудников из таких стран, как Турция, Австрия, Барбадос, Китай, Индия, США, Канада, Украина и др.
Технические подробности
ЗкЭВМ Тип-1
Главной особенностью, которая отличает Taiko от конкурентов (точнее, сверстников), является стремление быть zkEVM Type-1. ZkEVM Type-1 стремится быть полностью эквивалентным Ethereum, то есть не вносит никаких изменений в систему Ethereum, чтобы упростить создание доказательств с нулевым разглашением.
Прежде чем углубиться в тему, важно отметить, что zkEVM от Taiko является ответвлением усилий сообщества команды Privacy and Scaling Explorations (PSE). Taiko использует этот форк для тестирования новых вещей, а затем вносит свой вклад в zkEVM PSE, чтобы любой проект, который разрабатывает zkEVM Type-1 (еще нет), мог извлечь выгоду из этого исследования.
ZkEVM Type-1 надеется быть полностью совместимым с Ethereum. В случае с Taiko он должен стать эквивалентом Ethereum на уровне кода операции, а это означает, что хеш-функции, предварительно скомпилированные контракты, деревья транзакций и состояний и другая логика консенсуса не изменятся. Однако, как отмечается в официальном документе Тайко, протокол в настоящее время отключает некоторые предложения по улучшению Ethereum (EIP), но со временем это изменится.
Становление эквивалентом Ethereum дает много преимуществ разработчикам. Например, разработчики могут легко перенести свои смарт-контракты и децентрализованные приложения (dApps) в Taiko. Это очень важно, потому что, если dApp, такой как Uniswap, хочет перейти на Taiko, ему не нужно вносить какие-либо изменения в свой протокол. В противном случае переписывание кода на языке программирования, отличном от Solidity, или внесение других изменений сразу же приведет к многочисленным рискам для безопасности протокола, а также для активов в нем.
Кроме того, в случае Taiko совместимость была дополнительно улучшена. Клиент Taiko основан на проверенном в бою клиенте Ethereum Go-Ethereum. Это означает, что они более знакомы и просты в использовании для тех, кто хочет участвовать. С точки зрения конечного пользователя, возможность использовать Uniswap в Taiko по сравнению с основной сетью Ethereum поддерживает и даже улучшает согласованность, доступность и удовлетворенность пользователей.
Конечно, на пути к идеальной совместимости приходится идти на некоторые компромиссы. Основная проблема с zkEVM типа 1, такими как Taiko, заключается в более медленном создании доказательства с нулевым разглашением. Поскольку Ethereum не рассматривал интеграцию доказательств с нулевым разглашением в начале своей разработки, многие части протокола требуют большого количества вычислений для создания доказательств с нулевым разглашением.
Однако правильная разработка протокола может решить эту проблему. Давайте посмотрим, как Taiko может ускорить генерацию доказательств с нулевым разглашением.
Ускорение генерации доказательств с нулевым разглашением
Тайко ускоряет генерацию доказательств с нулевым разглашением несколькими способами:
Все предложенные блоки на Taiko L2 проверяются немедленно, потому что они детерминированы и не могут быть отозваны. «Детерминированный» означает, что любой может рассчитать состояние цепочки после выполнения. Он должен пройти тест на внутреннюю валидность только один раз, когда блок L2 отправляется в Taiko L1, чтобы считаться проверенным.
Поскольку все блоки предложений Taiko L2 являются детерминированными, их можно доказывать параллельно, а доказательства можно фиксировать в любом порядке. Например, прувер № 1 может одновременно проверять блок № 1, а прувер № 2 может одновременно проверять блок № 2. Это означает, что только Taiko L1 должен ждать подтверждения дольше.
Все это может в определенной степени ускорить генерацию доказательств с нулевым разглашением. Для конечных пользователей это означает мгновенную завершенность на L2 и более быстрое соединение с L2 на L1.
Тайко Сотрудничество
Протокол Taiko с нулевым разглашением использует два смарт-контракта в основной сети Ethereum (L1) и Taiko L2:
Смарт-контракты L1 используются для предложения, доказательства и проверки блоков L2.
Смарт-контракты L2 в настоящее время используются для доказательства недействительности предлагаемых блоков и их привязки, что позволяет протоколу использовать программируемость EVM для обеспечения определенного поведения протокола.
zkSNARKs
Протокол Taiko использует доказательства с кратким неинтерактивным аргументом знания с нулевым разглашением (zkSNARK). По крайней мере, теоретически zkSNARK считается менее масштабируемым, чем zkSTARK, и требует надежного процесса установки. Однако zkSNARK легче, чем zkSTARK, и поэтому для проверки требуется меньше времени. А zkSNARK требует меньше газа, обеспечивая более дешевые транзакции.
Чтобы сгенерировать zkSNARK, Taiko использует основанную на лагранжевом кратности систему доказательства Global No Interaction Proof of Knowledge (PLONK). Преимущество PLONK в том, что он основан на стандартной криптографии, а его доказательства имеют небольшой размер. Однако Тайко также изучает возможность объединения PLONK с другими системами проверки, такими как Plonky 2, Hyperplonk и Halo.
Сеть Taiko состоит из трех участников:
Предлагающий строит блок Rollup на основе транзакций пользователя L2 и отправляет его клиенту Taiko L1. Они решают, какие транзакции включаются в блок и как их упорядочивать.
Доказывающая сторона генерирует доказательства zkSNARK для подтверждения достоверности транзакций и блоков L2. Они решают, какие блоки должны быть проверены в сети.
Операторы узлов выполняют транзакции из данных в цепочке, чтобы оставаться в синхронизации с состоянием цепочки. Предлагающие и доказывающие также запускают узлы, но те, кто хочет предоставлять другие услуги (например, обозреватели блоков), также должны запускать узлы.
Точка Тайко L2
Узлы Taiko L2 извлекают данные транзакций из Ethereum и выполняют эти транзакции на Taiko L2. Как мы упоминали ранее, узлы Taiko L2 основаны на Go-Ethereum.
Пожалуйста, ознакомьтесь с официальным документом Taiko для получения более подробных технических деталей.
Текущий прогресс
Taiko недавно запустила свою первую тестовую сеть под названием Snæfellsjökull в честь вулкана в западной Исландии. Пользователи могут протестировать Taiko, тестируя мосты между Ethereum A1 и Taiko A1, передавая токены между разными учетными записями, взаимодействуя с контрактами и запуская узлы-предложения.
С точки зрения тестирования тестовая сеть имела огромный успех. Всего за неделю сеть Taiko L2 обработала более 1,6 миллиона транзакций, более 650 000 блоков и 275 000 адресов кошельков. Можно сказать, что Snæfellsjökull взорвался.
Источник: explorer.a 1.taiko.xyz.
Команда Taiko намерена постепенно отказаться от Snæfellsjökull в течение следующих нескольких месяцев и заменить ее новой тестовой сетью, в которой будет использоваться технология доказательства с нулевым разглашением. Дальнейшие тестовые сети будут улучшать предыдущие версии и внедрять экономические модели токенов.
Тайко не уточнил, когда произойдет запуск его основной сети, но упомянул конец 2023 года или следующий год как более вероятный.
Вера Тайко
Хотя Taiko сильно отличается по техническому дизайну от других zkEVM в этой области, его стремление также заслуживает обсуждения.
Taiko утверждает, что хочет быть доступным, инклюзивным, открытым, без разрешения и децентрализованным. На самом деле, он надеется, что сможет начать работу с полностью децентрализованным набором предлагающих и доказывающих. Это отличается от других zkEVM, поскольку большинство из них предпочитают начинать с централизации и постепенно становятся децентрализованными.
Тайко считает, что быть полностью децентрализованным и преследовать те же цели, что и Ethereum, необходимо, чтобы стать эквивалентом Ethereum. Кроме того, команда намерена запустить DAO в будущем. Соучредитель Ван также сказал, что Тайко надеется работать как некоммерческая организация.
Чтение о ценностях Тайко не может не чувствовать себя очень авангардно, почти революционно. Это напоминает мне заявление о миссии zkSync. Я надеюсь, что Taiko выполнит свое обещание и станет первой полностью децентрализованной zkEVM типа 1, которая появится в основной сети Ethereum.
Заключение
ЗкЭВМ Тип-1 имеет свои преимущества и недостатки. Но что, если его недостатки ничтожны по сравнению с преимуществами, которые он предлагает? Что, если эквивалент Ethereum, кажущийся самым высоким стандартом, в сочетании с существующими и потенциальными способами ускорения генерации доказательств с нулевым разглашением действительно сделает zkEVM Type-1 победителем в долгосрочной перспективе? Есть еще много неизвестных, но, по крайней мере, Виталик, кажется, намекает, что zkEVM, подобный Type-1, является правильным выбором.
Что касается Taiko, то я думаю, что она оказалась в нужном месте в нужное время. 2023 год, похоже, зарезервирован для Build. Если Taiko достигнет своих целей и запустит свою основную сеть в этом или начале следующего года, она может стать одним из крупных победителей в следующем цикле внедрения.
Тайко явно сам по себе, пытаясь достичь выдающихся результатов. Удастся ли это — другой вопрос, но, судя по тому, чего добились Ван и его команда с помощью Loopring, шансы, похоже, на их стороне. Если Тайко победит, Эфириум тоже станет победителем.
Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Вопреки тенденции, он собрал 12 миллионов долларов США и был выбран Sequoia.Каково происхождение Тайко, новичка zkEVM Type-1?
Написал: umede.eth
Сборник: Odaily Planet Daily JK
Примечание редактора: согласно Odaily Planet Daily, 8 июня Taiko, сеть Ethereum второго уровня, основанная на zkRollup, завершила два раунда начального финансирования на общую сумму 22 миллиона долларов США. Первый раунд финансирования составляет 10 миллионов долларов США, возглавляемый Sequoia China, и завершится в третьем квартале 2022 года. Последний раунд финансирования серии A на сумму 12 миллионов долларов возглавил Generative Ventures.
Если вы немного следили за сценой Ethereum с доказательством с нулевым разглашением, вы, вероятно, слышали названия Polygon, Starkware, Scroll и zkSync.
На самом деле, вы, вероятно, не только слышали о них, но и видели их в Твиттере, обсуждающих всевозможные вопросы: каково истинное определение zkEVM, кто впервые развернул zkEVM в основной сети Ethereum, кто маркетинг лучше и другие важные и не очень важные вопросы.
Независимо от вашего взгляда на их аргументы, все эти проекты усердно работают над масштабированием Ethereum.
Но появляется новый игрок, относительно незаметный, но столь же жизнеспособный, как и другие. Этим новым игроком является Taiko — zkEVM, который стремится стать полностью децентрализованным эквивалентом Ethereum с нулевым разглашением. Насколько я знаю, ни одна другая команда zkEVM в настоящее время не пытается достичь этого подвига, поэтому я думаю, что Taiko заслуживает особого внимания.
Давайте посмотрим, что такое Тайко.
фон
Taiko («барабан» по-японски) была основана в начале 2022 года Дэниелом Вангом, Брехтом Девосом и другими известными людьми в этой области. До запуска Taiko они работали в Loopring, первом накопительном пакете с нулевым разглашением, развернутом на Ethereum.
Я думаю, что важно быстро понять роль Loopring в создании и развитии Taiko. Первоначально zkEVM, который строил Тайко, должен был быть частью усилий Loopring по распространению Ethereum с доказательством с нулевым разглашением.
Однако где-то на этапе разработки Внаг и его команда поняли, что их путаница может привести к путанице, поскольку Loopring — это расширение для конкретного приложения, а Taiko — расширение общего назначения. В результате Taiko отделилась от Loopring и развивалась самостоятельно.
В настоящее время в Taiko работает около 20 сотрудников из таких стран, как Турция, Австрия, Барбадос, Китай, Индия, США, Канада, Украина и др.
Технические подробности
ЗкЭВМ Тип-1
Главной особенностью, которая отличает Taiko от конкурентов (точнее, сверстников), является стремление быть zkEVM Type-1. ZkEVM Type-1 стремится быть полностью эквивалентным Ethereum, то есть не вносит никаких изменений в систему Ethereum, чтобы упростить создание доказательств с нулевым разглашением.
Прежде чем углубиться в тему, важно отметить, что zkEVM от Taiko является ответвлением усилий сообщества команды Privacy and Scaling Explorations (PSE). Taiko использует этот форк для тестирования новых вещей, а затем вносит свой вклад в zkEVM PSE, чтобы любой проект, который разрабатывает zkEVM Type-1 (еще нет), мог извлечь выгоду из этого исследования.
ZkEVM Type-1 надеется быть полностью совместимым с Ethereum. В случае с Taiko он должен стать эквивалентом Ethereum на уровне кода операции, а это означает, что хеш-функции, предварительно скомпилированные контракты, деревья транзакций и состояний и другая логика консенсуса не изменятся. Однако, как отмечается в официальном документе Тайко, протокол в настоящее время отключает некоторые предложения по улучшению Ethereum (EIP), но со временем это изменится.
Становление эквивалентом Ethereum дает много преимуществ разработчикам. Например, разработчики могут легко перенести свои смарт-контракты и децентрализованные приложения (dApps) в Taiko. Это очень важно, потому что, если dApp, такой как Uniswap, хочет перейти на Taiko, ему не нужно вносить какие-либо изменения в свой протокол. В противном случае переписывание кода на языке программирования, отличном от Solidity, или внесение других изменений сразу же приведет к многочисленным рискам для безопасности протокола, а также для активов в нем.
Кроме того, в случае Taiko совместимость была дополнительно улучшена. Клиент Taiko основан на проверенном в бою клиенте Ethereum Go-Ethereum. Это означает, что они более знакомы и просты в использовании для тех, кто хочет участвовать. С точки зрения конечного пользователя, возможность использовать Uniswap в Taiko по сравнению с основной сетью Ethereum поддерживает и даже улучшает согласованность, доступность и удовлетворенность пользователей.
Конечно, на пути к идеальной совместимости приходится идти на некоторые компромиссы. Основная проблема с zkEVM типа 1, такими как Taiko, заключается в более медленном создании доказательства с нулевым разглашением. Поскольку Ethereum не рассматривал интеграцию доказательств с нулевым разглашением в начале своей разработки, многие части протокола требуют большого количества вычислений для создания доказательств с нулевым разглашением.
Однако правильная разработка протокола может решить эту проблему. Давайте посмотрим, как Taiko может ускорить генерацию доказательств с нулевым разглашением.
Ускорение генерации доказательств с нулевым разглашением
Тайко ускоряет генерацию доказательств с нулевым разглашением несколькими способами:
Все предложенные блоки на Taiko L2 проверяются немедленно, потому что они детерминированы и не могут быть отозваны. «Детерминированный» означает, что любой может рассчитать состояние цепочки после выполнения. Он должен пройти тест на внутреннюю валидность только один раз, когда блок L2 отправляется в Taiko L1, чтобы считаться проверенным.
Поскольку все блоки предложений Taiko L2 являются детерминированными, их можно доказывать параллельно, а доказательства можно фиксировать в любом порядке. Например, прувер № 1 может одновременно проверять блок № 1, а прувер № 2 может одновременно проверять блок № 2. Это означает, что только Taiko L1 должен ждать подтверждения дольше.
Все это может в определенной степени ускорить генерацию доказательств с нулевым разглашением. Для конечных пользователей это означает мгновенную завершенность на L2 и более быстрое соединение с L2 на L1.
Тайко Сотрудничество
Протокол Taiko с нулевым разглашением использует два смарт-контракта в основной сети Ethereum (L1) и Taiko L2:
zkSNARKs
Протокол Taiko использует доказательства с кратким неинтерактивным аргументом знания с нулевым разглашением (zkSNARK). По крайней мере, теоретически zkSNARK считается менее масштабируемым, чем zkSTARK, и требует надежного процесса установки. Однако zkSNARK легче, чем zkSTARK, и поэтому для проверки требуется меньше времени. А zkSNARK требует меньше газа, обеспечивая более дешевые транзакции.
Чтобы сгенерировать zkSNARK, Taiko использует основанную на лагранжевом кратности систему доказательства Global No Interaction Proof of Knowledge (PLONK). Преимущество PLONK в том, что он основан на стандартной криптографии, а его доказательства имеют небольшой размер. Однако Тайко также изучает возможность объединения PLONK с другими системами проверки, такими как Plonky 2, Hyperplonk и Halo.
Сеть Taiko состоит из трех участников:
Точка Тайко L2
Узлы Taiko L2 извлекают данные транзакций из Ethereum и выполняют эти транзакции на Taiko L2. Как мы упоминали ранее, узлы Taiko L2 основаны на Go-Ethereum.
Пожалуйста, ознакомьтесь с официальным документом Taiko для получения более подробных технических деталей.
Текущий прогресс
Taiko недавно запустила свою первую тестовую сеть под названием Snæfellsjökull в честь вулкана в западной Исландии. Пользователи могут протестировать Taiko, тестируя мосты между Ethereum A1 и Taiko A1, передавая токены между разными учетными записями, взаимодействуя с контрактами и запуская узлы-предложения.
Вулкан Снайфедльсйокудль. Источник: Исландский журнал.
С точки зрения тестирования тестовая сеть имела огромный успех. Всего за неделю сеть Taiko L2 обработала более 1,6 миллиона транзакций, более 650 000 блоков и 275 000 адресов кошельков. Можно сказать, что Snæfellsjökull взорвался.
Источник: explorer.a 1.taiko.xyz.
Команда Taiko намерена постепенно отказаться от Snæfellsjökull в течение следующих нескольких месяцев и заменить ее новой тестовой сетью, в которой будет использоваться технология доказательства с нулевым разглашением. Дальнейшие тестовые сети будут улучшать предыдущие версии и внедрять экономические модели токенов.
Тайко не уточнил, когда произойдет запуск его основной сети, но упомянул конец 2023 года или следующий год как более вероятный.
Вера Тайко
Хотя Taiko сильно отличается по техническому дизайну от других zkEVM в этой области, его стремление также заслуживает обсуждения.
Taiko утверждает, что хочет быть доступным, инклюзивным, открытым, без разрешения и децентрализованным. На самом деле, он надеется, что сможет начать работу с полностью децентрализованным набором предлагающих и доказывающих. Это отличается от других zkEVM, поскольку большинство из них предпочитают начинать с централизации и постепенно становятся децентрализованными.
Тайко считает, что быть полностью децентрализованным и преследовать те же цели, что и Ethereum, необходимо, чтобы стать эквивалентом Ethereum. Кроме того, команда намерена запустить DAO в будущем. Соучредитель Ван также сказал, что Тайко надеется работать как некоммерческая организация.
Чтение о ценностях Тайко не может не чувствовать себя очень авангардно, почти революционно. Это напоминает мне заявление о миссии zkSync. Я надеюсь, что Taiko выполнит свое обещание и станет первой полностью децентрализованной zkEVM типа 1, которая появится в основной сети Ethereum.
Заключение
ЗкЭВМ Тип-1 имеет свои преимущества и недостатки. Но что, если его недостатки ничтожны по сравнению с преимуществами, которые он предлагает? Что, если эквивалент Ethereum, кажущийся самым высоким стандартом, в сочетании с существующими и потенциальными способами ускорения генерации доказательств с нулевым разглашением действительно сделает zkEVM Type-1 победителем в долгосрочной перспективе? Есть еще много неизвестных, но, по крайней мере, Виталик, кажется, намекает, что zkEVM, подобный Type-1, является правильным выбором.
Что касается Taiko, то я думаю, что она оказалась в нужном месте в нужное время. 2023 год, похоже, зарезервирован для Build. Если Taiko достигнет своих целей и запустит свою основную сеть в этом или начале следующего года, она может стать одним из крупных победителей в следующем цикле внедрения.
Тайко явно сам по себе, пытаясь достичь выдающихся результатов. Удастся ли это — другой вопрос, но, судя по тому, чего добились Ван и его команда с помощью Loopring, шансы, похоже, на их стороне. Если Тайко победит, Эфириум тоже станет победителем.