Примітка редактора: за даними Odaily Planet Daily, 8 червня Taiko, мережа другого рівня Ethereum на основі zkRollup, завершила два раунди початкового фінансування на загальну суму 22 мільйони доларів США. Перший раунд фінансування становить 10 мільйонів доларів США, який очолює Sequoia China, і завершиться в третьому кварталі 2022 року. Останній раунд фінансування Серії А на суму 12 мільйонів доларів очолював Generative Ventures.
Якщо ви трохи спостерігали за нульовим знанням сцени Ethereum, ви, напевно, чули назви Polygon, Starkware, Scroll і zkSync.
Насправді, ви, напевно, не тільки чули про них, але й бачили, як вони в Twitter обговорюють усілякі питання: яке справжнє визначення zkEVM, хто вперше розгортає/буде/буде розгортати zkEVM в основній мережі Ethereum, хто Marketing it Better та інші важливі та не дуже важливі питання.
Незалежно від вашого погляду на їхні аргументи, усі ці проекти наполегливо працюють над масштабуванням Ethereum.
Але з’являється новий гравець, відносно стриманий, але такий же життєздатний, як і інші. Цим новим гравцем є Taiko — zkEVM, який має на меті бути повністю децентралізованим масштабованим еквівалентом Ethereum із нульовим рівнем знань. Наскільки я знаю, жодна інша команда zkEVM наразі не намагається досягти цього досягнення, тому я вважаю, що Taiko заслуговує на особливу увагу.
Давайте подивимося, що таке Тайко.
фон
Taiko («барабан» японською) був заснований на початку 2022 року Даніелем Вангом, Брехтом Девосом та іншими відомими іменами в цій галузі. Перш ніж запустити Taiko, вони працювали в Loopring, першому зведеному пакеті з нульовими знаннями, розгорнутому на Ethereum.
Я вважаю, що важливо швидко зрозуміти роль Loopring у створенні та розвитку Taiko. Спочатку zkEVM, який розробляв Taiko, мав бути частиною зусиль Loopring, спрямованих на те, щоб Ethereum з нульовим знанням і підтримкою доказів ставитися до мас.
Однак десь на етапі розробки Wnag і його команда зрозуміли, що сплутати їх може бути досить заплутаним, оскільки Loopring є розширенням для конкретного додатка, тоді як Taiko має бути розширенням загального призначення. В результаті Taiko відокремився від Loopring і розвивався самостійно.
Наразі Taiko складається з близько 20 співробітників з таких країн, як Туреччина, Австрія, Барбадос, Китай, Індія, США, Канада, Україна тощо.
технічні деталі
Тип-1 zkEVM
Основна особливість, яка відрізняє Taiko від конкурентів (а точніше, однолітків), це його мета бути Type-1 zkEVM. Тип-1 zkEVM прагне бути повністю еквівалентним Ethereum, тобто він не вносить жодних змін у систему Ethereum, щоб полегшити створення доказів з нульовим знанням.
Перш ніж приступити до цього, важливо зазначити, що zkEVM Taiko є розгалуженням спільноти команди Privacy and Scaling Explorations (PSE). Taiko використовує цей форк, щоб тестувати нові речі, а потім робити внесок у zkEVM PSE, щоб будь-який проект, який розробляє Type-1 zkEVM (поки що ні), міг отримати користь від цього дослідження.
Type-1 zkEVM сподівається бути повністю сумісним з Ethereum. У випадку з Taiko він має намір бути еквівалентом Ethereum на рівні коду операції, що означає, що хеш-функції, попередньо скомпільовані контракти, дерева транзакцій і станів, а також інша логіка узгодженості не зміниться. Однак, як зазначено в документі Taiko, протокол наразі вимикає певні пропозиції щодо вдосконалення Ethereum (EIP), але з часом це зміниться.
Ставши еквівалентом Ethereum, розробник отримує багато переваг. Наприклад, розробники можуть безперешкодно перенести свої смарт-контракти та децентралізовані програми (dApps) на Taiko. Це дуже важливо, оскільки якщо dApp, як Uniswap, хоче перейти на Taiko, йому не потрібно вносити жодних змін у свій протокол. Інакше переписування коду іншою мовою програмування, відмінною від Solidity, або внесення інших змін відразу створить численні ризики для безпеки протоколу, а також активів у ньому.
Крім того, у випадку з Taiko сумісність була додатково покращена. Клієнт Taiko базується на випробуваному в боях клієнті Ethereum Go-Ethereum. Це означає, що вони більш звичні та прості у використанні для тих, хто хоче взяти участь. З точки зору кінцевого користувача, можливість використання Uniswap у Taiko порівняно з основною мережею Ethereum підтримує та навіть покращує послідовність, доступність і задоволеність користувачів.
Звичайно, є певні компроміси, які потрібно зробити, щоб знайти ідеальний шлях сумісності. Основною проблемою для zkEVM типу 1, як-от Taiko, є повільніше створення доказів нульового знання. Оскільки Ethereum не розглядав інтеграцію доказів з нульовим знанням на початку свого дизайну, багато частин протоколу вимагають багато обчислень для створення доказів з нульовим знанням.
Однак правильний дизайн протоколу може полегшити цю проблему. Давайте подивимося, як Taiko може прискорити генерацію доказів із нульовим знанням.
Прискорення створення доказів нульового знання
Taiko прискорює створення доказів із нульовим знанням кількома способами:
Усі запропоновані блоки на Taiko L2 негайно перевіряються, оскільки вони детерміновані та не можуть бути відкликані. «Детермінований» означає, що кожен може обчислити стан ланцюжка після виконання. Щоб вважатися перевіреним, йому потрібно лише один раз пройти тест на дійсність, коли блок L2 надсилається до Taiko L1.
Оскільки всі блоки пропозицій Taiko L2 є детермінованими, їх можна перевіряти паралельно, а докази можна фіксувати в будь-якому порядку. Наприклад, прувер №1 може перевірити блок №1 одночасно, а прувер №2 може перевірити блок №2 одночасно. Це означає, що лише Taiko L1 має довше чекати доказів.
Усе це може певною мірою прискорити генерацію доказів із нульовим знанням. Для кінцевих користувачів це означає миттєву завершеність на L2 і швидше перемикання з L2 на L1.
Taiko Співпраця
Протокол Taiko з нульовим знанням розгортає два смарт-контракти в основній мережі Ethereum (L1) і Taiko L2:
Розумні контракти L1 використовуються для пропозиції, підтвердження та перевірки блоків L2.
Інтелектуальні контракти L2 наразі використовуються для підтвердження недійсності запропонованих блоків і їх прив’язки, це спосіб для протоколу використовувати програмованість EVM для забезпечення певної поведінки протоколу.
zkSNARKs
Протокол Taiko використовує стислі неінтерактивні докази з нульовим знанням (zkSNARK). Принаймні теоретично, zkSNARK вважаються менш масштабованими, ніж zkSTARK, і вимагають надійного процесу налаштування. Однак zkSNARK є більш легкими, ніж zkSTARK, і тому перевірка займає менше часу. А zkSNARK потребує менше газу, забезпечуючи дешевші транзакції.
Для генерації zkSNARK Taiko використовує систему доказів глобального підтвердження знань (PLONK) на основі лагранжіанської потужності. Перевага PLONK полягає в тому, що він спирається на стандартну криптографію, а його докази невеликі за розміром. Однак Taiko також досліджує можливість поєднання PLONK з іншими системами перевірки, такими як Plonky 2, Hyperplonk і Halo.
Мережа Taiko складається з трьох учасників:
Пропонент створює зведений блок на основі транзакцій користувача L2 і надсилає його клієнту Taiko L1. Вони вирішують, які транзакції включені в блок і як їх упорядкувати.
Програма перевірки генерує докази zkSNARK для підтвердження дійсності транзакцій і блоків L2. Вони вирішують, які блоки мають бути перевірені в ланцюжку.
Оператори вузлів виконують транзакції з даних у ланцюжку, щоб підтримувати синхронізацію зі станом ланцюга. Пропоненти та перевірники також запускають вузли, але ті, хто хоче надавати інші служби (наприклад, дослідники блоків), також повинні запускати вузол.
Точка Тайко L2
Вузли L2 Taiko отримують дані транзакцій з Ethereum і виконують ці транзакції на Taiko L2. Як ми вже згадували раніше, вузли L2 Taiko засновані на Go-Ethereum.
Будь ласка, прочитайте технічну документацію Taiko, щоб отримати докладнішу інформацію.
Поточний прогрес
Taiko нещодавно запустив свою першу тестову мережу під назвою Snæfellsjökull, на честь вулкана в західній Ісландії. Користувачі можуть тестувати Taiko, тестуючи мости між Ethereum A1 і Taiko A1, передаючи токени між різними обліковими записами, взаємодіючи з контрактами та запускаючи вузли пропозицій.
Вулкан Снайфелсйокудль. Джерело: Icelandic Mag.
З точки зору тестування, testnet мав величезний успіх. Трохи більше ніж за тиждень мережа Taiko L2 обробила понад 1,6 мільйона транзакцій, понад 650 000 блоків і 275 000 адрес гаманців. Можна сказати, що Snæfellsjökull вибухнув.
Джерело: explorer.a 1.taiko.xyz.
Команда Taiko має намір поступово припинити роботу Snæfellsjökull протягом наступних кількох місяців і замінити її новою тестовою мережею, яка використовуватиме технологію нульового знання. Подальші тестові мережі вдосконалюватимуть попередні версії та впроваджуватимуть економічні моделі токенів.
Taiko не уточнив, коли відбудеться запуск основної мережі, але назвав кінець 2023 року або наступний рік як більш імовірний.
Віра Тайко
Хоча Taiko суттєво відрізняється за технічним дизайном від інших zkEVM у цій галузі, його пошук також варто обговорити.
Taiko стверджує, що хоче бути доступним, інклюзивним, відкритим, без дозволів і децентралізованою. Фактично, він сподівається, що зможе запрацювати з повністю децентралізованим набором пропонентів і перевірників. Це відрізняється від інших zkEVM, оскільки більшість із них вирішили почати з централізації та поступово стати децентралізованими.
Тайко вважає, що для того, щоб стати еквівалентом Ethereum, необхідно бути повністю децентралізованим і переслідувати ті ж цілі, що й Ethereum. Окрім цього, команда має намір запустити DAO колись у майбутньому. Співзасновник Ван також сказав, що Taiko сподівається працювати як некомерційна організація.
Читання про цінності Тайко не може не відчути себе дуже авангардним, майже революційним. Це нагадує мені заяву про місію zkSync. Я сподіваюся, що Taiko виконає свою обіцянку і стане першим повністю децентралізованим типом 1 zkEVM, який приєднається до основної мережі Ethereum.
Висновок
Тип-1 зкЕВМ має свої переваги і недоліки. Але що, якщо його недоліки незначні порівняно з перевагами, які він пропонує? Що, якщо еквівалент Ethereum, здавалося б, найвищий стандарт, у поєднанні з існуючими та потенційними способами прискорення створення доказів нульового знання справді зробить Type-1 zkEVM довгостроковим переможцем? Є ще багато невідомих, але принаймні Віталік, схоже, натякає, що zkEVM типу 1 є правильним вибором.
Що стосується Taiko, я думаю, що він знайшов потрібне місце в потрібний час. Здається, 2023 рік зарезервований для Build. Якщо Taiko досягне своїх цілей і запустить свою основну мережу цього року або на початку наступного року, він може стати одним із великих переможців у наступному циклі впровадження.
Тайко явно сам по собі, намагаючись досягти надзвичайних подвигів. Інше питання, чи вдасться це зробити, але, судячи з того, чого Ван і його команда досягли з Loopring, шанси, здається, на їхньому боці. Якщо Taiko виграє, Ethereum також буде переможцем.
Переглянути оригінал
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Всупереч тенденції, він зібрав 12 мільйонів доларів США і був обраний компанією Sequoia.Яке походження Taiko, новачка Type-1 zkEVM?
Автор: umede.eth
Підбірка: Odaily Planet Daily jk
Примітка редактора: за даними Odaily Planet Daily, 8 червня Taiko, мережа другого рівня Ethereum на основі zkRollup, завершила два раунди початкового фінансування на загальну суму 22 мільйони доларів США. Перший раунд фінансування становить 10 мільйонів доларів США, який очолює Sequoia China, і завершиться в третьому кварталі 2022 року. Останній раунд фінансування Серії А на суму 12 мільйонів доларів очолював Generative Ventures.
Якщо ви трохи спостерігали за нульовим знанням сцени Ethereum, ви, напевно, чули назви Polygon, Starkware, Scroll і zkSync.
Насправді, ви, напевно, не тільки чули про них, але й бачили, як вони в Twitter обговорюють усілякі питання: яке справжнє визначення zkEVM, хто вперше розгортає/буде/буде розгортати zkEVM в основній мережі Ethereum, хто Marketing it Better та інші важливі та не дуже важливі питання.
Незалежно від вашого погляду на їхні аргументи, усі ці проекти наполегливо працюють над масштабуванням Ethereum.
Але з’являється новий гравець, відносно стриманий, але такий же життєздатний, як і інші. Цим новим гравцем є Taiko — zkEVM, який має на меті бути повністю децентралізованим масштабованим еквівалентом Ethereum із нульовим рівнем знань. Наскільки я знаю, жодна інша команда zkEVM наразі не намагається досягти цього досягнення, тому я вважаю, що Taiko заслуговує на особливу увагу.
Давайте подивимося, що таке Тайко.
фон
Taiko («барабан» японською) був заснований на початку 2022 року Даніелем Вангом, Брехтом Девосом та іншими відомими іменами в цій галузі. Перш ніж запустити Taiko, вони працювали в Loopring, першому зведеному пакеті з нульовими знаннями, розгорнутому на Ethereum.
Я вважаю, що важливо швидко зрозуміти роль Loopring у створенні та розвитку Taiko. Спочатку zkEVM, який розробляв Taiko, мав бути частиною зусиль Loopring, спрямованих на те, щоб Ethereum з нульовим знанням і підтримкою доказів ставитися до мас.
Однак десь на етапі розробки Wnag і його команда зрозуміли, що сплутати їх може бути досить заплутаним, оскільки Loopring є розширенням для конкретного додатка, тоді як Taiko має бути розширенням загального призначення. В результаті Taiko відокремився від Loopring і розвивався самостійно.
Наразі Taiko складається з близько 20 співробітників з таких країн, як Туреччина, Австрія, Барбадос, Китай, Індія, США, Канада, Україна тощо.
технічні деталі
Тип-1 zkEVM
Основна особливість, яка відрізняє Taiko від конкурентів (а точніше, однолітків), це його мета бути Type-1 zkEVM. Тип-1 zkEVM прагне бути повністю еквівалентним Ethereum, тобто він не вносить жодних змін у систему Ethereum, щоб полегшити створення доказів з нульовим знанням.
Перш ніж приступити до цього, важливо зазначити, що zkEVM Taiko є розгалуженням спільноти команди Privacy and Scaling Explorations (PSE). Taiko використовує цей форк, щоб тестувати нові речі, а потім робити внесок у zkEVM PSE, щоб будь-який проект, який розробляє Type-1 zkEVM (поки що ні), міг отримати користь від цього дослідження.
Type-1 zkEVM сподівається бути повністю сумісним з Ethereum. У випадку з Taiko він має намір бути еквівалентом Ethereum на рівні коду операції, що означає, що хеш-функції, попередньо скомпільовані контракти, дерева транзакцій і станів, а також інша логіка узгодженості не зміниться. Однак, як зазначено в документі Taiko, протокол наразі вимикає певні пропозиції щодо вдосконалення Ethereum (EIP), але з часом це зміниться.
Ставши еквівалентом Ethereum, розробник отримує багато переваг. Наприклад, розробники можуть безперешкодно перенести свої смарт-контракти та децентралізовані програми (dApps) на Taiko. Це дуже важливо, оскільки якщо dApp, як Uniswap, хоче перейти на Taiko, йому не потрібно вносити жодних змін у свій протокол. Інакше переписування коду іншою мовою програмування, відмінною від Solidity, або внесення інших змін відразу створить численні ризики для безпеки протоколу, а також активів у ньому.
Крім того, у випадку з Taiko сумісність була додатково покращена. Клієнт Taiko базується на випробуваному в боях клієнті Ethereum Go-Ethereum. Це означає, що вони більш звичні та прості у використанні для тих, хто хоче взяти участь. З точки зору кінцевого користувача, можливість використання Uniswap у Taiko порівняно з основною мережею Ethereum підтримує та навіть покращує послідовність, доступність і задоволеність користувачів.
Звичайно, є певні компроміси, які потрібно зробити, щоб знайти ідеальний шлях сумісності. Основною проблемою для zkEVM типу 1, як-от Taiko, є повільніше створення доказів нульового знання. Оскільки Ethereum не розглядав інтеграцію доказів з нульовим знанням на початку свого дизайну, багато частин протоколу вимагають багато обчислень для створення доказів з нульовим знанням.
Однак правильний дизайн протоколу може полегшити цю проблему. Давайте подивимося, як Taiko може прискорити генерацію доказів із нульовим знанням.
Прискорення створення доказів нульового знання
Taiko прискорює створення доказів із нульовим знанням кількома способами:
Усі запропоновані блоки на Taiko L2 негайно перевіряються, оскільки вони детерміновані та не можуть бути відкликані. «Детермінований» означає, що кожен може обчислити стан ланцюжка після виконання. Щоб вважатися перевіреним, йому потрібно лише один раз пройти тест на дійсність, коли блок L2 надсилається до Taiko L1.
Оскільки всі блоки пропозицій Taiko L2 є детермінованими, їх можна перевіряти паралельно, а докази можна фіксувати в будь-якому порядку. Наприклад, прувер №1 може перевірити блок №1 одночасно, а прувер №2 може перевірити блок №2 одночасно. Це означає, що лише Taiko L1 має довше чекати доказів.
Усе це може певною мірою прискорити генерацію доказів із нульовим знанням. Для кінцевих користувачів це означає миттєву завершеність на L2 і швидше перемикання з L2 на L1.
Taiko Співпраця
Протокол Taiko з нульовим знанням розгортає два смарт-контракти в основній мережі Ethereum (L1) і Taiko L2:
zkSNARKs
Протокол Taiko використовує стислі неінтерактивні докази з нульовим знанням (zkSNARK). Принаймні теоретично, zkSNARK вважаються менш масштабованими, ніж zkSTARK, і вимагають надійного процесу налаштування. Однак zkSNARK є більш легкими, ніж zkSTARK, і тому перевірка займає менше часу. А zkSNARK потребує менше газу, забезпечуючи дешевші транзакції.
Для генерації zkSNARK Taiko використовує систему доказів глобального підтвердження знань (PLONK) на основі лагранжіанської потужності. Перевага PLONK полягає в тому, що він спирається на стандартну криптографію, а його докази невеликі за розміром. Однак Taiko також досліджує можливість поєднання PLONK з іншими системами перевірки, такими як Plonky 2, Hyperplonk і Halo.
Мережа Taiko складається з трьох учасників:
Точка Тайко L2
Вузли L2 Taiko отримують дані транзакцій з Ethereum і виконують ці транзакції на Taiko L2. Як ми вже згадували раніше, вузли L2 Taiko засновані на Go-Ethereum.
Будь ласка, прочитайте технічну документацію Taiko, щоб отримати докладнішу інформацію.
Поточний прогрес
Taiko нещодавно запустив свою першу тестову мережу під назвою Snæfellsjökull, на честь вулкана в західній Ісландії. Користувачі можуть тестувати Taiko, тестуючи мости між Ethereum A1 і Taiko A1, передаючи токени між різними обліковими записами, взаємодіючи з контрактами та запускаючи вузли пропозицій.
Вулкан Снайфелсйокудль. Джерело: Icelandic Mag.
З точки зору тестування, testnet мав величезний успіх. Трохи більше ніж за тиждень мережа Taiko L2 обробила понад 1,6 мільйона транзакцій, понад 650 000 блоків і 275 000 адрес гаманців. Можна сказати, що Snæfellsjökull вибухнув.
Джерело: explorer.a 1.taiko.xyz.
Команда Taiko має намір поступово припинити роботу Snæfellsjökull протягом наступних кількох місяців і замінити її новою тестовою мережею, яка використовуватиме технологію нульового знання. Подальші тестові мережі вдосконалюватимуть попередні версії та впроваджуватимуть економічні моделі токенів.
Taiko не уточнив, коли відбудеться запуск основної мережі, але назвав кінець 2023 року або наступний рік як більш імовірний.
Віра Тайко
Хоча Taiko суттєво відрізняється за технічним дизайном від інших zkEVM у цій галузі, його пошук також варто обговорити.
Taiko стверджує, що хоче бути доступним, інклюзивним, відкритим, без дозволів і децентралізованою. Фактично, він сподівається, що зможе запрацювати з повністю децентралізованим набором пропонентів і перевірників. Це відрізняється від інших zkEVM, оскільки більшість із них вирішили почати з централізації та поступово стати децентралізованими.
Тайко вважає, що для того, щоб стати еквівалентом Ethereum, необхідно бути повністю децентралізованим і переслідувати ті ж цілі, що й Ethereum. Окрім цього, команда має намір запустити DAO колись у майбутньому. Співзасновник Ван також сказав, що Taiko сподівається працювати як некомерційна організація.
Читання про цінності Тайко не може не відчути себе дуже авангардним, майже революційним. Це нагадує мені заяву про місію zkSync. Я сподіваюся, що Taiko виконає свою обіцянку і стане першим повністю децентралізованим типом 1 zkEVM, який приєднається до основної мережі Ethereum.
Висновок
Тип-1 зкЕВМ має свої переваги і недоліки. Але що, якщо його недоліки незначні порівняно з перевагами, які він пропонує? Що, якщо еквівалент Ethereum, здавалося б, найвищий стандарт, у поєднанні з існуючими та потенційними способами прискорення створення доказів нульового знання справді зробить Type-1 zkEVM довгостроковим переможцем? Є ще багато невідомих, але принаймні Віталік, схоже, натякає, що zkEVM типу 1 є правильним вибором.
Що стосується Taiko, я думаю, що він знайшов потрібне місце в потрібний час. Здається, 2023 рік зарезервований для Build. Якщо Taiko досягне своїх цілей і запустить свою основну мережу цього року або на початку наступного року, він може стати одним із великих переможців у наступному циклі впровадження.
Тайко явно сам по собі, намагаючись досягти надзвичайних подвигів. Інше питання, чи вдасться це зробити, але, судячи з того, чого Ван і його команда досягли з Loopring, шанси, здається, на їхньому боці. Якщо Taiko виграє, Ethereum також буде переможцем.