Топтаманың өзара әрекеттесу шешімдерінің күйі

Топтамаға бағытталған экожүйенің энтузиастары ретінде мен жиынтықтың өзара әрекеттесуін жақсартатын шешімдерге әрқашан қызығушылық таныттым. Оның үстіне, бұл зерттеу есебін жасауымның бірден-бір себебі осы саладағы өзара әрекеттестіктің маңыздылығы туралы хабарламаны насихаттау болды. Содан кейін мен мақала жазу белгілі бір тақырып бойынша түсінігімді бекітудің және адамдарға оны түсінуге көмектесудің тамаша тәсілі екенін түсіндім, енді мен осындамын.

Криптовалютадағы күн сайын жаңа нәрселерді үйренетіндіктен, мен бүгінде мен үшін өте ескірген «Rollup өзара әрекеттесу Ethereum болашағы үшін өте маңызды» деген көзқарасты көремін. Философияның POV-інен мен әлі де сол көзқарасты ұстанамын** — жиынтық өзара әрекеттесу Ethereum болашағы үшін өте маңызды** және бүкіл экожүйе оны жақсартатын шешімдермен жұмыс істеуі керек. Технологияның POV-інен мен бұл тақырып бойынша көптеген жаңа идеяларды білдім және кейбір нәрселер туралы ойымды өзгерттім.

Төмендегі материалды түсіну үшін жиынтықтар және олардың өзара әрекеттесу мәселесі туралы негізгі түсінікке ие болу пайдалы. Олай етпесеңіз, менің мақалам «Доктор. Dankshard немесе Мен уайымдауды тоқтатуды және жинақтарды қалай жақсы көруді үйрендім» - бұл тамаша кіріспе.

Мерхаба!

Бұл 13 қарашаның кеші, Devconnect Стамбулдың бірінші күні. ZkSync- тің үлкен жанкүйері ретінде мен zkSync Connect-ке осы саммиттегі бірінші оқиғам ретінде қатысуды шештім, бұл өмірімнің алғашқысы. Сол жерде мен бір жігітті кездестірдім және zkCafe-дің Luma бетінде айтылғандай, біз бірге «Mosyo Coffee-ге» бардық. Сол маңайда екеуі бар еді, тек кешке қарай лайық жерді таптық.

Ол жоғарыдағы фотодағыдан әлдеқайда қараңғы болды және жаңбыр жауып тұрды. Фуд-корт орналасқан шатырдың шетінде тұрып, біз Clave- те тегін жетондарға сатып алған кофе ішіп отырып, мен жаңа досыма хакатон жобасы туралы идеямды айттым.

«Шағын тіркелгілер» бар: ERC-4337 тіркелгілері, олардың тексеру логикасы қолтаңбаны тексеру емес, оның L2-дегі жалғыз кіріс жәшігі көпіріндегі операция хэшінің болуы. Хэш белгілі бір көз тізбегіндегі негізгі мекенжайынан жіберілуі керек. Ата-ана мекенжайы кез келген L2 немесе Ethereum L1 жүйесіндегі негізгі смарт әмияныңыз болып табылады. Басқа L2-мен әрекеттесу үшін сіз:

• Оған шағын есептік жазбаны орналастырыңыз және негізгі әмияныңызды ата-ана мекенжайы ретінде орнатыңыз. Орналастыруды кез келген адам жасай алады; осылайша, ол хаттама немесе әмиян провайдері арқылы қаржыландырылуы мүмкін.

• Жібергіңіз келетін пайдаланушы әрекетінің хэшін L2 ішіндегі кіріс жәшігіне жіберіңіз және тағайындалған тізбек идентификаторын орнатыңыз.

• Бұл хэш басқа хэштермен жинақталады және L1-ге жіберіледі. L1 құрылғысындағы смарт келісім-шарт бұл топтаманы L2 тағайындалған жерге жібереді, ал кіріс жәшігі көпірі хэштерді шағын тіркелгілер оқи алатындай етіп бөледі.

• Жіберуші хаттаманың смарт келісімшарттары бойынша транзакциялардың бастамашыларын ынталандыру үшін өзінің хэшіне шағын комиссия қосады.

• Хэш тағайындалған L2 нүктесіне жеткенде, пайдаланушы әрекетін осы L2-дегі AA мемпулына жібересіз. ERC-4337 стандартын пайдалану арқылы біз өзіміздің шағын есептік жазба жадын қайта құрудың қажеті жоқ және протоколды бұрыннан бар кодтық базасы бар әмияндарға оңай біріктіруге болады.

  
  

Қысқаша айтқанда, мен L2-дегі смарт әмияннан транзакцияларды өзара әрекеттесуді қалайтын кез келген L2-ге жіберетін L1 негізіндегі көпір жасамақ болдым. Мен оны хакатонда дерлік жүзеге асырдым, бірақ тәжірибем аз болғандықтан және жеке жұмыс істегендіктен оны аяқтай алмадым. Досыма түсіндіргеннен кейін ол менен сұрады:

Неліктен біреу әмиянындағы желіні өзгертпейді және қажетті қаражатты қажетті желіге жылжыту үшін таңбалауыш көпірлерді пайдаланбайды?

Мен жауап бердім : Егер біреу EOA әмиянын пайдаланса, бұл мүлдем опция. EOA әмияндары барлық EVM желілерінде бірдей әрекет етеді және бірдей мекенжайды бөліседі, сондықтан әмиян параметрлерінде желіні өзгерту арқылы олардың барлығында транзакцияларды жіберуге болады.

Дегенмен, аймақ абстракцияға негізделген смарт тіркелгілерге көшуде. Бұл тіркелгілер әмиянымызға бағдарламалы түрде кез келген функцияны қосуға мүмкіндік береді:

• P256 қолтаңбалары транзакцияларға қол қою үшін телефондарымызда қауіпсіз чиптерді пайдалануға мүмкіндік береді.

• Әлеуметтік сауықтыру арқылы біз туыстарымызды әмиянымызды қалпына келтіруге рұқсат етілген қамқоршылар ретінде қоса аламыз, қауіпті тұқымдық фразаларды жоя аламыз.

• Paymaster технологиясы бізге газ ақысын кез келген жетонмен төлеуге немесе тіпті біреуді біз үшін төлемді жасауға мүмкіндік береді.

• Кванттық компьютерлер классикалық қолтаңба схемаларын бұза бастағанда, біз жаңа әмиян жасамай-ақ, AA әмияндарымыздағы схеманы кванттық қауіпсізге өзгерте аламыз.

  
  

Бұл тізімді шексіз жалғастыруға болады, өйткені тіркелгі абстракциясы орындалатын бағдарламаларды толыққанды әмиян ретінде пайдалануға мүмкіндік береді. Бірақ мұның бәрі қымбатқа түседі: өз әмияндарын басқа тізбекке оңай көшіру мүмкін емес, өйткені көпір арқылы қаражатты жылжытудан басқа, ол бүкіл есептік жазбаны барлық кілттермен, қамқоршылармен және параметрлермен қайта орналастыруды талап етеді. Кейбір жағдайларда бұл тым күрделі немесе тіпті мүмкін емес болуы мүмкін; айталық, P256 алдын ала компиляциясын қолдамайтын жинақтарда (бұл қолтаңба схемасын пайдалану тым қымбат болуы мүмкін).

Сондықтан мен бұл хаттаманы жасадым. Негізінде, сізде көптеген L2 құрылғыларында AA тіркелгілері бар. Олардан транзакция жіберу үшін L1 көпір хабарламасы арқылы нақты L2-дегі негізгі шотыңыздан сол «мини-шоттарға» хэшті жіберу арқылы ниетіңізді растауыңыз керек. Шын мәнінде, осылайша сіз бірнеше әмияннан құтылмайсыз; сіз барлық тексеру логикасын бір «ата-аналық» есептік жазбаға жылжытасыз.

Мұндай хаттаманың тағы бір қызықты мәліметтері, ол тек L2-мен ғана емес, сонымен қатар Ethereum-мен бекітілген көпірлері бар барлық L1-мен (бүйірлік тізбектер) өзара әрекеттесу мүмкіндігін береді - Polygon PoS, Ronin, Gnosis және Avalanche - менің ойымша. Дегенмен, ол жиынтыққа бағытталған өзара әрекеттесу протоколы ретінде жасалған, сондықтан бұл жай ғана қызықты технологиялық факт.

Жобаның идеясы өте ақылды болғанымен, практикалық іске асырудың айтарлықтай кемшілігі болды: Жылдамдық . Бүкіл дизайн Ethereum L1-ге қосылған канондық көпірлерге негізделген. Rollup көпірлерінің ерекшелігі, олар Ethereum-да оның қауіпсіздігін мұра ету үшін өздерінің ақылды келісім-шарттарына өздерінің күйлерін дәлелдейді. Өздеріңіз білетіндей, оптимистік және ZK тексеру - мұны істеудің ең танымал екі жолы.

Оптимистік тексеру әдетте шамамен жеті күн болатын «шақыру терезесін» ашу арқылы жұмыс істейді, онда қарсыластар транзакциялар пакетінің кез келген жарамсыз бөлігін көрсететін алаяқтық дәлелін жібере алады. Бұл дәлел жарамды болса, жинақ осы топтаманы жою үшін блокчейнді қайта ұйымдастырады. Жеті күннен кейін ешқандай алаяқтық дәлелдері болмаса, пакет автоматты түрде жарамды болып саналады және барлық хабарламалар мен ақшаны алу Ethereum-да аяқталады.

Сіз мұны әлдеқашан түсінген шығарсыз. L1-ге хабар алмасудың жеті күндік кешігуіне байланысты оптимистік жиынтықтан тізбекті транзакцияларды жіберу қорқынышты идея болып табылады. Неліктен? Сіз өзіңіздің DEX свопыңызды бір апта күтесіз бе? Осы уақытқа дейін бағамен не болады?

Тізбекаралық транзакцияларды оптимистік жинаққа жіберу әлдеқайда жақсы. Қайта ұйымдастыру мүмкіндігін азайту үшін OP Stack секвенсері хабарды өңдеуден бұрын бірнеше блок күтсе де, транзакцияны бірнеше минут күту кейбір тапсырмалар үшін әлдеқашан қолайлы.

Сонымен қатар, Ethereum қауымдастығы қазіргі уақытта бір ұяшықты қорытындылаумен жұмыс істеуде, ол әрбір блокты бөлек аяқтайды, бұл оларды келесі блокта қайтымсыз етеді. Ол іске қосылғаннан кейін L1-ден L2-ге хабар алмасу шамамен 12 секундқа созылады.

Мұндай тіркелгілерді ZK жинақтарында орналастыру жақсырақ болар еді, бірақ әлі де өте қолайлы емес. Төмендегі статистикадан көріп отырғанымыздай, ZKsync дәуірі 21 сағатта аяқталады, Linea 5 сағатта, Starknet 9 сағатта және т.б.

Бірақ неге бұлай? ZK proof генерациясы қуатты кластерлерде жылдам емес пе? Қысқасы, екі мәселе бар:

• ZKsync Era сияқты кейбір ZK жинақтары қауіпсіздік кеңесінің дәлелдеу жүйесінде қате болған жағдайда кейбір топтамаларды қайтаруға уақыты болуы үшін орындау кідірістерін орнатады. zkEVM - бұл технологияның шын мәнінде күрделі бөліктері және осы күрделілікке байланысты бір уақытта бірнеше дәлелдеу жүйелерін пайдалану арқылы қателерді ықтималдықпен болдырмау әлі мүмкін емес.
• ZK дәлелін тексеру ол дәлелдеген есептеулермен салыстырғанда өте жеңіл болса да, оны тізбекте тексеру әлі де өте қымбат. Дәлелдеу жүйесіне байланысты бір тексеруге миллионға дейін газ қажет болуы мүмкін. 9 гвейдің орташа газ бағасын және бүгінгі ETH бағасын алатын болсақ, бір дәлел тек L1-де тексеру үшін шамамен $30 тұрады.
  • Заманауи ZK жинақтары белгілі бір уақытта бір рет көптеген партиялар үшін бір дәлелді жасау арқылы бұл шығындарды азайтады, бірақ бұл көпірдің аяқталу жылдамдығын баяулатады. Пакет жасау және оны әрбір блокты дәлелдеу бір блок үшін $30 немесе күніне $216,000 құрайды. 100 TPS кезінде бұл тексеру шығындары үшін транзакция үшін шамамен $0,025 құрайды. Біз сондай-ақ дәлелді жасап, топтаманы тізбекте жариялауымыз керек!

Транзакция үшін бір-екі сағат күту әлі тым ұзақ. Бұл туралы не істей аламыз?

Ең алдымен, менің сегіз айлық хакатон жобамды ұмытып, әрбір транзакцияны біздің негізгі смарт әмиянымыздан бастау керек деген ақыл-ой үлгісін жоюға тырысайық. Неліктен бізге ақылды әмиян логикасын әрбір жинақта бөлісу керек? Неліктен біз жай ғана уақытша EOA жасамаймыз, сол жерде негізгі смарт әмиянымыздағы қаражатты жинамаймыз, өзіміз қалаған жұмыстарды орындамаймыз және артта қалған нәрселерді толтырмаймыз?

Менің Clave-де (немесе сіз пайдаланып жатқан кез келген смарт әмияныңызда) Secure Enclave қолтаңбасы және әлеуметтік қалпына келтіру мүмкіндігі бар, сондықтан мен телефонымды жоғалтып алсам да, сол жерде әрқашан өз қаражатым үшін қауіпсіз бола аламын. Ал уақытша шоттармен не болатыны кімге алаңдайды? Мен олармен өз істерімді жасадым; барлық қаражат қазір менің Clave-де.

Дегенмен, бұл тәсілдің негізгі проблемасы бар: бір әмиянды басқа тізбектерде тұрақты түрде пайдалана алмайсыз деген болжам оларда орындай алатын тапсырмалардың санын айтарлықтай шектейді. Мысалы, сіз істей алмайсыз:

• Жергілікті несие платформасында депозит жасаңыз, себебі оны негізгі желіге көшіру мүмкін емес (бұл жағдайда ZKsync дәуірі)
• Негізгі желіңізде өзгермейтін эквиваленті жоқ таңбалауыштарды алыңыз (мысалы, егер олар осы желіде шығарылған болса)
• Жергілікті DAO-ға қатысыңыз, себебі сіздің дауыстарыңыз сол уақытша есептік жазбада қалуы керек.

Негізінде, пайдаланушы ретінде сіз жасай алатын барлық нәрсе - әр жолы көпірсіз бірнеше алушыға қаражатты тарату және негізгі тізбегіңізге қайтаруға болатын токенге своп үшін жақсы өтімділікке ие болу.

Осылайша, бұл әмияндарды пайдалы ету үшін біз оларға негізгі смарт әмияндарымызда қолданатын ережелерді — қауіпсіз анклавтарды, әлеуметтік қалпына келтіруді және т.б. пайдалана отырып қол жеткізуіміз керек. Сонымен, біз жоғарыдағы идеяға және оның мүмкін еместігіне қайта ораламыз. Дегенмен, осы шағын-шоттарға біздің негізгі әмиянымызды қалпына келтіру қасиеттерін ғана бере алатын мүмкін болатын паллиативтік бар:

Біз бұрын сипатталған бірдей шағын есептік жазбаларды жасаймыз, бірақ олардан транзакцияларды тікелей жіберуге бір кілтке рұқсат береміз. Біздің ата-ана әмиянымыз енді бұл кілтті L1 негізіндегі көпір арқылы өзгерте алады немесе шағын есептік жазбаны оны L2 ата-анасының күйінен оқи алады. Осылайша, егер уақытша кілт жоғалса, ата-аналық әмиян баяу, бірақ атомдық L1 негізіндегі көпір арқылы кілтті өзгертуге кірісе алады.

Атомдық - әрекеттің орындалу кезінде сәтсіздікке ұшырауына жол бермейтін қасиеті. Не бастамады, не орындалды. L1 негізіндегі көпірлер атомдық болып табылады, себебі ол жіберілген хабарды жоғалту мүмкін емес. Тапсырыс, қолжетімділік және түпнұсқалық Ethereum L1 арқылы кепілдік береді.

Бұл әлдеқайда жақсы! Енді қарапайым транзакциялар тек токенді көпірлеуге уақыт алады. Токендер тағайындалған жерге жеткеннен кейін транзакцияларды жіберу сіздің негізгі тізбегіңіз сияқты жылдам болады. Кілтті жоғалтып алсаңыз, ата-аналық әмияныңыздың тізбегіне байланысты бірнеше сағаттан жеті күнге дейін күтуге тура келеді, бірақ оны жиі пайдаланбайсыз, сондықтан көптеген пайдалану жағдайлары үшін айырбастау қолайлы. Сондай-ақ, оны әмияндарда бүгінгі күні де жүзеге асыруға болады. Мен тіпті өзімнің енгізуімді жасадым, бірақ ол қауіпсіз немесе өндіріске дайын емес және тек визуализация мақсаттарына арналған.

Ұқсас әдіс Web3 фьючерстік сауда платформаларында қолданылады: сіз таңбалауышты жұпта (әдетте USDC) смарт келісім-шартқа бекітесіз және платформаның алдыңғы жағында сақталатын жұмсауға уақытша кілт тағайындайсыз. Бұл пайдаланушыларға негізгі әмиянымен әрбір әрекетке қол қоймастан жылдам әрекеттерді орындауға мүмкіндік береді. Құрылғыңызды өзгертсеңіз немесе браузердегі деректерді өшірсеңіз, негізгі әмиянды пайдаланып кілтті қайта тағайындай аласыз.

Бірақ, криптодағы барлық нәрсе сияқты, бұл тәсіл де мінсіз емес. Оның екі кемшілігі бар:

• Шағын есептік жазбалар ERC-4337-үйлесімді бола алады және осылайша оның барлық мүмкіндіктерін, мысалы, топтама, төлем шеберлері, шығыс шектеулері және т.б. қолдау көрсетсе де, бұл мүмкіндіктер енді ата-аналық есептік жазбадан мұраланбайды. Шын мәнінде, ата-аналық есептік жазба шағын есептік жазба үшін жалғыз әлеуметтік қалпына келтіру қамқоршысы ретінде әрекет етеді, бірақ қамқоршы - пайдаланушының өзі.
• Токен көпірі сыртқы көпірлер арқылы орындалуы керек. Тізбекаралық транзакцияны бастау арқылы біз таңбалауыштарымызды атомдық жолмен іс жүзінде 1:1 қабылдай отырып, хабарламамен бірге алып жүре аламыз. Дегенмен, бұл шешіммен бұл енді опция емес, сондықтан сыртқы көпірлеу жалғыз жылдам опция қалды.

Заманауи көпірлер ақшаны бірнеше секунд ішінде аудара алатынына қарамастан, олар а) үлкен аударымдар кезінде өте жоғары ақы алады, б) атомдық емес және Ethereum қауіпсіздік қасиеттерін мұрагер етпейді. Блокчейн көпірлерінің қауіпсіздік қасиеттеріне назар аудару өте маңызды.

Токендерді тасымалдау үшін сыртқы көпірлерді пайдалану, шағын есептік жазбаларды басқару үшін хабарларды жіберу үшін пайдаланудан айырмашылығы, біршама қолайлы. Мұның себебі - олардың ең нашар жағдайлары, мүмкін, оларға шабуыл жасалуы мүмкін:

• Токенді көпірде сіз жіберген белгілерді алмайсыз. Мұндай жағдайда сіз көпірге және басқа көпірге ауысқыңыз келген X токендерін жоғалтасыз.
• Есептік жазбалар арасындағы хабар алмасуда орын алуы мүмкін ең нашар нәрсе - көпір арқылы еліктейтін хабарларды жіберу арқылы барлық шағын есептік жазбаларыңыз ұрлануы мүмкін. Мұндай жағдайда сіз әмияндарыңызды негізгіден басқа барлық тізбектердегі барлық құндылығымен жоғалтасыз.

Осылайша, L1 арқылы атомдық жолмен көпір салудың тиімді жолы болмаса, таңбалауыш көпірі үшін сыртқы көпірлерге сүйену өте қолайлы. Бұл шын мәнінде бүгінгі таңда жинақтау тізбектерімен әрекеттесетін көптеген пайдаланушылар қолданатын опция.

Біз барлық транзакцияларды бір жерде растағымыз келеді делік, мысалы, таңбалауыштарды тіркелгілер арасында көшіру немесе бірегей алдын ала құрастыру арқылы қолтаңбаларды тексеру. Бұл жағдайда біз бүгінгі ZK жинақтарының баяу аяқталуына тап боламыз. Алдыңғы техникамен нені жақсартуға болатынын ойлау үшін біраз уақыт оралайық.

Неліктен орамдардың ақырғы көпір аяқталуы бар? Біз ZK орамдарын мақсат ретінде аламыз, өйткені оптимистік нұсқалардың себебі қазірдің өзінде анық:

• Толыққанды VM орталарына арналған ZK дәлелдеу жүйелері күрделі, әсіресе егер орта ZK-ға қолайлы болмаса (EVM). Сондықтан оларда қателер болуы ықтималдығы жоғары. Бірнеше дәлелдеу жүйелері мұны болдырмайды, бірақ оларды жүзеге асыру өте күрделі және бір топтама үшін бірнеше дәлелдемелерді жасау тым баяу және қымбат болуы мүмкін. Шешім ретінде жинақтау топтары төтенше жағдайда тізбекті кері айналдыруға мүмкіндік беретін орындау кідірістерін қосады. Бұл кейбір жинақтарда көпірдің аяқталуын бәсеңдететін нәрсе (мысалы, ZKsync Era).
• Жаңа күйді ұсыну және оны L1-ге дәлелдеу - өте қымбат міндеттер, сондықтан шығындарды азайту үшін жинақтау секвенсерлері мұны әр блоктан гөрі бірнеше сағат сайын жасайды.

Алайда, ерекшелік бар; Айналдыру әр минут сайын күйді ұсынады , бірақ а) дәлелді тексеру әлі де бірнеше сағат сайын орындалады, сондықтан ол тексерілмеген күйінде қалады және b) Scroll - бүгінгі күні қолданылатын ең қымбат жинақтардың бірі.

Егер біз оны қарапайым түрде қайталайтын болсақ, проблемалар шығындарды дәлелдеу және шығындарды тексеру болып табылады. Әр мәселені және оны шешу жолдарын қарастырайық.

Негізінде, біздің міндетіміз - жинақтағы смарт әмиянымызды сыртқы көпірлер әкелетін қосымша сенім жорамалдарынсыз басқа жинақтармен жылдам әрекеттесу. Ақылды әмияндар әдетте бірнеше кәдімгі AA мүмкіндіктерінен тұрады — төлем шеберлері, әлеуметтік қалпына келтіру, қауіпсіз анклавтар, шығыс лимиттері және т.б. және одан тізбектегі транзакцияларды жіберуге мүмкіндік беретін негізгі операция.

Әмияндағы басқа жинақтарды пайдаланғымыз келсе, бізге негізгі операция не үшін қажет? Өйткені ол көп мақсатты жиынтықта орналастырылған болуы мүмкін — Arbitrum, Base, ZKsync Era — және біз де осы жинақта пайдаланушылармен және смарт келісімшарттармен өзара әрекеттесуді қалаймыз.

Бұл нақты жағдайда сыртқы таңбалауыш көпірлерді пайдалану мағынасы бар. Тапсырманы, мысалы, бір жинақтағы dApp және басқасымен әрекеттесу арқылы ғана ауыстырыңыз.

Бұл көпмақсаттылық жиынтықтарды дәлелдеу жүйесіне күрделілікті енгізеді. Барлық виртуалды машинаның күйін секунд сайын орындалатын көптеген смарт келісім-шарттар мен транзакциялармен тексеру - бұл өте үлкен тапсырыс. Біз жинақта мүлде басқа мүмкіндіктер жинағын қажет ететін тапсырмалардың екі түрін орындағымыз келеді: тізбектегі транзакция үшін бұл L2 жылдам қосылуы, төмен L2 алымдары және VM кең функционалдығы және көп жинақты транзакция үшін , бұл жылдам көпірдің аяқталуы.

Бірақ виртуалды машинадан құтылып, тек смарт тіркелгілерді және басқа L2 құрылғыларына хабар алмасуды өңдей алатын жиынтық жасасақ ше ? Виталик Бутерин шамамен Devconnect Стамбул уақытында «кілт қоймасының жинақтары» деп аталатын ұқсас әдісті ұсынды. Мұны келесіде талқылаймыз.

Кілттер қоймасының жинақтары

Идея тек тіркелгі кілттерін сақтай алатын және оларды басқа кілт арқылы өзгерте алатын ZK жиынын жасау болып табылады. Бұл жиынтық осы кілттердің барлығын қамтитын Merkle ағашының түбірін L1-ге итереді. Содан кейін, L2s жүйесіндегі смарт тіркелгілердің бірінен транзакцияны жібергіңіз келгенде, сіз ағымдағы кілтіңіздің Merkle дәлелін жасайсыз және тіркелгіңіз оны L1 жүйесінде қол жетімді кілттер қоймасының түбіріне қарсы тексереді. Енді ол сіздің кілтіңізді біледі және оны қолтаңбаларыңызды тексеру үшін пайдалана алады.

Мұндай жинақ өте қарапайым және бірнеше дәлелдеу жүйелерін оңай енгізуге болады, сондықтан онда сақталған кілттер шын мәнінде L1 сияқты қауіпсіз.

Виталиктің түпнұсқа дизайнынан басқа, кілттер дүкенінің жинақтары үшін жетекші үш дизайн бар:

• Scroll әдісі - кілт қоймасының деректерін L1-де сақтау, бірақ оларды zkEVM жиынынан жаңартуға мүмкіндік береді. Бұл үшін олар L1 жадын арзан оқуға мүмкіндік беретін L1SLOAD прекомпиляциясын енгізуде. Содан кейін, басқа L2 құрылғыларындағы AA тіркелгілері осы деректерді олардың конфигурациясын — кілттерді, қамқоршыларды және т.б. синхрондау үшін оқи алады.
• Базалық команда тек күй түбірі L1-де сақталатын әдісті зерттеп жатыр, бірақ транзакциялар қоңырау деректері арқылы реттелген, сондықтан ағашты әрқашан қайта құруға болады. L2 құрылғыларындағы тіркелгілер Merkle дәлелдері арқылы ағымдағы кілттерді алады деп күтілуде.
• Stackr дизайны Base немесе Vitalik дизайнына өте ұқсас, бірақ ол арнайы минималды виртуалды құрылғылары бар «микро жинақтардың» жеке құрылымын пайдаланады.

Жалпы айтқанда, олар тізбектен тыс өңдеуге берілген тапсырмалардың санымен (басқаша айтқанда, L2-де қанша нәрсе бар) және олардың орындалу мәліметтерімен ерекшеленеді.

Біз бұл идеяны кілттерді ғана емес, сонымен қатар бүкіл смарт тіркелгі логикасын өңдеу арқылы кеңейте аламыз. Бұл да есептеу қиынырақ болмайды; Негізінде, бізге тек мына тапсырмаларды орындау керек:

• L1-ге деректерді жіберу: Кілттер қоймасының жиынындағы тіркелгілер L1-ге транзакция ниеті туралы хабарлау мүмкіндігі болуы керек. Бүкіл транзакцияны L1-де сақтау қажет емес; пайдаланушы операцияларының барлық хэштері бар Merkle ағашының тамыры сияқты нәрсе жеткілікті болар еді. Содан кейін, шағын есептік жазбадан транзакцияны жіберу үшін қажет нәрсе - L2 тағайындалған жерден түбірді оқу және нақты AA операциясы ата-аналық есептік жазбадан нақты сұралғанын дәлелдеу.

• Қолтаңбаны тексеру: пайдаланушы белгілі бір жинақта орындағысы келетін пайдаланушы әрекетінің хэшіне қол қояды. Кілттер қоймасының жинағы ниетті растау үшін қолтаңбаны тексереді және оны L1-ге итеру үшін хэшті ағашқа қосады. ECDSA , P256 және кванттық қауіпсіздік сияқты бірнеше қол қою схемалары жеткілікті.

• Әлеуметтік қалпына келтіру: «Қамқоршылар» деп аталатын басқа, мақсатты түрде таңдалған тіркелгілерді жасаңыз, пайдаланушы тіркелгісіндегі негізгі өзгеріске дауыс беріңіз. Пайдаланушы қамқоршылар мен шекті белгілеп, кілт жоғалған жағдайда оларды қалпына келтіруді сұрай алады. Сондай-ақ, біз ветоға негізделген қалпына келтіруді немесе ZK-Email , ZK-OTP немесе Web Proofs сияқты баламалы қамқорлық схемаларын жиынтық пайдаланушылардан тыс әлеуметтік қалпына келтіруді кеңейту үшін енгізе аламыз.

• Шығындар ережелері: Әмиян ұрланған жағдайда, қамқоршылар бақылайтын шығыс ережелері пайдаланушы әмиянды қалпына келтірмес бұрын ықтимал шығындарды айтарлықтай азайтады. Бұл мүмкіндік сонымен қатар қаражатты үнемдеуге немесе, мысалы, балаларға әмиян жасауға көмектеседі — ата-аналар жәрдемақы жіберіп, бала үнемдеуді үйренуі үшін оның қанша бөлігін жұмсауға болатынын шектей алады.

• Токен баланстары: бұл қажетсіз болып көрінуі мүмкін, бірақ криптовалюталарды кілттер қоймасының жиынында сақтау мүмкіндігі пайдаланушылардың активтерінің қауіпсіздігін оларды бірнеше мини-шоттарға бөлмеу арқылы күрт арттырады. Сондай-ақ, ол пайдаланушы тәжірибесін жақсартатын көптеген мүмкіндіктерге мүмкіндік береді:

• Төлем шеберлері: жинақ жаңа пайдаланушыларды тарту үшін тегін транзакцияларды ұсына алады немесе оларға комиссияны тек ETH емес, кез келген белгі арқылы төлеуге мүмкіндік береді. Неғұрлым күрделі төлем шебері логикасын да іске асыруға болады — мысалы, секвенсер кілттер қоймасының жиынына қайта қосылған кезде басқа тізбектегі своптан ақы ала алады.

• Ішкі таңбалауыш аударымдары: жиынтықты пайдаланушылар арасында қаражатты лезде жіберумен қатар, тікелей аударымдар сонымен қатар шағын тіркелгіден негізгі есептік жазбаға кілттер қоймасының жинақтамасындағы көпір үшін L1 пайдалану үшін тым баяу аяқталатын басқа жинақтармен мақсатқа негізделген көпірлерді жүзеге асыру үшін пайдалы. Осылайша, кілттер қоймасының жинағы негізінен ондаған түрлі L2-леріндегі мини-шоттар арасында токендерді арзан тасымалдау үшін хаб ретінде әрекет ете алады.

  
  

Мұндай жүйе жинақтағы толық VM-ге қарағанда техникалық жағынан әлдеқайда қарапайым, сондықтан бір уақытта бірнеше дәлелдеу жүйелері үшін дәлелдемелерді жасау мүмкін болады және дәлелдеуді құрудың күрделілігі әлі де әлдеқайда аз болады.

Дегенмен, дәлелді тексеру әлі де проблема болып табылады. Біз бұрын есептегеніміздей, оның газ құны газ бағасына байланысты 1 миллион газға дейін немесе ~ $25-50 болуы мүмкін. Бұл құн бекітілген және пакеттегі транзакциялар санына байланысты емес. Бұл транзакциялар тым аз болса, әрбір транзакция үшін комиссия өте жоғары болуы мүмкін дегенді білдіреді. Бұл шығындарды азайтудың екі негізгі жолы бар:

Туралы қабат

Aligned - ZK дәлелдемелерін арзан түрде тексеру үшін қалпына келтіру операторларын пайдаланатын EigenLayer AVS. Егер сіз EigenLayer қолданбасымен таныс болмасаңыз, бұл Aligned қолданбасында дәлелдемелердің қалай тексерілетінінің жеңілдетілген қысқаша мазмұны:

• Пайдаланушы желіге дәлелді тексеру сұрауын жібереді және ол үшін комиссияны төлейді;

• Әрқайсысы депозиттері байланыстырылған Ethereum валидаторы болып табылатын теңестірілген операторлар түйіндеріндегі дәлелдемені тексереді және оның жарамдылығына қол қояды;

• 2/3 операторлар дәлелдеуге қол қойғанда, жиынтық қолтаңба Ethereum L1 жүйесінде жіберіледі және тексеріледі.

• Егер жарамсыз дәлел аяқталса, оған қол қойған валидаторлар оны тізбекте тексеру арқылы қысқартылуы мүмкін. Осылайша, дәлел Aligned операторларының жалпы үлесінің 2/3 бөлігіне тең экономикалық қауіпсіздікке ие болады.

  
  

Бұл тәсілдің айқын кемшілігі бар - Ethereum енді дәлелдемелердің жарамдылығына кепілдік бермейді. Егер жиынтық көпірінің TVL жалпы Aligned үлесінің 2/3 бөлігінен жоғары болса, оған шабуыл жасау тиімді болады. Біз 1-2 блоктың соңғы кідірісі туралы айтып жатқандықтан, біз оптимистік түрде шабуылдың алдын ала алмаймыз.

Дегенмен, жиынтық тым үлкен болмайынша, бұл салыстырмалы түрде қауіпсіз опция болуы мүмкін. Олай болса, транзакцияға сұраныс L1 дәлелін тексеруді қажет ете алады. Құжаттарға сәйкес, Aligned көмегімен ZK дәлелін тексеру шамамен 3000 газды құрайды, бұл Ethereum L1 үшін де тегін дерлік.

Дәлелдеу біріктіру қабаттары

Жүйеге қосымша сенім жорамалдарын енгізу ыңғайсыз болса немесе хаттамаңыз әлдеқашан тым үлкен болса, бірақ оның транзакция сұранысы болмаса, балама нұсқасы бар.

ZK және жинақтау топтары жақында дәлелдемелерді біріктіру хаттамаларымен белсенді жұмыс істей бастады. Егер сіз ZK-мен онша таныс болмасаңыз, дәлелдемелерді біріктіру - бұл ZK дәлелі басқа ZK дәлелінің дұрыстығын дәлелдейтін кезде (ол өз кезегінде басқа дәлелді дәлелдей алады және т.б.), осылайша оларды бір дәлелде "жинақтайды" және шын мәнінде олардың барлық тексеру шығындарын дәлелдеу шығындарына ауыстыру. Қалған нәрсе - тізбектегі жалғыз ZK дәлелін тексеру және ол дәлелдейтін барлық басқа ZK дәлелдерінің дұрыстығына сенімді болу. Уф!

ZK дәлелді тізбектегі тексеру.

Тексеру шығындары біріктірілген дәлелдемелерді дәлелдеуге қарағанда жоғары болған жағдайда дәлелдеуді біріктіру мағынасы бар. Яғни, он дәлелге дәлел жасау және оны тексеру құны осы он дәлелді тәуелсіз тексеруден аз болса, жинақтау пайдалы болады. Бұл есептеу мүмкіндігімен қатты шектелген Ethereum L1-де одан да пайдалы. Дәлелдеу жүйесіне байланысты бүкіл блок тізбектегі барлық басқа әрекеттерді қоспағанда, тек 100-ге жуық дәлелдеу тексерулерін қамтуы мүмкін.

Жалпы, дәлелдемелерді біріктіру хаттамаларының екі түрі бар:

• Жалпы мақсаттағы (әмбебап) біріктіру: Мұндай жобалар әдетте бірнеше ең танымал ZK протоколдарын (Groth16, Halo2, Plonky) қолдайды, олардың үстіне ZK схемаларының көпшілігі құрастырылады және өңдеу үшін ақы алады. Дәлелдеуді қажет ететін dApp қолданбалары хаттамадағы деректерді ашады және оны өздігінен өңдейді. Қазіргі уақытта әзірленіп жатқан Небраның әмбебап дәлелдеу біріктіру жүйесі дәл осылай жасайды. Aligned сонымен қатар «баяу режим» деп аталатын тексеруде жұмыс істейді, бұл шын мәнінде дәлелдерді біріктіру жүйесі болып табылады.
• Ортақ жинақтау көпірлерін біріктіру: оптимистік жинақтардағы ортақ реттілік сияқты, ZK жинақтары стектері бар ортақ көпірлерде көпірдегі әрбір ZK жиыны үшін жиынтық күй дәлелдері бар ортақ көпірлерде жұмыс істейді. Бұл стек ішінде синхронды құрастыруға мүмкіндік беріп қана қоймайды, сонымен қатар дәлелді тексеруге кететін шығындарды азайтады. Көпбұрыштың AggLayer немесе ZKsync гиперкөпірі туралы естіген боларсыз, олар көпір ішінде дәлелдеуді біріктіруде жұмыс істейтін ортақ жиынтық көпірлер.

Әмбебап жинақтау жүйелерінің артықшылығы олардың жобалық-агностикалық болуы және тек біріктіру процесінің өзінде ғана маманданғандығы, бұл дәлелдемелерді өте жылдам тексеруді және төмен шығындарды ашады. Сондай-ақ, көпір құрамдас бөлігінің болмауына байланысты жаттығу дөңгелектері болмауы мүмкін.

Жиынтық жиынтық көпірлері, өз кезегінде, бұрыннан бар жинақтау стекімен синхронды құрастыру мүмкіндігіне ие болу үшін кілттер қоймасының жиыны үшін пайдалы. Мысалы, L2BEAT деректері бойынша қазіргі уақытта 13 жоба Polygon CDK көмегімен құрастырылған, ал 11 жоба ZK Stack пайдаланады. Олардың барлығы ортақ дәлелдейтін біріктіруші көпірге қосылғанда, кілттер қоймасының жиынын олардың біріне қосу L1-ге тиіп кетпей-ақ көптеген L2-лермен үздіксіз өзара әрекеттесуді ашады. Бұл жұмыс істеуі үшін көпір өзінің L2 үшін әртүрлі күйге ауысу логикасын қолдауы керек, себебі кілттер қоймасының жиынтық логикасы ондағы басқа L2 логикаларынан ерекшеленеді.

Дегенмен, бұл көпірлер әдетте жаңартылады және оны DAO немесе қауіпсіздік кеңесі басқарады. Keystore жиынтық жобалары өздерінің егемендігінен олар қосылған көпір операторларына бас тартуға ыңғайлы болмауы мүмкін. Сондай-ақ, көпірлер ZKsync дәуірінің қазіргі жұмысына ұқсас жаттығу доңғалақтарының сақтық шарасы ретінде орындаудың кідірістерін енгізуі мүмкін, бұл кілттер қоймасының жиынтық дизайнының барлық тиімділігін айтарлықтай жояды.

Осылайша, кілттер қоймасының жинақтары, кез келген басқа ZK жинақтары сияқты, дәлелді тексеру шығындарын азайтып, тіпті оны бұрыннан бар жинақтау стекімен синхронды құрастыру мүмкіндігімен біріктіре алады.

«Keystore+» жинақтарымен мақсатқа негізделген тиімді көпір

Бұрын талқыланғандай, L2-ден L1-ге өту жалғыз мәселе емес. Көптеген жиынтық секвенерлер хабарларды L1-ден L2-ге жіберуге де кідірістерді қолданады. Себебі, Ethereum блогы жасалғанда, ол әлі түпкілікті емес және оны келесі ~64 блокта (екі дәуір, шамамен 13 минут) өзгертуге болады. Бұл қайта құрулар желілік кідірістерге байланысты орын алады, бұл кейбір түйіндер оларды жіберіп алған деп есептегенде кейбір ұсыныстардың желіде тым кеш пайда болуына себеп болады.

Көптеген қайта құрулар екі блоктан тереңірек болмаса да (жеті блокты қайта құру екі жыл бұрын жаңалықтарда пайда болды) , жинақтау топтары әлі де өткізіп алған хабарларға байланысты тәуекелдерді қабылдағысы келмейді және L1-ден көпірге кідірістерді қолданғысы келмейді. Бұл кешігулер кейбір жинақтарда ( OP Stack , ZK Stack ) шамамен 1 минутты құрайды, бірақ Arbitrum -дағы сияқты 6 минутқа дейін болуы мүмкін немесе тіпті Linea- дағы сияқты L1-дің соңғылығын сұрауы мүмкін.

Ethereum қауымдастығы Single-Slot Finality бойынша белсенді жұмыс істеуде , ол әрбір блокты бір дәуірде бір рет емес, өз бетінше аяқтауға мүмкіндік береді. Бірақ біз 2025 жылдың 1 тоқсанында келетін келесі Pectra жаңартуы жоспарланбағанын нақты айта аламыз, сондықтан SSF енгізілгенге дейін кемінде бір жыл қажет.

Осы кеңейтілген кілттер қоймасының жиынтық дизайнын жүзеге асыратын топ мұндай транзакция кідірісімен ыңғайлы болмаса, ол бұрын сипатталған паллиативтік әрекетті жүзеге асыра алады. Әрбір шағын есептік жазбаның транзакцияларды жіберуге рұқсат етілген кілті бар немесе кілт қоймасынан статикалық кілтті пайдаланады (Виталиктің бастапқы дизайны бойынша), бірақ тіркелгіні басқару әлі де негізгі кілт қоймасының есептік жазбасында. SSF L1 жүйесінде жүзеге асырылғаннан кейін жинақ рұқсат етілген шығыс кілттерін жоя алады және пайдаланушылар жылдамдықты айтарлықтай төмендетпестен бүкіл AA теңшеу мүмкіндігін алады.

Мен бұл жерде Алекспен келісемін; 15 секундтық кідіріс мүлдем қолайлы, әсіресе L1-де кілт қоймасының жиынтық транзакциясы аяқталғаннан кейін операция атомдық болғандықтан. Егер токендерді аудару туралы айтатын болсақ, алушы әмияндары тіпті UI деңгейінде «Күтуде» күйін жүзеге асыра алады.

Дегенмен, токендерді бір-бірінен аудару әлі де проблема болып табылады. Егер біз кілттер қоймасының жиыны ішінде таңбалауыш қоймаларын іске асыратын болсақ, одан таңбалауыштарды тасымалдау алушы жиынына байланысты 1-15 минутты алады. Олай етпесек, пайдаланушылардың баланстарын бірнеше L2-де мини-шоттарға бөлу қауіпсіздік тәуекелдерін тудыруы мүмкін және тіпті кейбір активтерді өтімді емес L2-ге құлыптауы мүмкін, олардан көпір өту тым қымбатқа түсуі немесе тым ұзақ уақыт алуы мүмкін.

Балама ретінде біз мақсатқа негізделген көпірді жиынтыққа біріктіріп, оны барлық басқа жинақтарда орналастыра аламыз немесе тіпті ERC-7683 сәйкес протоколдар сияқты бар инфрақұрылымды қайта пайдалана аламыз. Біз келесі бөлімде ниет көпірлерін қысқаша талқылаймыз.

Мақсатқа негізделген көпір дегеніміз не?

Қолданыстағы кросс-тізбекті көпірлердің көпшілігі хабар алмасу протоколдарына негізделген. Мысалы, Stargate LayerZero арқылы депозиттер туралы хабарларды сенім көзі ретінде тағайындалған тізбектерге беру үшін пайдаланады. Мұндай көпірлер арқылы токендерді жіберген кезде, олар сіздің белгілеріңізді бір жағынан құлыптап, екінші жағынан сіздің депозитіңіз туралы хабарлама жібереді, ал ондағы қойма сіз үшін токендердің тиісті санын ашады.

Мақсатқа негізделген көпірлер , өз кезегінде, екі тізбек арасында хабарлама жібермейді. Оның орнына, жіберілетін қаражат қоймада «кросс-тізбекті тапсырыс» ретінде құлыпталады, содан кейін кез келген адам тағайындалған тізбектегі токендердің сұралған сомасын жіберу арқылы тапсырысты толтыра алады. Кім тапсырысты толтырса, онда қойма тағайындау тізбегінің соңғы күйі туралы хабардар болған кезде бастапқы тізбектен құлыпталған белгілерді талап ете алады және тасымалдауды растай алады.

Бұл тағайындалған тізбектің мақсатының (көпір) аяқталуын күту арқылы немесе кейбір сыртқы oracle протоколы арқылы болуы мүмкін. Мысалы, Across әлі аяқталмаған L2 күйін алу үшін UMA оптимистік оракулын пайдаланады .

Бұл сценарийде Ethereum L1 сенім көзі ретінде пайдаланылады. Кейбір хаттамалар, мысалы, Across, оның орнына сыртқы оракулдарды пайдаланады. Қолданыстағы жобаларда нақты дизайн әртүрлі болуы мүмкін; тек жалпы идея көрсетіледі.

Біз кілт қоймасы мен барлық басқа L2 құрылғылары арасында сенімді, жылдам және арзан екі жақты көпірді жүзеге асыру үшін осы кеңейтілген кілттер қоймасының жинақтары үшін бірдей дизайнды пайдалана аламыз. Жылдам көпірдің аяқталуы басқа L2 құрылғыларынан ниетке негізделген тапсырыстарды дерлік тегін беруге мүмкіндік береді, өйткені L2-де орындалғанын дәлелдеу бірнеше минутты алады.

Кілттер қоймасынан тапсырыстар да арзан болуы мүмкін, өйткені L2 өтімділігін кілт қоймасы арқылы салыстырмалы түрде жылдам жеткізуге болады. Осылайша, мұндай кілттер қоймасының жиынтық дизайны пайдаланушыларға транзакцияларды бірнеше минут ішінде емес, лезде жіберуге мүмкіндік беретін, көпір үшін ештеңе төлемей, мақсатқа негізделген көпірдің хабына айналуы мүмкін. Топтама командасы сонымен қатар кілт қоймасы 1:1 арқылы өтімділікті қамтамасыз ете алады және бұл оларға көп шығын әкелмейді.

Барлық тізбектер үшін бірыңғай ENS атауы

Алушы қай тізбекте болса да, барлық шағын есептік жазбаларыңызға жауап беретін жалғыз username.eth бар екенін елестетіп көріңіз. Бұл дизайн мұны мүмкін етеді. Қалай?

Біздің негізгі кілттер қоймасының мекенжайын бұрыннан білетіндіктен, біз көп тізбекті фабрикаларды және CREATE2-ні пайдалана отырып, шағын есептік жазбаларымыздың мекенжайларын барлық байт-код эквивалентті EVM тізбектерінде, соның ішінде Ethereum L1-ді қоса алғанда, бірдей ету үшін пайдалана аламыз. Содан кейін біз бірыңғай мекенжайды ENS шешушіге орнаттық және біздің атымыз барлық EVM L2 құрылғыларында жұмыс істейді.

Дегенмен, екі ерекше жағдай бар:

• ZK Stack сияқты эквивалентсіз EVM байт кодтары. Олар үшін біз CREATE2 ережелеріне сәйкес пайдаланушы мекенжайын жасай аламыз және оны ENSIP-11 сәйкес тізбек идентификаторларымен ENS қоса аламыз.
• Біздің кілттер қоймасы сияқты EVM емес L2 құрылғылары. Логика олар үшін бірдей, бірақ оның орнына біз олардың реттелетін мекенжайларын ENSIP-9 сәйкес ENS қосамыз.

UX-ге өте ыңғайлы болғанымен, бұл тәсіл L1-де көптеген қымбат есептеулер мен жадтарды пайдаланады, себебі атаулар мен мекенжайлар L1 шешушілерінде сақталады. Бұл мәселені CCIP Read арқылы шешуге болады, бірақ мен тізбекті ажыратымдылықтың басқа, тиімдірек логикасын ойлап таптым:

Кілттер қоймасындағы әрбір тіркелгі өзінің ENS атауының атау хэшімен тіркеледі және индекстеледі (теңшелетін шешушімен бір ENS атауымен тіркелген). Оның ішкі домені шешілгенде, шешуші келісім-шарт жинақта осындай атау хэші бар тіркелгі бар-жоғын тексереді және CREATE2 негізіндегі шағын есептік жазба мекенжайларын жасау үшін атау хэшін пайдаланады.

Бұлар орналастырылған кезде, олар L1-ден олар қолданылған атау хэшіне жататын кілттер қоймасының деректерін сұрайды. Бұл кілт қоймасының орындалуына байланысты транзакция мақсатының өзі немесе жай ғана ағымдағы қол қою кілті болуы мүмкін. Осылайша, біз кілттер қоймасының тіркелгілерін аламыз, олардың әрқайсысында өзіне және оның шағын есептік жазбаларына арналған ENS атауы бар. Бұл шағын есептік жазбалар, өз кезегінде, кілт қоймасының жиынын пайдаланып транзакцияны растау кезінде осы ENS атауына да сүйенеді.

**

«Keystore+» жинақтарында реттілік механизмдері

Кілттер қоймасының кеңейтілген топтамасындағы көпірдің аяқталуы бірнеше L1 блоктан тұруы керек болғандықтан, біз орталықтандырылған секвенсерлерден толықтай құтылып, оны негізгі жинаққа айналдыра аламыз. Бұрын талқылағанымыздай, транзакция жылдамдығының ~12 секунды орташа пайдаланушы үшін қолайлы, бірақ негізделген реттілік жинақты цензураға және бір сәтсіздік нүктелеріне әлдеқайда төзімді етеді.

Негізделген реттілікпен ішкі транзакциялар сыртқы транзакциялар сияқты ұзақ уақытты қажет ететінін ескерген жөн (L2-ге жету уақытын қоспағанда). Бұл кейбір командалар үшін қолайсыз болуы мүмкін, өйткені орталықтандырылған реттілік барлық ішкі операцияларды лезде жасайды.

Баламалы жиынтық өзара әрекеттесу шешімдері немесе: Неліктен мен ортақ реттілік туралы айтпадым

Мен бүкіл мақаланы ZK rollups және ZK технологиясы бойынша жаздым. Себебі, оптимистік жинақтар негізінен жылдам объективті қорытындыға ие бола алмайды және мұндай сипатқа тек ZK арқылы қол жеткізуге болады. Бүгінгі оптимистік топтамалар өздерінің жабық позициясын түсінеді және олардың стектеріне жарамдылыққа негізделген дизайнды біріктірудің орындылығын белсенді түрде зерттейді, сондықтан, мысалы, Оптимизм мен RISC Zero жақында серіктестігі .

Оптимистік дизайн негізінен шектеуші болып табылады, өйткені ол ешқашан басқа жинақтармен өзара әрекеттесуді реттемейді. Дегенмен, оптимистік экожүйедегі өзара әрекеттестік қарқынды дамып келеді. Оптимистік топтамаларды бір-бірімен өзара әрекеттесуіне арналған негізгі технология ортақ реттілік болып табылады. Қарапайым тілмен айтқанда, бұл секвенсер бір уақытта бірнеше жинақтау үшін партия құра алатын механизм. Кез келген жиынтықтағы кез келген транзакция жарамсыз болса, бүкіл топтаманы даулауға және қайтаруға болады.

Бұл осы «мега-партиядағы» барлық партияларға атомдық қасиет береді — барлық партиялар жарамды немесе ешқайсысы жоқ. Бұл, өз кезегінде, партияның ішінде атомдық синхронды құрамдылыққа мүмкіндік береді. Атомдық — себебі ол жарамды, синхронды болса, бумадағы ешнәрсе жарамсыз болуы мүмкін емес — өйткені барлық хабар алмасу оның барлық жинақтарының түйіндерімен бір уақытта өңделетін буманың ішінде болады.

Бұл технология негізінен белгілі бір оптимистік стектегі барлық жинақтарды бір үлкен, ұсақталған жинаққа айналдырады. Неліктен олардың барлығы емес, бір ғана стек? Өйткені бұл жұмыс істеуі үшін орамдар бір көпірге қосылуы керек. Әрбір стектің өз көпірі бар және бір уақытта бірнеше көпірлерде топтамаларды құрудың сенімді жолы жоқ. Бұл ортақ реттілік OP Mainnet жүйесіне Arbitrum немесе Metis емес, Base және Zora-мен үздіксіз әрекеттесу мүмкіндігін береді және керісінше.

Мұндай біріктіру жиынтық экожүйесінде қауіпті жағдайды тудырады. Жаңа жинақтарда бар стекке қосылу және онымен біріктіру, бірақ басқа ешкіммен емес НЕМЕСЕ ZK үстіне құрастыру және жоғарыдағы стектен басқа кез келген адаммен біріктіру мүмкіндігі бар. Қазір мұндай таңдау жоқ, себебі ортақ реттілік әлі қол жетімді емес және әрбір OP стек немесе Arbitrum Orbit жинағы тәуелсіз, өз көпірі бар. Дегенмен, олар шоғырланған кезде, олар экожүйеде әрқайсысында жалпы L2s TVL-дің шамамен 40% -ын ұстайтын екі қатты организмді құрайды.

«Жақсы. Егер олар жалпы TVL-дің басым көпшілігін ұстайтын болса, біз неге ZK-дан құтылып, оның орнына олардың үстіне салмасқа?»

Біріншіден, ортақ секвенерлер орталықтандырудың үлкен драйвері болып табылады. OP Mainnet секвенсерін іске қоссаңыз, бумаларыңыз стектегі басқа жинақтардағы транзакцияларды қамтымайды; Сіз алымдарды аз табасыз және сайып келгенде, бүкіл стекті өз пакеттерінде өңдей алатын ірі коммерциялық секвенсерлерден асып түсесіз.

Алайда, ең маңызды мәселе, мұндай жағдайда топтамалық экожүйе өз мүдделерін көздейтін, астанаға көбірек бақылау орнатуға ұмтылатын және экожүйедегі технологиялық прогресті әлсірететін олигополистік империялардың ішінде қоршалады. Содан кейін біз Ethereum-ның әлемді өзгертетін технологиялар емес, PR және ішкі күрес маңызды болып табылатын бөлшектелген аймаққа айналуымен күресуге тура келеді.

«Империяларды емес, құралдарды жасаңыз . Империялар пайдаланушыны қабырғамен қоршалған бақ ішінде ұстауға тырысады; құралдар өз міндеттерін орындайды, бірақ басқаша кеңірек ашық экожүйемен өзара әрекеттеседі » - Виталик Бутерин

«ZK-де ортақ көпірлерді біріктіру оптимистік ортақ реттілікке қарағанда қалай жақсы?»

ZK rollups ортақ көпірлерінде реттілік көпірдегі басқа жинақтардан тәуелсіз орындалуы мүмкін. Әрбір жиынтықта өзінің секвенері болуы немесе ортақ секвенирлеуді жүзеге асыруы мүмкін. Барлық реттелген топтамалардан кейін алынған күй түбірін бекітетін және оны ZK арқылы дәлелдейтін ұсыныстар біріктіруді орындайтындар болып табылады.

Оның үстіне, ZK орамындағы салыстырмалы түрде жылдам объективті аяқталу сипаттамасы, ол қаншалықты үлкен өссе де немесе ол қаншалықты орталықтандырылған болса да, оларды экожүйенің ішінде қамтымайды. ZK бірнеше дәлелдеу жүйелері үшін үлкен zkVM дәлелдері жылдам жасалуы мүмкін деңгейге дейін дамыған кезде, жоғарыда сипатталған теориялық кілттер қоймасының жинақтауы L1 мәселесінде барлық басқа жинақтардағы транзакцияларды жіберетін сияқты, барлық ZK негізіндегі жинақтау стектері біркелкі дерлік өзара әрекеттеседі. блоктар.

«Бірақ оптимистік топтамалар соншалықты жаман болса және ZK rollups-те балама бар болса, қалайша әлі де бар?»

Біздің зерттеушілер қауымдастығы мен жоғары техникалық адамдар арасында консенсус ZK масштабтаудың ең жақсы шешімі болып табылады. Тұрақты пайдаланушылар мен құрылысшылар үшін оптимистік топтамалар ZK-ге қарағанда әлдеқайда жақсы екенін түсінгенде таң қаласыз! Неге?

Пайдаланушылар үшін : Жақсы құрылған экожүйе бар. Барлық платформалар Arbitrum және Base не екенін біледі, dApps әрқашан жоғары өтімділікке ие және UX хош иісті. Base қолданбасында қолданбаны атауға тырысыңыз, сонда сіз Friend.tech , Farcaster , Daimo , Time.fun (қазір Solana үшін эксклюзивті), әртүрлі NFT жинақтарын, ZKP2P-ді бірден есте сақтайсыз. Тіпті Mirror бастапқыда соғуға арналған OP Stack жинақтарын ғана қолдады. ZKsync дәуірінде қолданбаны атауға тырысыңыз. Ухх...

Әзірлеуші үшін : Ethereum абсолютті баламасы бар, сондықтан бүкіл Ethereum және EVM шанышқыларының инфрақұрылымы қораптан жұмыс істейді. Бұдан басқа, құжаттама оптимистік жинақтардың барлық ерекшеліктері мен құралдарын мұқият анықтайды және түсіндіреді. Көптеген оқулықтар, курстар, марафондар, әзірлеушілермен байланыстар және т.б.

Екінші жағынан, бір жылдық zkEVM бар, олардың барлығында тіпті байт-код эквиваленттілігі жоқ. Олардың барлығында олардың үстіне салу кезінде айырмашылықтар мен қиындықтардың ұзақ тізімі бар. Олар негізінен нашар құжатталған және желілермен әрең үйлесетін қолданыстағы инфрақұрылымға айтарлықтай тәуелділік бар. «Үйлесімді» виртуалды құрылғыларды тексеру өте қиын және қымбат, және сізде сұрайтын ChatGPT жоқ.

Пайдаланушылар үшін: ZK жинақтарында экожүйе жоқ. Қолданылатын қолданбалар, әлеуметтік желілер, танымал NFTs немесе таңбалауыштар жоқ және барлық белсенділік аэродроптық фермерлікке дейін созылады. Ethereum экожүйесінің алғашқы ондығына кірмейтін жұптар үшін өтімділікті әрең табасыз, ал DefiLlama айналдырудан шаршаған кезде ZK орамдарын көрсете бастайды.

«Бірақ оптимистік жинақтар шын мәнінде қолданыстағы инфрақұрылыммен үйлесімділік арқылы жеңеді. ZK rollups оларды қалай жеңеді?»

Платформаңызға әзірлеушілер мен белсенділікті тарту үшін байт-код эквивалентін немесе blake2f прекомпиляциясын енгізудің қажеті жоқ. ZK rollups бұл жақсырақ болуы керек емес. Оның орнына, олардың жылдам аяқталуында және өзара әрекеттесуінде, толық көлденең масштабталуында, түбегейлі жоғары қауіпсіздікте және орталықсыздандыруда. Бұл ZK rollups экожүйесіндегі жобаларда оларды экожүйеде тиімді ету үшін пайдаланылуы керек.

Мен осы мақаланы осы уақыт ішінде аймақта пайда болған және дамыған ZK rollups қоса алғанда, барлық осы технологиялардың толық бейнесін жинақтау және оларды саладағы бүгінгі ең маңызды мәселені шешу үшін қалай пайдалануға болатынын көрсету үшін жаздым. Біз ZK және оның шексіз артықшылықтарын қабылдауымыз керек. Біз оларды Web3-ті әлемдегі барлық адамдар үшін орынға айналдыруға жақындататын нәрселер құру үшін өз пайдамызға пайдалануымыз керек.

Бұл, мүмкін, мен жасаған ең үлкен салыстыру кестесі. Таңқаларлық емес — өткен жылы Ethereum қауымдастығы икемді түрде біріктіріліп, манипуляцияланатын көптеген жаңа идеялар мен технологияларды ойлап тапты, бұл аймақтағы ең өзекті мәселелерді, тіпті қолданыстағы технологиямен де шешетін мүлдем жаңа шешімдерді жасау үшін.

Иә, мен біріктірудің өзара әрекеттесу мүмкіндігі бүкіл әлемді Web3 жүйесіне қосуға кедергі келтіретін ең өзекті мәселе екеніне әлі де сенімдімін. Масштабтау енді соншалықты өзекті емес — 4844 әлемнің ең ірі елдеріндегі қаржылық қызметпен салыстыруға болатын секундына мың транзакцияны өңдеуге мүмкіндік береді; PeerDAS жақында келеді және оны одан әрі арттырады. Дегенмен, фрагментация Ethereum экожүйесіне әлі де үлкен қауіп төндіреді. Ол қаншалықты үлкен болса да, экожүйе ондаған әртүрлі империялар сияқты емес, бір үлкен механизм ретінде сезінуі керек. Әртүрлі, бірақ соншалықты бірдей.

Біз ерте емеспіз және бұл мақала сізге соны көрсетуі керек. Біз L2 үлкен экожүйесінің өзара әрекеттесуіне көмектесетін жұмыс жүйелерін дамыту үшін барлық күшімізді пайдалануымыз керек. Бұл дәл қазір мүмкін. Жақында сіз кез келген DAO-ға қатыса аласыз және иесі сізден бірнеше мың шақырым жерде орналасқан ENS-ке кез келген активтерді жібере аласыз. Географиялық шекараларды цифрлық шекаралармен алмастыруға болмайды.

Егер сізге бұл жұмыс ұнаса, оның тезисімен келісіңіз, жаңа нәрсе білсеңіз немесе осы хабарды одан әрі таратқыңыз келсе — оны әлеуметтік желілерде бөлісіңіз, өз пікірлеріңізді қалдырыңыз және жиынтық өзара әрекеттестіктің маңыздылығы туралы көбірек сөйлесіңіз. Оқығаныңызға рахмет.

Автордың ескертуі: Бұл мақаланың нұсқасы бұрын осы жерде жарияланған.