paint-brush
Ҳолати ҳалли муштараки Rollupаз ҷониби@2077research
Таърихи нав

Ҳолати ҳалли муштараки Rollup

аз ҷониби 2077 Research29m2024/12/20
Read on Terminal Reader

Хеле дароз; Хондан

Муносибати мутақобила барои муваффақияти харитаи роҳи rollup-маркази Ethereum муҳим аст. Ин гузориш тавзеҳот дар бораи ҳолати муштараки муштарак - пешниҳоди фаҳмишҳо дар бораи роҳҳои ҳалли мавҷуда ва пешниҳодшудаи масъалаҳои муштарак, маҳдудиятҳои онҳо ва такмили ояндаи инфрасохтори муштараки муштаракро пешниҳод мекунад.
featured image - Ҳолати ҳалли муштараки Rollup
2077 Research HackerNoon profile picture


Ҳамчун як дӯстдоштаи мутамаркази экосистема, ман ҳамеша ба қарорҳое таваҷҷӯҳ мекардам, ки мутобиқати муштаракро беҳтар мекунанд. Гузашта аз ин, сабаби ягонаи таҳияи ин гузориши тадқиқотӣ ин таблиғи паём дар бораи аҳамияти ҳамкорӣ дар ин соҳа буд. Сипас, ман фаҳмидам, ки навиштани мақолаҳо як роҳи олиҷаноби таҳкими фаҳмиши ман дар бораи мавзӯи муайян ва кӯмак ба одамон дар фаҳмидани он аст ва ҳоло ман дар ин ҷо ҳастам.


Тавре ки ҳар рӯз дар крипто чизҳои нав меомӯзад, бояд возеҳ ба назар расад, ки имрӯз ман биниши "ҳамкории муштарак барои ояндаи Ethereum муҳим аст" - даврони маро хеле кӯҳна мебинам. Аз POV фалсафа, ман то ҳол ҳамон дидгоҳро пайравӣ мекунам** - ҳамоҳангсозии якҷоя барои ояндаи Ethereum ** хеле муҳим аст ва тамоми экосистема бояд дар ҳалли ҳалли он кор кунанд. Бо вуҷуди ин, аз POV технология, ман бисёр ғояҳои навро дар бораи ин мавзӯъ омӯхтам ва дар бораи баъзе чизҳо фикрамро тағир додам.


Барои фаҳмидани маводи дар поён овардашуда, доштани фаҳмиши асосӣ дар бораи гирдоварӣ ва мушкилоти муштараки онҳо муфид аст. Агар не, мақолаи ман «Доктор. Данкшард ё чӣ гуна ман фаҳмидам, ки ташвишро бас кардан ва роғҳоро дӯст доштам" як муқаддимаи олӣ аст.

Марҳабо!

Истанбул, L2DAYS, 14 ноябри соли 2023. Ман худам дар майдони хӯрокворӣ дар паҳлӯи бинои конфронс мемонам. Mosyo Coffee, ки дар он ҷо zkCafe баргузор шуд, дар пеш аст.


Ин шоми 13 ноябр, рӯзи аввали Devconnect Istanbul аст. Ҳамчун як мухлиси азими ZkSync , ман қарор додам, ки дар zkSync Connect ҳамчун аввалин чорабинии худ дар ин ҳамоиш, аввалин дар ҳаёти ман иштирок кунам. Дар он ҷо ман бо як бача вохӯрдам ва мо якҷоя ба "Мосё Кофе" роҳ гирифтем, тавре ки дар саҳифаи Лума аз zkCafe гуфта шудааст. Дар он мавзеъ ду нафар буданд ва мо танҳо то бегоҳ ҷои дурустро ёфтем.


Он назар ба акси боло хеле тиратар буд ва борон меборад. Дар канори бом, ки дар он толори хӯрокворӣ ҷойгир буд, истода, қаҳваеро, ки мо барои токенҳои ройгон аз Clave харидем, менӯшидам, ман ба дӯсти навам дар бораи идеяи худ дар бораи лоиҳаи ҳакатон нақл кардам.


Он як қаҳва. Ба ман 3 ВЕН арзиш дошт.


"Ҳисобҳои хурд" мавҷуданд: ҳисобҳои ERC-4337 , ки мантиқи тасдиқкунандаи онҳо на санҷиши имзо, балки мавҷудияти хэши амалиёт дар пули ягонаи паёмдони L2 он мебошад. Хэш бояд аз суроғаи волидайнаш дар занҷири мушаххаси манбаъ фиристода шавад. Суроғаи волидайн ҳамёни асосии интеллектуалии шумо дар ҳама гуна L2 ё Ethereum L1 мебошад. Барои муошират бо L2 дигар, шумо:


  • Дар он ҳисоби мини-ро ҷойгир кунед ва ҳамёни асосии худро ҳамчун суроғаи волидайн таъин кунед. Ҳар кас метавонад ҷойгиркуниро анҷом диҳад; Ҳамин тариқ, он метавонад аз ҷониби протокол ё провайдери ҳамёни шумо маблағгузорӣ карда шавад.

  • Ҳэши амалиёти корбареро, ки мехоҳед ба пули паёмдони L2-и худ ирсол кунед, фиристед ва ID-и занҷири таъинотро таъин кунед.

  • Ин хэш бо хэшҳои дигар баста мешавад ва ба L1 фиристода мешавад. Шартномаи интеллектуалӣ дар L1 ин бастаро ба макони таъиноти L2 интиқол медиҳад ва пули паёмдони паём ҳешҳоро ҷудо мекунад, то ҳисобҳои хурд онҳоро хонанд.

  • Ирсолкунанда ба хэши худ ҳаққи ночиз илова мекунад, то ташаббускорони транзаксияҳоро дар шартномаҳои интеллектуалии протокол ҳавасманд кунад.

  • Вақте ки хэш ба макони таъиноти L2 мерасад, шумо амалиёти корбарии худро ба mempool AA дар ин L2 мефиристед. Бо истифода аз стандарти ERC-4337, ба мо лозим нест, ки ёддошти ҳисоби хурди худро дубора ҷорӣ кунем ва протоколро метавон ба осонӣ ба ҳамёнҳо бо пойгоҳи коди мавҷуда ворид кард.


Хулоса, ман мехостам як пули асоси L1 эҷод кунам, ки транзаксияҳоро аз ҳамёни интеллектуалӣ дар L2-и худ ба ҳама L2, ки шумо мехоҳед бо онҳо муошират кунед, мефиристад. Ман онро қариб дар ҳакатон амалӣ кардам, аммо аз сабаби таҷрибаи кам ва кори яккаву танҳо онро ба итмом расонида натавонистам. Баъди ба рафик фахмондан аз ман пурсид:


Чаро касе танҳо шабакаро дар ҳамёни худ иваз намекунад ва пулҳои токениро барои интиқоли маблағҳои зарурӣ ба шабакаи зарурӣ истифода намебарад?


Ман ҷавоб додам : Ин комилан як вариант аст, агар касе ҳамёни EOA-ро истифода барад. Ҳамёнҳои EOA дар ҳама шабакаҳои EVM якхела амал мекунанд ва суроғаи якхеларо мубодила мекунанд, аз ин рӯ шумо метавонед танҳо тавассути тағир додани шабака дар танзимоти ҳамёни худ транзаксияҳоро дар ҳамаи онҳо фиристед.


Аммо, ин минтақа ба ҳисобҳои интеллектуалӣ дар асоси абстраксия муҳоҷират мекунад. Ин ҳисобҳо ба мо имкон медиҳанд, ки ҳама гуна функсияеро, ки мо мехоҳем ба ҳамёнҳои худ ба таври барномавӣ илова кунем:


  • Имзои P256 имкон медиҳад, ки чипҳои бехатарро дар телефонҳои мо барои имзои муомилот истифода барем.

  • Тавассути барқарорсозии иҷтимоӣ, мо метавонем хешовандони худро ҳамчун парасторон илова кунем, ки ҳамёнҳои моро барқарор кунанд ва ибораҳои тухмии хатарнокро аз байн баранд.

  • Технологияи Paymaster ба мо имкон медиҳад, ки ҳаққи газро бо ҳама гуна нишона пардохт кунем ё ҳатто касеро маҷбур созем, ки барои мо пул пардохт кунад .

  • Вақте ки компютерҳои квантӣ ба вайрон кардани схемаҳои имзои классикӣ шурӯъ мекунанд, мо метавонем танҳо схемаро дар ҳамёнҳои АА-и худ бидуни сохтани ҳамёни нав ба нақшаи аз квантӣ бехатар иваз кунем.


Ин рӯйхатро метавон беохир идома дод, зеро абстраксияи ҳисоб аслан ба мо имкон медиҳад, ки барномаҳои иҷрошавандаро ҳамчун ҳамёнҳои мукаммал истифода барем. Аммо ин ҳама арзиш дорад: кас наметавонад ҳамёнҳои худро ба занҷири дигар интиқол диҳад, зеро ба ғайр аз интиқоли маблағ тавассути пул, он дубора ҷойгиркунии тамоми ҳисобро бо тамоми калидҳо, парасторон ва танзимот талаб мекунад. Дар баъзе ҳолатҳо, ин метавонад хеле мураккаб ё ҳатто ғайриимкон бошад; бигӯед, дар ҷамъбастҳое, ки пешакии P256-ро дастгирӣ намекунанд (ин схемаи имзо метавонад барои истифода хеле гарон бошад).


Барои ҳамин ман ин протоколро тартиб додам. Аслан, шумо дар бисёр L2 ҳисобҳои AA доред. Барои фиристодани транзаксия аз онҳо, шумо бояд нияти худро тавассути фиристодани хэш аз ҳисоби асосии худ дар L2 мушаххас ба он "ҳисобҳои хурд" тавассути паёмнависии пули L1 тасдиқ кунед. Дар асл, бо ин роҳ, шумо аз ҳамёнҳои сершумор халос намешавед; шумо танҳо тамоми мантиқи тасдиқро ба ҳисоби ягонаи "волид" интиқол медиҳед.




Тафсилоти дигари ҷолиби чунин протокол дар он аст, ки он на танҳо бо L2s, балки бо ҳама L1s (занҷирҳои паҳлӯ), ки пулҳоро бо Ethereum ҳифз кардаанд - Polygon PoS, Ronin, Gnosis ва Avalanche - он чизест, ки ман дар бораи он фикр мекунам. Аммо, он ҳамчун як протоколи мутамаркази мутамарказ тарҳрезӣ шудааст, аз ин рӯ ин танҳо як далели ҷолиби технологӣ аст.


Гарчанде ки идеяи лоиҳа хеле оқилона буд, татбиқи амалӣ як камбудии назаррас дошт: Суръат . Тамоми тарҳ ба пулҳои каноникии ҷамъшуда, ки ба Ethereum L1 пайваст шудаанд, такя мекунад. Пулҳои печонидашуда бо он хосанд, ки онҳо ҳолати худро ба шартномаҳои интеллектуалии худ дар Ethereum барои мерос гирифтани амнияти он исбот мекунанд. Тавре ки шумо аллакай медонед, оптимистӣ ва санҷиши ZK ду роҳи маъмултарини ин кор мебошанд.


Санҷиши оптимистӣ тавассути кушодани "равзанаи даъват", одатан тақрибан ҳафт рӯз кор мекунад, ки дар он рақибон метавонанд далели қаллобӣ фиристанд, ки ба ягон қисми беэътибории транзаксия ишора мекунад. Агар ин далел дуруст бошад, ҷамъ блокчейни худро барои нест кардани ин партия аз нав ташкил мекунад. Пас аз ҳафт рӯз бидуни далелҳои қаллобӣ, партия ба таври худкор эътиборнок ҳисобида мешавад ва ҳама паёмҳо ва бозхондҳо дар Ethereum анҷом дода мешаванд.


Шумо шояд аллакай фаҳмидед. Аз сабаби таъхири ҳафтрӯзаи паёмнависӣ ба L1, фиристодани транзаксияҳои байни занҷир аз маҷмӯи оптимистӣ як идеяи даҳшатнок аст. Чаро? Хуб, оё шумо як ҳафта мубодилаи DEX-и худро интизор мешавед? То ин вақт бо нарх чӣ мешавад?


Интиқоли транзаксияҳои занҷирӣ ба маҷмӯи оптимистӣ хеле беҳтар аст. Ҳарчанд секвенсери OP Stack пеш аз коркарди паём чанд блокро интизор аст, то имкони азнавсозӣ кам карда шавад, интизории чанд дақиқа барои транзаксияи шумо барои баъзе вазифаҳо аллакай қобили қабул аст.


Гузашта аз ин, ҷомеаи Ethereum дар айни замон дар бораи як-ковокии ниҳоӣ кор мекунад, ки ҳар як блокро алоҳида ба анҷом мерасонад ва онҳоро дар блоки навбатии худ бебозгашт месозад. Пас аз татбиқи он, паёмнависӣ аз L1 то L2 тақрибан 12 сонияро мегирад.


Ҷойгир кардани чунин ҳисобҳо дар rollups ZK беҳтар мебуд, аммо ба ҳар ҳол он қадар қобили истифода нест. Тавре ки мо аз омори зер мебинем, ZKsync Era дар 21 соат, Linea дар 5 соат, Starknet дар 9 соат ва ғайра ба анҷом мерасад.


Манбаъ: l2beat.com/scaling/finality


Аммо чаро ин тавр аст? Оё насли исботи ZK дар кластерҳои пурқувват зуд нест? Хулоса, ду мушкилот вуҷуд дорад:

  • Баъзе ҷамъбастҳои ZK, ба монанди ZKsync Era, таъхирҳои иҷроро муқаррар мекунанд, то шӯрои амният вақт дошта бошад, ки дар сурати хато дар системаи исботи онҳо баъзе партияҳоро баргардонад. zkEVM-ҳо воқеан қисмҳои мураккаби технология мебошанд ва аз сабаби ин мураккабӣ, эҳтимолан пешгирӣ кардани хатогиҳо тавассути истифодаи якчанд системаҳои исбот якбора имконнопазир аст.
  • Гарчанде ки санҷиши исботи ZK дар муқоиса бо ҳисобҳои исботкардааш хеле сабук аст, санҷиши он дар занҷир ҳоло ҳам хеле гарон аст. Вобаста аз системаи исбот, он метавонад барои як санҷиш то як миллион газ гирад. Бо назардошти нархи миёнаи гази 9 гвей ва нархҳои имрӯзаи ETH, як далел танҳо барои санҷиш дар L1 тақрибан 30 доллар арзиш дорад.
    • Рӯйдодҳои муосири ZK ин хароҷотро тавассути тавлиди як далел барои бисёр партияҳо дар як миқдори муайян кам мекунанд, аммо ин суръати анҷоми пулро суст мекунад. Эҷоди партия ва исботи он ҳар як блок $30 барои як блок ё $216,000 дар як рӯзро ташкил медиҳад. Дар 100 TPS, ин тақрибан $0,025 барои як транзаксия танҳо барои хароҷоти тасдиқ аст. Ва мо инчунин бояд далел тавлид кунем ва партияро дар занҷир нашр кунем!


Интизори як ё ду соат барои транзаксия ҳанӯз хеле тӯлонӣ аст. Мо дар ин бора чӣ кор карда метавонем?


Пеш аз ҳама, биёед лоиҳаи ҳакатони ҳаштмоҳаи маро фаромӯш кунем ва кӯшиш кунем, ки модели рӯҳиро, ки ҳар як транзаксия бояд аз ҳамёни асосии интеллектуалии мо оғоз шавад, аз байн барем. Чаро мо бояд ҳатто дар ҳар як ҷамъбаст мантиқи ҳамёни интеллектуалии худро мубодила кунем? Чаро мо танҳо EOA-ҳои муваққатӣ тавлид намекунем, маблағҳоро аз ҳамёни интеллектуалии асосии худ дар он ҷо ҷамъ намекунем, баъзе корҳоеро, ки мехоҳем анҷом диҳем, анҷом диҳем ва он чизеро, ки боқимонда боқӣ мондааст, ҷамъ кунем?


Ман ҳангоми дидани UI-и Клав ба ин фикр омадам


Clave- и ман (ё ҳама ҳамёни интеллектуалии шумо истифода мебаред) дорои имзои Secure Enclave ва барқарорсозии иҷтимоӣ мебошад, аз ин рӯ ман метавонам ҳамеша дар бораи маблағҳои худ дар он ҷо бехатар бошам, ҳатто агар телефонамро гум кунам. Ва кӣ ғамхорӣ мекунад, ки бо ин ҳисобҳои муваққатӣ чӣ мешавад? Ман аллакай чизҳои худро бо онҳо анҷом додам; Ҳама маблағҳо ҳоло дар Клави ман ҳастанд.


Бо вуҷуди ин, ин равиш як мушкили асосӣ дорад: фарзия, ки шумо наметавонед ҳамон ҳамёнро дар дигар занҷирҳо мунтазам истифода баред, шумораи корҳоеро, ки шумо метавонед дар онҳо иҷро кунед, маҳдуд мекунад. Масалан, шумо наметавонед:

  • Дар платформаи қарздиҳии маҳаллӣ пасандоз эҷод кунед, зеро шумо онро ба шабакаи асосии худ интиқол дода наметавонед (дар ин ҳолат ZKsync Era)
  • Токенҳое гиред, ки дар шабакаи асосии шумо эквиваленти функсионалӣ надоранд (масалан, агар онҳо дар ин шабака сикка шуда бошанд)
  • Дар DAO маҳаллӣ иштирок кунед, зеро овозҳои шумо бояд дар ҳисоби муваққатӣ боқӣ монанд.


Аслан, ҳама чизеро, ки шумо ҳамчун корбар карда метавонед, ин аст, ки маблағҳоро ба якчанд гирандагони сершумор бидуни пул ҳар дафъа тақсим кунед ва пардохтпазирии беҳтареро барои своп ба нишонае, ки метавонад ба занҷири асосии шумо баргардад, ба даст оред.


Ҳамин тариқ, барои муфид кардани ин ҳамёнҳо, мо бояд ба онҳо бо истифода аз ҳамон қоидаҳое, ки дар ҳамёнҳои асосии интеллектуалии худ истифода мебарем, дастрас шавем — анклавҳои бехатар, барқарорсозии иҷтимоӣ ва ғайра. Ҳамин тавр, мо ба идеяи боло ва ғайри қобили амал будани он бармегардем. Бо вуҷуди ин, як паллиативии имконпазир вуҷуд дорад, ки метавонад ба ин ҳисобҳои хурд танҳо хосиятҳои барқарорсозии ҳамёни асосии моро диҳад:


Мо ҳамон мини-ҳисобҳои дар боло тавсифшударо эҷод мекунем, аммо ба як калид имкон медиҳад, ки транзаксияҳоро мустақиман аз онҳо фиристад. Ҳамёни волидайни мо ҳоло метавонад ин калидро тавассути пули асоси L1 иваз кунад ё ҳисоби мини-ҳисобро водор кунад, ки онро аз ҳолати волидайни L2 хонад. Бо ин роҳ, агар калиди муваққатӣ гум шавад, ҳамёни волидайн метавонад тағироти калидиро тавассути пули суст, вале атомии L1 асосёфта оғоз кунад.


Атомикӣ - моликияти амал, ки имкон намедиҳад, ки дар вақти иҷро ноком шавад. Ё он оғоз нашудааст, ё он иҷро шуд. Пулҳои ба L1 асосёфта атомӣ мебошанд, зеро агар паём фиристода шавад, гум карда намешавад. Фармоиш, мавҷудият ва ҳаққоният аз ҷониби Ethereum L1 кафолат дода мешавад.


Ин хеле беҳтар аст! Ҳоло, транзаксияҳои оддӣ танҳо барои бастани аломатҳо вақт мегиранд. Пас аз он ки токенҳо дар макони таъинот ҷойгиранд, интиқоли транзаксияҳо чунон зуд аст, ки гӯё ин занҷири асосии шумо бошад. Агар шумо калидро гум кунед, вобаста ба занҷири ҳамёни волидайни худ, шумо бояд аз чанд соат то ҳафт рӯз интизор шавед, аммо шумо онро зуд-зуд истифода намебаред, аз ин рӯ мубодила барои аксари ҳолатҳо қобили истифода аст. Инчунин, онро дар ҳамёнҳо ҳатто имрӯз амалӣ кардан мумкин аст. Ман ҳатто амалисозии худамро сохтам, аммо он ба ҳеҷ ваҷҳ бехатар ё барои истеҳсолот омода нест ва танҳо барои визуализатсия пешбинӣ шудааст.


Як усули шабеҳ дар платформаҳои савдои фьючерсҳои Web3 истифода мешавад: шумо аломати ҷуфтро (одатан USDC) ба шартномаи интеллектуалӣ тасдиқ мекунед ва калиди муваққатиро барои харҷ таъин мекунед, ки дар фронти платформа нигоҳ дошта мешавад. Ин ба корбарон имкон медиҳад, ки бидуни имзои ҳар як амал бо ҳамёни асосии худ амалҳои зуд анҷом диҳанд. Агар шумо дастгоҳи худро иваз кунед ё маълумотро дар браузери худ тоза кунед, шумо метавонед танҳо бо истифода аз ҳамёни асосии худ калидро аз нав таъин кунед.


Аммо, ба монанди ҳама чиз дар крипто, ин равиш низ комил нест. Он ду камбуди дорад:

  • Гарчанде ки ҳисобҳои хурд метавонанд ба ERC-4337 мувофиқ бошанд ва ба ин васила тамоми хусусиятҳои онро, аз қабили бастабандӣ, пардохткунандагон, маҳдудиятҳои хароҷот ва ғайра дастгирӣ кунанд, ин хусусиятҳо дигар аз ҳисоби волидайн ба мерос гирифта намешаванд. Дар асл, ҳисоби волидайн танҳо ҳамчун парастори ягонаи барқарорсозии иҷтимоӣ барои ҳисоби мини-ҳисоб амал мекунад, аммо парастор худи корбар аст.
  • Пули токен бояд бо истифода аз пулҳои беруна анҷом дода шавад. Бо оғози транзаксияҳои байнизанҷирӣ, мо метавонем токенҳои худро бо паём бардорем ва онҳоро амалан 1:1 ба таври атомӣ қабул кунем. Аммо, бо ин ҳалли, ин дигар имкон нест, аз ин рӯ пули беруна ягона варианти зуд боқӣ мемонад.


Гарчанде ки пулҳои муосир метавонанд дар тӯли чанд сония маблағ интиқол диҳанд , онҳо а) пулеро мегиранд, ки метавонад ҳангоми интиқоли калон хеле баланд шавад, б) атомӣ нестанд ва хосиятҳои амниятии Ethereumро мерос намегиранд. Дар бораи хусусиятҳои амниятии пулҳои blockchain қайд кардан махсусан муҳим аст.


Истифодаи пулҳои беруна барои интиқоли нишонаҳо то андозае қобили қабул аст, баръакси истифодаи онҳо барои интиқоли паёмҳо барои идоракунии ҳисобҳои хурд. Сабабаш бадтарин ҳолатҳои онҳост, эҳтимол аз ҳамла ба онҳо:


  • Дар кӯпруксозии аломатҳо, бадтарин чизе, ки метавонад рӯй диҳад, ин аст, ки шумо токенҳои фиристодаатонро қабул нахоҳед кард. Дар ин ҳолат, шумо X аломатҳои худро гум мекунед, ки мехостед пулро гузаронед ва ба пули дигар гузаред.
  • Дар паёмнависии байниҳисобӣ, бадтарин чизе, ки метавонад рӯй диҳад, ин аст, ки ҳамаи ҳисобҳои хурди шумо тавассути интиқоли паёмҳои тақлидшуда тавассути пул дуздида мешаванд. Дар ин ҳолат, шумо ҳамёнҳои худро дар ҳама занҷирҳо бо тамоми арзишашон гум мекунед, ба истиснои занҷирҳои асосии худ.


Ҳамин тавр, такя ба пулҳои беруна барои пулсозии токенҳо як вариант аст, то он даме, ки касе роҳи муассир барои кӯпруки онҳо бо роҳи атомӣ бо истифода аз L1 надошта бошад. Ин дар асл вариантест, ки аз ҷониби бисёре аз корбароне, ки имрӯз бо занҷирҳои ҷамъшуда муошират мекунанд, истифода мебаранд.


Фарз мекунем, ки мо мехоҳем ҳамаи транзаксияҳоро дар як ҷо тасдиқ кунем , масалан, токенҳоро байни ҳисобҳо интиқол диҳем ё имзоҳоро бо пешакии беназир тафтиш кунем. Дар ин ҳолат, мо бо ниҳоии сусти ҷамъбасти ZK имрӯз дучор мешавем. Биёед каме баргардем, то дар бораи он фикр кунем, ки бо техникаи қаблӣ чӣ беҳтар кардан мумкин аст.


Чаро rollups анҷоми пули суст доранд? Мо ZK-ро ҳамчун ҳадаф қабул хоҳем кард, зеро бо оптимистӣ сабаб аллакай маълум аст:


  • Системаҳои исботи ZK барои муҳитҳои мукаммали VM мураккабанд, хусусан агар муҳити атроф ба ZK-дӯстона (EVM) набошад. Аз ин рӯ, эҳтимолияти зиёд дорад, ки онҳо хатогиҳоро дар бар гиранд. Системаҳои сершумори исбот метавонанд инро пешгирӣ кунанд, аммо татбиқи онҳо хеле мураккаб аст ва тавлиди далелҳои сершумор барои як партия метавонад хеле суст ва гарон бошад. Ҳамчун як роҳи ҳал, гурӯҳҳои ҷамъоварӣ таъхирҳои иҷроро фароҳам меоранд, ки ба онҳо имкон медиҳад, ки занҷирро дар ҳолати фавқулодда баргардонанд. Ин чизест, ки анҷоми пулро дар баъзе ҷамъбастҳо суст мекунад (масалан, ZKsync Era).
  • Пешниҳоди ҳолати нав ва исботи ZK ба L1 кори хеле гаронбаҳост, аз ин рӯ барои кам кардани хароҷот, секвенсерҳои ҷамъоварӣ онро на ҳар як блок ҳар чанд соат иҷро мекунанд.


Аммо як истисно вуҷуд дорад; Scroll ҳолатро тақрибан ҳар дақиқа пешниҳод мекунад , аммо а) санҷиши далелҳо то ҳол ҳар чанд соат анҷом дода мешавад, аз ин рӯ он тасдиқнашуда боқӣ мемонад ва б) Scroll яке аз гаронбаҳотарин варақаҳои имрӯза мебошад.


Агар мо онро боз ҳам соддатар ифода кунем, мушкилот исбот кардани хароҷот ва тафтиши хароҷот мебошанд. Биёед ҳар як мушкилот ва роҳҳои ҳалли онро дида бароем.


Аслан вазифаи мо аз он иборат аст, ки ҳамёни интеллектуалии мо ба таври фаврӣ бо дигар ҷамъоварӣ бидуни тахминҳои эътимоди иловагӣ, ки аз ҷониби пулҳои беруна оварда шудаанд, ҳамкорӣ кунад. Ҳамёнҳои интеллектуалӣ одатан аз якчанд хусусиятҳои муқаррарии AA иборатанд - пардохткунандагон, барқарорсозии иҷтимоӣ, анклавҳои бехатар, маҳдудиятҳои хароҷот ва ғайра ва амалиёти асосӣ, ки ба мо имкон медиҳад, ки транзаксияҳои занҷирро аз он фиристем.


Чаро ба мо амалиёти асосӣ лозим аст, агар мо мехоҳем, ки дигар маҷмӯаҳои ҳамёни худро истифода барем? Азбаски он эҳтимолан дар як маҷмӯаи бисёрмақсаднок ҷойгир аст - Arbitrum, Base, ZKsync Era - ва мо мехоҳем бо корбарон ва шартномаҳои оқилона дар ин ҷамъомад низ ҳамкорӣ кунем.



Дар ин ҳолати мушаххас, истифодаи пулҳои аломати беруна маъно дорад. Танҳо вазифаро бо, масалан, ҳамкорӣ бо dApp дар як ҷамъбаст ва дигаре иваз кунед.


Ин бисёрмақсаднокӣ он чизест, ки ба системаи исботи rollups мураккабӣ меорад. Санҷиши ҳолати тамоми мошини маҷозӣ бо бисёре аз шартномаҳо ва муомилоти интеллектуалӣ, ки ҳар сония сурат мегиранд, як амри хеле баланд аст. Мо мехоҳем ду намуди вазифаҳоро иҷро кунем, ки маҷмӯи пурраи хусусиятҳоро дар ҷамъбаст талаб мекунанд: барои транзаксия дар занҷир ин дохилкунии зуди L2, пардохтҳои пасти L2 ва функсияҳои васеи VM ва барои транзаксияи бисёрҷабҳа мебошад. , он купруки ниҳоии зуд аст.


Аммо чӣ мешавад, агар мо танҳо аз мошини маҷозӣ халос шавем ва ҷамъе созем, ки танҳо ҳисобҳои интеллектуалӣ ва паёмнависиро ба L2-ҳои дигар идора карда метавонад? Виталик Бутерин як техникаи шабеҳро тақрибан дар замони Devconnect Istanbul пешниҳод карда буд, ки "мағозаи калидҳо" номида мешавад. Мо дар ин бора дар оянда сӯҳбат мекунем.

Маҷмӯаҳои калидҳо


Идеяи эҷоди маҷмӯи ZK аст, ки метавонад танҳо калидҳои ҳисобро нигоҳ дошта, онҳоро бо калиди дигар иваз кунад. Ин ҷамъоварӣ решаи дарахти Merkle, ки ҳамаи ин калидҳоро дар бар мегирад, ба L1 тела медиҳад. Пас, вақте ки шумо мехоҳед транзаксияро аз яке аз ҳисобҳои интеллектуалии худ дар L2s фиристед, шумо далели Merkle-и калиди ҷории худро тавлид мекунед ва ҳисоби шумо онро бо решаи калидҳои дар L1 мавҷудбуда тасдиқ мекунад. Ҳоло он калиди шуморо медонад ва метавонад онро барои тафтиши имзоҳои шумо истифода барад.


Ба он чеки исботи Merkle ё KZG илова кунед ва ин ба назар мерасад


Чунин ҷамъбаст хеле содда аст ва системаҳои сершумори исботро ба осонӣ татбиқ кардан мумкин аст, аз ин рӯ калидҳои дар он нигоҳ дошташуда воқеан мисли L1 бехатаранд.


Ба ғайр аз тарҳи аслии Виталик, се тарҳи пешқадам барои маҷмӯаҳои калидҳо мавҷуданд:

  • Равиши Scroll ин нигоҳ доштани маълумот дар анбори калидҳо дар L1 мебошад, аммо имкон медиҳад, ки онро аз ҷамъбасти zkEVM навсозӣ кунад. Барои ин, онҳо пешакии L1SLOAD-ро ҷорӣ мекунанд, ки барои хондани арзони нигаҳдории L1 имкон медиҳад. Сипас, ҳисобҳои AA дар L2-ҳои дигар метавонанд ин маълумотро хонанд, то конфигуратсияи онҳоро ҳамоҳанг созанд - калидҳо, парасторон ва ғайра.
  • Гурӯҳи пойгоҳ техникаеро меомӯзад, ки дар он танҳо решаи давлатӣ дар L1 нигоҳ дошта мешавад, аммо транзаксияҳо бо истифода аз маълумоти calldata пайдарпай мешаванд, аз ин рӯ дарахтро ҳамеша аз нав сохтан мумкин аст. Интизор меравад, ки ҳисобҳо дар L2s бо истифода аз далелҳои Merkle калидҳои ҷориро гиранд.
  • Тарҳрезии Stackr ба тарҳи Base ё Vitalik хеле шабоҳат дорад, аммо он чаҳорчӯбаи худро аз "микро-робарҳо" бо VM-ҳои махсусгардонидашуда истифода мебарад.


Умуман, онҳо дар шумораи вазифаҳое, ки ба коркарди берун аз занҷир дода шудаанд (ба ибораи дигар, дар L2 чӣ қадар чизҳо ҳастанд) ва тафсилоти татбиқи онҳо фарқ мекунанд.


Мо метавонем ин идеяро тавассути коркарди на танҳо калидҳо , балки тамоми мантиқи ҳисоби интеллектуалӣ боз ҳам васеътар созем. Ин ҳам аз ҷиҳати ҳисоббарорӣ душвортар нахоҳад буд; аслан, мо бояд танҳо ин вазифаҳоро иҷро кунем:


  • Ирсоли маълумот ба L1: Ҳисобҳо дар маҷмӯи мағозаи калидҳо бояд қодир бошанд, ки L1-ро дар бораи нияти транзаксияашон огоҳ кунанд. Нигоҳ доштани тамоми транзаксия дар L1 шарт нест; чизе ба монанди решаи дарахти Merkle бо тамоми хэшҳои амалиёти корбар кофӣ хоҳад буд. Сипас, танҳо барои фиристодани транзаксия аз ҳисоби мини лозим аст, хондани реша аз макони таъиноти L2 ва исбот кардани он, ки амалиёти муайяни АА воқеан аз ҳисоби волидайн дархост шудааст.

  • Санҷишҳои имзо: Корбар хэши амалиёти корбареро, ки мехоҳанд дар як ҷамъбасти муайян иҷро кунанд, имзо мекунад. Маҷмӯаи мағозаи калидҳо имзоро барои исботи ният тасдиқ мекунад ва хэшро ба дарахт илова мекунад, то онро ба L1 тела диҳад. Якчанд схемаҳои имзо, ба монанди ECDSA , P256 ва схемаҳои аз квантӣ бехатар , кифояанд.

  • Барқарорсозии иҷтимоӣ: Ҳисобҳои дигари мақсаднок интихобшударо созед, ки онҳоро "парасторон" меноманд, барои тағироти калидӣ дар ҳисоби корбар овоз диҳед. Истифодабаранда метавонад сарпарастон ва остонаро муқаррар кунад ва дар сурати гум шудани калид аз онҳо барқароркуниро талаб кунад. Мо инчунин метавонем барқарорсозии бар асоси вето ё схемаҳои парастории алтернативӣ, аз қабили ZK-Email , ZK-OTP, ё Web Proofs татбиқ кунем, то барқарорсозии иҷтимоиро берун аз корбарони ҷамъоварӣ васеъ кунем.

  • Қоидаҳои харҷ: Дар сурати дуздида шудани ҳамён, қоидаҳои хароҷоте, ки аз ҷониби парасторон назорат мешаванд, метавонанд талафоти эҳтимолиро пеш аз барқарор кардани ҳамён ба корбар кам кунанд. Ин хусусият инчунин барои сарфаи маблағ ё, масалан, сохтани ҳамёнҳо барои кӯдакон муфид аст - волидон метавонанд кӯмакпулӣ фиристанд ва чӣ қадар сарф кардани онро маҳдуд кунанд, то кӯдак сарфа карданро ёд гирад.

  • Тавозуни нишонаҳо: Ин метавонад нолозим ба назар расад, аммо қобилияти нигоҳ доштани крипто дар дохили маҷмӯаи калидҳо амнияти дороиҳои корбаронро тавассути ҷудо накардани онҳо ба ҳисобҳои сершумори хурд ба таври назаррас афзоиш медиҳад. Ғайр аз он, он имкон медиҳад, ки бисёр хусусиятҳоеро, ки таҷрибаи корбаронро беҳтар мекунанд:

  • Пардохтгарон: Ҷамъоварӣ метавонад транзаксияҳои ройгонро барои ҷалби корбарони нав пешниҳод кунад ё ба онҳо имкон диҳад, ки пардохтро на танҳо ETH бо ягон нишона пардохт кунанд. Мантиқи мураккабтари пардохткунандаро низ метавон амалӣ кард - масалан, секвенсер метавонад аз своп дар занҷири дигар ҳангоми баргардонидани он ба маҷмӯи мағозаи калидҳо пул гирад.

  • Интиқоли аломатҳои дохилӣ: Ба ғайр аз фиристодани фаврии маблағҳо байни корбарони ҷамъоварӣ, интиқолҳои мустақим инчунин барои татбиқи пулҳои ба ният асосёфта бо дигар ҷамъбастҳо, ки барои истифодаи L1 барои гузаштан аз ҳисоби мини-ҳисоб ба ҳисоби волидайн дар маҷмӯаи калидҳо ниҳоят суст мебошанд, муфид аст. Бо ин роҳ, маҷмӯи мағозаи калидҳо аслан метавонад ҳамчун марказ барои интиқоли токенҳо байни мини-ҳисобҳо дар даҳҳо L2-ҳои гуногун амал кунад.


Чунин система аз ҷиҳати техникӣ нисбат ба VM-и мукаммали дохили ҷамъоварӣ хеле соддатар аст, бинобар ин тавлид кардани далелҳо барои системаҳои сершумори исбот ҳамзамон имконпазир аст ва мураккабии тавлиди исбот ҳанӯз ҳам хеле камтар хоҳад буд.



Бо вуҷуди ин, санҷиши далелҳо ҳоло ҳам мушкил аст. Тавре ки мо қаблан ҳисоб карда будем, арзиши гази он вобаста ба нархи газ метавонад то 1 миллион газ ё ~ $25-50 бошад. Ин хароҷот собит аст ва аз шумораи транзаксияҳо дар партия вобаста нест. Ин маънои онро дорад, ки агар амалиёт хеле кам бошад, ҳаққи ҳар як транзаксия метавонад хеле баланд бошад. Ду роҳи асосии кам кардани ин хароҷот вуҷуд дорад:

Қабати ҳамоҳангшуда

Aligned як EigenLayer AVS мебошад, ки операторҳои барқароркуниро барои тасдиқи далелҳои ZK арзон истифода мебарад. Агар шумо бо EigenLayer ошно набошед, ин мухтасари соддакардашудаи он аст, ки чӣ гуна далелҳо дар Aligned тафтиш карда мешаванд:


  • Истифодабаранда дархости тасдиқи далелро ба шабака мефиристад ва ҳаққи онро мепардозад;

  • Операторҳои ҳамоҳангшуда, ки ҳар яки онҳо валидатори Ethereum бо пасандозҳои онҳо басташуда мебошанд, далелҳоро дар гиреҳҳои худ тафтиш мекунанд ва барои эътибори он имзо мегузоранд;

  • Вақте ки 2/3 операторҳо барои исбот имзо мекунанд, имзои ҷамъшуда дар Ethereum L1 фиристода ва тасдиқ карда мешавад.

  • Агар далели беэътибор ба ниҳоӣ расида бошад, валидаторҳое, ки барои он имзо гузоштаанд, метавонанд тавассути тафтиши он дар занҷир бурида шаванд. Бо ин роҳ, далел амнияти иқтисодиро ба 2/3 ҳиссаи умумии операторони Aligned ба даст меорад.


Ин равиш як камбудии возеҳ дорад - Ethereum дигар эътибори исботро кафолат намедиҳад. Агар TVL-и пули rollup аз 2/3 ҳиссаи умумии Aligned зиёдтар бошад, ҳамла ба он фоидаовар мешавад. Ва азбаски мо дар бораи таъхири ниҳоии 1-2 блок гап мезанем, мо наметавонем ба таври хушбинона ҳамларо пешгирӣ кунем.


Аммо, ин метавонад як варианти нисбатан бехатар бошад, то он даме, ки ҷамъоварӣ аз ҳад зиёд калон нашавад. Вақте ки ин тавр мешавад, талаботи транзаксия аллакай метавонад санҷиши далели L1-ро арзишманд гардонад. Тибқи ҳуҷҷатҳо, санҷиши исботи ZK бо истифода аз Aligned тақрибан 3000 газро талаб мекунад, ки ҳатто барои Ethereum L1 қариб ройгон аст.

Қабатҳои ҷамъшавии исбот

Агар шумо аз ҷорӣ кардани пиндоштҳои эътимоди иловагӣ ба система нороҳат бошед ё протоколи шумо аллакай хеле калон шуда бошад, аммо талабот ба транзаксияҳои он вуҷуд надошта бошад, алтернатива вуҷуд дорад.


Гурӯҳҳои ZK ва rollup ба наздикӣ ба протоколҳои ҷамъбастии далелҳо фаъолона кор карданд. Агар шумо бо ZK чандон ошно набошед, ҷамъбасти далелҳо ин аст, ки далели ZK дурустии як далели дигари ZK-ро исбот мекунад (он метавонад, дар навбати худ, далели дигарро собит кунад ва ғайра), ба ин васила онҳоро дар як далели “ҷамъоварӣ” ва аслан тамоми хароҷоти тасдиқи онҳоро ба исботи хароҷот интиқол медиҳанд. Чизи боқимонда ин аст, ки санҷиши як далели ZK дар занҷир ва итминон ба дурустии ҳама далелҳои дигари ZK, ки он исбот мекунад. Оҳ!


Тафтиши занҷираи ZK.

Ҷамъоварии далелҳо маънои онро дорад, ки хароҷоти тафтиш нисбат ба исботи ҷамъоварӣ зиёдтар аст. Яъне ҷамъоварӣ судманд мешавад, агар харҷи тавлиди далел барои даҳ далел ва таъйиди он аз таъйиди мустақилонаи ин даҳ далел камтар бошад. Ин дар Ethereum L1, ки бо қобилияти ҳисоббарорӣ сахт маҳдуд аст, боз ҳам муфидтар аст. Вобаста аз системаи исбот, тамоми блок метавонад танҳо тақрибан 100 санҷиши исботро дар бар гирад, ба истиснои тамоми фаъолиятҳои дигари занҷир.


Умуман, ду намуди протоколҳои ҷамъбасти далелҳо мавҷуданд:

  • Ҷамъоварии ҳадафи умумӣ (универсалӣ): Чунин лоиҳаҳо одатан якчанд протоколҳои маъмултарини ZK-ро (Groth16, Halo2, Plonky) дастгирӣ мекунанд, ки дар болои онҳо аксари схемаҳои ZK сохта мешаванд ва барои коркард пул мегиранд. dApps, ки ба далелҳо ниёз доранд, пас маълумотро аз протокол ошкор мекунанд ва онро мустақилона коркард мекунанд. Системаи Universal Proof Aggregation Nebra , ки ҳоло дар ҳоли рушд аст, маҳз ҳамин корро мекунад. Aligned инчунин дар санҷиши ба истилоҳ "режими суст" кор мекунад, ки дар асл як системаи ҷамъкунии далелҳо низ мебошад.
  • Ҷамъоварии пулҳои муштараки ҷамъоварӣ: Ба монанди пайдарпайии муштарак дар ҷамъбастҳои оптимистӣ, ZK rolls бо стекҳои худ дар пулҳои муштарак бо далелҳои муттаҳидшудаи давлатӣ барои ҳар як ҷамъшавии ZK дар купрук кор мекунанд. Ин на танҳо имкон медиҳад, ки ҳамоҳангсозии синхронӣ дар дохили стек як пайдарпайии муштаракро фароҳам орад, балки хароҷотро барои тафтиши далелҳо кам мекунад. Шумо шояд дар бораи Polygon's AggLayer ё Hyperbridge 's ZKsync шунидаед, ки пулҳои муштараки ҷамъшуда мебошанд, ки дар ҷамъшавии исбот дар дохили пул кор мекунанд.


Бартариҳои системаҳои универсалии ҷамъкунӣ дар он аст, ки онҳо-агностикии лоиҳа мебошанд ва танҳо дар худи раванди ҷамъкунӣ тахассус доранд, ки санҷиши хеле зуди далелҳо ва хароҷоти камро мекушояд. Инчунин, эҳтимол дорад, ки аз сабаби набудани ҷузъи пул чархҳои таълимӣ надошта бошанд.


Пулҳои ҷамъшудаи ҷамъшуда, дар навбати худ, барои маҷмӯаи мағозаи калидҳо муфид мебошанд, то дорои ҳамоҳангии синхронӣ бо стеки ҷамъоварии аллакай мавҷуда бошанд. Масалан, тибқи L2BEAT , айни замон 13 лоиҳа бо истифода аз Polygon CDK сохта шудаанд ва 11 лоиҳа ZK Stack -ро истифода мебаранд. Вақте ки ҳамаи онҳо ба як пули ҷамъкунандаи исботи муштарак пайваст мешаванд, пайваст кардани маҷмӯи анбори калидҳо ба яке аз онҳо ҳамкории бефосиларо бо бисёре аз L2ҳо бидуни ламс ба L1 мекушояд. Барои он ки ин кор кор кунад, пул бояд мантиқи гуногуни гузариши ҳолатиро барои L2-ҳои худ дастгирӣ кунад, зеро мантиқи ҷамъбасти мағозаи калидҳо аз дигар L2s дар он фарқ мекунад.


Аммо, ин пулҳо одатан такмил дода мешаванд ва аз ҷониби DAO ё шӯрои амниятии он назорат карда мешаванд. Лоиҳаҳои маҷмӯаи калидҳо метавонанд аз додани соҳибихтиёрии худ ба операторони пули бо онҳо пайвастшуда бароҳат набошанд. Инчунин, пулҳо метавонанд таъхирҳои иҷроро ҳамчун чораи эҳтиётии чархҳои таълимӣ ҷорӣ кунанд, ба монанди он ки ZKsync Era ҳоло кор мекунад, ки аслан тамоми самаранокии ин тарҳи ҷамъи мағозаи калидиро мекушад.



Бо ин роҳ, маҷмӯаҳои мағозаи калидҳо, ба монанди ҳама гуна ҷамъбастҳои дигари ZK, метавонанд хароҷоти тасдиқи далелҳоро кам кунанд ва ҳатто онро бо ҳамбастагии синхронӣ бо стеки аллакай мавҷудбуда муттаҳид кунанд.

Пайвасткунии самараноки ба ният асосёфта бо ҷамъбастҳои "Keystore+"

Тавре ки қаблан муҳокима карда шуд, кӯпрук аз L2 то L1 ягона мушкилот нест. Аксари секвенсерҳои ҷамъоварӣ инчунин таъхирҳоро барои интиқоли паёмҳо аз L1 ба L2 татбиқ мекунанд. Сабаб дар он аст, ки вақте ки блоки Ethereum сохта мешавад, он ҳанӯз ниҳоӣ нест ва мумкин аст дар давоми ~ 64 блокҳои зерин баргардонида шавад (ду давра, тақрибан 13 дақиқа). Ин реоргҳо аз сабаби таъхирҳои шабака ба амал меоянд, ки баъзе пешниҳодҳо дар шабака хеле дер пайдо мешаванд, вақте ки баъзе гиреҳҳо аллакай онҳоро аз даст додаанд.


Гарчанде ки аксари реоргҳо аз ду блок амиқтар нестанд (реорги ҳафтблокӣ ҳатто ду сол пеш дар хабарҳо пайдо шуда буд) , дастаҳои ҷамъоварӣ ҳанӯз намехоҳанд, ки хатарҳои марбут ба паёмҳои беҷавобро ба дӯш гиранд ва таъхирҳоро барои бастани L1 истифода баранд. Ин таъхирҳо дар баъзе ҷамъбастҳо тақрибан 1 дақиқаро ташкил медиҳанд ( OP Stack , ZK Stack ), аммо метавонад то 6 дақиқа бошад, ба монанди Arbitrum ё ҳатто дар Linea , анҷоми L1-ро талаб кунад.


Ҷомеаи Ethereum оид ба Finality Single-Slot фаъолона кор мекунад , ки ҳар як блокро ба ҷои як бор дар як давра мустақилона анҷом медиҳад. Аммо мо итминон гуфта метавонем, ки он барои навсозии навбатии Pectra дар семоҳаи 1 2025 ба нақша гирифта нашудааст , аз ин рӯ, ҳадди аққал як сол пеш аз татбиқи SSF хоҳад буд.


Агар гурӯҳе, ки ин тарҳи васеъшудаи маҷмӯаи калидҳоро амалӣ мекунад, бо чунин таъхири транзаксия мувофиқ набошад, он метавонад паллиативи дар боло тавсифшударо амалӣ кунад. Ҳар як ҳисоби хурд дорои калидест, ки барои фиристодани транзаксияҳо ваколатдор аст ё калиди статикиро аз мағозаи калид истифода мебарад (тибқи тарҳи аслии Виталик), аммо идоракунии ҳисоб ҳоло ҳам дар ҳисоби калидҳои калидӣ мебошад. Пас аз татбиқи SSF дар L1, маҷмӯа метавонад калидҳои ваколатдори хароҷотро хориҷ кунад ва корбарон тамоми функсияҳои мутобиқсозии АА-ро бидуни таназзули назарраси суръат мегиранд.


Ман дар ин ҷо бо Алекс розӣ ҳастам; 15 сонияи таъхир комилан қобили қабул аст, хусусан азбаски амалиёт атомӣ аст, пас аз анҷоми амалиёти ҷамъбасти калидҳо дар L1. Агар мо дар бораи интиқоли аломатҳо сухан ронем, ҳамёнҳои гиранда ҳатто метавонанд дар сатҳи UI мақоми "Интизорӣ" -ро иҷро кунанд.


Бо вуҷуди ин, интиқоли аломатҳои байниҳамдигарӣ то ҳол мушкилотро ба бор меорад. Агар мо анборҳои токенҳоро дар дохили маҷмӯи анбори калидҳо татбиқ кунем, интиқоли токенҳо аз он вобаста аз ҷамъи қабулкунанда аз 1 то 15 дақиқа мегирад. Агар мо ин корро накунем, тақсим кардани тавозуни корбарон ба ҳисобҳои хурд дар L2-ҳои сершумор метавонад хатари амниятро ба вуҷуд орад ва ҳатто баъзе дороиҳоро ба L2-ҳои ғайриқонунӣ маҳкам кунад, ки пули нақд аз онҳо метавонад аз ҳад зиёд арзиш дошта бошад ё тӯлонӣ кашад.


Ҳамчун алтернатива, мо метавонем як пули ба ният асосёфтаро ба ҷамъоварӣ муттаҳид созем ва онро дар ҳама ҷамъбастҳои дигар ҷойгир кунем ё ҳатто инфрасохтори мавҷударо дубора истифода барем, ба монанди протоколҳои мувофиқи ERC-7683 . Мо дар боби оянда пулҳои ниятро ба таври мухтасар муҳокима хоҳем кард.

Пули ба ният асосёфта чист?

Аксарияти пулҳои занҷири мавҷуда ба протоколҳои паёмнависӣ асос ёфтаанд. Масалан, Stargate LayerZero-ро барои интиқол додани паёмҳо дар бораи пасандозҳо ба занҷирҳои таъинот истифода мебарад ва ба он ҳамчун манбаи эътимод такя мекунад. Вақте ки шумо токенҳоро тавассути чунин пулҳо мефиристед, онҳо токенҳои шуморо аз як тараф маҳкам мекунанд ва аз тарафи дигар дар бораи пасандози шумо паём мефиристанд ва анбори он ҷо миқдори мувофиқи токенҳоро барои шумо мекушояд.


Пулҳои ба ният асосёфта , дар навбати худ, байни ду занҷир паём ирсол намекунанд. Ба ҷои ин, маблағҳои фиристодашуда дар анбор ҳамчун “фармоиши байнизанҷирӣ” маҳкам карда мешаванд ва он гоҳ ҳар кас метавонад фармоишро тавассути фиристодани миқдори дархостшудаи нишонаҳо дар занҷири таъинот пур кунад. Ҳар касе, ки фармоишро пур мекунад, метавонад токенҳои бастаро аз занҷири манбаъ талаб кунад, вақте ки анбор дар он дар бораи ҳолати ниҳоии занҷири таъинот огоҳ мешавад ва интиқолро тасдиқ мекунад.


Ин метавонад ё бо интизории анҷоми ҳадафи (пул) занҷири таъинот ё тавассути ягон протоколи берунаи oracle рӯй диҳад. Масалан, Across oracle оптимистии UMA-ро барои дарёфти ҳолати L2-ҳои ҳанӯз ба итмом нарасидааст, истифода мебарад .


Дар ин сенария, Ethereum L1 ҳамчун манбаи эътимод истифода мешавад. Баъзе протоколҳо, ба монанди Across, ба ҷои оракҳои беруна истифода мебаранд. Тарҳи воқеӣ метавонад дар лоиҳаҳои мавҷуда фарқ кунад; факат фикри умумй нишон дода мешавад.


Мо метавонем ҳамон тарроҳиро барои ин маҷмӯаҳои васеъшудаи калидҳо истифода барем, то пули дуҷонибаи боэътимод, зуд ва арзон байни мағозаи калидҳо ва ҳама L2-ҳои дигарро амалӣ созем. Анҷоми пули зуд имкон медиҳад, ки фармоишҳои ба ният асосёфта аз L2-ҳои дигар тақрибан ройгон бошанд, зеро исботи иҷроиш дар L2 ҳамагӣ чанд дақиқа вақтро мегирад.


Фармоишҳо аз мағозаи калидҳо эҳтимолан арзон хоҳанд буд, зеро пардохтпазирӣ дар L2 тавассути мағозаи калидҳо нисбатан зуд таъмин карда мешавад. Бо ин роҳ, чунин тарроҳии маҷмӯаи мағозаҳои калидӣ метавонад як маркази пулакӣ дар асоси мақсад гардад, ки ба корбарон имкон медиҳад, ки транзаксияҳоро на дар тӯли чанд дақиқа бифиристанд ва барои пулсозӣ тақрибан ҳеҷ чиз пардохт намекунанд. Гурӯҳи ҷамъоварӣ инчунин метавонад пардохтпазириро барои интиқол тавассути мағозаи калидҳо 1: 1 таъмин кунад ва ин ба онҳо гарон намеояд.

Номи ягонаи ENS барои ҳамаи занҷирҳо

Тасаввур кунед, ки як username.eth дошта бошед, ки новобаста аз он ки қабулкунанда дар кадом занҷир аст, ба ҳамаи ҳисобҳои хурди шумо ҳал мешавад. Ин тарҳ имкон медиҳад. Чӣ хел?


Тавре ки мо аллакай суроғаи ҳисоби калидҳои асосии худро медонем, мо метавонем аз заводҳои бисёрзанҷир ва CREATE2 истифода барем, то суроғаҳои ҳисобҳои хурди худро дар тамоми занҷирҳои эквиваленти EVM, аз ҷумла Ethereum L1 яксон кунанд. Сипас, мо суроғаи ягонаро дар ҳалли ENS муқаррар кардем ва номи мо дар ҳама EVM L2 кор мекунад.


Бо вуҷуди ин, ду ҳолати истисноӣ вуҷуд дорад:

  • EVM-ҳои нобаробари байткод, ба монанди ZK Stack. Барои онҳо, мо метавонем мувофиқи қоидаҳои CREATE2 суроғаи фармоишӣ тавлид кунем ва онро ба ENS бо идентификаторҳои занҷири худ мувофиқи ENSIP-11 илова кунем.
  • N-EVM L2, ба монанди мағозаи калидҳои мо. Мантиқ барои онҳо якхела аст, аммо ба ҷои ин, мо суроғаҳои фармоишии онҳоро ба ENS мувофиқи ENSIP-9 илова мекунем.


Дар ҳоле ки барои UX хеле дӯстона аст, ин равиш миқдори зиёди ҳисобкунӣ ва нигоҳдории гаронбаҳоро дар L1 истифода мебарад, зеро номҳо ва суроғаҳо дар ҳалкунандаҳои L1 нигоҳ дошта мешаванд. Ин мушкилотро бо истифода аз CCIP Read ҳал кардан мумкин аст, аммо ман мантиқи дигари ҳаллу фасл дар занҷирро пайдо кардам:

Ҳар як ҳисоб дар мағозаи калидҳо аз рӯи номи номи ENS ба қайд гирифта ва индексатсия карда мешавад (таҳти як номи ягонаи ENS бо ҳалкунандаи фармоишӣ ба қайд гирифта шудааст). Вақте ки зердомени он ҳал карда мешавад, шартномаи ҳалкунанда тафтиш мекунад, ки оё ҳисоб бо чунин номҳо дар ҷамъоварӣ мавҷуд аст ва номи хешро барои тавлиди суроғаҳои мини-ҳисоб дар асоси CREATE2 истифода мебарад.


Вақте ки инҳо ҷойгир карда мешаванд, онҳо аз L1 маълумотҳои анбори калидиро , ки ба номи номаш ҷойгир карда шудаанд, мепурсанд. Он метавонад худи нияти транзаксия ё танҳо калиди имзои ҷорӣ бошад, вобаста ба татбиқи мағозаи калид. Бо ин роҳ, мо ҳисобҳои мағозаи калидӣ мегирем, ки ҳар кадоме бо номи ENS барои худ ва ҳисобҳои хурди он дар ҳар як ҷамъбаст ҳал мешавад. Ин ҳисобҳои хурд, дар навбати худ, ҳангоми тасдиқи транзаксия бо истифода аз маҷмӯи калидҳо ба ин номи ENS такя мекунанд.


**

Механизмҳои пайдарпай дар ҷамъбастҳои "Keystore+"

Азбаски ниҳоии пул дар маҷмӯи васеи мағозаи калидҳо бояд якчанд блокҳои L1 бошад, мо инчунин метавонем аз секвенсерҳои мутамарказ комилан халос шавем ва онро ба як ҷамъбасти асоснок табдил диҳем. Тавре ки мо қаблан муҳокима карда будем, ~12 сонияи суръати транзаксия барои корбари миёна қобили қабул аст, аммо пайдарпаии бар асоси он ҷамъро ба сензура ва нуқтаҳои ягонаи нокомӣ тобовартар мекунад.

Бояд ба назар гирифт, ки бо пайдарпаии асоси, муомилоти дохилӣ то амалиёти беруна тӯл мекашад (ба истиснои вақти расидан ба L2). Ин метавонад барои баъзе дастаҳо ғайри қобили қабул бошад, зеро пайдарпайии мутамарказ тамоми амалиёти дохилиро фавран иҷро мекунад.

Ҳалли алтернативии муштараки ҷамъоварӣ ё: Чаро ман пайдарпайии муштаракро зикр накардаам

Ман тамоми мақоларо дар атрофи ZK rollups ва технологияи ZK навиштам. Ин аз он иборат аст, ки маҷмӯаҳои оптимистӣ наметавонанд ба таври куллӣ анҷоми объективии зуд дошта бошанд ва чунин амвол танҳо бо истифода аз ZK дастрас аст. Рӯйдодҳои оптимистии имрӯза мавқеи мӯҳри худро дарк мекунанд ва имконпазирии ҳамгироии тарҳҳои эътиборнокро дар стекҳои худ фаъолона таҳқиқ мекунанд, аз ин рӯ, масалан, шарикии охирини Optimism ва RISC Zero .


Тарҳрезии оптимистӣ ба таври куллӣ маҳдудкунанда аст, ки он ҳеҷ гоҳ фаъолияти муштаракро бо дигар ҷамъбастҳо ҳал намекунад. Бо вуҷуди ин, ҳамоҳангсозӣ дар экосистемаи оптимистӣ босуръат инкишоф меёбад. Технологияи аввалиндараҷаи табдилдиҳии оптимистӣ бо ҳамдигар ҳамоҳангсозии муштарак мебошад. Оддӣ карда гӯем, ин механизмест, ки дар он секвенсер метавонад дар як вақт як партияро барои якчанд ҷамъоварӣ созад. Агар ягон транзаксия дар яке аз ҷамъбастҳои пайдарпай беэътибор бошад, тамоми партияро баҳс кардан ва баргардонидан мумкин аст.


Ин ба ҳама партияҳо дар ин "мега-партия" моликияти атомиро медиҳад - ё ҳама партияҳо эътибор доранд ё ҳеҷ. Ин, дар навбати худ, имкон медиҳад, ки таркиби синхронии атомӣ дар дохили партия. Атомӣ - зеро ҳеҷ чиз дар гурӯҳ наметавонад беэътибор бошад, агар он дуруст ва синхронӣ бошад - зеро ҳама паёмнависӣ дар дохили партия аст, ки ҳамзамон аз ҷониби ҳамаи гиреҳҳои ҷамъшуда коркард мешавад.


Ин технология аслан ҳамаи ҷамъбастҳоро дар як стеки муайяни оптимистӣ ба як ҷамъи калон ва шикаста табдил медиҳад. Чаро танҳо як стек ва на ҳама? Зеро барои он ки ин кор кунад, rollups бояд ба як пули ягона пайваст карда шаванд. Ҳар як стек пули худро дорад ва роҳи боэътимоди сохтани гурӯҳҳо дар як вақт дар бисёр пулҳо вуҷуд надорад. Ин маънои онро дорад, ки пайдарпайии муштарак ба OP Mainnet имкон медиҳад, ки бо Base ва Zora бефосила ҳамкорӣ кунад, аммо на Arbitrum ё Metis ва баръакс.


Чунин муттаҳидшавӣ дар экосистемаи ҷамъоварӣ вазъияти хатарнокро ба вуҷуд меорад. Маҷмӯаҳои нав имкон доранд, ки ё ба стеки мавҷуда ҳамроҳ шаванд ва бо он муттаҳид шаванд, аммо на бо ягон каси дигар Ё дар болои ZK сохта шаванд ва бо касе ҷуз стек дар боло ҳамгиро шаванд. Ҳоло ин гуна интихоб вуҷуд надорад, зеро пайдарпаии муштарак ҳанӯз дастрас нест ва ҳар як OP Stack ё Arbitrum Orbit roll-и мустақил буда, пули худро дорад. Аммо, вақте ки онҳо муттаҳид мешаванд, онҳо дар дохили экосистема ду организми сахтро ташкил медиҳанд, ки ҳар кадоми онҳо тақрибан 40% L2s TVL-ро дар бар мегиранд.

"Хуб. Агар онҳо аксарияти кулли TVL-ро дошта бошанд, чаро мо аз ZK халос намешавем ва ба ҷои онҳо дар болои онҳо бино намекунем?»

Пеш аз ҳама, секвенсерҳои муштарак як ронандаи бузурги мутамарказсозӣ мебошанд. Агар шумо секвенсери OP Mainnet-ро иҷро кунед, партияҳои шумо транзаксияҳоро аз дигар ҷамъбастҳо дар стек дар бар намегиранд; шумо аз пардохти камтар кор мекунед ва дар ниҳоят аз ҷониби секвенсерҳои бузурги тиҷоратӣ, ки метавонанд тамоми стекро дар партияҳои худ идора кунанд, дурӣ ҷӯед.


Аммо, мушкили аз ҳама муҳим он аст, ки дар чунин ҳолат, экосистемаи ҷамъшуда дар дохили империяҳои олигополистӣ, ки манфиатҳои шахсии худро дунбол мекунанд, кӯшиш мекунанд, ки назорати бештар бар пойтахтро муқаррар кунанд ва пешрафти технологӣ дар экосистемаро суст кунанд. Он гоҳ мо бояд бо он мубориза барем, ки Ethereum ба як минтақаи ҷудогона табдил ёбад, ки дар он PR ва муборизаи дохилӣ муҳим аст, на технологияҳое, ки ҷаҳонро воқеан тағир медиҳанд.


"Асбобҳо созед, на империяҳо . Империяҳо кӯшиш мекунанд, ки корбарро дар дохили боғи девордор забт кунанд ва ба дом афтонанд; асбобҳо вазифаи худро иҷро мекунанд, аммо дар акси ҳол бо экосистемаи васеътар ҳамкорӣ мекунанд." - Виталик Бутерин


"Чӣ гуна ҷамъ кардани пулҳои муштарак дар ZK аз пайдарпайии муштараки оптимистӣ беҳтар аст?"

Дар пулҳои муштараки ZK rollups, пайдарпайро метавон мустақилона аз дигар rolllups дар купрук анҷом дод. Ҳар як ҷамъоварӣ метавонад пайдарпайии худро дошта бошад ё пайдарпайии муштаракро амалӣ созад. Пешниҳодкунандагоне , ки решаи ҳолати натиҷаро пас аз ҳама партияҳои пайдарпай тасдиқ мекунанд ва онро бо истифода аз ZK исбот мекунанд, ҷамъоварӣ мекунанд.


Гузашта аз ин, хусусияти ниҳоии объективии нисбатан зуд дар rollups ZK, новобаста аз он ки он то чӣ андоза калон мешавад ё то чӣ андоза мутамарказ аст, онҳоро дар дохили экосистемаи худ иҳота намекунад. Вақте ки ZK то дараҷае таҳия карда мешавад, ки далелҳои бузурги zkVM барои системаҳои сершумори исбот зуд тавлид карда шаванд, ҳама стекҳои ҷамъкунии ZK дар асоси ZK тақрибан бефосила кор хоҳанд кард, ба монанди ҷамъи назариявии мағозаи калидҳо, ки дар боло тавсиф шудааст, транзаксияҳоро дар ҳама ҷамъбастҳои дигар дар масъалаи L1 мефиристад. блокҳо.

"Аммо чӣ гуна аст, ки чархболҳои оптимистӣ то ҳол вуҷуд доранд, агар онҳо ин қадар бад бошанд ва алтернатива дар rollups ZK вуҷуд дорад?"

Дар дохили ҷомеаи муҳаққиқон ва одамони баланди техникӣ, консенсус ин аст, ки ZK беҳтарин ҳалли миқёс аст. Ва шумо ҳайрон хоҳед шуд, ки барои корбарони муқаррарӣ ва бинокорон, ҷамъбасти оптимистӣ нисбат ба ZK хеле беҳтар аст! Чӣ хел шуд, ки?


Барои корбарон : экосистемаи хуб ба роҳ мондашуда мавҷуд аст. Ҳама платформаҳо медонанд, ки Arbitrum ва Base чист, dApps ҳамеша пардохтпазирии баланд доранд ва UX хушбӯй аст. Кӯшиш кунед, ки барномаро дар Base номбар кунед, ва шумо фавран Friend.tech , Farcaster , Daimo , Time.fun (ҳоло ба Solana истисноӣ), коллексияҳои гуногуни NFT, ZKP2P-ро ба ёд хоҳед овард. Ҳатто Mirror дар аввал танҳо rollups OP Stack-ро барои сиккагузорӣ дастгирӣ мекард. Кӯшиш кунед, ки барномаро дар ZKsync Era номбар кунед. Ухх...


Барои таҳиякунанда : Муодили мутлақ Ethereum вуҷуд дорад, бинобар ин тамоми инфрасохтори форксҳои Ethereum ва EVM аз қуттӣ кор мекунанд. Ғайр аз ин, ҳуҷҷатҳо тамоми хусусиятҳо ва асбобҳои печидаҳои оптимистиро бодиққат муайян ва шарҳ медиҳанд. Бисёр дарсҳо, курсҳо, марафонҳо, муносибатҳои таҳиягарон ва ғайра мавҷуданд.


Аз тарафи дигар, zkEVM-ҳои сола вуҷуд доранд, ки на ҳамаашон ҳатто эквиваленти байт-код доранд. Ҳамаи онҳо рӯйхати дарози фарқиятҳо ва мушкилот ҳангоми сохтани болои онҳо доранд. Онҳо асосан ба таври кофӣ ҳуҷҷатгузорӣ нашудаанд ва ба инфрасохтори мавҷуда, ки бо шабакаҳо базӯр мувофиқат мекунанд, эътимоди зиёд вуҷуд дорад. Аудити VM-ҳои "мувофиқ" хеле душвор ва гарон аст ва шумо ҳатто барои пурсиши ChatGPT надоред.


Барои корбарон: ZK rollups экосистема надоранд. Ягон замима барои истифода вуҷуд надорад, иҷтимоӣ нест, NFT-ҳои маъмул ё нишонаҳо вуҷуд надорад ва ҳама фаъолиятҳо ба кишоварзии airdrop дохил мешаванд. Шумо барои ҷуфтҳое, ки дар 10 беҳтарин экосистемаи Ethereum нестанд, базӯр пардохтпазириро пайдо хоҳед кард ва DefiLlama вақте ки шумо аз гардиш хаста мешавед, ба намоиши ZK-ро оғоз мекунад.

"Аммо ҷамъбастҳои оптимистӣ воқеан аз рӯи мутобиқат бо инфрасохтори мавҷуда ғолиб меоянд. Чӣ тавр ZK rollups онҳоро дар он зада метавонад?»

Барои ҷалби таҳиягарон ва фаъолият ба платформаи худ ба шумо лозим нест, ки муодили байткод ё blake2f пешакӣ тартиб диҳед. Рӯйхати ZK набояд дар ин беҳтар бошад. Ба ҷои ин, дар ниҳояти зуд ва мутақобилаи онҳо, миқёспазирии пурраи уфуқӣ, амнияти куллан баландтар ва ғайримарказизатсия. Ин аст он чизе, ки бояд дар лоиҳаҳо дар экосистемаи ZK rollups истифода шавад, то онҳоро дар экосистема фоидаовар гардонад.


Ман ин мақоларо барои он навиштам, то тасвири мукаммали ҳамаи ин технологияҳо, аз ҷумла ZK rollups, ки дар ин муддат дар ин минтақа пайдо ва инкишоф ёфтанд ва нишон диҳанд, ки чӣ гуна онҳоро барои ҳалли муҳимтарин мушкили имрӯза дар ин соҳа истифода бурдан мумкин аст - ҳамоҳангсозии муштарак. Мо бояд ZK ва манфиатҳои бепоёни онро қабул кунем. Мо бояд онҳоро ба манфиати худ истифода барем, то чизҳоеро созем, ки моро ба макони ҳама дар ҷаҳон табдил додани Web3 наздиктар мекунанд.

Баррасии ҳалли муштараки ҷории Ethereum


Ин шояд бузургтарин ҷадвали муқоисавӣ бошад, ки ман то ҳол сохтаам. Тааҷҷубовар нест - дар соли гузашта, ҷомеаи Ethereum бисёр ғояҳо ва технологияҳои навро пешниҳод кард, ки метавонанд ба таври фасеҳ муттаҳид шаванд ва идора карда шаванд, то ҳалли комилан наверо эҷод кунанд, ки мушкилоти мубрами минтақаро, ҳатто бо технологияи мавҷуда ҳал кунанд.


Бале, ман то ҳол итминон дорам, ки ҳамкории муштарак мушкилтарин мушкилиест, ки моро аз ворид шудан ба тамоми ҷаҳон ба Web3 бозмедорад. Миқёс дигар он қадар фаврӣ нест — 4844 ба мо имкон медиҳад, ки то ҳазор транзаксияро дар як сония иҷро кунем, ки бо фаъолияти молиявӣ дар кишварҳои калонтарини ҷаҳон муқоиса карда мешавад; PeerDAS ба зудӣ меояд ва ин боз ҳам бештар хоҳад шуд. Бо вуҷуди ин, тақсимшавӣ то ҳол ба экосистемаи Ethereum таҳдиди ҷиддӣ дорад. Новобаста аз он ки он чӣ қадар калон мешавад, экосистема набояд ҳамчун даҳҳо империяи алоҳида, балки ҳамчун як механизми бузург эҳсос кунад. Он қадар гуногун, вале хеле якхела.


Мо барвақт нестем ва ин мақола бояд ба шумо инро нишон диҳад. Мо бояд тамоми қувваҳои худро барои таҳияи системаҳои корӣ истифода барем, ки ба ҳамкории экосистемаи азими L2 кӯмак расонанд. Ин ҳоло имконпазир аст. Ба қарибӣ, шумо бояд дар ҳама гуна DAO иштирок кунед ва ҳама гуна дороиҳоро ба ENS фиристед, ки соҳиби он аз шумо якчанд ҳазор километр дур аст. Сарҳадҳои ҷуғрофӣ набояд бо сарҳадҳои рақамӣ иваз карда шаванд.


Агар ба шумо ин кор писанд омада бошад, бо рисолаи он розӣ шавед, чизи навро омӯхтаед ё мехоҳед ин хабарро минбаъд паҳн кунед — онро дар шабакаҳои иҷтимоӣ мубодила кунед, шарҳҳои худро гузоред ва дар бораи аҳамияти муштараки муштарак бештар сӯҳбат кунед. Ташаккур барои хондан.


Шарҳи муаллиф: Варианти ин мақола қаблан дар ин ҷо нашр шуда буд.

L O A D I N G
. . . comments & more!

About Author

2077 Research HackerNoon profile picture
2077 Research@2077research
Blockchain research 🔬 Deep dives and analyses surrounding the latest within Ethereum and the wider crypto landscape

ТЕГИ овезон кунед

ИН МАКОЛА ДАР...