Bitcoin(BTC)$106,153.00-0.26%
Ethereum(ETH)$3,879.58-2.72%
XRP(XRP)$2.574.13%
Tether(USDT)$1.00-0.18%
Solana(SOL)$222.053.46%
BNB(BNB)$718.90-0.02%
Dogecoin(DOGE)$0.394921-1.19%
USDC(USDC)$1.00-0.17%
Lido Staked Ether(STETH)$3,872.76-2.79%
Cardano(ADA)$1.05-1.81%
Атака зкеВМ! 10-кратний момент Crypto – Журнал Cointelegraph
Наразі крипто занепадає, як і Інтернет у 1996 році, з низькою швидкістю та невеликою кількістю прикладів практичного використання, каже Стів Ньюком, директор із продуктів Matter Labs.
Але невдовзі значне збільшення пропускної здатності та безпеки призвело до того, що Інтернет став важливою частиною повсякденного життя в усьому світі — і ми якраз на порозі того, що станеться з криптовалютою в найближчі кілька місяців.
«Ніхто не довіряв цій кредитній картці, і всі вважали, що це примха, і для цього не було жодних випадків використання», — пояснює Ньюком.
«І тоді ми мали 10-кратне збільшення пропускної здатності, потім з’явився SSL і HTTPS, де ви отримали блокування — це був 10-кратний момент довіри. Раптом у 2005 році електронна комерція просто пішла вгору».
Момент «10x» Crypto нарешті настав із запуском основної мережі, сумісної з віртуальною машиною Ethereum від zkSync, 28 жовтня. EVM, по суті, є операційною системою для Ethereum, і її можливість працювати за допомогою нульових зведень означає, що все, що працює на Ethereum, може безперешкодно переноситися на досвід. величезний стрибок у швидкості та зниження витрат.
Вони не єдині, хто атакує проблему: цього тижня Polygon запустив свою тестову мережу для власної zkEVM, а Aave, Uniswap і Lens зобов’язалися її розгорнути. Scroll запустив свою тестову мережу «Pre Alpha» у липні Рішення zk від StarkWare обробляє мільйони транзакцій на місяць.
Усі ці рішення добре фінансуються: Scroll зібрав 30 мільйонів доларів, Starkware – 150 мільйонів доларів, а Polygon – 450 мільйонів доларів. Ньюкомб натякає, що власний раунд фінансування zkSync знаходиться на тому ж рівні, що й Polygon, але про це ще не було офіційно оголошено.
StarkWare значно випереджає всіх, дев’ять місяців тому запустивши власне зведене рішення zk і він увімкнув рекурсивне масштабування в серпні. Але він також прийняв ризиковане рішення використовувати спеціальну мову програмування Cairo для більш ефективного масштабування. Це може призвести до переходу великих протоколів до шляху найменшого опору на рішеннях, сумісних з EVM.
Усі рішення також працюють над рекурсивним масштабуванням та/або реалізаціями «Рівня 3», завдяки яким транзакції Ethereum потенційно стануть у тисячі разів швидшими, позбудеться необхідності міжланцюгових мостів і дозволить криптовалюті нарешті реалізувати свій справжній потенціал.
Що таке нульові знання?
ZK rollups є одними з найбільш популярних слів у blockchain сьогодні. Ця технологія дозволяє обчислювати тисячі транзакцій поза межами надзвичайно повільного блокчейну Ethereum із крихітним «підтвердженням дійсності», яке підтверджує, що всі транзакції були проведені правильно. Таким чином, ви можете «згорнути» 10 000 транзакцій, здійснених деінде, в одну транзакцію ETH. Це велика справа, тому що навіть після злиття Ethereum кульгає зі швидкістю 15 транзакцій в секунду.
Зведені ZK вже деякий час використовуються для NFT і фінансових транзакцій на таких платформах, як Loopring, dyDx та інших. Але як зазначив співзасновник Віталік Бутерін під час ETH Seoul у серпні:
«Загалом, я думаю, ми зрозуміли, що люди хочуть не просто масштабованих грошей, вони хочуть масштабовану EVM».
Це один із тих, що Ньюкомб називає «п’ятьма магічними елементами» для зведених ZK. На його думку, зведене рішення ZK має бути загального призначення, сумісним з EVM і підтримувати мову програмування Ethereum Solidity. Він також має бути з відкритим вихідним кодом, щоб відповідати основоположнику криптовалюти, і він повинен мати розповсюдження токенів, яке децентралізує протокол, а не концентрує багатство серед команди.
За дивним збігом обставин zkSync досяг усіх п’яти цих самостійних показників. (Ньюкомб каже, що він не може деталізувати точний розподіл токенів, але каже, що близько 30% для інсайдерів, здається, є «консенсусом».)
Контрольний список є чимось на кшталт завуальованої критики конкурента StarkWare, який збирається віддати 49,9% своїх поставок токенів StarkNet інвесторам і основним учасникам. Він також не є відкритим вихідним кодом, хоча планує передати контроль над IP своїй спільноті.
Співзасновник Елі Бен-Сассон пояснює, що єдиний спосіб повною мірою скористатися перевагами масштабування, які надає зведення ZK, — це використовувати спеціальну мову, наприклад Cairo.
«Я дуже впевнений, що люди зрозуміють, щойно ввімкнуть докази, що метою є не імітація EVM. Мета – досягти масштабованості. Розмістити 10 000, 100 000, один мільйон транзакцій і мати їх підтвердження в одному блоці Ethereum», — говорить він.
«Я готовий посперечатися, що ви не побачите повномасштабну ZK EVM, яка може помістити мільйон транзакцій в одне підтвердження на Ethereum. Як ми можемо легко зробити сьогодні і робимо це протягом місяців і років».
Масштабування проти сумісності
Odin-Free від StarkWare пояснив у Twitter, що потреба в користувальницькій мові пояснюється складними математичними причинами, оскільки «системи доказів, такі як Stark, базуються на поліномах над скінченними полями, що дає набагато ефективніше поліноміальне рівняння». Добре, давайте повіримо йому на слово.
Для Бена-Сассона спроба підняти EVM просто тупа:
«Якби ви хотіли вирішити проблеми з транспортуванням, ви могли б взяти велику вантажівку, посадити її в літак, щоб літак доставив її», — каже він.
«Є літаки, які можуть розмістити вантажівку, але це дуже неефективний спосіб зробити це. Набагато кращий спосіб — просто взяти речі та покласти їх прямо в літак».
Тим не менш, екосистема має транспілер під назвою Warp, який перетворює код Solidity на код Cairo і який щойно використовувався для перенесення форка Uniswap на StarkNet.
Таким чином, по суті, з zk rollups є вибір між повною сумісністю з EVM і масштабуванням. Повна сумісність дає змогу легко переносити DApps і протоколи, і все працює точно так само, як на Ethereum для розробників і користувачів, але з точки зору масштабування швидше, очевидно, краще.
Ньюкомб визнає, що рішення StarkWare забезпечить кращий масштаб, але каже, що жертвування доступністю означає, що воно більше підходить для індивідуальних корпоративних програм, ніж як фундаментальна частина Ethereum через «тертя щодо впровадження».
«Вони не сумісні з EVM, тому їх дуже важко перенести. Ми бачили проекти, для перенесення яких потрібно сім місяців».
Сумісний, але менш елегантний
Немає узгодженого визначення, але «еквівалент EVM» зазвичай означає «точно так само, як EVM», тому ви можете просто розгорнути наявний смарт-контракт у рішенні без будь-яких змін.
Загальновідомо, що Scroll еквівалентний, але він також ще не в належній тестовій мережі та відстає від інших на багато місяців із порівняно невеликим бюджетом. Рішення zkEVM від Polygon стверджує, що воно еквівалентне (однак це оскаржується). Тим часом zkSync буде сумісним з EVM, що означає, що він майже ідентичний, але деякі речі можуть не працювати через деякі варіанти дизайну, щоб покращити роботу рішення.
Багатокутник у понеділок запустив свою публічну тестову мережу zkEVM, заявивши, що «Polygon є першим проектом, який надає повнофункціональну реалізацію zkEVM з відкритим кодом; новаторська віха не лише для Polygon, а й для всієї галузі». Polygon каже, що тестова мережа «включає повністю відкритий zk-Prover — перший у своєму роді, який буде випущений для всіх».
Співзасновник Михайло Бєліч розповідає Magazine, що перші тести показують, що «zkEVM від Polygon може знизити плату за мережу Ethereum приблизно на 90% і збільшити пропускну здатність мережі на кілька порядків».
Він каже, що відкритий вихідний код технології «доводить нашу відповідність етиці галузі та підвищує безпеку рішення, оскільки будь-хто може переглянути його та вказати на можливі помилки. Це не стосується StarkNet або zkSync, які зберігають критичні частини своїх реалізацій у закритому коді, принаймні на даний момент».
Технічний біт
Відповідно до Luozhu Zhang зі Scroll, існує три потенційні типи zkEVM: рівень байт-коду, рівень мови та рівень консенсусу. zkSync і StarkWare працюють на рівні мови і вимагають кроку компілятора або транспілятора, тоді як Scroll і Polygon є підходами на рівні байт-коду. Людиночитана форма байт-коду називається кодом операції.
Бєліч каже, що рішення Polygon розроблено як еквівалент EVM, тоді як:
«Такі проекти, як StarkNet і zkSync, йдуть іншим шляхом — у них є власні віртуальні машини, а потім вони намагаються транспілювати Solidity, найпопулярнішу мову, побудовану на основі EVM, на мови, які ці віртуальні машини можуть інтерпретувати», — каже він.
«Цей підхід пов’язаний з двома основними проблемами: (i) важко побудувати транспілер, який підтримуватиме 100% смарт-контрактів Solidity, і (ii) навіть якщо у вас є транспілер, ви все одно не зможете залучити всіх розробників і кінцевих користувачів. такі інструменти, як Polygon zkEVM, можуть».
Ньюком каже, що поширюється погана інформація. «Ми не транспілюємо, ми компілюємо», — каже він. І він кидає відповідь на Polygon, кажучи, що, дивлячись на Github проекту, вони ще не розробили робочий прувер загального призначення, інтегрований із робочим секвенсором.
«Якщо це так, то це означає, що вони мають виконати невизначений обсяг роботи. Останні 10% будь-якої складної системи завжди найважчі. Це виглядає схоже на те, де ми були або навіть позаду того, де ми були, коли ми запускали testnet. А потім нам знадобилося дев’ять місяців».
Переважно сумісний
Тим часом zkSync сумісний з усіма, крім трьох, із 141 коду операцій Ethereum — один з яких застарів, інший застарів, а третій використовується менш ніж 1/10 від 1% проектів згідно з Newcomb.
«То що ми отримали за те, що не були повністю еквівалентними? Ми маємо дві речі: наша ціна продуктивності набагато краща, ніж будь-яке рішення, що шукає еквівалентності. Ми набагато швидше, набагато дешевше. І друге, що ми отримали, це те, що ми змогли вставити компілятор LLVM у наш ланцюжок, чого ви не можете зробити, якщо ви робите еквівалент. І те, що робить компілятор LLVM, полягає в тому, що ми вже розглядаємо третій рівень».
LLVM дозволив би використовувати код розробника Python, Rust або C++ у своєму рішенні, який потім компілюється, щоб працювати так само з Solidity.
«Це дуже важливо для усиновлення. Тож де цей проект, який тривав сім місяців тут, у Каїрі, той самий проект екосистеми перенесено до нас за сім днів. Це сумісність».
Він визнає, що для перенесення знадобився б лише один день, якби zkSync мав повну еквівалентність, але пропустив би LLVM і збільшене масштабування. Тож він каже, що це компроміс, на який варто піти.
Рівень 3 і рекурсивне масштабування
Найкрутіша річ у можливості стискати велику кількість транзакцій в одне підтвердження дійсності полягає в тому, що ця технологія дозволяє стискати численні інші докази також в єдиний доказ.
Це називається рекурсивним масштабуванням, і Деклан Фокс, менеджер із зведень у Consensys, вважає, що він настільки потужний, що теоретично вся глобальна фінансова система може працювати на Ethereum. «У нас є технологія для досягнення такої необхідної пропускної здатності», — каже він. «За допомогою рекурсивних зведень і доказів ми теоретично можемо нескінченно масштабуватися».
Читайте також: Ethereum з’їдає світ: «Вам потрібен лише один Інтернет»
StarkWare увімкнув рекурсивне масштабування ще в серпні та обробив понад 30 мільйонів транзакцій з моменту використання цієї технології.
«На цьому ранньому етапі рекурсія вже збільшила кількість транзакцій в одному доказі приблизно у 8 разів», — пояснює Бен-Сассон. «Більше того, він виявився настільки ефективним, що невдовзі після того, як він був запущений у виробництво, ми зменшили приблизно на 40% нашу власну хмарну вартість для створення доказів.
«Це не прогнози чи цифри, які ми сподіваємося побачити, а скоріше цифри з того, що сьогодні виробляється. І я наголошую: це лише початок, і зміни, які ми внесемо, означатимуть, що ці цифри ставатимуть все більш вражаючими.
За словами Бєліча, Polygon збирається реалізувати своє рішення Plonky2. Це рішення zk-SNARK з відкритим кодом. «Цей рекурсивний SNARK можна використовувати для перевірки транзакцій на порядок швидше, ніж існуючі альтернативи. Plonky2 також оригінально сумісний з віртуальною машиною Ethereum, що дозволило Polygon розробити zkEVM».
І тестова мережа для рівня 3 ZK Sync буде випущена незабаром, щоб скористатися перевагами оновлення Ethereum під назвою Proto-Danksharding на початку наступного року, розробленого…
