Stat Of Rollup Interoperability Solutions

როგორც შეკრებაზე ორიენტირებული ეკოსისტემის ენთუზიასტი, მე ყოველთვის მაინტერესებდა გადაწყვეტილებები, რომლებიც აუმჯობესებს შერწყმულ თავსებადობას. უფრო მეტიც, ერთადერთი მიზეზი, რის გამოც შევქმენი ეს კვლევის ანგარიში, იყო ამ სფეროში თავსებადობის მნიშვნელობის შესახებ გზავნილის გავრცელება. შემდეგ მივხვდი, რომ სტატიების წერა შესანიშნავი გზაა ამა თუ იმ თემის შესახებ ჩემი გაგების გასამყარებლად და ხალხის მის გაგებაში დავეხმარო და ახლა აქ ვარ.

როგორც კრიპტოში ყოველი დღე ახალ რაღაცებს სწავლობს, აშკარად უნდა ჩანდეს, რომ დღეს მე ვხედავ ხედვას „Rollup თავსებადობა გადამწყვეტია Ethereum-ის მომავლისთვის“ - ჩემი ეპოქა საკმაოდ მოძველებულია. ფილოსოფიის POV-დან, მე მაინც იგივე ხედვას მივყვები** - შეკრების თავსებადობა აბსოლუტურად გადამწყვეტია Ethereum**-ის მომავლისთვის და მთელმა ეკოსისტემამ უნდა იმუშაოს გადაწყვეტილებებზე, რომლებიც აუმჯობესებს მას. თუმცა, ტექნოლოგიების POV-დან ბევრი ახალი იდეა ვისწავლე ამ თემაზე და გადავიფიქრე რაღაცეებზე.

ქვემოთ მოცემული მასალის გასაგებად, სასარგებლოა გაერთიანებების და მათი თავსებადობის პრობლემის ძირითადი გაგება. თუ არა, ჩემი სტატია „Dr. Dankshard ან როგორ ვისწავლე შეწყვიტო წუხილი და მიყვარდეს შეკრებები“ შესანიშნავი შესავალია.

მერჰაბა!

ეს არის 13 ნოემბრის საღამო, Devconnect Istanbul- ის პირველი დღე. როგორც ZkSync- ის მასიური გულშემატკივარი, გადავწყვიტე დავესწრო zkSync Connect, როგორც ჩემი პირველი ღონისძიება ამ სამიტზე, ჩემს ცხოვრებაში პირველ ღონისძიებაზე. იქ გავიცანი ბიჭი და ერთად გავემართეთ "Mosyo Coffee"-ში, როგორც ეს zkCafe-ს ლუმას გვერდზეა ნათქვამი. იმ უბანში ორნი იყვნენ და მხოლოდ საღამოს ვიპოვეთ შესაფერისი ადგილი.

გაცილებით ბნელი იყო ვიდრე ზევით ფოტოზე და წვიმდა. დავრჩი სახურავის კიდეზე, რომელზეც ფუდ კორტი იყო განთავსებული და ყავას ვსვამდი, რომელიც უფასოდ ვიყიდეთ კლავზე , ჩემს ახალ მეგობარს ვუთხარი ჩემი იდეის შესახებ ჰაკათონის პროექტის შესახებ.

არსებობს „მინი-ანგარიშები“: ERC-4337 ანგარიშები, რომელთა ვალიდაციის ლოგიკა არ არის ხელმოწერის შემოწმება, არამედ ოპერაციის ჰეშის არსებობა მის L2-ის ერთ შემოსულ ხიდში. ჰეში უნდა გაიგზავნოს მისი მშობელი მისამართიდან კონკრეტული წყაროს ჯაჭვზე. მშობლის მისამართი არის თქვენი მთავარი ჭკვიანი საფულე ნებისმიერ L2 ან Ethereum L1-ზე. სხვა L2-თან ურთიერთობისთვის თქვენ:

• განათავსეთ მასზე მინი-ანგარიში და დააყენეთ თქვენი მთავარი საფულე, როგორც მშობლის მისამართი. განლაგების გაკეთება ნებისმიერს შეუძლია; ამრიგად, მისი დაფინანსება შესაძლებელია პროტოკოლის ან თქვენი საფულის პროვაიდერის მიერ.

• გაგზავნეთ მომხმარებლის ოპერაციის ჰეში, რომლის გაგზავნაც გსურთ შემოსულების ხიდზე თქვენს L2-ზე და დააყენეთ დანიშნულების ჯაჭვის ID.

• ეს ჰეში შეფუთულია სხვა ჰეშებთან და იგზავნება L1-ში. გონიერი კონტრაქტი L1-ზე გადასცემს ამ პაკეტს დანიშნულების ადგილზე L2-ში და შემოსულების ხიდი ხსნის ჰეშებს, რათა მინი ანგარიშებმა შეძლონ მათი წაკითხვა.

• გამგზავნი ამატებს მცირე საკომისიოს თავის ჰეშს პროტოკოლის სმარტ კონტრაქტებზე ტრანზაქციების ინიციატორების წახალისების მიზნით.

• როდესაც ჰეში მიაღწევს დანიშნულების ადგილს L2, თქვენ უგზავნით თქვენს მომხმარებლის ოპერაციას AA mempool-ზე ამ L2-ზე. ERC-4337 სტანდარტის გამოყენებით, ჩვენ არ მოგვიწევს ხელახლა განვახორციელოთ ჩვენი მინი-ანგარიშის მეხსიერება და პროტოკოლი შეიძლება ადვილად იყოს ინტეგრირებული საფულეებში უკვე არსებული კოდების ბაზის საშუალებით.

  
  

მოკლედ რომ ვთქვათ, მე ვაპირებდი L1-ზე დაფუძნებული ხიდის შექმნას, რომელიც აგზავნის ტრანზაქციებს თქვენი L2-ის ჭკვიანი საფულედან ნებისმიერ L2-ზე, ვისთანაც გსურთ ურთიერთობა. მე თითქმის დავასრულე ის ჰაკათონზე, მაგრამ ვერ დავასრულე მცირე გამოცდილების და სოლო მუშაობის გამო. მას შემდეგ რაც მეგობარს აუხსნა, მან მკითხა:

რატომ არ ცვლის უბრალოდ ქსელს საფულეზე და არ იყენებს ტოკენ ხიდებს საჭირო თანხების საჭირო ქსელში გადასატანად?

მე ვუპასუხე : ეს არის აბსოლუტურად ვარიანტი, თუ ადამიანი იყენებს EOA საფულეს. EOA საფულეები ერთნაირად მოქმედებენ ყველა EVM ქსელში და იზიარებენ ერთსა და იმავე მისამართს, ასე რომ თქვენ შეგიძლიათ გააგზავნოთ ტრანზაქციები ყველა მათგანში მხოლოდ თქვენი საფულის პარამეტრებში ქსელის შეცვლით.

თუმცა, ტერიტორია გადადის ანგარიშის აბსტრაქციაზე დაფუძნებულ ჭკვიან ანგარიშებზე. ეს ანგარიშები საშუალებას გვაძლევს დავამატოთ ნებისმიერი ფუნქციონალობა, რომელიც გვინდა ჩვენს საფულეებს პროგრამულად:

• P256 ხელმოწერები შესაძლებელს ხდის ჩვენს ტელეფონებში უსაფრთხო ჩიპების გამოყენებას ტრანზაქციების გასაფორმებლად.

• სოციალური აღდგენის გზით, ჩვენ შეგვიძლია დავამატოთ ჩვენი ნათესავები, როგორც მეურვეები, რომლებიც უფლებამოსილია აღადგინონ ჩვენი საფულეები, აღმოფხვრას სახიფათო ფრაზები.

• Paymaster ტექნოლოგია საშუალებას გვაძლევს გადავიხადოთ გაზის საფასური ნებისმიერი ნიშნით ან თუნდაც ვინმეს ვაიძულებთ გადაიხადოს ჩვენთვის საფასური .

• როდესაც კვანტური კომპიუტერები იწყებენ ხელმოწერის კლასიკური სქემების დარღვევას, ჩვენ შეგვიძლია უბრალოდ შევცვალოთ სქემა ჩვენს AA საფულეებში კვანტურად უსაფრთხო სქემაზე ახალი საფულის შექმნის გარეშე.

  
  

ეს სია შეიძლება უსასრულოდ გაგრძელდეს, რადგან ანგარიშის აბსტრაქცია არსებითად გვაძლევს საშუალებას გამოვიყენოთ შესრულებადი პროგრამები, როგორც სრულფასოვანი საფულე. მაგრამ ამ ყველაფერს ფასი აქვს: ადამიანს არ შეუძლია ადვილად გადაიტანოს თავისი საფულეები სხვა ქსელში, რადგან, გარდა სახსრების ხიდზე გადატანისა, საჭიროა მთელი ანგარიშის ხელახალი განლაგება ყველა გასაღებით, მეურვეებითა და პარამეტრებით. ზოგიერთ შემთხვევაში, ეს შეიძლება იყოს ძალიან რთული ან თუნდაც შეუძლებელი; ვთქვათ, შეკრებებში, რომლებიც არ უჭერენ მხარს P256 წინასწარ კომპილაციას (ეს ხელმოწერის სქემა შეიძლება ძალიან ძვირი იყოს გამოსაყენებლად).

ამიტომ გავაკეთე ეს ოქმი. არსებითად, თქვენ გაქვთ AA ანგარიშები ბევრ L2-ზე. მათგან ტრანზაქციის გასაგზავნად, თქვენ უნდა გადაამოწმოთ თქვენი განზრახვა თქვენი ძირითადი ანგარიშიდან კონკრეტულ L2-ზე ამ „მინი-ანგარიშებზე“ გაგზავნით, L1 bridge შეტყობინების საშუალებით. სინამდვილეში, ამ გზით, თქვენ არ მოიშორებთ მრავალ საფულეს; თქვენ უბრალოდ გადაიტანეთ ყველა გადამოწმების ლოგიკა ერთ „მშობლის“ ანგარიშზე.

ასეთი პროტოკოლის კიდევ ერთი საინტერესო დეტალი არის ის, რომ ის იძლევა თავსებადობის საშუალებას არა მხოლოდ L2-ებთან, არამედ ყველა L1-თან (გვერდითა ჯაჭვებთან), რომლებსაც აქვთ ხიდები Ethereum-თან - Polygon PoS, Ronin, Gnosis და Avalanche არის ის, რაც მე შემიძლია ვიფიქრო. თუმცა, ის შემუშავებული იყო, როგორც შეკრებაზე ორიენტირებული თავსებადობის პროტოკოლი , ასე რომ, ეს მხოლოდ სახალისო ტექნოლოგიური ფაქტია.

მიუხედავად იმისა, რომ პროექტის იდეა საკმაოდ ჭკვიანი იყო, პრაქტიკულ განხორციელებას მნიშვნელოვანი ნაკლი ჰქონდა: სიჩქარე . მთელი დიზაინი ეყრდნობა კანონიკურ შეკრების ხიდებს, რომლებიც დაკავშირებულია Ethereum L1-თან. Rollup ხიდები თავისებურია იმით, რომ ისინი ადასტურებენ თავიანთ მდგომარეობას Ethereum-ზე გონივრული კონტრაქტით, რათა მემკვიდრეობით მიიღონ მისი უსაფრთხოება. როგორც უკვე იცით, ოპტიმისტური და ZK გადამოწმება ამის გაკეთების ორი ყველაზე პოპულარული გზაა.

ოპტიმისტური გადამოწმება მუშაობს „გამოწვევის ფანჯრის“ გახსნით, ჩვეულებრივ, დაახლოებით შვიდი დღის განმავლობაში, რომელშიც ოპონენტებს შეუძლიათ გააგზავნონ თაღლითობის მტკიცებულება , რომელიც მიუთითებს ტრანზაქციის ჯგუფის ნებისმიერ არასწორ ნაწილზე. თუ ეს მტკიცებულება ძალაშია, გაერთიანება არეგულირებს თავის ბლოკჩეინს, რომ წაშალოს ეს პარტია. შვიდი დღის შემდეგ თაღლითობის მტკიცებულებების გარეშე, პარტია ავტომატურად განიხილება ძალაში და ყველა შეტყობინება და თანხის გატანა დასრულებულია Ethereum-ზე.

თქვენ ალბათ უკვე მიხვდით. L1-ზე შეტყობინებების გაგზავნის შვიდდღიანი დაგვიანების გამო, ოპტიმისტური შეკრებიდან ჯვარედინი ტრანზაქციების გაგზავნა საშინელი იდეაა. რატომ? აბა, დაელოდებით თქვენს DEX სვოპს ერთი კვირა? რა მოხდება ამ დროისთვის ფასთან დაკავშირებით?

ჯაჭვური ტრანზაქციების გაგზავნა ოპტიმისტურ ჯგუფში ბევრად უკეთესია. მიუხედავად იმისა, რომ OP Stack sequencer ელოდება რამდენიმე ბლოკს შეტყობინების დამუშავებამდე, რათა მინიმუმამდე დაიყვანოს რეორგაციის შესაძლებლობა, თქვენი ტრანზაქციის რამდენიმე წუთის ლოდინი უკვე გარკვეულწილად მისაღებია ზოგიერთი ამოცანისთვის.

უფრო მეტიც, Ethereum-ის საზოგადოება ამჟამად მუშაობს ერთ სლოტზე , რაც ყველა ბლოკს ცალ-ცალკე დაასრულებს, რაც მათ შეუქცევადს გახდის მომდევნო ბლოკით. მისი განხორციელების შემდეგ, შეტყობინება L1-დან L2-მდე მიიღებს დაახლოებით 12 წამს.

ასეთი ანგარიშების ჰოსტინგი ZK შეკრებებზე უკეთესი იქნება, მაგრამ მაინც არ არის ძალიან გამოსაყენებელი. როგორც ქვემოთ მოცემული სტატისტიკიდან ვხედავთ, ZKsync Era სრულდება 21 საათში, Linea 5 საათში, Starknet 9 საათში და ა.შ.

მაგრამ რატომ არის ასე? ZK მტკიცებულების გენერაცია სწრაფი არ არის ძლიერ კლასტერებზე? მოკლედ ორი პრობლემაა:

• ზოგიერთი ZK გაერთიანება, როგორიცაა ZKsync Era, აწესებს შესრულების შეფერხებებს ისე, რომ უსაფრთხოების საბჭოს აქვს დრო, დააბრუნოს ზოგიერთი პარტია მათ მტკიცებულების სისტემაში შეცდომის შემთხვევაში. zkEVM მართლაც რთული ტექნოლოგიის ნაწილია და ამ სირთულის გამო, შეცდომების ალბათობით თავიდან აცილება მრავალი მტკიცებულების სისტემის ერთდროულად გამოყენებით ჯერ არ არის შესაძლებელი.
• მიუხედავად იმისა, რომ ZK მტკიცებულების დადასტურება ძალიან მსუბუქია მის მიერ დადასტურებულ გამოთვლებთან შედარებით, მისი შემოწმება ჯაჭვზე მაინც საკმაოდ ძვირია. მტკიცებულების სისტემიდან გამომდინარე, მას შეიძლება დასჭირდეს მილიონამდე გაზი თითო შემოწმებაზე. გაზის საშუალო ფასი 9 gwei და დღევანდელი ETH ფასების გათვალისწინებით, ერთი მტკიცებულება დაახლოებით $30 ღირს მხოლოდ L1-ზე გადამოწმებისთვის.
  • თანამედროვე ZK გაერთიანებები ამცირებს ამ ხარჯებს ერთი მტკიცებულების წარმოქმნით მრავალი პარტიისთვის ერთხელ გარკვეული დროის განმავლობაში, მაგრამ ეს ანელებს ხიდის საბოლოო სიჩქარეს. სერიის გენერირება და მისი დამტკიცება ყოველი ბლოკი იღებს $30 ბლოკს ან $216,000 დღეში . 100 TPS-ზე, ეს არის დაახლოებით $0,025 თითო ტრანზაქციაზე მხოლოდ გადამოწმების ხარჯებისთვის. ჩვენ ასევე უნდა შევქმნათ მტკიცებულება და გამოვაქვეყნოთ პარტია ჯაჭვზე!

ტრანზაქციისთვის ერთი ან ორი საათის ლოდინი ჯერ კიდევ ძალიან გრძელია. რა შეგვიძლია ამის გაკეთება?

უპირველეს ყოვლისა, დავივიწყოთ ჩემი რვა თვის წინანდელი ჰაკათონის პროექტი და შევეცადოთ აღმოვფხვრათ ის გონებრივი მოდელი, რომელიც ყველა ტრანზაქციას სჭირდება ჩვენი მთავარი ჭკვიანი საფულედან. რატომ გვჭირდება ჩვენი ჭკვიანი საფულის ლოგიკის გაზიარება ყოველ შეკრებაში? რატომ არ ვაწარმოებთ დროებით EOA-ებს, არ ვაწარმოებთ თანხებს ჩვენი მთავარი ჭკვიანი საფულედან, არ ვასრულებთ სამუშაოს, რაც გვინდა და არ ვასრულებთ დარჩენილს?

My Clave-ს (ან ნებისმიერ ჭკვიან საფულეს, რომელსაც თქვენ იყენებთ) აქვს Secure Enclave ხელმოწერა და სოციალური აღდგენა, ასე რომ მე ყოველთვის შემიძლია უსაფრთხოდ ვიყო იქ ჩემს სახსრებთან დაკავშირებით, თუნდაც ტელეფონი დავკარგო. და ვის აინტერესებს რა მოხდება ამ დროებით ანგარიშებთან? მე უკვე გავაკეთე მათი საქმეები; ყველა თანხა ახლა ჩემს კლავზეა.

თუმცა, ამ მიდგომას აქვს ფუნდამენტური პრობლემა: ვარაუდი, რომ თქვენ არ შეგიძლიათ გამოიყენოთ იგივე საფულე სხვა ჯაჭვებზე რეგულარულად, ძლიერ ზღუდავს დავალებების რაოდენობას, რომელთა შესრულებაც შეგიძლიათ მათზე. მაგალითად, თქვენ არ შეგიძლიათ:

• შექმენით დეპოზიტი ადგილობრივ დაკრედიტების პლატფორმაზე, რადგან თქვენ არ შეგიძლიათ მისი გადატანა თქვენს მთავარ ქსელში (ამ შემთხვევაში ZKsync Era)
• მიიღეთ ჟეტონები, რომლებსაც არ გააჩნიათ ცვლადი ეკვივალენტი თქვენს მთავარ ქსელში (მაგ., თუ ისინი ბუნებრივად არიან შემუშავებული ამ ქსელში)
• მიიღეთ მონაწილეობა ადგილობრივ DAO-ში, რადგან თქვენი ხმები უნდა დარჩეს ამ დროებით ანგარიშში.

არსებითად, ყველაფერი, რისი გაკეთებაც შეგიძლიათ, როგორც მომხმარებელს, არის თანხების გაფანტვა მრავალ მიმღებზე ყოველ ჯერზე ხიდის გარეშე და მიიღეთ უკეთესი ლიკვიდობა ტოკენზე გადასვლისთვის, რომელიც შეიძლება დაბრუნდეს თქვენს მთავარ ჯაჭვთან.

ამრიგად, ამ საფულეების გამოსაყენებლად, ჩვენ უნდა მივიღოთ მათზე წვდომა იმავე წესების გამოყენებით, რომლებსაც ვიყენებთ ჩვენს მთავარ ჭკვიან საფულეებზე - უსაფრთხო ანკლავები, სოციალური აღდგენა და ა.შ. ასე რომ, ჩვენ დავუბრუნდებით ზემოთ მოცემულ იდეას და მის შეუძლებლობას. თუმცა, არსებობს შესაძლებელი პალიატივი , რომელსაც შეუძლია ამ მინი ანგარიშებს მიანიჭოს მხოლოდ ჩვენი მთავარი საფულის აღდგენის თვისებები:

ჩვენ ვქმნით იგივე მინი-ანგარიშებს, რომლებიც ზემოთ იყო აღწერილი, მაგრამ ერთ კლავიშს ვაძლევთ პირდაპირ მათგან ტრანზაქციების გაგზავნის საშუალებას. ჩვენს მშობელ საფულეს ახლა შეუძლია შეცვალოს ეს გასაღები L1-ზე დაფუძნებული ხიდის მეშვეობით ან აიძულოს მინი-ანგარიში წაიკითხოს იგი მშობელი L2-ის მდგომარეობიდან. ამ გზით, თუ დროებითი გასაღები დაიკარგება, მშობლის საფულეს შეუძლია დაიწყოს გასაღების შეცვლა ნელი, მაგრამ ატომური L1-ზე დაფუძნებული ხიდის მეშვეობით.

ატომურობა — მოქმედების თვისება, რომელიც არ აძლევს მას მარცხის საშუალებას შესრულების დროს. ან არ იყო ინიცირებული, ან გაკეთდა. L1-ზე დაფუძნებული ხიდები ატომურია, რადგან გაგზავნის შემთხვევაში შეტყობინება ვერ დაიკარგება. შეკვეთა, ხელმისაწვდომობა და ავთენტურობა გარანტირებულია Ethereum L1-ით.

ეს ბევრად უკეთესია! ახლა, ჩვეულებრივ ტრანზაქციებს მხოლოდ დრო სჭირდება ტოკენის ხიდის შესასრულებლად. მას შემდეგ, რაც ტოკენები დანიშნულების ადგილზეა, ტრანზაქციების გაგზავნა ისეთივე სწრაფია, თითქოს ეს თქვენი მთავარი ჯაჭვია. თუ გასაღებს დაკარგავთ, მოგიწევთ ლოდინი რამდენიმე საათიდან შვიდ დღემდე, თქვენი მშობლის საფულის ჯაჭვის მიხედვით, მაგრამ თქვენ არ გამოიყენებთ მას ძალიან ხშირად, ასე რომ, კომბინაციები მისაღებია უმეტეს გამოყენების შემთხვევაში. ასევე, მისი დანერგვა დღესაც შესაძლებელია საფულეებში. მე თვითონ გავაკეთე იმპლემენტაციაც კი, მაგრამ ის არავითარ შემთხვევაში არ არის უსაფრთხო და მზად არ არის წარმოებისთვის და განკუთვნილია მხოლოდ ვიზუალიზაციის მიზნებისთვის.

მსგავსი ტექნიკა გამოიყენება Web3 ფიუჩერსების სავაჭრო პლატფორმებში: თქვენ ამტკიცებთ ტოკენს წყვილში (ჩვეულებრივ USDC) სმარტ კონტრაქტში და ანიჭებთ დროებით გასაღებს ხარჯვისთვის, რომელიც ინახება პლატფორმის წინა მხარეს. ეს საშუალებას აძლევს მომხმარებლებს შეასრულონ სწრაფი მოქმედებები ყოველი ქმედების მთავარი საფულეზე ხელმოწერის გარეშე. თუ შეცვლით თქვენს მოწყობილობას ან გაასუფთავებთ მონაცემებს თქვენს ბრაუზერში, შეგიძლიათ უბრალოდ ხელახლა მინიჭოთ გასაღები თქვენი მთავარი საფულის გამოყენებით.

მაგრამ, ისევე როგორც ყველაფერში კრიპტოში, ეს მიდგომაც არ არის სრულყოფილი. მას აქვს ორი მინუსი:

• მიუხედავად იმისა, რომ მინი-ანგარიშები შეიძლება იყოს ERC-4337-თან შესაბამისობა და, შესაბამისად, მხარი დაუჭიროს მის ყველა ფუნქციას, როგორიცაა batching, paymasters, ხარჯვის ლიმიტები და ა.შ., ეს ფუნქციები აღარ არის მემკვიდრეობით მიღებული საწყისი ანგარიშიდან. სინამდვილეში, მშობელი ანგარიში მოქმედებს როგორც სოციალური აღდგენის ერთი მეურვე მინი-ანგარიშისთვის, მაგრამ მეურვე თავად მომხმარებელია.
• სიმბოლური ხიდი უნდა განხორციელდეს გარე ხიდების გამოყენებით. ჯვარედინი ტრანზაქციის ინიცირებით, ჩვენ შეგვიძლია მივიღოთ ჩვენი ჟეტონები გზავნილით, მივიღოთ ისინი პრაქტიკულად 1:1 ატომური გზით. თუმცა, ამ გადაწყვეტით, ეს აღარ არის ვარიანტი, ამიტომ გარე ხიდი რჩება ერთადერთი სწრაფი ვარიანტი.

მიუხედავად იმისა, რომ თანამედროვე ხიდებს შეუძლიათ თანხების გადარიცხვა რამდენიმე წამში , ისინი ა) იღებენ საკომისიოს, რომელიც შეიძლება საშინლად მაღალი იყოს მსხვილ გადარიცხვებზე , ბ) არ არიან ატომური და არ იღებენ Ethereum-ის უსაფრთხოების თვისებებს. განსაკუთრებით მნიშვნელოვანია ბლოკჩეინის ხიდების უსაფრთხოების მახასიათებლების გათვალისწინება.

გარე ხიდების გამოყენება ტოკენების გადასატანად გარკვეულწილად მისაღებია, განსხვავებით მინი ანგარიშების სამართავად შეტყობინებების გადასაცემად. მიზეზი მათი ყველაზე უარესი შემთხვევებია, სავარაუდოდ მათზე თავდასხმის გამო:

• ტოკენ ხიდის დროს, ყველაზე უარესი, რაც შეიძლება მოხდეს, არის ის, რომ თქვენ არ მიიღებთ თქვენს მიერ გაგზავნილ ტოკენებს. ასეთ შემთხვევაში, თქვენ დაკარგავთ X ჟეტონს, რომლის გადალახვაც გინდოდათ და გადაერთეთ სხვა ხიდზე.
• ანგარიშებთან შეტყობინებებში ყველაზე უარესი, რაც შეიძლება მოხდეს, არის ის, რომ თქვენი ყველა მინი-ანგარიშის მოპარვა შესაძლებელია ხიდზე იმიტირებული შეტყობინებების გადაცემით. ასეთ შემთხვევაში კარგავთ საფულეს ყველა ჯაჭვზე მთელი თავისი ღირებულებით, გარდა თქვენი მთავარი.

როგორც ასეთი, სიმბოლური ხიდების გარე ხიდებზე დაყრდნობა საკმაოდ დიდი ვარიანტია, სანამ არ არსებობს ეფექტური გზა მათი ატომური გზით გადასალახად L1-ის გამოყენებით. ეს არის ფაქტობრივად ვარიანტი, რომელსაც დღეს იყენებენ მრავალი მომხმარებელი, რომლებიც ურთიერთობენ შეკრების ჯაჭვებთან.

დავუშვათ, რომ გვინდა ყველა ტრანზაქციის ვალიდირება ერთ ადგილზე, მაგალითად, ტოკენების ბუნებით გადარიცხვა ანგარიშებს შორის ან ხელმოწერების გადამოწმება უნიკალური წინასწარ კომპილებით. ამ შემთხვევაში, ჩვენ ვხვდებით დღევანდელი ZK შეკრებების ნელი საბოლოოს. მოდით ცოტა ხნით დავბრუნდეთ და ვიფიქროთ იმაზე, თუ რა შეიძლება გაუმჯობესდეს წინა ტექნიკით.

რატომ აქვს შერწყმას ნელი ხიდის დასრულება? ჩვენ მიზანმიმართულად მივიღებთ ZK შეკრებას, რადგან ოპტიმისტურთან ერთად, მიზეზი უკვე აშკარაა:

• ZK proof სისტემები სრულფასოვანი VM გარემოსთვის რთულია, განსაკუთრებით თუ გარემო არ არის ZK-მეგობრული (EVM). აქედან გამომდინარე, დიდია შანსი, რომ ისინი შეიცავდეს შეცდომებს. მრავალჯერადი მტკიცებულების სისტემას შეუძლია ამის თავიდან აცილება, მაგრამ მათი განხორციელება ძალიან რთულია და ერთი პარტიისთვის მრავალი მტკიცებულების გენერირება შეიძლება ძალიან ნელი და ძვირი იყოს. როგორც გამოსავალი, შეკრების გუნდები აძლევენ შესრულების შეფერხებებს, რაც მათ საშუალებას აძლევს გადააბრუნონ ჯაჭვი საგანგებო სიტუაციებში. ეს არის ის, რაც ანელებს ხიდის დასრულებას ზოგიერთ შეკრებაში (მაგ., ZKsync Era).
• ახალი მდგომარეობის შეთავაზება და მისი L1-ზე დამტკიცება ZK საკმაოდ ძვირი ამოცანებია, ამიტომ ხარჯების შესამცირებლად, შეკრების მიმდევრები ამას აკეთებენ ყოველ რამდენიმე საათში და არა ყოველ ბლოკში.

თუმცა არის გამონაკლისი; Scroll გვთავაზობს მდგომარეობას დაახლოებით ყოველ წუთში , მაგრამ ა) მტკიცებულების დადასტურება ჯერ კიდევ კეთდება ყოველ რამდენიმე საათში ერთხელ, ასე რომ ის რჩება გადაუმოწმებელი და ბ) Scroll არის ერთ-ერთი ყველაზე ძვირადღირებული შეკრება დღეს გამოსაყენებლად.

თუ მას კიდევ უფრო მარტივად განვმარტავთ, პრობლემები არის ხარჯების დადასტურება და ხარჯების გადამოწმება. მოდით განვიხილოთ თითოეული პრობლემა და მისი გადაჭრის გზები.

არსებითად, ჩვენი ამოცანაა შევქმნათ ჩვენი გონიერი საფულე შეკრებაზე სწრაფად ურთიერთთანამშრომლობაში სხვა შეკრებებთან, გარე ხიდების მიერ მოწოდებული დამატებითი ნდობის დაშვებების გარეშე. ჭკვიანი საფულეები, როგორც წესი, შედგება რამდენიმე ჩვეულებრივი AA ფუნქციისგან - გადამხდელების, სოციალური აღდგენა, უსაფრთხო ანკლავები, ხარჯვის ლიმიტები და ა.შ. და ძირითადი ოპერაცია, რომელიც საშუალებას გვაძლევს გავაგზავნოთ მისგან ჯაჭვური ტრანზაქციები.

რატომ გვჭირდება მთავარი ოპერაცია, თუ გვსურს გამოვიყენოთ ჩვენი საფულედან სხვა შეკრებები? იმის გამო, რომ ის, სავარაუდოდ, მასპინძლობს მრავალ დანიშნულების შერწყმაზე - Arbitrum, Base, ZKsync Era - და ჩვენ გვინდა ვითანამშრომლოთ მომხმარებლებთან და ჭკვიან კონტრაქტებთან ამ შეკრებაზეც.

ამ კონკრეტულ შემთხვევაში, გონივრული იქნებოდა უბრალოდ გარე სიმბოლური ხიდების გამოყენება. უბრალოდ შეცვალეთ დავალება, მაგალითად, dApp-თან ურთიერთქმედებით იმავე შეკრებით და სხვა.

ეს მრავალფუნქციურობა არის ის, რაც იწვევს შეკრების მტკიცებულების სისტემას სირთულეს. მთელი ვირტუალური მანქანის მდგომარეობის შემოწმება უამრავი ჭკვიანი კონტრაქტით და ტრანზაქციის საშუალებით, რომელიც ყოველ წამს ხდება, საკმაოდ დიდი ბრძანებაა. ჩვენ გვსურს შევასრულოთ ორი ტიპის დავალება, რომლებიც საჭიროებენ ფუნქციების სრულიად განსხვავებულ კომპლექტს შეკრებაში: ჯაჭვური ტრანზაქციისთვის, ეს არის L2-ის სწრაფი ჩართვა, დაბალი L2 საკომისიო და VM-ის ფართო ფუნქციონირება, და მრავალჯერადი შეკრების ტრანზაქცია. , ეს არის სწრაფი ხიდი საბოლოო.

მაგრამ რა მოხდება, თუ ჩვენ უბრალოდ მოვიშორებთ ვირტუალურ მანქანას და შევქმნით გაერთიანებას, რომელიც მხოლოდ ჭკვიან ანგარიშებს და სხვა L2-ებზე შეტყობინებების გაგზავნას შეძლებს? ვიტალიკ ბუტერინმა შემოგვთავაზა მსგავსი ტექნიკა დაახლოებით Devconnect Istanbul-ის დროს, სახელწოდებით "keystore rollups". ამაზე შემდეგში განვიხილავთ.

გასაღების მაღაზიის შეგროვება

იდეა მდგომარეობს იმაში, რომ შევქმნათ ZK შეკრება, რომელსაც შეუძლია შეინახოს მხოლოდ ანგარიშის გასაღებები და შეცვალოს ისინი სხვა გასაღების გამოყენებით. ეს გაერთიანება უბიძგებს Merkle-ს ხის ფესვს, რომელიც შეიცავს ყველა ამ კლავიშს L1-ში. შემდეგ, როდესაც გსურთ გააგზავნოთ ტრანზაქცია თქვენი ერთ-ერთი ჭკვიანი ანგარიშიდან L2-ზე, თქვენ გენერირებთ თქვენი ამჟამინდელი გასაღების Merkle-ის მტკიცებულებას და თქვენი ანგარიში ამოწმებს მას L1-ზე ხელმისაწვდომი გასაღების მაღაზიის root-ის მიხედვით. ახლა მან იცის თქვენი გასაღები და შეუძლია გამოიყენოს იგი თქვენი ხელმოწერების გადასამოწმებლად.

ასეთი გაერთიანება ძალიან მარტივია და მრავალი მტკიცებულების სისტემა ადვილად შეიძლება განხორციელდეს, ამიტომ მასში შენახული გასაღებები რეალურად ისეთივე უსაფრთხოა, როგორც L1.

Vitalik-ის ორიგინალური დიზაინის გარდა, სამი წამყვანია გასაღების მაღაზიის შეგროვებისთვის:

• Scroll-ის მიდგომაა გასაღების შენახვის მონაცემების შენახვა L1-ზე, მაგრამ მისი განახლების საშუალებას მათი zkEVM შეკრებიდან. ამისთვის ისინი წარმოადგენენ L1SLOAD წინასწარ კომპილას, რომელიც საშუალებას იძლევა იაფად წაიკითხოს L1 მეხსიერება. შემდეგ, AA ანგარიშებს სხვა L2-ებზე შეუძლიათ წაიკითხონ ეს მონაცემები მათი კონფიგურაციის სინქრონიზაციისთვის - გასაღებები, მცველები და ა.შ.
• საბაზისო გუნდი იკვლევს ტექნიკას, სადაც L1-ზე ინახება მხოლოდ სახელმწიფო ფესვი, მაგრამ ტრანზაქციების თანმიმდევრობა ხდება calldata-ს გამოყენებით, ასე რომ ხე ყოველთვის შეიძლება ხელახლა აშენდეს. მოსალოდნელია, რომ L2-ებზე არსებული ანგარიშები მოიტანს მიმდინარე გასაღებებს Merkle-ის მტკიცებულებების გამოყენებით.
• Stackr-ის დიზაინი ძალიან ჰგავს Base-ს ან Vitalik-ის დიზაინს, მაგრამ ის იყენებს "მიკრო-შეკრების" საკუთარ ჩარჩოს სპეციალიზებული მინიმალური VM-ებით.

ზოგადად, ისინი განსხვავდებიან იმ ამოცანების რაოდენობით, რომლებიც დელეგირებულია ჯაჭვის გარეშე დამუშავებისთვის (სხვა სიტყვებით რომ ვთქვათ, რამდენი რამ არის L2-ზე) და მათი განხორციელების დეტალებით.

ჩვენ შეგვიძლია გავაფართოვოთ ეს იდეა არა მხოლოდ გასაღებების , არამედ მთელი ჭკვიანი ანგარიშის ლოგიკის დამუშავებით. ეს არ იქნება ბევრად უფრო რთული გამოთვლითი; არსებითად, ჩვენ მხოლოდ ამ ამოცანების შესრულება გვჭირდება:

• მონაცემთა გაგზავნა L1-ზე: გასაღების მაღაზიის შეგროვების ანგარიშებს უნდა შეეძლოთ აცნობონ L1-ს მათი ტრანზაქციის განზრახვის შესახებ. მთელი ტრანზაქციის შენახვა L1-ზე არ არის საჭირო; საკმარისი იქნებოდა მერკლის ხის ფესვის მსგავსი, მომხმარებლის ოპერაციების ყველა ჰეშით. შემდეგ, ყველაფერი რაც საჭიროა მინი-ანგარიშიდან ტრანზაქციის გასაგზავნად არის წაკითხვა დანიშნულების ადგილიდან L2-დან და იმის მტკიცებულება, რომ გარკვეული AA ოპერაცია რეალურად იყო მოთხოვნილი მშობლის ანგარიშიდან.

• ხელმოწერის შემოწმება: მომხმარებელი ხელს აწერს მომხმარებლის ოპერაციების ჰეშს, რომლის შესრულებაც სურს გარკვეულ შეკრებაზე. Keystore rollup ამოწმებს ხელმოწერას განზრახვის დასამტკიცებლად და ამატებს ჰეშს ხეს, რომ შემდეგ გადაიტანოს იგი L1-ზე. რამდენიმე ხელმოწერის სქემა, როგორიცაა ECDSA , P256 და კვანტურად უსაფრთხო , საკმარისია.

• სოციალური აღდგენა: გააკეთეთ სხვა, მიზანმიმართულად არჩეული ანგარიშები, სახელწოდებით „მცველები“, ხმა მიეცით მომხმარებლის ანგარიშზე არსებულ ძირითად ცვლილებას. მომხმარებელს შეუძლია დააყენოს მეურვეები და ბარიერი და სთხოვოს მათ აღდგენა გასაღების დაკარგვის შემთხვევაში. ჩვენ ასევე შეგვიძლია განვახორციელოთ ვეტოზე დაფუძნებული აღდგენა ან ალტერნატიული მფარველი სქემები, როგორიცაა ZK-Email , ZK-OTP ან ვებ მტკიცებულებები , რათა გავაფართოვოთ სოციალური აღდგენა შეკრების მომხმარებლების გარეთ.

• ხარჯვის წესები: საფულის მოპარვის შემთხვევაში, მეურვეების მიერ კონტროლირებადი ხარჯვის წესებმა შეიძლება მნიშვნელოვნად შეამციროს პოტენციური დანაკარგები, სანამ მომხმარებელი საფულეს აღადგენს. ეს ფუნქცია ასევე სასარგებლოა სახსრების დაზოგვისთვის ან, მაგალითად, ბავშვებისთვის საფულეების დასამზადებლად - მშობლებს შეუძლიათ გამოაგზავნონ შემწეობა და შეზღუდონ მისი დახარჯვა, რათა ბავშვმა ისწავლოს დაზოგვა.

• ტოკენის ნაშთები: ეს შეიძლება არასაჭირო ჩანდეს, მაგრამ კრიპტოვალუტის შენახვა გასაღებების მაღაზიის შიგნით მკვეთრად ზრდის მომხმარებელთა აქტივების უსაფრთხოებას, მათი მრავალჯერადი მინი ანგარიშების გარეშე გაყოფით. ასევე, ის იძლევა მრავალი მახასიათებლის საშუალებას, რომელიც აუმჯობესებს მომხმარებლის გამოცდილებას:

• Paymasters: გაერთიანებამ შეიძლება შესთავაზოს უფასო ტრანზაქციები ახალი მომხმარებლების მოსაზიდად ან მისცეს მათ გადაიხადონ საფასური ნებისმიერი ნიშნით და არა მხოლოდ ETH. უფრო რთული paymaster ლოგიკის დანერგვაც შესაძლებელია - მაგალითად, სეკვენსერს შეუძლია აიღოს საკომისიო სხვა ჯაჭვის სვოპიდან, როდესაც ის კვლავ გადაიქცევა გასაღების მაღაზიის შეკრებაზე.

• შიდა ჟეტონური გადარიცხვები: შეკრების მომხმარებლებს შორის თანხების მყისიერი გაგზავნის გარდა, პირდაპირი გადარიცხვები ასევე სასარგებლოა განზრახვაზე დაფუძნებული ხიდების განსახორციელებლად სხვა გაერთიანებებთან, რომლებსაც აქვთ ძალიან ნელი საბოლოო დასრულება, რათა გამოიყენონ L1 მინი-ანგარიშიდან მშობელ ანგარიშზე გასაღებების შესანახად. ამ გზით, keystore rollup-ს შეუძლია არსებითად იმოქმედოს როგორც კერა ტოკენების გადასატანად მინი-ანგარიშებს შორის ათობით სხვადასხვა L2-ზე იაფად.

  
  

ასეთი სისტემა ტექნიკურად ბევრად უფრო მარტივია, ვიდრე მთლიანი ვირტუალური კომპიუტერული ტექნიკის ნაკრების შიგნით, ამიტომ შესაძლებელია მტკიცებულებების გენერირება ერთდროულად მრავალი მტკიცებულების სისტემისთვის და მტკიცებულების წარმოქმნის სირთულე მაინც გაცილებით ნაკლები იქნება.

თუმცა, მტკიცებულების გადამოწმება ჯერ კიდევ პრობლემაა. როგორც ადრე გამოვთვალეთ, მისი გაზის ღირებულება შეიძლება იყოს 1 მლნ ან ~25-50$-მდე, გაზის ფასიდან გამომდინარე. ეს ღირებულება ფიქსირებულია და არ არის დამოკიდებული ოპერაციების რაოდენობაზე პარტიაში. ეს ნიშნავს, რომ თუ ძალიან ცოტა ტრანზაქციაა, თითოეული ტრანზაქციის საკომისიო შეიძლება იყოს ძალიან მაღალი. ამ ხარჯის შემცირების ორი ძირითადი გზა არსებობს:

გასწორებული ფენა

Aligned არის EigenLayer AVS, რომელიც იყენებს ხელახალი ოპერატორების გადამოწმებას ZK მტკიცებულებების იაფად. თუ არ იცნობთ EigenLayer-ს, ეს არის გამარტივებული შეჯამება იმისა, თუ როგორ ხდება მტკიცებულებების დამოწმება Aligned-ში:

• მომხმარებელი აგზავნის მტკიცებულების დადასტურების მოთხოვნას ქსელში და იხდის საფასურს;

• თანმიმდევრული ოპერატორები, რომელთაგან თითოეული არის Ethereum ვალიდატორი და მათი დეპოზიტები შეკრულია, ამოწმებენ მტკიცებულებას თავიანთ კვანძებზე და ხელს აწერენ მის ვალიდობას;

• როდესაც 2/3 ოპერატორი ხელს აწერს მტკიცებულებას, აგრეგირებული ხელმოწერა იგზავნება და მოწმდება Ethereum L1-ზე.

• თუ არასწორი მტკიცებულება საბოლოოა, ვალიდატორები, რომლებმაც ხელი მოაწერეს მას, შეიძლება შემცირდეს მისი ჯაჭვზე გადამოწმებით. ამ გზით, მტკიცებულება იღებს ეკონომიკურ უსაფრთხოებას Aligned ოპერატორების მთლიანი ფსონის 2/3-ის ტოლი.

  
  

ამ მიდგომას აქვს აშკარა ნაკლი - Ethereum აღარ იძლევა მტკიცებულების მოქმედების გარანტიას. თუ შეკრების ხიდის TVL მეტია მთლიანი გასწორებული ფსონის 2/3-ზე, მასზე თავდასხმა მომგებიანი ხდება. და რადგან ჩვენ ვსაუბრობთ 1-2 ბლოკის საბოლოო შეყოვნებაზე, ოპტიმისტურად ვერ ავიცილებთ შეტევას.

თუმცა, ეს შეიძლება იყოს შედარებით უსაფრთხო ვარიანტი, თუ გაერთიანება არ გახდება ძალიან დიდი. როდესაც ეს მოხდება, ტრანზაქციის მოთხოვნამ უკვე შეიძლება გახადოს L1 მტკიცებულების გადამოწმება ღირებული. დოკუმენტების მიხედვით, ZK მტკიცებულების გადამოწმება Aligned-ის გამოყენებით დაახლოებით 3000 გაზი ღირს, რაც თითქმის უფასოა Ethereum L1-ისთვისაც კი.

მტკიცებულების აგრეგაციის ფენები

თუ არასასიამოვნოა სისტემაში დამატებითი ნდობის დაშვებების შემოტანა, ან თქვენი პროტოკოლი უკვე ძალიან დიდი გახდა, მაგრამ მისი ტრანზაქციის მოთხოვნა არა, არსებობს ალტერნატივა.

ZK და შეკრების გუნდებმა ახლახან დაიწყეს აქტიური მუშაობა მტკიცებულების აგრეგაციის პროტოკოლებზე. თუ თქვენ არ იცნობთ ZK-ს, მტკიცებულების აგრეგაცია არის, როდესაც ZK მტკიცებულება ადასტურებს სხვა ZK მტკიცებულების მართებულობას (ამას შეუძლია, თავის მხრივ, დაამტკიცოს სხვა მტკიცებულება და ა. არსებითად, ყველა მათი გადამოწმების ხარჯების გადატანა დამადასტურებელ ხარჯებზე. რაც დარჩა არის ერთი ZK მტკიცებულების ჯაჭვზე გადამოწმება და ყველა სხვა ZK მტკიცებულების მართებულობაში დარწმუნდეთ, რომ ის ადასტურებს. ფუ!

ZK მტკიცებულება ჯაჭვზე გადამოწმება.

მტკიცებულების აგრეგაციას აზრი აქვს იქ, სადაც გადამოწმების ხარჯები უფრო მაღალია, ვიდრე საერთო მტკიცებულებების დამტკიცება. ანუ აგრეგაცია ხდება მომგებიანი, თუ ათი მტკიცებულებისთვის მტკიცებულების გენერირებისა და მისი გადამოწმების ღირებულება ნაკლებია, ვიდრე ამ ათი მტკიცებულების დამოუკიდებლად გადამოწმება. ეს კიდევ უფრო სასარგებლოა Ethereum L1-ში, რომელიც ძლიერ შეზღუდულია გამოთვლითი შესაძლებლობებით. მტკიცებულების სისტემიდან გამომდინარე, მთელი ბლოკი შეიძლება შეიცავდეს მხოლოდ დაახლოებით 100 მტკიცებულების დადასტურებას , ყველა სხვა ჯაჭვური აქტივობის გამოკლებით.

ზოგადად, არსებობს ორი ტიპის მტკიცებულების აგრეგაციის პროტოკოლი:

• ზოგადი დანიშნულების (უნივერსალური) აგრეგაცია: ასეთი პროექტები, როგორც წესი, მხარს უჭერს რამდენიმე ყველაზე პოპულარულ ZK პროტოკოლს (Groth16, Halo2, Plonky), რომლებზედაც აგებულია ZK სქემების უმეტესობა და იღებს საფასურს დამუშავებისთვის. dApps, რომლებსაც სჭირდებათ მტკიცებულებები, შემდეგ გამოავლენენ მონაცემებს პროტოკოლიდან და დამოუკიდებლად ამუშავებენ მას. ნებრას უნივერსალური მტკიცებულების აგრეგაციის სისტემა , რომელიც ამჟამად ვითარდება, სწორედ ამას აკეთებს. Aligned ასევე მუშაობს ეგრეთ წოდებულ „ნელი რეჟიმის“ გადამოწმებაზე , რაც, ფაქტობრივად, არის მტკიცებულების აგრეგაციის სისტემაც.
• საზიარო შეკრების ხიდების აგრეგაცია: ოპტიმისტურ შეკრებებში გაზიარებული თანმიმდევრობის მსგავსად, ZK გაერთიანებები თავიანთი სტეკებით მუშაობენ საერთო ხიდებზე აგრეგირებული მდგომარეობის მტკიცებულებებით ხიდში ყოველი ZK გაერთიანებისთვის. ეს არა მხოლოდ იძლევა სინქრონულ კომპოზირებას stack a la საერთო თანმიმდევრობის შიგნით, არამედ ამცირებს მტკიცებულების დადასტურების ხარჯებს. შესაძლოა გსმენიათ Polygon's AggLayer-ის ან ZKsync's Hyperbridge-ის შესახებ, რომლებიც არის საერთო შეკრების ხიდები, რომლებიც მუშაობენ ხიდის შიგნით მტკიცებულების აგრეგაციაზე.

უნივერსალური აგრეგაციის სისტემების უპირატესობები ისაა, რომ ისინი პროექტის აგნოსტიურები არიან და მხოლოდ აგრეგაციის პროცესში სპეციალიზირებულნი არიან, რაც ხსნის მტკიცებულებების საკმაოდ სწრაფ გადამოწმებას და დაბალ ხარჯებს. ასევე, სავარაუდოა, რომ არ ჰქონდეს სასწავლო ბორბლები ხიდის კომპონენტის ნაკლებობის გამო.

გაერთიანებული დაჯგუფების ხიდები, თავის მხრივ, სასარგებლოა გასაღების მაღაზიის შეკრებისთვის, რათა ჰქონდეს სინქრონული კომპოზირება უკვე არსებულ შეკრების დასტასთან. მაგალითად, L2BEAT-ის მიხედვით , 13 პროექტი ამჟამად აგებულია Polygon CDK-ის გამოყენებით, ხოლო 11 იყენებს ZK Stack-ს. როდესაც ისინი ყველა უერთდებიან საერთო მტკიცებულების შეკრების ხიდს, გასაღების მაღაზიის ერთ-ერთ მათგანთან დაკავშირება გახსნის უწყვეტ ურთიერთქმედებას ბევრ L2-თან L1-თან შეხების გარეშეც კი. იმისათვის, რომ ეს იმუშაოს, ხიდმა უნდა უზრუნველყოს სხვადასხვა მდგომარეობის გადასვლის ლოგიკა მისი L2-ებისთვის, რადგან გასაღების შენახვის ლოგიკა განსხვავდება მასში არსებული სხვა L2-ებისგან.

თუმცა, ეს ხიდები ჩვეულებრივ განახლებადია და კონტროლდება მისი DAO ან უსაფრთხოების საბჭოს მიერ. Keystore Rollup-ის პროექტებს შეიძლება არ მოეწონოს თავისი სუვერენიტეტის დათმობა იმ ხიდის ოპერატორებისთვის, რომლებთანაც ისინი დაკავშირებულია. ასევე, ხიდებმა შეიძლება შემოიტანონ შესრულების შეფერხება, როგორც სავარჯიშო ბორბლების სიფრთხილის ზომები, ისევე როგორც ZKsync Era მუშაობს ახლა, რაც არსებითად კლავს ამ გასაღებების შეგროვების დიზაინის მთელ ეფექტურობას.

ამ გზით, keystore rollup-ებს, ისევე როგორც ნებისმიერ სხვა ZK-ს, შეუძლია მინიმუმამდე დაიყვანოს მტკიცებულების გადამოწმების ხარჯები და დააკავშიროს ეს სინქრონულ შედგენილობასთან უკვე არსებულ დაჯგუფებასთან.

ეფექტური განზრახვაზე დაფუძნებული ხიდი „Keystore+“ შეკრებებით

როგორც ადრე განვიხილეთ, L2-დან L1-მდე ხიდი არ არის ერთადერთი პრობლემა. შეკრების მიმდევრების უმეტესობა ასევე იყენებს შეფერხებებს L1-დან L2-მდე შეტყობინებების გადაცემაზე. ეს იმიტომ ხდება, რომ როდესაც Ethereum ბლოკი იქმნება, ის ჯერ კიდევ არ არის საბოლოო და შეიძლება შეიცვალოს შემდეგ ~ 64 ბლოკში (ორი ეპოქა, დაახლოებით 13 წუთი). ეს რეორგაციები ხდება ქსელის შეყოვნების გამო, რის გამოც ზოგიერთი წინადადება გამოჩნდება ქსელში ძალიან გვიან, როდესაც ზოგიერთი კვანძი უკვე მიიჩნევს მათ გამოტოვებულად.

მიუხედავად იმისა, რომ რეორგების უმეტესობა არ აღემატება ორ ბლოკს (შვიდი ბლოკისგან შემდგარი რეორგი ორი წლის წინ გამოჩნდა ამბებშიც კი) , შეკრების გუნდებს მაინც არ სურთ გამოტოვებულ შეტყობინებებთან დაკავშირებული რისკების აღება და L1-დან ხიდის შეფერხების გამოყენება. ეს შეფერხებები არის მხოლოდ 1 წუთი ზოგიერთ შეკრებაზე ( OP Stack , ZK Stack ), მაგრამ შეიძლება იყოს 6 წუთამდე, როგორც Arbitrum- ში, ან თუნდაც მოითხოვოს L1 საბოლოოობა, როგორც Linea- ში.

Ethereum-ის საზოგადოება აქტიურად მუშაობს Single-Slot Finality-ზე , რომელიც დაასრულებს თითოეულ ბლოკს დამოუკიდებლად და არა ერთხელ ეპოქაში. მაგრამ დანამდვილებით შეგვიძლია ვთქვათ, რომ ეს არ არის დაგეგმილი Pectra-ს შემდეგი განახლება, რომელიც მოვა 2025 წლის პირველ კვარტალში, ასე რომ, SSF-ის განხორციელებამდე სულ მცირე ერთი წელი იქნება.

თუ გუნდს, რომელიც ახორციელებს გასაღების მაღაზიის გაფართოებულ შეკრების დიზაინს, არ არის კომფორტული ასეთი ტრანზაქციის შეყოვნებით, მას შეუძლია დანერგოს ადრე აღწერილი პალიატივი. ყველა მინი ანგარიშს აქვს გასაღები, რომელიც უფლებამოსილია გააგზავნოს ტრანზაქციები ან იყენებს სტატიკური გასაღების გასაღების მაღაზიიდან (Vitalik-ის ორიგინალური დიზაინის მიხედვით), მაგრამ ანგარიშის მენეჯმენტი კვლავ რჩება გასაღების მაღაზიის მთავარ ანგარიშზე. მას შემდეგ, რაც SSF განხორციელდება L1-ზე, გაერთიანებას შეუძლია წაშალოს ავტორიზებული ხარჯვის გასაღებები და მომხმარებლები მიიღებენ AA პერსონალიზაციის მთელ ფუნქციას სიჩქარის მნიშვნელოვანი დეგრადაციის გარეშე.

აქ ვეთანხმები ალექსს; 15 წამის შეყოვნება აბსოლუტურად მისაღებია, მით უმეტეს, რომ ოპერაცია ატომურია გასაღების შენახვის ტრანზაქციის დასრულების შემდეგ L1-ზე. თუ ვსაუბრობთ ტოკენის გადარიცხვებზე, მიმღების საფულეებს შეუძლიათ „მოლოდინში“ სტატუსის დანერგვა UI დონეზე.

თუმცა, ჯვარედინი ტოკენის გადარიცხვები კვლავ პრობლემას წარმოადგენს. თუ ჩვენ განვახორციელებთ ტოკენების სარდაფებს გასაღების მაღაზიის შეკრების შიგნით, მისგან ტოკენების გადატანას დასჭირდება 1-დან 15 წუთამდე, რაც დამოკიდებულია მიმღების შეკრებაზე. თუ ასე არ მოვიქცევით, მომხმარებელთა ნაშთების მინი ანგარიშებად დაყოფამ რამდენიმე L2-ზე შეიძლება შექმნას უსაფრთხოების რისკები და ზოგიერთი აქტივის ჩაკეტვაც კი არალიკვიდური L2-ებში, რომელთა გადალახვა შეიძლება ძალიან ძვირი დაჯდეს ან ძალიან დიდი დრო დასჭირდეს.

როგორც ალტერნატივა, ჩვენ შეგვიძლია გავაერთიანოთ განზრახვაზე დაფუძნებული ხიდი გაერთიანებაში და განვათავსოთ იგი ყველა სხვა გაერთიანებაზე, ან თუნდაც ხელახლა გამოვიყენოთ არსებული ინფრასტრუქტურა, როგორიცაა ERC-7683- თან თავსებადი პროტოკოლები. ჩვენ მოკლედ განვიხილავთ განზრახვის ხიდებს შემდეგ ნაწილში.

რა არის განზრახვაზე დაფუძნებული ხიდი?

არსებული ჯვარედინი ჯაჭვის ხიდების უმეტესობა დაფუძნებულია შეტყობინებების პროტოკოლებზე. მაგალითად, Stargate იყენებს LayerZero-ს დეპოზიტების შესახებ შეტყობინებების გადასაცემად დანიშნულების ჯაჭვებში, მასზე დაყრდნობით, როგორც ნდობის წყაროს. როდესაც თქვენ აგზავნით ჟეტონებს ასეთი ხიდების მეშვეობით, ისინი იკეტებიან თქვენს ჟეტონებს ერთ მხარეს და აგზავნიან შეტყობინებას თქვენი დეპოზიტის შესახებ მეორე მხარეს და იქ არსებული სარდაფი გიხსნით ტოკენების შესაბამის რაოდენობას.

განზრახვაზე დაფუძნებული ხიდები , თავის მხრივ, არ აგზავნიან შეტყობინებებს ორ ჯაჭვს შორის. ამის ნაცვლად, გაგზავნილი თანხები იკეტება სარდაფში, როგორც „ჯვარედინი ჯაჭვის შეკვეთა“ და შემდეგ ნებისმიერს შეუძლია შეავსოს შეკვეთა ტოკენების მოთხოვნილი რაოდენობის გაგზავნით დანიშნულების ჯაჭვზე. ვინც შეავსებს შეკვეთას, შეუძლია მოითხოვოს ჩაკეტილი ტოკენები წყაროს ჯაჭვიდან, როდესაც მასში არსებული სარდაფი მიიღებს ინფორმაციას დანიშნულების ჯაჭვის საბოლოო მდგომარეობის შესახებ და შეძლებს გადარიცხვის დადასტურებას.

ეს შეიძლება მოხდეს დანიშნულების ჯაჭვის მიზნის (ხიდის) საბოლოო მოლოდინით ან რაიმე გარე ორაკულის პროტოკოლით. მაგალითად, Across იყენებს UMA-ს ოპტიმისტურ ორაკულს ჯერ არ დასრულებული L2-ების მდგომარეობის მისაღებად.

ამ სცენარში, Ethereum L1 გამოიყენება როგორც ნდობის წყარო. ზოგიერთი პროტოკოლი, როგორიცაა Across, იყენებს გარე ორაკულებს. ფაქტობრივი დიზაინი შეიძლება განსხვავდებოდეს არსებულ პროექტებში; ნაჩვენებია მხოლოდ ზოგადი იდეა.

ჩვენ შეგვიძლია გამოვიყენოთ იგივე დიზაინი ამ გაფართოებული გასაღებების მაღაზიისთვის, რათა განვახორციელოთ საიმედო, სწრაფი და იაფი ორმხრივი ხიდი გასაღების მაღაზიასა და ყველა სხვა L2-ს შორის. სწრაფი ხიდის დასრულება საშუალებას აძლევს სხვა L2-ების განზრახვაზე დაფუძნებულ შეკვეთებს იყოს თითქმის უფასო, რადგან L2-ზე შესრულების დადასტურებას სულ რამდენიმე წუთი სჭირდება.

გასაღებების მაღაზიიდან შეკვეთები ალბათ ასევე იაფი იქნება, რადგან L2-ზე ლიკვიდობის მიწოდება შესაძლებელია შედარებით სწრაფად გასაღების მაღაზიის მეშვეობით. ამგვარად, გასაღების მაღაზიის შეგროვების ასეთი დიზაინი შეიძლება გახდეს განზრახვაზე დაფუძნებული ხიდების კერა, რაც მომხმარებლებს საშუალებას მისცემს გააგზავნონ ტრანზაქციები მყისიერად, ვიდრე რამდენიმე წუთში, გადაიხადონ თითქმის არაფრის გადახდისთვის. შეკრების გუნდს ასევე შეუძლია მიაწოდოს ლიკვიდობა გასაღების მაღაზიის 1:1-ით გადასასვლელად და ეს მათ ძვირი არ დაუჯდება.

ერთიანი ENS სახელი ყველა ჯაჭვისთვის

წარმოიდგინეთ, რომ გქონდეთ ერთი username.eth , რომელიც გადადის თქვენს ყველა მინი ანგარიშზე, არ აქვს მნიშვნელობა რომელ ქსელზეა მიმღები. ეს დიზაინი შესაძლებელს ხდის. როგორ?

როგორც უკვე ვიცით ჩვენი მთავარი keystore ანგარიშის მისამართი, ჩვენ შეგვიძლია გამოვიყენოთ მრავალჯაჭვის ქარხნები და CREATE2, რათა ჩვენი მინი-ანგარიშების მისამართები ერთნაირი გავხადოთ ყველა ბაიტიკოდის ეკვივალენტურ EVM ქსელში, Ethereum L1-ის ჩათვლით. შემდეგ ჩვენ დავაყენეთ ერთიანი მისამართი ENS გადამწყვეტში და ჩვენი სახელი მუშაობს ყველა EVM L2-ში.

თუმცა, არსებობს ორი გამონაკლისი შემთხვევა:

• ბაიტიკოდის არაეკვივალენტური EVM-ები, როგორიცაა ZK Stack. მათთვის ჩვენ შეგვიძლია გენერირება მორგებული მისამართი მათი CREATE2 წესების მიხედვით და დავამატოთ ის ENS-ში მათი ჯაჭვის იდენტიფიკატორებით ENSIP-11- ის მიხედვით.
• არა-EVM L2-ები, როგორიცაა ჩვენი გასაღებების მაღაზია. ლოგიკა მათთვის იგივეა, მაგრამ ამის ნაცვლად, ჩვენ ვამატებთ მათ მორგებულ მისამართებს ENS-ში ENSIP-9- ის მიხედვით.

მიუხედავად იმისა, რომ ძალიან მოსახერხებელია UX-ზე, ეს მიდგომა იყენებს უამრავ ძვირადღირებულ გამოთვლას და შენახვას L1-ზე, რადგან სახელები და მისამართები ინახება L1 გადამწყვეტებზე. ამ პრობლემის მოგვარება შესაძლებელია CCIP Read-ის გამოყენებით, მაგრამ მე მივიღე სხვა, უფრო ეფექტური ჯაჭვური გადაწყვეტის ლოგიკა:

Keystore-ის ყველა ანგარიში რეგისტრირებულია და ინდექსირებულია მისი ENS სახელის namehash-ით (რეგისტრირებულია ერთი ENS სახელით მორგებული გადამწყვეტით). როდესაც მისი ქვედომენი გადაიჭრება, გადამწყვეტი კონტრაქტი ამოწმებს, არის თუ არა ანგარიში ასეთი namehash-ით შეგროვებაში და იყენებს namehash-ს CREATE2 ზე დაფუძნებული მინი-ანგარიშის მისამართების შესაქმნელად.

როდესაც ისინი განლაგდებიან, ისინი სთხოვენ L1-ს გასაღების მაღაზიის მონაცემებს, რომლებიც ეკუთვნის იმ სახელებს, რომლითაც ისინი განლაგდნენ. ეს შეიძლება იყოს თავად ტრანზაქციის განზრახვა ან უბრალოდ ხელმოწერის მიმდინარე გასაღები, ეს დამოკიდებულია keystore განხორციელებაზე. ამ გზით, ჩვენ ვიღებთ გასაღების მაღაზიის ანგარიშებს, თითოეულს აქვს ENS სახელი, რომელიც წყვეტს საკუთარ თავს და მის მინი ანგარიშებს თითოეულ შეკრებაზე. ეს მინი ანგარიშები, თავის მხრივ, ასევე დაეყრდნობა ამ ENS სახელს ტრანზაქციის ვალიდაციისას keystore rollup-ის გამოყენებით.

**

თანმიმდევრობის მექანიზმები "Keystore+" შეკრებებზე

იმის გამო, რომ ხიდის საბოლოო დასრულება გასაღებების გაფართოებულ მაღაზიის შეკრებაზე უნდა იყოს რამდენიმე L1 ბლოკი, ჩვენ ასევე შეგვიძლია მთლიანად მოვიშოროთ ცენტრალიზებული თანმიმდევრობები და გადავაქციოთ ის დაფუძნებულ შეკრებად. როგორც ადრე განვიხილეთ, ტრანზაქციის სიჩქარის ~ 12 წამი მისაღებია საშუალო მომხმარებლისთვის, მაგრამ დაფუძნებული თანმიმდევრობა უფრო მდგრადს გახდის ცენზურის და ერთი მარცხის წერტილების მიმართ.

გასათვალისწინებელია, რომ დაფუძნებული თანმიმდევრობით, შიდა ტრანზაქციებს დასჭირდება ისევე, როგორც გარე (L2-მდე მიღწევის დროის გამოკლებით). ეს შეიძლება იყოს მიუღებელი ზოგიერთი გუნდისთვის, რადგან ცენტრალიზებული თანმიმდევრობა ყველა შიდა ოპერაციას მყისიერს ხდის.

ალტერნატიული გაერთიანების თავსებადობის გადაწყვეტილებები ან: რატომ არ ვახსენე გაზიარებული თანმიმდევრობა

მე დავწერე მთელი სტატია ZK rollup-ების და ZK ტექნოლოგიის შესახებ. ეს იმის გამო ხდება, რომ ოპტიმისტურ შეკრებებს ფუნდამენტურად არ შეიძლება ჰქონდეს სწრაფი ობიექტური საბოლოოობა და ასეთი თვისება მხოლოდ ZK-ის გამოყენებით არის ხელმისაწვდომი. დღევანდელი ოპტიმისტური გაერთიანებები ესმით თავიანთი დალუქული პოზიციის და აქტიურად იკვლევენ ვალიდობაზე ორიენტირებული დიზაინის ინტეგრირების შესაძლებლობას თავიანთ სტეკებში, აქედან გამომდინარე, მაგალითად, ოპტიმიზმისა და RISC Zero-ის ბოლო პარტნიორობა .

ოპტიმისტური დიზაინი ფუნდამენტურად შემზღუდველია იმით, რომ ის არასოდეს გაუმკლავდება თავსებადობას სხვა გაერთიანებებთან. თუმცა, ოპტიმისტურ ეკოსისტემაში თავსებადობა სწრაფად ვითარდება. პირველადი ტექნოლოგია ოპტიმისტური შეკრებების ერთმანეთთან თავსებადობის შესაქმნელად არის გაზიარებული თანმიმდევრობა . მარტივად რომ ვთქვათ, ეს არის მექანიზმი, სადაც სეკვენსერს შეუძლია შექმნას პარტია რამდენიმე შეკრებისთვის ერთდროულად. თუ რომელიმე ტრანზაქცია თანმიმდევრობით შედგენილ ერთობლიობაში არასწორია, მთელი პარტია შეიძლება სადავო იყოს და დაბრუნდეს.

ეს ანიჭებს ყველა პარტიას ამ "მეგა პარტიაში" ატომურ თვისებას - ან ყველა პარტია მოქმედებს ან არცერთი. ეს, თავის მხრივ, იძლევა ატომური სინქრონული კომპოზიციის შესაძლებლობას პარტიაში. ატომური - იმიტომ, რომ ჯგუფში არაფერი შეიძლება იყოს არასწორი, თუ ის არის მოქმედი, სინქრონული, რადგან ყველა შეტყობინება არის სერიის შიგნით, რომელიც ერთდროულად მუშავდება მისი ყველა შეკრების კვანძის მიერ.

ეს ტექნოლოგია ძირითადად აქცევს ყველა დაჯგუფებას გარკვეულ ოპტიმისტურ დასტაში ერთ დიდ, დაქუცმაცებულ შეკრებად. რატომ მხოლოდ ერთი დასტა და არა ყველა? იმის გამო, რომ ამან იმუშაოს, შეკრებები უნდა იყოს დაკავშირებული ერთ ხიდთან. თითოეულ დასტას აქვს საკუთარი ხიდი და არ არსებობს სანდო გზა რამდენიმე ხიდში სერიების შესაქმნელად. ეს ნიშნავს, რომ გაზიარებული თანმიმდევრობა საშუალებას აძლევს OP Mainnet-ს შეუფერხებლად ითანამშრომლოს Base-თან და Zora-სთან, მაგრამ არა Arbitrum-თან ან Metis-თან და პირიქით.

ასეთი კონსოლიდაცია ქმნის სახიფათო ვითარებას შეკრების ეკოსისტემაში. ახალ გაერთიანებებს აქვს შესაძლებლობა შეუერთდეს არსებულ სტეკს და იყოს ინტეგრირებული მასთან, მაგრამ არა ვინმესთან, ან აშენდეს ZK-ზე და იყოს ინტეგრირებული ნებისმიერთან, გარდა ზემოთ მოცემული სტეკისა. ახლა ასეთი არჩევანი არ არსებობს, რადგან გაზიარებული თანმიმდევრობა ჯერ არ არის ხელმისაწვდომი და თითოეული OP Stack ან Arbitrum Orbit-ის გაერთიანება დამოუკიდებელია, თავისი ხიდით. თუმცა, როდესაც ისინი გაერთიანდებიან, ისინი წარმოქმნიან ორ მყარ ორგანიზმს ეკოსისტემაში, რომელთაგან თითოეული შეიცავს მთლიანი L2s TVL-ის დაახლოებით 40%-ს .

„კარგი. თუ ისინი დაიკავებენ მთლიანი TVL-ის აბსოლუტურ უმრავლესობას, რატომ არ უნდა მოვიშოროთ ZK და ამის ნაცვლად მათ თავზე დავამყაროთ?”

უპირველეს ყოვლისა, გაზიარებული სეკვენსერები არის უზარმაზარი ცენტრალიზაციის დრაივერი. თუ თქვენ აწარმოებთ OP Mainnet sequencer-ს, თქვენი სერიები არ მოიცავს ტრანზაქციებს დასტაში არსებული სხვა გაერთიანებებიდან; თქვენ ნაკლებს გამოიმუშავებთ საფასურში და საბოლოოდ დარჩებით დიდი კომერციული სეკვენსერებით, რომლებსაც შეუძლიათ გაუმკლავდნენ მთელ დასტას თავიანთ პარტიებში.

თუმცა, ყველაზე კრიტიკული პრობლემა ის არის, რომ ასეთ შემთხვევაში, გაერთიანებული ეკოსისტემა შემოიფარგლება ოლიგოპოლისტური იმპერიების ფარგლებში, რომლებიც იცავენ საკუთარ ინტერესებს, ცდილობენ კაპიტალზე მეტი კონტროლის დამყარებას და ეკოსისტემაში ტექნოლოგიურ პროგრესს. ამის შემდეგ ჩვენ გვექნება საქმე Ethereum-ის განადგურებასთან, რომელიც განცალკევებულ ზონაშია დაშლილი, სადაც მთავარია პიარი და შიდასპეციფიკური ბრძოლა და არა ტექნოლოგიები, რომლებიც რეალურად ცვლის სამყაროს.

„აშენეთ იარაღები და არა იმპერიები . იმპერიები ცდილობენ შეიპყრონ და დააკავონ მომხმარებელი კედლიან ბაღში; ხელსაწყოები ასრულებენ თავიანთ დავალებას, მაგრამ სხვაგვარად ურთიერთქმედებენ უფრო ფართო ღია ეკოსისტემასთან.“ - ვიტალიკ ბუტერინი

„როგორ არის საერთო ხიდების გაერთიანება ZK-ში უკეთესი, ვიდრე ოპტიმისტური საერთო თანმიმდევრობა?

ZK rollups-ის საერთო ხიდებში, თანმიმდევრობა შეიძლება განხორციელდეს დამოუკიდებლად ხიდის სხვა გაერთიანებებისგან. თითოეულ გაერთიანებას შეიძლება ჰქონდეს საკუთარი თანმიმდევრობა ან განახორციელოს საერთო თანმიმდევრობა. პროპოსტერები , რომლებიც ამტკიცებენ მიღებული მდგომარეობის ფესვს ყველა თანმიმდევრული პარტიების შემდეგ და ამტკიცებენ მას ZK-ის გამოყენებით, ისინი აკეთებენ აგრეგაციას.

უფრო მეტიც, შედარებით სწრაფი ობიექტური საბოლოოობის მახასიათებელი ZK გაერთიანებებში არ აქცევს მათ ეკოსისტემაში ჩაკეტილს, რაც არ უნდა დიდი იყოს იგი ან რამდენად ცენტრალიზებულია. როდესაც ZK განვითარდება იმ დონემდე, როდესაც დიდი zkVM მტკიცებულებები მრავალი მტკიცებულების სისტემისთვის შეიძლება სწრაფად წარმოიქმნას, ყველა ZK-ზე დაფუძნებული შეკრების დასტა ითანამშრომლებს თითქმის შეუფერხებლად, ისევე როგორც ზემოთ აღწერილი თეორიული გასაღების მაღაზიის გაერთიანება, რომელიც აგზავნის ტრანზაქციებს ყველა სხვა დაჯგუფებაში L1 საკითხში. ბლოკები.

”მაგრამ როგორ ხდება, რომ ოპტიმისტური შეკრებები ჯერ კიდევ არსებობს, თუ ისინი ასე ბოროტები არიან და არსებობს ალტერნატივა ZK შეკრებებში?”

ჩვენს მკვლევართა და მაღალტექნოლოგიურ ადამიანთა საზოგადოებაში, კონსენსუსი არის ის, რომ ZK არის საუკეთესო სკალირების გადაწყვეტა. და გაგიკვირდებათ, როცა მიხვდებით, რომ რეგულარული მომხმარებლებისა და მშენებლებისთვის ოპტიმისტური შეკრება ბევრად უკეთესია ვიდრე ZK! როგორ?

მომხმარებლებისთვის : არის კარგად ჩამოყალიბებული ეკოსისტემა. ყველა პლატფორმამ იცის რა არის Arbitrum და Base, dApps-ს ყოველთვის აქვს მაღალი ლიკვიდობა და UX სურნელოვანია. სცადეთ დაასახელოთ აპლიკაცია Base-ზე და მყისიერად გაგახსენდებათ Friend.tech , Farcaster , Daimo , Time.fun (ახლა ექსკლუზიური Solana-სთვის), სხვადასხვა NFT კოლექცია, ZKP2P. Mirror-მაც კი თავდაპირველად მხარს უჭერდა მხოლოდ OP Stack-ის შეკრებებს დასაჭრელად. შეეცადეთ დაასახელოთ აპლიკაცია ZKsync Era-ზე. უჰჰჰ…

დეველოპერისთვის : არსებობს Ethereum-ის აბსოლუტური ეკვივალენტობა, ამიტომ მთელი Ethereum და EVM forks ინფრასტრუქტურა მუშაობს ყუთიდან. გარდა ამისა, დოკუმენტაცია სკრუპულოზურად განსაზღვრავს და განმარტავს ოპტიმისტური შეკრების ყველა თავისებურებასა და ინსტრუმენტს. არსებობს უამრავი გაკვეთილი, კურსი, მარათონი, დეველოპერებთან ურთიერთობა და ა.შ.

მეორეს მხრივ, არის წლიური zkEVM, რომელთაგან ყველა არ არის ბაიტიკოდის ეკვივალენტობა. ყველა მათგანს აქვს განსხვავებებისა და სირთულეების გრძელი სია , როდესაც მათ თავზე აშენებთ. ისინი ძირითადად არასაკმარისად არის დოკუმენტირებული და არსებობს მნიშვნელოვანი დამოკიდებულება არსებულ ინფრასტრუქტურაზე, რომელიც ძლივს თავსებადია ქსელებთან. „თავსებადი“ VM-ების აუდიტი ძალიან რთული და ძვირია და თქვენ არც ChatGPT გაქვთ, რომ იკითხოთ.

მომხმარებლებისთვის: ZK rollup-ებს არ აქვთ ეკოსისტემა. არ არის გამოსაყენებელი აპლიკაციები, არც სოციალური, არც პოპულარული NFT-ები ან ჟეტონები და მთელი აქტივობა ემყარება airdrop farming-ს. თქვენ ძლივს იპოვით ლიკვიდობას წყვილებისთვის, რომლებიც არ არიან Ethereum-ის ეკოსისტემის ტოპ 10-ში, და DefiLlama იწყებს ZK-ის შეგროვების ჩვენებას, როცა გადახვევით დაიღალებით.

”მაგრამ ოპტიმისტური გაერთიანებები რეალურად იმარჯვებს არსებულ ინფრასტრუქტურასთან თავსებადობით. როგორ შეიძლება ZK rollup-ებმა დაამარცხონ ისინი მასში?”

თქვენ არ გჭირდებათ ბაიტეკოდის ეკვივალენტობის ან blake2f წინასწარ კომპილაციის დანერგვა დეველოპერებისა და აქტივობის მოსაზიდად თქვენს პლატფორმაზე. ZK rollups არ უნდა იყოს უკეთესი ამაში. ამის ნაცვლად, მათი სწრაფი საბოლოო და თავსებადობა, სრულად ჰორიზონტალური მასშტაბურობა, ფუნდამენტურად მაღალი უსაფრთხოება და დეცენტრალიზაცია. ეს არის ის, რაც უნდა იქნას გამოყენებული პროექტებში ZK rollup-ების ეკოსისტემაში, რათა ისინი მომგებიანი გახდეს ეკოსისტემაში.

მე დავწერე ეს სტატია იმისათვის, რომ შევადგინო სრული სურათი ყველა ამ ტექნოლოგიის, მათ შორის ZK rollup-ების შესახებ, რომლებიც გამოჩნდა და განვითარდა რეგიონში ამ დროის განმავლობაში და მეჩვენებინა, თუ როგორ შეიძლება მათი გამოყენება ამ სფეროში დღევანდელი ყველაზე მნიშვნელოვანი პრობლემის გადასაჭრელად - დაჯგუფების თავსებადობა. ჩვენ უნდა მივიღოთ ZK და მისი უსაზღვრო უპირატესობები. ჩვენ უნდა გამოვიყენოთ ისინი ჩვენს სასარგებლოდ, რათა შევქმნათ ისეთი რამ, რაც დაგვაახლოებს Web3-ის ადგილად ყველასთვის მსოფლიოში.

ეს არის ალბათ ყველაზე დიდი შედარების ცხრილი, რაც კი ოდესმე გამიკეთებია. გასაკვირი არ არის - გასულ წელს, Ethereum-ის საზოგადოებამ მოიფიქრა მრავალი ახალი იდეა და ტექნოლოგია, რომლებიც შეიძლება მოქნილი იყოს კომბინირებული და მანიპულირებული, რათა შეიქმნას სრულიად ახალი გადაწყვეტილებები, რომლებიც გადაჭრის ყველაზე აქტუალურ პრობლემებს რეგიონში, თუნდაც არსებული ტექნოლოგიებით.

დიახ, მე ჯერ კიდევ დარწმუნებული ვარ, რომ rollup-ის თავსებადობა არის ყველაზე აქტუალური პრობლემა, რომელიც ხელს გვიშლის შევიყვანოთ მთელი მსოფლიო Web3-ზე. სკალირება აღარ არის ისეთი აქტუალური - 4844 საშუალებას გვაძლევს განვახორციელოთ ათასამდე ტრანზაქცია წამში, მსოფლიოს უდიდეს ქვეყნებში ფინანსურ აქტივობასთან შედარებით; PeerDAS მალე მოვა და კიდევ უფრო გაზრდის ამას. თუმცა, ფრაგმენტაცია კვლავ სერიოზულ საფრთხეს უქმნის Ethereum-ის ეკოსისტემას. რაც არ უნდა დიდი გაიზარდოს, ეკოსისტემა არ უნდა იგრძნოს ათეული განსხვავებული იმპერია, არამედ როგორც ერთი დიდი მექანიზმი. ასე განსხვავებული, მაგრამ ასე იდენტური.

ჩვენ ჯერ არ ვართ ადრე და ეს სტატია უნდა გაჩვენოთ ეს. ჩვენ უნდა გამოვიყენოთ ყველა ჩვენი ძალა, რათა განვავითაროთ სამუშაო სისტემები, რომლებიც დაეხმარება გიგანტური L2 ეკოსისტემას ურთიერთთანამშრომლობაში. ეს შესაძლებელია ახლავე. მალე თქვენ უნდა შეგეძლოთ მონაწილეობა მიიღოთ ნებისმიერ DAO-ში და გაუგზავნოთ ნებისმიერი აქტივი ENS-ს, რომლის მფლობელი თქვენგან რამდენიმე ათასი კილომეტრია. გეოგრაფიული საზღვრები არ უნდა შეიცვალოს ციფრულით.

თუ მოგეწონათ ეს ნამუშევარი, ეთანხმებით მის დისერტაციას, ისწავლეთ რაიმე ახალი, ან გსურთ ამ გზავნილის შემდგომი გავრცელება - გააზიარეთ იგი სოციალურ მედიაში, დატოვეთ თქვენი კომენტარები და ისაუბრეთ შეკრების ურთიერთთანამშრომლობის მნიშვნელობაზე. გმადლობთ, რომ კითხულობთ.

ავტორის შენიშვნა: ამ სტატიის ვერსია ადრე გამოქვეყნდა აქ .