Дослідження ефективності: порівняльний аналіз zkEVM та Cairo VM
Зведення ефективності (Validity Rollups ) вважається найкращим вибором для підвищення пропускної здатності Ethereum безпечно і децентралізовано. У ефективних зведеннях zkEVM і Cairo VM ( CVM ) є двома основними типами віртуальних машин.
zkEVM зосереджений на сумісності з Ethereum, але жертвує продуктивністю та масштабованістю. Натомість Starknet використовує Cairo VM, який ставить продуктивність і масштабованість вище сумісності.
Основою узагальнення дійсності є використання доказів дійсності для верифікаційних обчислень. Вони працюють, передаючи виконання транзакцій у поза-ланцюгове середовище ( другого рівня ). Оператори другого рівня після обробки великої кількості транзакцій повертають результати та докази дійсності цілісності виконання поза ланцюгом до основної мережі Ethereum. Цей підхід може значно підвищити здатність Ethereum обробляти транзакції.
Віртуальна машина ( VM ) є середовищем для виконання програм. zkVM – це особлива віртуальна машина, яка може генерувати легкі для перевірки докази дійсності, щоб підтвердити, що програма була виконана правильно. zkEVM зазвичай відноситься до системи, яка може довести виконання EVM.
Хоча zkEVM і CVM обидва мають на меті розширення Ethereum через докази дійсності, вони мають різниці у виборі віртуальної машини для виконання транзакцій поза ланцюгом. zkEVM намагається відтворити досвід Ethereum на L2-агрегації, тоді як CVM спеціально розроблений для оптимізації ефективності доказів дійсності.
Мета zkEVM полягає в тому, щоб повністю інтегрувати середовище розробки Ethereum у другий рівень мережі. Це дозволяє розробникам мігрувати смарт-контракти до більш масштабованих рішень без зміни коду або відмови від інструментів EVM. Однак основним недоліком цього підходу є зниження потенціалу масштабування ефективності доказів. Оскільки EVM не враховує ефективність доказів під час проектування, це обмежує загальний простір для оптимізації продуктивності системи.
Справедливість EVM стикається з деякими викликами:
EVM використовує стекову модель, тоді як доказ ефективності більше підходить для регістрової моделі.
Зберігання Ethereum серйозно залежить від Keccak та великих дерев Merkle Patricia, що обидва є недоцільними для генерації доказів дійсності.
Отже, різні рішення zkEVM мають різний рівень підтримки інструментів Ethereum - чим вища сумісність з Ethereum, тим гірша продуктивність.
У порівнянні, Cairo VM використовує абсолютно новий спеціалізований дизайн віртуальної машини та додає підтримку інструментів Ethereum як додатковий шар. CVM спеціально розроблений для ефективного генерування доказів виконання програм, маючи такі переваги:
Алгебраичне представлення кожної команди є дійсним, оптимізуючи процес генерації доказів ефективності.
Забезпечити високорівневу мову на зразок Rust для написання програм, що можуть бути доведені.
Проміжне представлення між розширеним Cairo та асемблером Cairo (Sierra) забезпечує ефективне виконання.
Мова Cairo спростила складність створення математичних обмежень для опису обчислень, дозволяючи розробникам використовувати розширення додатків з доказами коректності, не розуміючи при цьому підґрунткову математику.
Starknet підтримує різноманітні методи кодування:
Прямо використовуйте Cairo для написання коду.
Перетворення коду Solidity на Cairo за допомогою Warp Transpiler.
Запустіть zkEVM( на Starknet, як проект Kakarot), для забезпечення сумісності смарт-контрактів Ethereum.
В цілому, zkEVM прагне відтворити середовище Ethereum, але обмежує весь потенціал доказів ефективності. Cairo VM, з іншого боку, спеціально розроблений для систем доказів ефективності, не підпорядковується обмеженням EVM і може забезпечити більш високу ефективність розширення Ethereum. З швидким розвитком екосистеми Cairo, розробники тепер мають різноманітні варіанти для розширення блокчейн-додатків.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
18 лайків
Нагородити
18
4
Репост
Поділіться
Прокоментувати
0/400
APY追逐者
· 08-14 06:22
Чому zk такий сильний, чому не переходить на Основна мережа?
Переглянути оригіналвідповісти на0
LayerZeroHero
· 08-13 15:48
Продуктивність і сумісність дійсно є вічною технічною проблемою. Я експериментував тиждень і дійшов до цього висновку.
Переглянути оригіналвідповісти на0
SerumSquirter
· 08-11 19:12
Це старий майнер, який прагне до максимальної tps.
Переглянути оригіналвідповісти на0
DaoResearcher
· 08-11 19:07
Згідно з VB документом P267, сумісність L2 не є оптимальним вибором.
zkEVM та Cairo VM: Порівняння двох віртуальних машин у зведенні ефективності
Дослідження ефективності: порівняльний аналіз zkEVM та Cairo VM
Зведення ефективності (Validity Rollups ) вважається найкращим вибором для підвищення пропускної здатності Ethereum безпечно і децентралізовано. У ефективних зведеннях zkEVM і Cairo VM ( CVM ) є двома основними типами віртуальних машин.
zkEVM зосереджений на сумісності з Ethereum, але жертвує продуктивністю та масштабованістю. Натомість Starknet використовує Cairo VM, який ставить продуктивність і масштабованість вище сумісності.
Основою узагальнення дійсності є використання доказів дійсності для верифікаційних обчислень. Вони працюють, передаючи виконання транзакцій у поза-ланцюгове середовище ( другого рівня ). Оператори другого рівня після обробки великої кількості транзакцій повертають результати та докази дійсності цілісності виконання поза ланцюгом до основної мережі Ethereum. Цей підхід може значно підвищити здатність Ethereum обробляти транзакції.
Віртуальна машина ( VM ) є середовищем для виконання програм. zkVM – це особлива віртуальна машина, яка може генерувати легкі для перевірки докази дійсності, щоб підтвердити, що програма була виконана правильно. zkEVM зазвичай відноситься до системи, яка може довести виконання EVM.
Хоча zkEVM і CVM обидва мають на меті розширення Ethereum через докази дійсності, вони мають різниці у виборі віртуальної машини для виконання транзакцій поза ланцюгом. zkEVM намагається відтворити досвід Ethereum на L2-агрегації, тоді як CVM спеціально розроблений для оптимізації ефективності доказів дійсності.
Мета zkEVM полягає в тому, щоб повністю інтегрувати середовище розробки Ethereum у другий рівень мережі. Це дозволяє розробникам мігрувати смарт-контракти до більш масштабованих рішень без зміни коду або відмови від інструментів EVM. Однак основним недоліком цього підходу є зниження потенціалу масштабування ефективності доказів. Оскільки EVM не враховує ефективність доказів під час проектування, це обмежує загальний простір для оптимізації продуктивності системи.
Справедливість EVM стикається з деякими викликами:
EVM використовує стекову модель, тоді як доказ ефективності більше підходить для регістрової моделі.
Зберігання Ethereum серйозно залежить від Keccak та великих дерев Merkle Patricia, що обидва є недоцільними для генерації доказів дійсності.
Отже, різні рішення zkEVM мають різний рівень підтримки інструментів Ethereum - чим вища сумісність з Ethereum, тим гірша продуктивність.
У порівнянні, Cairo VM використовує абсолютно новий спеціалізований дизайн віртуальної машини та додає підтримку інструментів Ethereum як додатковий шар. CVM спеціально розроблений для ефективного генерування доказів виконання програм, маючи такі переваги:
Алгебраичне представлення кожної команди є дійсним, оптимізуючи процес генерації доказів ефективності.
Забезпечити високорівневу мову на зразок Rust для написання програм, що можуть бути доведені.
Проміжне представлення між розширеним Cairo та асемблером Cairo (Sierra) забезпечує ефективне виконання.
Мова Cairo спростила складність створення математичних обмежень для опису обчислень, дозволяючи розробникам використовувати розширення додатків з доказами коректності, не розуміючи при цьому підґрунткову математику.
Starknet підтримує різноманітні методи кодування:
Прямо використовуйте Cairo для написання коду.
Перетворення коду Solidity на Cairo за допомогою Warp Transpiler.
Запустіть zkEVM( на Starknet, як проект Kakarot), для забезпечення сумісності смарт-контрактів Ethereum.
В цілому, zkEVM прагне відтворити середовище Ethereum, але обмежує весь потенціал доказів ефективності. Cairo VM, з іншого боку, спеціально розроблений для систем доказів ефективності, не підпорядковується обмеженням EVM і може забезпечити більш високу ефективність розширення Ethereum. З швидким розвитком екосистеми Cairo, розробники тепер мають різноманітні варіанти для розширення блокчейн-додатків.