Аналітики У цій статті ми дослідимо різні етапи Kakarot, їхні сильні та слабкі сторони, а також виклики та можливості, які постають перед проектом.
Автор: s
Компіляція: Deep Tide TechFlow
Kakarot zkEVM – це EVM, реалізований у Каїрі. Покращуючи сумісність EVM, він розширює екосистему Starknet. Що було використано, щоб завоювати підтримку Vitalik і StarkWare? Аналітики У цій статті ми дослідимо різні етапи Kakarot, їхні сильні та слабкі сторони, а також проблеми та можливості, які постають перед проектом.
Що таке CairoVM?
Kakarot побудовано на віртуальній машині (VM) CairoVM, яка є інфраструктурою Starknet.
Ключові особливості CairoVM:
Представляти виконання як поліном (рівняння) для доказового виконання;
Дозволяє використовувати STARK для підтвердження всіх транзакцій Starknet.
Що таке Каїр?
Повна архітектура процесора Turing, дружня до STARK:
Тьюрингова повнота: система може обчислити будь-який можливий розрахунок/програму;
СТАРК ДРУЖІЙ: система перевірки, надана StarkWare. Обчислювальна цілісність поза ланцюгом підтверджується перевірками та перевіряється верифікаторами в ланцюзі.
Як працює Каїр
Розробники можуть використовувати Cairo для написання програм на CairoVM для опису тверджень, які потрібно довести мовою високого рівня. Це покращує досвід розробників, оскільки вони можуть скористатися перевагами масштабованості доказів із нульовим знанням (ZKP) без необхідності вчитися писати складні схеми.
Архітектура Kakarot
Kakarot побудовано на основі CairoVM і є:
Інтерпретатор байт-коду EVM;
SC розгорнуто на Starknet;
Написано в Каїрі.
Kakarot дозволяє:
Розгортання існуючого EVM SC.
Какаро - це не:
Блокчейн;
Компілятор: не перетворює код Solidity на Cairo.
Станом на травень 2023 року:
100% архітектура байт-коду (Type 3 zkEVM);
Реалізовано попередню компіляцію EVM 8/9.
Після впровадження попередніх компіляцій EVM 9/9 Kakarot стане типом 2.5 zkEVM.
Тип 1 zkEVM повністю еквівалентний Ethereum, без зміни системи Ethereum для легшого створення доказів,
Плюси: найкраще рішення для масштабування Ethereum.
Тип 2 zkEVM повністю еквівалентний EVM, з невеликими модифікаціями системи Ethereum (з використанням іншої хеш-функції), щоб:
Легкий розвиток;
Швидше створення доказів.
Плюси: доступно для більшості dApps Ethereum.
Недоліки: Ефективність ЕВМ і ЗК не дружна.
Наприклад Scroll.
Тип 2.5 zkEVM еквівалентний EVM, за винятком вартості газу. Це збільшує вартість газу для конкретних операцій в EVM, які важко підтвердити за допомогою ZK.
Плюси: менший ризик, ніж більш широкий EVM
Недоліки: обмежена сумісність інструментів розробки, деякі dApps несумісні.
Тип 3 zkEVM майже ідентичний EVM, лише функції, які особливо важко реалізувати (такі як попередня компіляція), видалені.
Плюси: ще швидший час перевірки, легша розробка EVM.
Мінуси: деякі dApps потрібно переписати.
Наприклад:
Прокрутка;
Багатокутник
Еквівалент високорівневої мови zkEVM типу 4, компіляція вихідного коду SC (мова високого рівня) у дружню мову ZK-SNARK.
Плюси: Уникає великої кількості накладних витрат.
Мінуси: контракти можуть мати не ту саму адресу, що й EVM, рукописний байт-код EVM може не підтримуватися, інфраструктуру неможливо перенести, оскільки вони працюють на байт-коді EVM.
Наприклад:
zksync;
Пустоум.
Дорожня карта Kakarot | Фаза 1 | Перенесення EVM у Starknet
Kakarot спочатку існуватиме в Starknet як Enshrined EVM. Взаємодія розробника та користувача (UX) буде точно такою ж, як у Polygon, Scroll або Ethereum.
Фаза 2 | L3 zkEVMs
Розгортання ланцюжків додатків zkEVM через Kakarot дає їм змогу вирішувати txns у Starknet, використовуючи підтвердження дійсності. Це досягається шляхом поєднання Kakarot і MadaraStarknet в єдиний стек.
Лише одним клацанням миші Rollups дає вам:
Спеціальна програма zkEVM, розгорнута на Starknet;
Доступ до середовища EVM;
Швидке виконання;
Низький рівень газу: використовуйте рішення щодо доступності даних.
Безпека.
Запустіть Solidity SC у CairoVM за допомогою Kakarot: будь-який Solidity SC, розгорнутий на EVM, зможе працювати на Starknet без змін коду.
Переваги можливості мати обидва:
ефективність EVM;
Розумні контракти стають доказовими.
Фаза 3 | Тип 1 зкЕВМ
Щоб досягти цього, Kakarot повинен:
Використовуйте Cairo для написання правил консенсусу Ethereum у повному вузлі Madara x Kakarot, щоб підтвердити консенсус L1;
Змінено з Pedersen Merkle Patricia Trie (MPT) на Keccak MPT.
Це залежить від дорожньої карти Ethereum: Verge. Наразі впровадження Keccak MPT у доведено дешевий спосіб є основною перешкодою сумісності для zkEVM. Після Verge Keccak може бути замінений на Poseidon як бажану хеш-функцію Ethereum.
мої думки
Це, безперечно, великий крок у забезпеченні сумісності з EVM у Starknet, але є певні сумніви щодо успіху Kakarot.
Конкуренція з такими конкурентами:
ZK-зведення з різними системами перевірки (SNARK): Scroll, zksync, Polygon, Taiko, Linea;
Оптимістичні зведення: Оптимізм、Рішення、База;
Різні zkVM: RISC Zero, Hyper Oracle.
Відповідність ринку продукту (PMF)
Загалом, Rollup-as-a-service є неперевіреним аргументом, який вимагає розгляду двох ключових аспектів:
Скільки зведених пакетів потребуватимуть цієї послуги?
Чи Rollup віддає перевагу внутрішнім збіркам для суверенітету та можливості налаштування?
Постійно повторюйте продукти
Kakarot створює дуже технічно складний продукт, який, ймовірно, потребуватиме постійних ітерацій, щоб досягти успіху. Це також залежить від кількох компонентів, зокрема:
Молоко;
Розчин ДА;
Дорожня карта Ethereum: The Verge.
Переглянути оригінал
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Віталік бере участь в інвестиціях, як Kakarot вводить EVM у Starknet?
Автор: s
Компіляція: Deep Tide TechFlow
Kakarot zkEVM – це EVM, реалізований у Каїрі. Покращуючи сумісність EVM, він розширює екосистему Starknet. Що було використано, щоб завоювати підтримку Vitalik і StarkWare? Аналітики У цій статті ми дослідимо різні етапи Kakarot, їхні сильні та слабкі сторони, а також проблеми та можливості, які постають перед проектом.
Що таке CairoVM?
Kakarot побудовано на віртуальній машині (VM) CairoVM, яка є інфраструктурою Starknet.
Ключові особливості CairoVM:
Що таке Каїр?
Повна архітектура процесора Turing, дружня до STARK:
Як працює Каїр
Розробники можуть використовувати Cairo для написання програм на CairoVM для опису тверджень, які потрібно довести мовою високого рівня. Це покращує досвід розробників, оскільки вони можуть скористатися перевагами масштабованості доказів із нульовим знанням (ZKP) без необхідності вчитися писати складні схеми.
Архітектура Kakarot
Kakarot побудовано на основі CairoVM і є:
Kakarot дозволяє:
Какаро - це не:
Станом на травень 2023 року:
Після впровадження попередніх компіляцій EVM 9/9 Kakarot стане типом 2.5 zkEVM.
Тип 1 zkEVM повністю еквівалентний Ethereum, без зміни системи Ethereum для легшого створення доказів,
Плюси: найкраще рішення для масштабування Ethereum.
Недоліки: інтенсивне обчислення, тривале доказування (вимагає годин).
Наприклад: Сувій, Тайко.
Тип 2 zkEVM повністю еквівалентний EVM, з невеликими модифікаціями системи Ethereum (з використанням іншої хеш-функції), щоб:
Плюси: доступно для більшості dApps Ethereum.
Недоліки: Ефективність ЕВМ і ЗК не дружна.
Наприклад Scroll.
Тип 2.5 zkEVM еквівалентний EVM, за винятком вартості газу. Це збільшує вартість газу для конкретних операцій в EVM, які важко підтвердити за допомогою ZK.
Плюси: менший ризик, ніж більш широкий EVM
Недоліки: обмежена сумісність інструментів розробки, деякі dApps несумісні.
Тип 3 zkEVM майже ідентичний EVM, лише функції, які особливо важко реалізувати (такі як попередня компіляція), видалені.
Плюси: ще швидший час перевірки, легша розробка EVM.
Мінуси: деякі dApps потрібно переписати.
Наприклад:
Еквівалент високорівневої мови zkEVM типу 4, компіляція вихідного коду SC (мова високого рівня) у дружню мову ZK-SNARK.
Плюси: Уникає великої кількості накладних витрат.
Мінуси: контракти можуть мати не ту саму адресу, що й EVM, рукописний байт-код EVM може не підтримуватися, інфраструктуру неможливо перенести, оскільки вони працюють на байт-коді EVM.
Наприклад:
Дорожня карта Kakarot | Фаза 1 | Перенесення EVM у Starknet
Kakarot спочатку існуватиме в Starknet як Enshrined EVM. Взаємодія розробника та користувача (UX) буде точно такою ж, як у Polygon, Scroll або Ethereum.
Фаза 2 | L3 zkEVMs
Розгортання ланцюжків додатків zkEVM через Kakarot дає їм змогу вирішувати txns у Starknet, використовуючи підтвердження дійсності. Це досягається шляхом поєднання Kakarot і MadaraStarknet в єдиний стек.
Лише одним клацанням миші Rollups дає вам:
Запустіть Solidity SC у CairoVM за допомогою Kakarot: будь-який Solidity SC, розгорнутий на EVM, зможе працювати на Starknet без змін коду.
Переваги можливості мати обидва:
Фаза 3 | Тип 1 зкЕВМ
Щоб досягти цього, Kakarot повинен:
Це залежить від дорожньої карти Ethereum: Verge. Наразі впровадження Keccak MPT у доведено дешевий спосіб є основною перешкодою сумісності для zkEVM. Після Verge Keccak може бути замінений на Poseidon як бажану хеш-функцію Ethereum.
мої думки
Це, безперечно, великий крок у забезпеченні сумісності з EVM у Starknet, але є певні сумніви щодо успіху Kakarot.
Конкуренція з такими конкурентами:
Відповідність ринку продукту (PMF)
Загалом, Rollup-as-a-service є неперевіреним аргументом, який вимагає розгляду двох ключових аспектів:
Постійно повторюйте продукти
Kakarot створює дуже технічно складний продукт, який, ймовірно, потребуватиме постійних ітерацій, щоб досягти успіху. Це також залежить від кількох компонентів, зокрема: