Matter Labs компаниясының бас өнім директоры Стив Ньюкомбтың айтуынша, қазір крипто 1996 жылы интернет баяу жылдамдықпен және практикалық қолдану жағдайлары сияқты әлсіреп жатыр.
Бірақ көп ұзамай өткізу қабілеттілігі мен қауіпсіздіктің айтарлықтай өсуі интернеттің бүкіл әлемдегі күнделікті өмірдің маңызды бөлігіне айналғанын көрсетті - және біз алдағы бірнеше айда крипто үшін болатын жағдайдың шыңында тұрмыз.
«Оған ешкім несие картасына сенбеді және бәрі оны сән деп ойлады және оны пайдалану жағдайлары болмады», - деп түсіндіреді Ньюкомб.
«Содан кейін біз өткізу қабілеттілігінде 10 есе сәтке ие болдық, содан кейін SSL келді, және сіз бұл құлыпқа ие болған HTPS - бұл сенімге 10 есе сәт болды. 2005 жылы кенеттен электрондық коммерция шатырдан өтті ».
10 қазанда zkSync-тің Ethereum виртуалды машинасымен үйлесімді негізгі желісі іске қосылған криптоның «28x» сәті осында болуы мүмкін. EVM шын мәнінде Ethereum үшін операциялық жүйе болып табылады және оның нөлдік білім жинақтарын пайдалана отырып жұмыс істеуге мүмкіндік береді, Ethereum-да жұмыс істейтін барлық нәрсе тәжірибеге үздіксіз ауыса алады дегенді білдіреді. жылдамдықтағы үлкен секіріс және төмен шығындар.
Олар проблемаға шабуыл жасайтын жалғыз адамдар емес: Polygon осы аптада Aave, Uniswap және Lens көмегімен өзінің zkEVM үшін сынақ желісін іске қосты. Scroll шілде айында өзінің «Pre Alpha сынақ желісін» іске қосты StarkWare компаниясының zk шешімі айына миллиондаған транзакцияларды жүргізді.
Бұл шешімдердің барлығы жақсы қаржыландырылған, Scroll $30 млн, Starkware $150 млн және Polygon $450 млн көтерді. Newcomb zkSync-тің жеке қаржыландыру раундының Polygonдікімен бірдей ойын алаңында екенін айтады, бірақ ол әлі ресми түрде жарияланбаған.
StarkWare тоғыз ай бұрын өзінің ZK жиынтық шешімін іске қосып, пакеттен алда. ол тамызда рекурсивті масштабтауды қосты. Бірақ ол сонымен қатар тиімдірек масштабтау үшін Каир деп аталатын пайдаланушы бағдарламалау тілін пайдалану туралы қауіпті шешім қабылдады. Бұл үлкен хаттамаларды қабылдаудың EVM үйлесімді шешімдеріндегі ең аз қарсылық жолына өтуін көруге болады.
Барлық шешімдер рекурсивті масштабтау және/немесе «3-қабатты» іске асыруда жұмыс істейді, бұл Ethereum транзакцияларының мыңдаған есе жылдамырақ болатынын көрсетеді, тізбекаралық көпірлердің қажеттілігін жояды және криптоға өзінің шынайы әлеуетін жүзеге асыруға мүмкіндік береді.
Нөлдік білім жинағы немесе zk жинағы дегеніміз не?
ZK орамдары бүгінгі күні блокчейндегі ең үлкен танымал сөздердің бірі болып табылады. Технология мыңдаған транзакцияларды ауыр баяу Ethereum блокчейнінен алыс есептеуге мүмкіндік береді және барлық транзакциялардың дұрыс орындалғанын растайтын кішкентай «жарамдылық дәлелі» бар. Осылайша, сіз басқа жерде орындалған 10,000 XNUMX транзакцияны бір ETH транзакциясына «жинақтауға» болады. Бұл үлкен мәселе, өйткені Merge Ethereum ақсаған соң да секундына 15 транзакция.
ZK жиынтықтары Loopring, dyDx және т.б. платформаларда біраз уақыттан бері NFT және қаржылық транзакциялар үшін қолданылған. Бірақ негізін қалаушы Виталик Бутерин тамызда ETH Сеулде атап өткендей:
«Жалпы, менің ойымша, біз адамдар жай ғана масштабталатын ақшаны ғана емес, олар кеңейтілетін EVM-ді қалайтынын білдік».
Бұл Ньюкомб ZK жинақтары үшін «бес сиқырлы элемент» деп атайтын нәрселердің бірі. Оның пікірінше, ZK жиынтық шешімі жалпы мақсатты, EVM үйлесімді және Ethereum бағдарламасының Solidity тілін қолдауы керек. Ол сондай-ақ криптоның негізін қалаушы этикаға сәйкес келетін ашық бастапқы көзі болуы керек және команда арасында байлықты шоғырландырудың орнына хаттаманы орталықсыздандыратын таңбалауыш дистрибуциясы болуы керек.
Бір қызық кездейсоқтықта, zkSync осы бес өлшемнің барлығына қол жеткізді. (Ньюкомб таңбалауыштың нақты таралуын егжей-тегжейлі айта алмайтынын айтады, бірақ инсайдерлер үшін шамамен 30% «консенсус» болып көрінетінін айтады.)
Бақылау тізімі StarkWare бәсекелесінің жасырын сыны болып табылады, ол StarkNet токендерінің 49.9% инвесторлар мен негізгі салымшыларға береді. Ол сондай-ақ ашық бастапқы код емес, бірақ ол IP-ді өз қауымдастығына басқаруды беруді жоспарлап отыр.
Бірлескен негізін қалаушы Эли Бен-Сассон ZK rollups беретін масштабтау мүмкіндігін толық пайдаланудың жалғыз жолы Каир сияқты пайдаланушы тілін пайдалану екенін түсіндіреді.
«Мен адамдар дәлелдемелерді қосқаннан кейін олардың мақсаты EVM модельдеу емес екенін түсінетініне сенімдімін. Мақсат - масштабтауға қол жеткізу. 10,000 100,000, XNUMX XNUMX, бір миллион транзакцияларды қою және олардың дәлелдерін Ethereum бір блогында орнату », - дейді ол.
«Мен Ethereum-да бір дәлелде миллион транзакция жасай алатын толыққанды ZK EVM көрмейсіз деп бәс тігуге дайынмын. Біз бүгін оңай жасай аламыз және айлар мен жылдар бойы істеп келеміз ».
Үйлесімділікке қарсы масштабтау
StarkWare компаниясының Odin-Free компаниясы Twitter-де пайдаланушы тілінің қажеттілігінің күрделі математикалық себептерін түсіндірді, өйткені «Старк сияқты дәлелдеу жүйелері шектеулі өрістердегі көпмүшеліктерге негізделген, бұл әлдеқайда тиімді полиномдық теңдеу береді». Жарайды, оның сөзін қабыл алайық.
Бен-Сассон үшін EVM-ді сорып алу ақымақтық:
«Егер сіз тасымалдауды шешкіңіз келсе, үлкен жүк көлігін алып, оны ұшақтың ішіне салып, оны ұшақпен жеткізуге болады», - дейді ол.
«Ішіне жүк көлігі сыятын ұшақтар бар, бірақ бұл өте тиімсіз әдіс. Әлдеқайда жақсы әдіс - заттарды алып, оларды тікелей ұшаққа қою ».
Айтуынша, экожүйеде Solidity кодын Каир кодына айналдыратын Warp деп аталатын транспилер бар. жаңа ғана Uniswap шанышқысы арқылы StarkNet желісіне қосу үшін пайдаланылды.
Осылайша, ZK rollups көмегімен EVM-мен толық үйлесімділік пен масштабтау арасында таңдау жасау керек. Толық үйлесімділік DApps және протоколдарға біркелкі қосылуға мүмкіндік береді және барлығы әзірлеушілер мен пайдаланушылар үшін Ethereum-дегідей жұмыс істейді, бірақ масштабтау тұрғысынан жылдамырақ жақсырақ.
Ньюкомб StarkWare шешімі масштабты жақсырақ шығаратынын мойындайды, бірақ қол жетімділікті құрбан ету оның Ethereum-тің негізгі бөлігі болғаннан гөрі, «асырап алу үйкелісіне» байланысты тапсырыс беруші кәсіпорын қолданбаларына қолайлырақ екенін білдіреді.
«Олар EVM үйлесімді емес, сондықтан оларға порт жіберу өте қиын. Біз оларды жеткізуге жеті ай қажет жобаларды көрдік ».
Үйлесімді, бірақ талғампаздығы аз
Келісілген анықтама жоқ, бірақ «EVM эквиваленті» әдетте «EVM-мен бірдей» дегенді білдіреді, сондықтан сіз шешімде бар смарт келісімшартты ешбір өзгеріссіз жай ғана қолдана аласыз.
Scroll эквивалентті деп келісілген, бірақ ол әлі дұрыс тестілік желіде жоқ және салыстырмалы түрде шағын бюджеті бар басқалардан бірнеше ай артта қалды. Полигонның zkEVM шешімі эквивалентті (бірақ бұл даулы.) zkSync сонымен бірге EVM үйлесімді болады – бұл оның дерлік бірдей екенін білдіреді, бірақ шешімнің жұмысын жақсарту үшін кейбір дизайн таңдауларына байланысты бірнеше нәрсе жұмыс істемеуі мүмкін.
Polygon Дүйсенбіде өзінің zkEVM Public Testnet желісін іске қосты, онда «Полигон – zkEVM толық функционалды, ашық бастапқы іске асыруды қамтамасыз ететін бірінші жоба; Полигон үшін ғана емес, бүкіл сала үшін жаңашыл кезең». Полигонның айтуынша, тест желісі «толығымен ашық көзі бар zk-Prover-ді қамтиды - бұл көпшілікке шығарылатын бірінші түрі».
Бірлескен құрылтайшы Михайло Бжелич журналға алғашқы сынақтар «Polygon's zkEVM Ethereum желісінің ақысын шамамен 90% төмендете алады және желінің өткізу қабілетін бірнеше ретке арттыра алады» дейді.
Оның айтуынша, технологияның ашық көзі «біздің саланың этикасымен үйлесетінімізді дәлелдейді және шешімнің қауіпсіздігін арттырады, өйткені кез келген адам оны қарап шығып, ықтимал қателерді көрсете алады. Бұл StarkNet немесе zkSync-те емес, олар іске асырудың маңызды бөліктерін жабық көзде сақтайды, кем дегенде қазір.
Техникалық бит
Scroll's Luozhu Zhang сәйкес zkEVM үш ықтимал түрі бар: байт-код деңгейі, тіл деңгейі және консенсус деңгейі. zkSync және StarkWare тіл деңгейінде және компилятор немесе транспилер қадамын қажет етеді, ал Scroll және Polygon байт-код деңгейіндегі тәсілдер. Байтекодтың адам оқи алатын түрі опкод деп аталады.
Бжелич Полигонның шешімі EVM эквивалентіне арналғанын айтады, ал:
«StarkNet және zkSync сияқты жобалар басқа бағытты ұстанады — олардың жеке виртуалды машиналары бар, содан кейін олар EVM үстіне салынған ең танымал тілді Solidity тілін осы виртуалды машиналар түсіндіре алатын тілдерге көшіруге тырысады», - дейді ол.
«Бұл тәсілдің екі негізгі мәселесі бар: (i) Solidity смарт келісімшарттарының 100% қолдайтын транспилерді құру қиын және (ii) сізде транспилер болса да, сіз әлі де барлық әзірлеуші мен соңғы пайдаланушыны пайдалана алмайсыз. Polygon zkEVM сияқты құралдар жасай алады.
Ньюкомб нашар ақпараттың айналып жатқанын айтады. «Біз көшірмейміз, құрастырамыз», - дейді ол. Және ол жобаның Github-қа қарап отырып, олар әлі жұмыс істейтін секвенсермен біріктірілген жұмыс істейтін жалпы мақсаттағы проверді әзірлемегенін айтты.
«Егер бұлай болса, бұл олардың анықталмайтын жұмыс көлемі бар екенін білдіреді. Кез келген күрделі жүйенің соңғы 10% әрқашан ең қиын болып табылады. Бұл тестнетті іске қосқан кезде біз тұрған жерге немесе тіпті артта қалғанымызға ұқсайды. Содан кейін бізге тоғыз ай қажет болды ».
Көбінесе үйлесімді
Сонымен бірге zkSync Ethereum 141 операциялық кодының үшеуінен басқасының барлығымен үйлесімді — олардың біреуі ескірген, екіншісі ескірген және үшіншісі Newcomb бойынша жобалардың 1% 10/1-нан азы пайдаланады.
«Сонымен біз толықтай тең болмағанымыз үшін не алдық? Бізде екі нәрсе бар, біздің өнімділік құны эквиваленттен кейінгі кез келген шешімнен әлдеқайда жақсы. Біз әлдеқайда жылдам, әлдеқайда арзанбыз. Екіншіден, біз LLVM компиляторын біздің тізбектің ішіне орналастыра алдық, оны балама жасасаңыз, жасай алмайсыз. LLVM компиляторы не істейді, біз қазірдің өзінде үшінші деңгейді қарап жатырмыз.
LLVM өз шешіміне Python, Rust немесе C++ әзірлеуші кодын мүмкіндік береді, содан кейін ол Solidity бағдарламасымен бірдей жұмыс істеу үшін құрастырылады.
«Бұл асырап алу үшін өте үлкен. Каирде жеті айға созылған жоба бізге жеті күннің ішінде сол экожүйенің жобасы қайдан келді. Бұл үйлесімділік ».
Ол zkSync толық эквивалентті болса, портты ауыстыруға бір күн ғана кететінін мойындайды, бірақ LLVM мен кеңейтілген масштабтауды өткізіп жібереді. Сондықтан ол бұл сауда жасауға тұрарлық дейді.
3-деңгей және рекурсивті масштабтау
Көптеген транзакцияларды бір жарамдылық дәлеліне сығу мүмкіндігінің ең керемет нәрсе - бұл технология көптеген деректерді сығуға мүмкіндік береді. басқа дәлелдер бір дәлелге айналдырады.
Бұл рекурсивті масштабтау деп аталады және Consensys компаниясының жинақтау жөніндегі өнім менеджері Деклан Фокс оның теориялық тұрғыдан бүкіл әлемдік қаржы жүйесі Ethereum-де жұмыс істей алатыны соншалықты күшті деп санайды. «Бізде мұндай өткізу қабілеттілігіне қажетті технология бар», - дейді ол. «Рекурсивті жинақтаулар мен дәлелдер арқылы біз теориялық тұрғыдан шексіз масштабтай аламыз».
Сондай-ақ оқыңыз: Ethereum әлемді жеп жатыр: — «Сізге бір ғана интернет керек»
StarkWare тамыз айында рекурсивті масштабтауды қосты және технологияны пайдаланғаннан бері 30 миллионнан астам транзакцияны өңдеді.
«Рекурсия қазірдің өзінде осы ерте кезеңде бір дәлелде транзакциялар санын шамамен 8 есе арттырды», - деп түсіндіреді Бен-Сассон. «Сонымен қатар, ол өте тиімді екенін дәлелдеді, ол өндіріске енгеннен кейін көп ұзамай дәлелдемелерді жасау үшін бұлт құны шамамен 40% төмендеді.
«Бұл біз көреміз деп үміттенетін болжамдар немесе сандар емес, бүгінде өндірістегі сандар. Мен баса айтамын: бұл тек бастамасы және біз жасайтын өзгерістер бұл сандар барған сайын әсерлі болады дегенді білдіреді.
Полигон Bjelic бойынша Plonky2 шешімін іске асырмақшы. Бұл ашық бастапқы zk-SNARK шешімі. «Бұл рекурсивті SNARK транзакциялар тапсырыстарын қолданыстағы баламаларға қарағанда тезірек тексеру үшін пайдаланылуы мүмкін. Plonky2 сонымен қатар Ethereum виртуалды машинасымен үйлесімді, бұл Polygon-ға zkEVM әзірлеуге мүмкіндік берді.
Ал zkSync-тің 3-қабатына арналған сынақ желісі жақын арада шығарылады, ол келесі жылдың басында Proto-Danksharding деп аталатын Ethereum жаңартуының артықшылығын пайдалану үшін арнайы Ethereum кеңістігін гүлдендіру үшін әзірленген. Ньюкомб 3-қабат бір жыл ішінде шығарылады деп күтеді. Олар оны «фракталдық гипертізбектердің» экожүйесі Pathfinder деп атайды.
«Біз инженерлік жағынан бірнеше сағат жұмыс істей аламыз, бірақ функционалдық тұрғыдан сіз Etherium-дан алыстаған сайын, деректер құны соғұрлым арзанырақ болады және бұл деректер құнын қайталаған сайын 10x, 10x, 10x, 10x болады, және бұл zk-ге ғана тән».
«Міне, біз 100,000 4000 TPS және миллион TPS аламыз», - дейді ол. Виза қалыпты күнде шамамен 65,000 TPS-ке жетеді, ал Крисматтар сияқты ең жоғары уақытта шамамен XNUMX XNUMX TPS дейін көтеріледі.
«ZK – Visa сияқты нәрсе өзінің негізгі протоколын блокчейнмен алмастыратын деңгейге жету үшін 100,000 XNUMX TPS ұнатудың жалғыз жолы. Сіз мұны істегенде, бұл сіздің жаппай асырап алу сәтіңіз ».
Ньюкомбтың пікірінше, тағы бір таңғаларлық жаңалық - 3-қабат тізбекаралық көпірлерге қойылатын талаптан құтыла алады, бұл жерде тек биылғы жылы 2 миллиард доллардан астам хакерлік әрекеттер орын алды.
«Біз 3-деңгейде қол жеткізген басқа нәрселердің бірі - біз барлық көпірлерден құтыламыз. Егер сізде L3-тегі барлық гипертізбектерге арналған тізбекті бір провайдер орындай алатын болса, бір блокчейннен екіншісіне кез келген байланыс қазір жергілікті болып табылады. Виталик бұл ойынның соңы деп айтуының тағы бір себебі, өйткені көпірлер жоқ.
«Егер сіз оны жылдамырақ, ауқымды тапсырыстар бойынша арзанырақ етсеңіз, көбірек тілдерді қол жетімді ету арқылы оны қолдануды жеңілдетіп, әзірлеушілердің кең аудиториясына қолайлырақ етсеңіз, содан кейін сіз көпірлерден құтылып, адамдарға сенетін болсаңыз. Мен әрқашан L10-те 3 есе жоғары жұлдыздар шоғыры деп айтамын және ойын дәл осы жерде болады ».
Әлі түзетілмеген
Сонымен солай ма? ZK rollups және EVM үйлесімді масштабтау шешімдерінің келуімен бәрі шешілді ме?
Өкінішке орай жоқ. ZK rollups қазіргі уақытта Ethereum-дан есептеуді өте жақсы алып тастайды, бірақ олар әлі де негізгі тізбекке жеткілікті деректерді жазуы керек, осылайша жиынтық жұмыс істемей қалса немесе оны жаман адамдар басып алса, онда қандай да бір басқа құрал бұзуға әкелуі мүмкін. және кімнің кімге қарыз екенін анықтаңыз.
Бұл деректердің қол жетімділігі мәселесі деп аталады және Ethereum жол картасының айтарлықтай көлемі протоданкшерингпен және толық шектеумен оны шешуге және көбірек деректерді қосуға мүмкіндік береді. Қазіргі уақытта мұның бірнеше жолы бар, соның ішінде арзанырақ, бірақ қауіпсіз емес Validiums деректерін сақтау.
жазылу
Блокчейндегі ең қызықты оқулар. Бір рет жеткізіледі
Апта.
«Сондықтан біз оны сипаттайтындай, егер сізде бейсбол карталарының коллекциясы болса және бұл карталардың көпшілігі қымбат емес болса және сіз оларды Validium-да сақтаған болсаңыз, бірақ көп ақшаға тұратын сирек карта 1-деңгейде сақтаңыз», - дейді Бен-Сассон.
Полигон дәл осы мәселенің бірқатар шешімдерімен жұмыс істейді, соның ішінде Avail «ақпарат кез келген уақытта барлығына қол жетімді болатын блокчейн, осы мақсат үшін арнайы жасалған», - дейді Бжелич.
zkSync Pathfinder әзірлеушілерге деректердің қолжетімділігінің үш нұсқасын таңдауға мүмкіндік береді: Validium, zkPorter (тізбекте және тізбектен тыс араласу) және ZKRollup (толық қауіпсіздік).
28 қазанда zkSync негізгі желісін іске қосудан үлкен жарылыс күтпеңіз. Бұл бастапқыда қиын болады, тек бірнеше ай ғана Matter Labs сынақтан өтіп, пайдаланушыларға оны бұзуға немесе оны пайдалану үшін сыйақы ұсынады. Содан кейін DApp қолданбаларына портты ауыстыруға және қауіпсіздікті құруға және тексеруге рұқсат етіледі.
«Содан кейін біз бәрін орындағанымызды сезінген кезде, біз қақпада лифт деп аталатын нәрсені жасаймыз», - дейді Ньюкомб. «Содан кейін барлық пайдаланушылар жүйеге бір уақытта кіре алады және ол әділ босату бағдарламасы деп аталады. Сондықтан біз бірде-бір жобаны басқасынан артық санамаймыз». Оның айтуынша, сол кезде 150 жоба іске қосылады және енді жобаның полигон шешімін күтуіне ешқандай себеп болмайды.
«Олар ипподромға бара жатқандай және олар дөңгелегі жоқ, рульі де, қозғалтқышы да жоқ көліктің шассиін көрсетіп жатқан сияқты», - дейді ол.
«Ал бізде бүкіл өнім дайын. Бізде Ferrari бар және біз баруға дайын екенімізді білесіздер.
Дереккөз: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment