Що таке Kakarot zkEVM? Чому він підтримується Vitalik і StarkWare? Kakarot переносить EVM у Starknet, сприяючи розширенню EVM dApps. Давайте поглянемо глибше!
Ми завантажилися та увійшли в режим Super Saiyan. Kakarot Labs було офіційно створено та завершило передпочаткове фінансування з провідними інвесторами.
Давайте з нетерпінням чекатимемо бачення розвитку, прояснимо поточну позицію та з нетерпінням чекатимемо світлого майбутнього.
Ця стаття в основному представить наступне: 1. Що таке CairoVM? 2. Що таке Каїр? 3. Архітектура EVM; 4. Архітектура Kakarot; 5. Класифікація типів zkEVM; 6. Дорожня карта Kakarot; 7. Особисті думки.
Kakarot zkEVM — це EVM, розгорнута з використанням мови Cario, яка розширює надійність екосистеми Starknet за рахунок підвищення сумісності з EVM. Давайте розбиратися крок за кроком.
**1. ****Що таке CairoVM? **
Kakarot працює на віртуальній машині CairoVM, яка є інфраструктурою Starknet. Основні особливості CairoVM такі:
· Уявіть виконання як поліноміальне рівняння для доказово перевіреного виконання.
· Дозволити всім транзакціям Starknet використовувати перевірку STARK.
**2. Що таке Cario? **
Cario — це архітектура центрального процесора, яка повністю підтримує STARK.
· Turing Complete: система здатна обчислювати будь-які можливі обчислення/програми.
· Stark Friendly: система автентифікації StarkWare. Обчислювальна цілісність поза ланцюгом підтверджується перевірками та перевіряється верифікаторами в ланцюзі.
Отже, як працює Cario? Розробники можуть використовувати Cairo для написання програм у CaroVM і опису операторів мовою високого рівня (ще підтверджується). Це покращує досвід розробки, оскільки розробники можуть скористатися перевагами масштабованості ZK Proofs (ZKP) без необхідності вчитися писати складні схеми.
3. Архітектура EVM****
Архітектура EVM — це зріла та чітко визначена архітектура віртуальної машини (VM) із:
142 коди операцій: інструкції, які використовуються EVM для виконання транзакцій і смарт-контрактів (SC). Для оформлення потрібна плата за газ.
9 попередніх компіляцій: смарт-контракти, вбудовані в Ethereum для виконання звичайних операцій. Можна використовувати зі стандартною платою за газ.
Після впровадження всіх 9 попередніх компіляцій EVM Kakarot стане типом 2.5 zkEVM.
5, zkEVM****Тип****тип
(1) Тип 1 zkEVM | Повністю еквівалентний Ethereum
Жодних змін у системі Ethereum для підтримки легшого створення доказів.
перевага:
Оптимальне рішення для розширення Ethereum
недолік:
· Інтенсивні обчислювальні роботи
Час перевірки тривалий (займає години)
приклад:
· Прокрутка
· Тайко
(2) Тип 2 zkEVM | повністю еквівалентний EVM
Незначні модифікації системи Ethereum (різні хеш-функції) спрощують розробку та пришвидшують створення доказів.
перевага:
· Підтримка більшості dApps Ethereum
недолік:
Неефективність і недружність EVM все ще існує
приклад:
· Прокрутка
(3) Тип 2.5 zkEVM | Еквівалент EVM (крім плати за газ)
Додані витрати на газ для окремих операцій в EVM, які важко довести за допомогою ZK.
перевага:
Менш ризиковано, ніж ширші зміни EVM
недолік:
Знижена сумісність засобів розробки
· Деякі dApps несумісні
(4) Тип 3 zkEVM | майже еквівалентний EVM
Функції, які було особливо важко реалізувати (такі як попередня компіляція), були видалені.
перевага:
· Швидший час перевірки
· Простіша розробка EVM
недолік:
· Деякі dApps необхідно переписати
приклад:
· Прокрутка
· Многокутник
**(5)Tpye4zkEVM|**еквівалент мови високого рівня
Вихідний код смарт-контракту (мова високого рівня) скомпільовано в мову, зручну для ZK-SNARK.
перевага:
· Уникайте великої кількості накладних витрат
недолік:
Адреса контракту може відрізнятися від адреси в EVM
Може не підтримувати рукописний байт-код EVM
· Інфраструктура налагодження не може бути успадкована, оскільки вона працює на байт-коді EVM.
приклад:
·zkSync
·Пуст
6**、Карта маршруту Kakarot**
(1) Фаза 1 | Перенесення EVM у Starknet
Kakarot спочатку існуватиме в Starknet як закріплений EVM. Досвід розробки та досвід користувача (UX) будуть такими ж, як у Polygon, Scroll або Ethereum.
(2) Стадія 2 | L3 zkEVM
Розгортання ланцюжків додатків zkEVM через Kakarot дозволяє їм здійснювати розрахунки за транзакціями в Starknet, використовуючи підтвердження дійсності.
Об’єднавши Kakarot і Madara Starknet секвенсор (систему Starknet на основі підкладки) в єдиний стек.
(3) Фаза 2 | zkEVM-Rollup-as-a-Service
Лише одним клацанням миші зведення отримує:
· Спеціальна програма zkEVM, розгорнута в Starknet
· Доступ до середовища EVM
· Швидке виконання
Низька плата за газ: використовуйте рішення для доступності даних (Celestia, EigenLayer)
· Безпека шифрування
Переваги zkEVM-Rollup-as-a-Service:
Запустіть смарт-контракти Solidity у CairoVM за допомогою Kakarot
Будь-який смарт-контракт Solidity, розгорнутий на EVM, може працювати в Starknet без змін коду
Найкраще з обох світів:
Ефективність з EVM
· Розумні контракти стають доказовими
(4) Фаза 3 | Тип 1 zkEVM
Щоб потрапити на цей етап, Kakarot повинен:
·Використовуйте Cairo, щоб написати правила консенсусу Ethereum у повних вузлах Madara та Kakarot, щоб підтвердити консенсус L1.
· Перейшов з Pedersen Merkle Patricia Trie (MPT) на Keccak MPT.
Однак фаза 3 невизначена. Це залежить від дорожньої карти Ethereum: Verge. Наразі впровадження Keccak MPT перевіреним і недорогим способом є основною перешкодою для сумісності zkEVM. Після Verge Keccak може бути замінений на Poseidon як обрану хеш-функцію для Ethereum.
7**、Особисті думки**
Запровадження сумісності з EVM у Starknet, безумовно, є величезним кроком вперед, але все ще є певні сумніви щодо успіху Kakarot.
(1) Висококонкурентне поле ZK
Конкуренти:
· ZK-rollup з різними системами перевірки (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
· Оптимістичне зведення: оптимізм、рішення、база
Різні zkVM: RISC Zero, Hyper Oracle
(2) Відповідність продукту ринку (PMF)
Загалом зведення як послуга є відкритою темою з двома ключовими аспектами, які слід розглянути:
· Скільки зведень потребує цієї послуги?
Чи надає зведений перевагу внутрішньому створенню суверенітету та можливості налаштування?
(3) Безперервна ітерація продукту
Kakarot розробляє та створює продукт, який є дуже технічно складним і, ймовірно, потребуватиме постійних ітерацій, щоб бути успішним.
Він також спирається на кілька динамічних компонентів, зокрема:
· Молоко
· Рішення для забезпечення доступності даних
Дорожня карта Ethereum: Verge
Переглянути оригінал
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Що таке Kakarot zkEVM? Чому Віталік взяв участь у голосуванні
Автор: s, аналітик венчурного капіталу; переклад: Jinse Finance xiaozou
Що таке Kakarot zkEVM? Чому він підтримується Vitalik і StarkWare? Kakarot переносить EVM у Starknet, сприяючи розширенню EVM dApps. Давайте поглянемо глибше!
Ми завантажилися та увійшли в режим Super Saiyan. Kakarot Labs було офіційно створено та завершило передпочаткове фінансування з провідними інвесторами.
Давайте з нетерпінням чекатимемо бачення розвитку, прояснимо поточну позицію та з нетерпінням чекатимемо світлого майбутнього.
Ця стаття в основному представить наступне: 1. Що таке CairoVM? 2. Що таке Каїр? 3. Архітектура EVM; 4. Архітектура Kakarot; 5. Класифікація типів zkEVM; 6. Дорожня карта Kakarot; 7. Особисті думки.
Kakarot zkEVM — це EVM, розгорнута з використанням мови Cario, яка розширює надійність екосистеми Starknet за рахунок підвищення сумісності з EVM. Давайте розбиратися крок за кроком.
**1. ****Що таке CairoVM? **
Kakarot працює на віртуальній машині CairoVM, яка є інфраструктурою Starknet. Основні особливості CairoVM такі:
· Уявіть виконання як поліноміальне рівняння для доказово перевіреного виконання.
· Дозволити всім транзакціям Starknet використовувати перевірку STARK.
**2. Що таке Cario? **
Cario — це архітектура центрального процесора, яка повністю підтримує STARK.
· Turing Complete: система здатна обчислювати будь-які можливі обчислення/програми.
· Stark Friendly: система автентифікації StarkWare. Обчислювальна цілісність поза ланцюгом підтверджується перевірками та перевіряється верифікаторами в ланцюзі.
Отже, як працює Cario? Розробники можуть використовувати Cairo для написання програм у CaroVM і опису операторів мовою високого рівня (ще підтверджується). Це покращує досвід розробки, оскільки розробники можуть скористатися перевагами масштабованості ZK Proofs (ZKP) без необхідності вчитися писати складні схеми.
3. Архітектура EVM****
Архітектура EVM — це зріла та чітко визначена архітектура віртуальної машини (VM) із:
142 коди операцій: інструкції, які використовуються EVM для виконання транзакцій і смарт-контрактів (SC). Для оформлення потрібна плата за газ.
9 попередніх компіляцій: смарт-контракти, вбудовані в Ethereum для виконання звичайних операцій. Можна використовувати зі стандартною платою за газ.
4. Kakarot****Структура
Kakarot розроблено на основі CairoVM, яка:
· Інтерпретатор байт-коду EVM
· Розумні контракти, розгорнуті на Starknet
· Використовуйте мову Каріо
Kakarot підтримує:
· Розгорніть смарт-контракт EVM як є
Какаро - це не:
· Блокчейн
Компілятор: не перетворює код Solidity на Cairo
Станом на травень 2023 року:
Реалізовано 100% архітектуру байт-коду (Type 3 zkEVM)
9 EVM попередньо скомпільовано для досягнення 8
Після впровадження всіх 9 попередніх компіляцій EVM Kakarot стане типом 2.5 zkEVM.
5, zkEVM****Тип****тип
(1) Тип 1 zkEVM | Повністю еквівалентний Ethereum
Жодних змін у системі Ethereum для підтримки легшого створення доказів.
перевага:
Оптимальне рішення для розширення Ethereum
недолік:
· Інтенсивні обчислювальні роботи
Час перевірки тривалий (займає години)
приклад:
· Прокрутка
· Тайко
(2) Тип 2 zkEVM | повністю еквівалентний EVM
Незначні модифікації системи Ethereum (різні хеш-функції) спрощують розробку та пришвидшують створення доказів.
перевага:
· Підтримка більшості dApps Ethereum
недолік:
Неефективність і недружність EVM все ще існує
приклад:
· Прокрутка
(3) Тип 2.5 zkEVM | Еквівалент EVM (крім плати за газ)
Додані витрати на газ для окремих операцій в EVM, які важко довести за допомогою ZK.
перевага:
Менш ризиковано, ніж ширші зміни EVM
недолік:
Знижена сумісність засобів розробки
· Деякі dApps несумісні
(4) Тип 3 zkEVM | майже еквівалентний EVM
Функції, які було особливо важко реалізувати (такі як попередня компіляція), були видалені.
перевага:
· Швидший час перевірки
· Простіша розробка EVM
недолік:
· Деякі dApps необхідно переписати
приклад:
· Прокрутка
· Многокутник
**(5)Tpye4zkEVM|**еквівалент мови високого рівня
Вихідний код смарт-контракту (мова високого рівня) скомпільовано в мову, зручну для ZK-SNARK.
перевага:
· Уникайте великої кількості накладних витрат
недолік:
Адреса контракту може відрізнятися від адреси в EVM
Може не підтримувати рукописний байт-код EVM
· Інфраструктура налагодження не може бути успадкована, оскільки вона працює на байт-коді EVM.
приклад:
·zkSync
·Пуст
6**、Карта маршруту Kakarot**
(1) Фаза 1 | Перенесення EVM у Starknet
Kakarot спочатку існуватиме в Starknet як закріплений EVM. Досвід розробки та досвід користувача (UX) будуть такими ж, як у Polygon, Scroll або Ethereum.
(2) Стадія 2 | L3 zkEVM
Розгортання ланцюжків додатків zkEVM через Kakarot дозволяє їм здійснювати розрахунки за транзакціями в Starknet, використовуючи підтвердження дійсності.
Об’єднавши Kakarot і Madara Starknet секвенсор (систему Starknet на основі підкладки) в єдиний стек.
(3) Фаза 2 | zkEVM-Rollup-as-a-Service
Лише одним клацанням миші зведення отримує:
· Спеціальна програма zkEVM, розгорнута в Starknet
· Доступ до середовища EVM
· Швидке виконання
Низька плата за газ: використовуйте рішення для доступності даних (Celestia, EigenLayer)
· Безпека шифрування
Переваги zkEVM-Rollup-as-a-Service:
Запустіть смарт-контракти Solidity у CairoVM за допомогою Kakarot
Будь-який смарт-контракт Solidity, розгорнутий на EVM, може працювати в Starknet без змін коду
Найкраще з обох світів:
Ефективність з EVM
· Розумні контракти стають доказовими
(4) Фаза 3 | Тип 1 zkEVM
Щоб потрапити на цей етап, Kakarot повинен:
·Використовуйте Cairo, щоб написати правила консенсусу Ethereum у повних вузлах Madara та Kakarot, щоб підтвердити консенсус L1.
· Перейшов з Pedersen Merkle Patricia Trie (MPT) на Keccak MPT.
Однак фаза 3 невизначена. Це залежить від дорожньої карти Ethereum: Verge. Наразі впровадження Keccak MPT перевіреним і недорогим способом є основною перешкодою для сумісності zkEVM. Після Verge Keccak може бути замінений на Poseidon як обрану хеш-функцію для Ethereum.
7**、Особисті думки**
Запровадження сумісності з EVM у Starknet, безумовно, є величезним кроком вперед, але все ще є певні сумніви щодо успіху Kakarot.
(1) Висококонкурентне поле ZK
Конкуренти:
· ZK-rollup з різними системами перевірки (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
· Оптимістичне зведення: оптимізм、рішення、база
Різні zkVM: RISC Zero, Hyper Oracle
(2) Відповідність продукту ринку (PMF)
Загалом зведення як послуга є відкритою темою з двома ключовими аспектами, які слід розглянути:
· Скільки зведень потребує цієї послуги?
Чи надає зведений перевагу внутрішньому створенню суверенітету та можливості налаштування?
(3) Безперервна ітерація продукту
Kakarot розробляє та створює продукт, який є дуже технічно складним і, ймовірно, потребуватиме постійних ітерацій, щоб бути успішним.
Він також спирається на кілька динамічних компонентів, зокрема:
· Молоко
· Рішення для забезпечення доступності даних
Дорожня карта Ethereum: Verge