Наразі крипто занепадає, як і Інтернет у 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?
ZK rollups є одними з найбільш популярних слів у blockchain сьогодні. Ця технологія дозволяє обчислювати тисячі транзакцій поза межами надзвичайно повільного блокчейну Ethereum із крихітним «підтвердженням дійсності», яке підтверджує, що всі транзакції були проведені правильно. Таким чином, ви можете «згорнути» 10,000 XNUMX транзакцій, здійснених деінде, в одну транзакцію 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, XNUMX XNUMX, один мільйон транзакцій і мати їх підтвердження в одному блоці Ethereum», — говорить він.
«Я готовий посперечатися, що ви не побачите повномасштабну ZK EVM, яка може помістити мільйон транзакцій в одне підтвердження на Ethereum. Як ми можемо легко зробити сьогодні і робимо це протягом місяців і років».
Масштабування проти сумісності
Odin-Free від StarkWare пояснив у Twitter, що потреба в користувальницькій мові пояснюється складними математичними причинами, оскільки «системи доказів, такі як Stark, базуються на поліномах над скінченними полями, що дає набагато ефективніше поліноміальне рівняння». Добре, давайте повіримо йому на слово.
Для Бена-Сассона спроба підняти EVM просто тупа:
«Якби ви хотіли вирішити проблеми з транспортуванням, ви могли б взяти велику вантажівку, посадити її в літак, щоб літак доставив її», — каже він.
«Є літаки, які можуть розмістити вантажівку, але це дуже неефективний спосіб зробити це. Набагато кращий спосіб — просто взяти речі та покласти їх прямо в літак».
Тим не менш, екосистема має транспілер під назвою Warp, який перетворює код Solidity на код Cairo і який щойно використовувався для перенесення форка Uniswap на StarkNet.
Отже, по суті, зі зведеними версіями ZK є вибір між повною сумісністю з 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 zkSync буде випущена незабаром, щоб скористатися перевагами оновлення Ethereum під назвою Proto-Danksharding на початку наступного року, розробленого спеціально для того, щоб дати зведеним пакетам простір на Ethereum для розквіту. Newcomb очікує, що Layer 3 буде у виробництві протягом року. Вони називають це Pathfinder, екосистемою «фрактальних гіперланцюгів».
«Ми, напевно, могли б продовжувати працювати годинами з точки зору інженерії, але функціонально, чим далі в рекурсивному ланцюжку ви відходите від Etherium, тим дешевшими стають витрати на дані, і це 10x, 10x, 10x, 10x, оскільки ви рекурсивно відходите від вартості даних, і це унікально для zk».
«Тут ми досягаємо 100,000 4000 TPS і мільйона TPS», — каже він. Visa піднімається на рівні близько 65,000 TPS у звичайний день, підвищуючись приблизно до XNUMX XNUMX TPS у години пік, як-от Chrismats.
«ZK — це єдиний спосіб досягти приблизно 100,000 XNUMX TPS, щоб ви могли досягти рівня, коли щось на кшталт Visa замінює свій базовий протокол на блокчейн. І коли ви це зробите, це момент вашого масового усиновлення».
Ще одна дивовижна подія, за словами Ньюкомба, полягає в тому, що Рівень 3 може позбутися вимоги міжланцюгових мостів, де лише цього року відбулися злами на понад 2 мільярди доларів.
«Одна з інших речей, яких ми вже досягли на Рівні 3, ми позбулися всіх мостів. І коли ви можете мати один прувер, який виконує схему для всіх гіперланцюгів у L3, будь-який зв’язок від одного блокчейна до іншого тепер є нативним. Це ще одна причина, чому Віталік сказав, що це кінець гри, тому що мостів більше немає».
«Якщо ви зробите його швидшим, дешевшим на порядки, якщо ви зробите його простішим у використанні та більш приємним для ширшої аудиторії розробників, маючи більше доступних мов, і тоді ви змусите людей довіряти цьому, тому що ви позбудетеся мостів. Це те, що я завжди кажу, що зоряне скупчення з 10-кратними моментами вгорі в L3, і саме там буде гра».
Ще не виправлено
Так це все? З появою зведених пакетів ZK і сумісних з EVM рішень для масштабування все вирішено?
На жаль ні. Зведені ZK зараз дуже добре знімають обчислення з Ethereum, але їм все одно потрібно записати достатньо даних назад до основного ланцюга, щоб, якщо зведення перестало працювати або його захопили погані хлопці, якась інша компанія могла втрутитися в злом. і визначити, хто кому що винен.
Це називається проблемою доступності даних, і значна частина дорожньої карти Ethereum із протоданкшардінгом і повним данкшардінгом має на меті вирішити її та дозволити включити більше даних. Наразі існує кілька способів обійти це, включаючи зберігання даних у Validiums, які дешевші, але менш безпечні.
Підписуватися
Найцікавіше читання в блокчейні. Доставлено один раз a
тиждень.
«Ми описуємо це так: якщо у вас є колекція бейсбольних карток, і багато з цих карток не коштують багато, і ви зберегли їх у Validium, але одна рідкісна картка, яка коштує багато грошей, ви, ймовірно, заощадити на Рівні 1», — говорить Бен-Сассон.
Polygon працює над низкою рішень цієї ж проблеми, включаючи Avail, «блокчейн, де інформація доступна кожному в будь-який час, розроблений спеціально для цієї мети», — говорить Бєліч.
zkSync Pathfinder дозволить розробникам вибирати з трьох варіантів доступності даних: Validium, zkPorter (змішування в ланцюзі та поза ланцюгом) і ZKRollup (повна безпека).
Не очікуйте великого вибуху від запуску основної мережі zkSync 28 жовтня. Спочатку це буде трохи невтішно, оскільки пару місяців лише тестування Matter Labs і пропонування користувачам бонусів за спроби зламати його чи використати його. Тоді DApps буде дозволено переносити, і вони почнуть будувати та тестувати безпеку.
«І тоді, коли ми відчуваємо, що ми все зробили, ми робимо те, що називається підйомом у воротах», — каже Ньюком. «І тоді всі користувачі можуть увійти в систему одночасно, і це називається програмою справедливого випуску. Тому ми не віддаємо перевагу жодному проекту над іншим». Він каже, що на той момент буде запущено 150 проектів, і більше не буде жодних причин чекати, поки рішення Polygon буде завершено.
«Це ніби вони їдуть на іподром і з’являються з шасі автомобіля без коліс, без керма і без двигуна», — каже він.
«У нас готовий весь продукт. Ви знаєте, що у нас є Ferrari, і ми готові до роботи».
Джерело: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment