У цяперашні час крыпта згасае, як Інтэрнэт у 1996 годзе, з нізкай хуткасцю і невялікай колькасцю практычных варыянтаў выкарыстання, кажа Стыў Ньюкомб, дырэктар па прадуктах Matter Labs.
Але значнае павелічэнне прапускной здольнасці і бяспекі неўзабаве прывяло да таго, што Інтэрнэт стаў важнай часткай паўсядзённага жыцця ва ўсім свеце — і мы знаходзімся на парозе таго, што адбудзецца з крыптаграфікай у бліжэйшыя некалькі месяцаў.
«Ніхто не давяраў сваёй крэдытнай карце на гэта, і ўсе думалі, што гэта мода, і не было ніякіх варыянтаў выкарыстання для гэтага,» Ньюкомб тлумачыць.
«А потым у нас была 10-кратная прапускная здольнасць, а затым з'явіўся SSL і HTTPS, дзе вы атрымалі блакіроўку - гэта быў 10-кратны момант у даверы. Раптам у 2005 годзе электронны гандаль проста разгарнуўся».
Момант Crypto '10x' можа нарэшце наступіць, калі 28 кастрычніка будзе запушчана асноўная сетка, сумяшчальная з віртуальнай машынай Ethereum ад zkSync. EVM, па сутнасці, з'яўляецца аперацыйнай сістэмай для Ethereum, і яе магчымасць працаваць з выкарыстаннем нулявых ведаў азначае, што ўсё, што працуе на Ethereum, можа бесперашкодна пераносіцца на вопыт велізарны скачок хуткасці і зніжэнне выдаткаў.
Яны не адзіныя, хто атакуе праблему: на гэтым тыдні Polygon запусціў сваю тэставую сетку для ўласнай zkEVM, а Aave, Uniswap і Lens абавязаліся разгарнуць яе. Scroll запусціў сваю «Pre Alpha testnet» у ліпені Рашэнне zk ад StarkWare штомесяц здзяйсняе мільёны транзакцый.
Усе гэтыя рашэнні добра фінансуюцца: Scroll прыцягнула 30 мільёнаў долараў, Starkware — 150 мільёнаў долараў, а Polygon — 450 мільёнаў долараў. Ньюкомб намякае, што ўласны раўнд фінансавання zkSync знаходзіцца ў тым жа рэжыме, што і Polygon, але пра гэта яшчэ не было афіцыйна абвешчана.
StarkWare значна апярэджвае ўсіх, дзевяць месяцаў таму запусціўшы ўласнае зводнае рашэнне ZK і ён уключыў рэкурсіўнае маштабаванне ў жніўні. Але ён таксама прыняў рызыкоўнае рашэнне выкарыстаць карыстальніцкую мову праграмавання пад назвай Cairo для больш эфектыўнага маштабавання. Гэта можа прывесці да таго, што прыняцце буйных пратаколаў перайдзе на шлях найменшага супраціўлення рашэнняў, сумяшчальных з EVM.
Усе рашэнні таксама працуюць над рэкурсіўным маштабаваннем і/або ўкараненнем «Узроўню 3», у выніку чаго транзакцыі Ethereum патэнцыйна стануць у тысячы разоў хутчэйшымі, пазбавіцца ад неабходнасці міжланцуговых мастоў і дазволіць крыптаграфіі нарэшце рэалізаваць свой сапраўдны патэнцыял.
Што такое нулявы збор ведаў, або zk rollup?
ZK rollups з'яўляюцца аднымі з самых папулярных модных слоў у блокчейне сёння. Тэхналогія дазваляе вылічваць тысячы транзакцый у балюча павольным блокчейне 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 патлумачыў у Твітэры, што за неабходнасцю ўласнай мовы стаяць складаныя матэматычныя прычыны, таму што «сістэмы доказаў, такія як 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 з прота-данксхардынгам і поўным данкшардынгам накіравана на яе вырашэнне і дазваляе ўключыць больш даных. У цяперашні час ёсць некалькі спосабаў абыйсці гэта, уключаючы захоўванне даных на Validium, якія танней, але менш бяспечныя.
падпісвацца
Самае цікавае чытанне ў блокчейне. Дастаўлены адзін раз а
тыдзень.
«Такім чынам, мы апісваем гэта, калі ў вас ёсць калекцыя бейсбольных картак, і многія з гэтых картак не каштуюць шмат, і вы захавалі іх у Validium, але адна рэдкая карта, якая каштуе шмат грошай, вы, верагодна, атрымаеце зэканоміць на ўзроўні 1», — кажа Бэн-Сасан.
Polygon працуе над шэрагам рашэнняў гэтай жа праблемы, уключаючы Avail, «блокчэйн, дзе інфармацыя даступная кожнаму ў любы час, быў распрацаваны спецыяльна для гэтай мэты», - кажа Б'еліч.
Pathfinder zkSync дазволіць распрацоўшчыкам выбіраць з трох варыянтаў даступнасці даных: Validium, zkPorter (змешванне ў ланцужку і па-за ланцугом) і ZKRollup (поўная бяспека).
Не чакайце вялікага выбуху ад запуску ў асноўнай сетцы zkSync 28 кастрычніка. Спачатку гэта будзе даволі сумна: некалькі месяцаў тэставання Matter Labs і прапановы карыстальнікам бонусаў за спробу ўзламаць або выкарыстаць яго. Затым DApps будзе дазволена пераносіць і пачнецца стварэнне і тэставанне бяспекі.
«І тады, калі мы адчуваем, што ў нас усё зроблена, мы робім тое, што называецца пад'ёмам у варотах», - кажа Ньюкомб. «І тады ўсе карыстальнікі могуць увайсці ў сістэму адначасова, і гэта называецца праграмай справядлівага выпуску. Такім чынам, мы не аддаем перавагу ні аднаму праекту перад іншым». Ён кажа, што на той момант будзе запушчана 150 праектаў, і больш не будзе прычын чакаць, пакуль рашэнне Polygon будзе завершана.
«Гэта як быццам яны едуць на іпадром і з'яўляюцца з шасі аўтамабіля без колаў, без руля і зусім без рухавіка», — кажа ён.
«І ў нас ёсць увесь прадукт. Вы ведаеце, што ў нас ёсць Ferrari, і мы гатовыя ехаць».
Крыніца: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment