Kakarot zkEVM — це віртуальна машина Ethereum (EVM), написана в Каїрі. Cairo — це повна за Тьюрингом мова, пов’язана з CairoVM. CairoVM використовує поліноміальні системи та системи доказів ZK-STARK для досягнення перевірених обчислень.
Особливістю zkEVM є те, що він може генерувати перевірені транзакції, тому він також може генерувати перевірені блоки. Kakarot побудовано на основі CairoVM, тому кожну транзакцію, виконану на Kakarot, можна перевірити.
Загалом Kakarot zkEVM написано мовою Cairo та використовує систему перевірки ZK-STARK для забезпечення перевіреної обчислювальної потужності. Це дозволяє розробникам розгортати додатки EVM поверх нього, а кінцеві користувачі можуть взаємодіяти з цими додатками за допомогою свого звичайного інструментарію.
Нарешті, Kakarot також забезпечить взаємодію з протоколом Starknet, забезпечуючи можливість компонування для протоколів у різних областях, таких як DeFi та GameFi.
карта маршруту
Проект стартував у жовтні 2022 року з кількома цілями: відкрити вихідний код із першого дня та, найамбітніше, створити zkEVM у менш ніж 10 000 рядків коду. Цього вдалося досягти всього за півроку. А тестова мережа буде випущена наприкінці літа 2023 року.
Дорожня карта Kakarot zkEVM розділена на три етапи:
Фаза 1: Kakarot zkEVM на Starknet — перенесення EVM на Starknet
Kakarot zkEVM спочатку існуватиме в Starknet L2 як вбудований EVM, що дозволить розробникам безпосередньо розгортати свої смарт-контракти Solidity (або будь-яку мову, сумісну з EVM) на Starknet і використовувати їхні знайомі інструменти (такі як Foundry, Hardhat, Wagmi тощо). . Їхні кінцеві користувачі зможуть взаємодіяти зі своїми dApps за допомогою знайомих інструментів, таких як Metamask, Wallet connect тощо. Загалом, досвід розробників і користувачів у Kakarot буде точно таким же, як у Polygon, Scroll або Ethereum L1
Фаза 2: Kakarot x Madara — L3 zkEVMs
Kakarot і Madara будуть об’єднані в єдиний стек, щоб увімкнути zkEVM L3 і там, де є сенс увімкнути L4, L5 тощо. Команди зможуть розгортати свій ланцюжок додатків zkEVM і використовувати докази дійсності для розрахунків за транзакціями в Starknet. Обчислення виконуються поза ланцюгом або на вищому рівні та перевіряються в ланцюзі. Ці докази дійсності L3 (як Kakarot) мають цікаву та недооцінену властивість: здатність роз’єднати безпеку та децентралізацію. Користувачі можуть скористатися перевагами безпеки Ethereum L1, не вимагаючи того самого рівня децентралізації (тобто тисячі валідаторів). Однак для зведених операцій децентралізація є корисною, оскільки вона забезпечує живість і стійкість до цензури, дві дуже важливі властивості. Цього можна досягти, встановивши секвенсор на сотні замість тисяч. L2 має набагато нижчу вартість газу та вищу продуктивність (TPS), ніж L2, оскільки обчислення виконуються на іншому рівні. Зверніть увагу, що L2 вже набагато дешевше L1. Зведені пакети складаються та множаться для масштабованості. Щоб ще більше знизити витрати на газ, перевірку доказів і доступність даних (DA) можна розділити. Starknet L2 можна використовувати лише як рівень перевірки доказів, тоді як нові рішення щодо доступності даних, такі як Celestia або EigenDA, можна використовувати для публікації даних транзакцій. Користувачі матимуть можливість підключитися до будь-якого з них залежно від своїх потреб безпеки. Публікація доказів і даних транзакцій у Starknet є безпечнішим варіантом, тоді як використання рішень DA для публікації даних транзакцій є більш економічним варіантом
Фаза 3: Kakarot x Madara — тип 1 zkEVM
Kakarot і Madara також можна поєднати для реалізації типу 1 zkEVM. Якщо можеш:
Напишіть правила консенсусу Ethereum з Cairo у повному вузлі Madara x Kakarot, щоб можна було підтвердити консенсус L1.
Перейдіть з Pedersen Merkle Patricia Trie (MPT) на Keccak MPT. Тоді Kakarot стане клієнтом zkEVM типу 1, здатним засвідчувати блоки L1. Це більш просунутий варіант використання, який залежить від дорожньої карти Ethereum, особливо Verge. Після Verge keccak може бути замінений на poseidon як обрану хеш-функцію для Ethereum. Це допоможе команді zkEVM бути першим типом, оскільки основною перешкодою сумісності для zkEVM є компонування сховища, тобто впровадження Keccak MPT за доведеною та прийнятною ціною.
Команда:
У хакерському домі в Лісабоні близько тижня самовідданої праці близько десяти людей побудували zkEVM, наразі народилася основна команда Kakarot.
Завдяки допомозі Starknet Foundation і Onlydust сьогодні Kakarot має понад 40 унікальних учасників.
**Еліас Тазартес: **Співзасновник і генеральний директор Kakarot, незалежний розробник, який спеціалізується на розробці блокчейнів (Dapp, Ethereum, Algorand) і повноцінній розробці (Svelte/React, NodeJS, Rust, Python).
**Клеман Вальтер:**Науковець, інженер, підприємець, різноробочий, їй цікаво все, це знайомство Клеман з собою. Водночас він є співзасновником і технічним директором Kakarot
Фінансування:
Наразі Kakarot здійснив передпочаткове фінансування. Конкретна сума фінансування не оголошена. Команди та персонал, залучені до інвестиції: **Starkware, LambDa. **Інвестори-ангели включають Віталік, Ніколас Бакка, співзасновник Ledger, і Ренд Хінді, співзасновник і генеральний директор ZAMA.
Підсумуйте:
Зараз екологічний розвиток публічних ланцюгів, несумісних з EVM, знаходиться на повільній стадії. Наразі більшість публічних ланцюгів екології розроблено навколо екосистеми Ethereum. Kakarot, як віртуальна машина Ethereum (EVM), написана в Каїрі на Starknet, може швидко Хороший зв’язок між екологією Starknet і екологією Ethereum, на Starknet, який не сумісний з EVM, дозволяє добре побудувати екологію Ethereum на Starknet і знижує вихідний бар’єр для розробників, доступ до безпека Ethereum і зниження витрат. На другому та третьому етапах Kakarot можна досягти більшої комбінованості, і такі модулі, як Celestia або EigenDA, можна поєднувати модульно.
Як пише ZK-EVM на Starknet, зв’язок із екологією Starknet схожий на зв’язок між губами та зубами, і обидва процвітають.Наразі Starknet також постійно ітеративно оновлюється, щоб покращити користувацький досвід, і покладаючись на ZK- EVM, створений Kakarot, може бути дуже хорошим. Щоб сприяти екологічному процвітанню проекту, навпаки, якщо розвиток Starknet не буде задовільним, Kakarot також постраждає.
Ще одна перевага Kakarot полягає в тому, що він має підтримку V God і StarkWare не лише духовно, а й фінансово.
Порівняно з іншими ZK-EVM, Kakarot знаходиться в невигідному становищі — команда менше 10 людей, з набагато меншим бюджетом і брендом. Це одна з причин, чому Kakarot не розгортається як zkEVM L2 загального призначення.
Наразі Kakarot все ще знаходиться на ранній стадії, і тестова мережа буде випущена найближчим часом, будь ласка, слідкуйте за оновленнями.
Переглянути оригінал
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Kakarot: Zk-EVM, який Віталік Бутерін вважав крутим і інвестував у нього
Автор: Yinan
Вступ
Kakarot zkEVM — це віртуальна машина Ethereum (EVM), написана в Каїрі. Cairo — це повна за Тьюрингом мова, пов’язана з CairoVM. CairoVM використовує поліноміальні системи та системи доказів ZK-STARK для досягнення перевірених обчислень.
Особливістю zkEVM є те, що він може генерувати перевірені транзакції, тому він також може генерувати перевірені блоки. Kakarot побудовано на основі CairoVM, тому кожну транзакцію, виконану на Kakarot, можна перевірити.
Загалом Kakarot zkEVM написано мовою Cairo та використовує систему перевірки ZK-STARK для забезпечення перевіреної обчислювальної потужності. Це дозволяє розробникам розгортати додатки EVM поверх нього, а кінцеві користувачі можуть взаємодіяти з цими додатками за допомогою свого звичайного інструментарію.
Нарешті, Kakarot також забезпечить взаємодію з протоколом Starknet, забезпечуючи можливість компонування для протоколів у різних областях, таких як DeFi та GameFi.
карта маршруту
Проект стартував у жовтні 2022 року з кількома цілями: відкрити вихідний код із першого дня та, найамбітніше, створити zkEVM у менш ніж 10 000 рядків коду. Цього вдалося досягти всього за півроку. А тестова мережа буде випущена наприкінці літа 2023 року.
Дорожня карта Kakarot zkEVM розділена на три етапи:
Kakarot zkEVM спочатку існуватиме в Starknet L2 як вбудований EVM, що дозволить розробникам безпосередньо розгортати свої смарт-контракти Solidity (або будь-яку мову, сумісну з EVM) на Starknet і використовувати їхні знайомі інструменти (такі як Foundry, Hardhat, Wagmi тощо). . Їхні кінцеві користувачі зможуть взаємодіяти зі своїми dApps за допомогою знайомих інструментів, таких як Metamask, Wallet connect тощо. Загалом, досвід розробників і користувачів у Kakarot буде точно таким же, як у Polygon, Scroll або Ethereum L1
Kakarot і Madara будуть об’єднані в єдиний стек, щоб увімкнути zkEVM L3 і там, де є сенс увімкнути L4, L5 тощо. Команди зможуть розгортати свій ланцюжок додатків zkEVM і використовувати докази дійсності для розрахунків за транзакціями в Starknet. Обчислення виконуються поза ланцюгом або на вищому рівні та перевіряються в ланцюзі. Ці докази дійсності L3 (як Kakarot) мають цікаву та недооцінену властивість: здатність роз’єднати безпеку та децентралізацію. Користувачі можуть скористатися перевагами безпеки Ethereum L1, не вимагаючи того самого рівня децентралізації (тобто тисячі валідаторів). Однак для зведених операцій децентралізація є корисною, оскільки вона забезпечує живість і стійкість до цензури, дві дуже важливі властивості. Цього можна досягти, встановивши секвенсор на сотні замість тисяч. L2 має набагато нижчу вартість газу та вищу продуктивність (TPS), ніж L2, оскільки обчислення виконуються на іншому рівні. Зверніть увагу, що L2 вже набагато дешевше L1. Зведені пакети складаються та множаться для масштабованості. Щоб ще більше знизити витрати на газ, перевірку доказів і доступність даних (DA) можна розділити. Starknet L2 можна використовувати лише як рівень перевірки доказів, тоді як нові рішення щодо доступності даних, такі як Celestia або EigenDA, можна використовувати для публікації даних транзакцій. Користувачі матимуть можливість підключитися до будь-якого з них залежно від своїх потреб безпеки. Публікація доказів і даних транзакцій у Starknet є безпечнішим варіантом, тоді як використання рішень DA для публікації даних транзакцій є більш економічним варіантом
Kakarot і Madara також можна поєднати для реалізації типу 1 zkEVM. Якщо можеш:
Команда:
У хакерському домі в Лісабоні близько тижня самовідданої праці близько десяти людей побудували zkEVM, наразі народилася основна команда Kakarot.
Завдяки допомозі Starknet Foundation і Onlydust сьогодні Kakarot має понад 40 унікальних учасників.
**Еліас Тазартес: **Співзасновник і генеральний директор Kakarot, незалежний розробник, який спеціалізується на розробці блокчейнів (Dapp, Ethereum, Algorand) і повноцінній розробці (Svelte/React, NodeJS, Rust, Python).
**Клеман Вальтер:**Науковець, інженер, підприємець, різноробочий, їй цікаво все, це знайомство Клеман з собою. Водночас він є співзасновником і технічним директором Kakarot
Фінансування:
Наразі Kakarot здійснив передпочаткове фінансування. Конкретна сума фінансування не оголошена. Команди та персонал, залучені до інвестиції: **Starkware, LambDa. **Інвестори-ангели включають Віталік, Ніколас Бакка, співзасновник Ledger, і Ренд Хінді, співзасновник і генеральний директор ZAMA.
Підсумуйте:
Зараз екологічний розвиток публічних ланцюгів, несумісних з EVM, знаходиться на повільній стадії. Наразі більшість публічних ланцюгів екології розроблено навколо екосистеми Ethereum. Kakarot, як віртуальна машина Ethereum (EVM), написана в Каїрі на Starknet, може швидко Хороший зв’язок між екологією Starknet і екологією Ethereum, на Starknet, який не сумісний з EVM, дозволяє добре побудувати екологію Ethereum на Starknet і знижує вихідний бар’єр для розробників, доступ до безпека Ethereum і зниження витрат. На другому та третьому етапах Kakarot можна досягти більшої комбінованості, і такі модулі, як Celestia або EigenDA, можна поєднувати модульно.
Як пише ZK-EVM на Starknet, зв’язок із екологією Starknet схожий на зв’язок між губами та зубами, і обидва процвітають.Наразі Starknet також постійно ітеративно оновлюється, щоб покращити користувацький досвід, і покладаючись на ZK- EVM, створений Kakarot, може бути дуже хорошим. Щоб сприяти екологічному процвітанню проекту, навпаки, якщо розвиток Starknet не буде задовільним, Kakarot також постраждає.
Ще одна перевага Kakarot полягає в тому, що він має підтримку V God і StarkWare не лише духовно, а й фінансово.
Порівняно з іншими ZK-EVM, Kakarot знаходиться в невигідному становищі — команда менше 10 людей, з набагато меншим бюджетом і брендом. Це одна з причин, чому Kakarot не розгортається як zkEVM L2 загального призначення.
Наразі Kakarot все ще знаходиться на ранній стадії, і тестова мережа буде випущена найближчим часом, будь ласка, слідкуйте за оновленнями.