زیرو-نالج رول اپس

زیرو-نالج رول اپس (ZK-rollups) لیئر 2 اسکیلنگ حل ہیں جو کمپیوٹیشن اور اسٹیٹ-اسٹوریج کو آف چین منتقل کرکے Ethereum Mainnet پر تھرو پُٹ میں اضافہ کرتے ہیں۔ ZK-rollups ایک بیچ میں ہزاروں ٹرانزیکشنز پر کارروائی کر سکتے ہیں اور پھر Mainnet پر صرف کچھ کم سے کم سمری ڈیٹا پوسٹ کرتے ہیں۔ یہ سمری ڈیٹا ان تبدیلیوں کی وضاحت کرتا ہے جو ایتھیریم اسٹیٹ میں کی جانی چاہئیں اور اس بات کا کرپٹوگرافک ثبوت فراہم کرتا ہے کہ وہ تبدیلیاں درست ہیں۔

شرائط

آپ کو ایتھریم اسکیلنگ اور لئیر 2 پر ہمارا صفحہ پڑھا اور سمجھا ہوا ہونا چاہیے۔

زیرو-نالج رول اپس کیا ہیں؟

زیرو-نالج رول اپس (ZK-rollups) ٹرانزیکشنز کو بیچوں میں بنڈل (یا 'رول اپ') کرتے ہیں جنہیں آف چین عمل میں لایا جاتا ہے۔ آف چین کمپیوٹیشن ڈیٹا کی اس مقدار کو کم کرتا ہے جسے بلاک چین پر پوسٹ کرنا پڑتا ہے۔ ZK-rollup آپریٹرز ہر ٹرانزیکشن کو انفرادی طور پر بھیجنے کے بجائے، ایک بیچ میں تمام ٹرانزیکشنز کی نمائندگی کے لیے درکار تبدیلیوں کا خلاصہ جمع کراتے ہیں۔ وہ اپنی تبدیلیوں کی درستگی کو ثابت کرنے کے لیے بھی تیار کرتے ہیں۔

ZK-rollup کا اسٹیٹ Ethereum نیٹ ورک پر ڈیپلائے کیے گئے ایک اسمارٹ کنٹریکٹ کے ذریعے برقرار رکھا جاتا ہے۔ اس اسٹیٹ کو اپ ڈیٹ کرنے کے لیے، ZK-rollup نوڈز کو تصدیق کے لیے ایک ویلیڈیٹی پروف جمع کرانا ہوگا۔ جیسا کہ ذکر کیا گیا ہے، ویلیڈیٹی پروف ایک کرپٹوگرافک یقین دہانی ہے کہ رول اپ کی طرف سے تجویز کردہ اسٹیٹ-چینج واقعی دیے گئے ٹرانزیکشنز کے بیچ کو انجام دینے کا نتیجہ ہے۔ اس کا مطلب ہے کہ ZK-rollups کو Ethereum پر ٹرانزیکشنز کو حتمی شکل دینے کے لیے صرف ویلیڈیٹی پروف فراہم کرنے کی ضرورت ہوتی ہے، بجائے اس کے کہ آپٹیمسٹک رول اپس کی طرح تمام ٹرانزیکشن ڈیٹا کو آن چین پوسٹ کیا جائے۔

ZK-rollup سے Ethereum میں فنڈز منتقل کرتے وقت کوئی تاخیر نہیں ہوتی ہے کیونکہ ایگزٹ ٹرانزیکشنز پر عمل درآمد اس وقت ہو جاتا ہے جب ZK-rollup کنٹریکٹ ویلیڈیٹی پروف کی تصدیق کر لیتا ہے۔ اس کے برعکس، آپٹیمسٹک رول اپس سے فنڈز نکالنے میں تاخیر ہوتی ہے تاکہ کوئی بھی کے ساتھ ایگزٹ ٹرانزیکشن کو چیلنج کر سکے۔

ZK-rollups ٹرانزیکشنز کو Ethereum پر calldata کے طور پر لکھتے ہیں۔ calldata وہ جگہ ہے جہاں وہ ڈیٹا اسٹور کیا جاتا ہے جو اسمارٹ کنٹریکٹ فنکشنز کی بیرونی کالز میں شامل ہوتا ہے۔ calldata میں موجود معلومات بلاک چین پر شائع کی جاتی ہیں، جس سے کوئی بھی آزادانہ طور پر رول اپ کے اسٹیٹ کو دوبارہ تشکیل دے سکتا ہے۔ ZK-rollups ٹرانزیکشن ڈیٹا کو کم کرنے کے لیے کمپریشن تکنیک کا استعمال کرتے ہیں—مثال کے طور پر، اکاؤنٹس کو ایڈریس کے بجائے ایک انڈیکس کے ذریعے دکھایا جاتا ہے، جس سے 28 بائٹس ڈیٹا کی بچت ہوتی ہے۔ آن چین ڈیٹا کی اشاعت رول اپس کے لیے ایک اہم لاگت ہے، اس لیے ڈیٹا کمپریشن صارفین کے لیے فیس کو کم کر سکتا ہے۔

ZK-rollups ایتھیریم کے ساتھ کیسے تعامل کرتے ہیں؟

ایک ZK-rollup چین ایک آف چین پروٹوکول ہے جو Ethereum بلاک چین کے اوپر کام کرتا ہے اور اسے آن چین Ethereum اسمارٹ کنٹریکٹس کے ذریعے منظم کیا جاتا ہے۔ ZK-rollups ٹرانزیکشنز کو Mainnet سے باہر انجام دیتے ہیں، لیکن وقتاً فوقتاً آف چین ٹرانزیکشن بیچوں کو ایک آن چین رول اپ کنٹریکٹ میں کمٹ کرتے ہیں۔ یہ ٹرانزیکشن ریکارڈ ناقابل تغیر ہے، بالکل Ethereum بلاک چین کی طرح، اور ZK-rollup چین بناتا ہے۔

ZK-rollup کے بنیادی فن تعمیر میں درج ذیل اجزاء شامل ہیں:

آن چین کنٹریکٹس: جیسا کہ ذکر کیا گیا ہے، ZK-rollup پروٹوکول کو Ethereum پر چلنے والے اسمارٹ کنٹریکٹس کے ذریعے کنٹرول کیا جاتا ہے۔ اس میں مین کنٹریکٹ شامل ہے جو رول اپ بلاکس کو اسٹور کرتا ہے، ڈپازٹس کو ٹریک کرتا ہے، اور اسٹیٹ اپ ڈیٹس کی نگرانی کرتا ہے۔ ایک اور آن چین کنٹریکٹ (ویریفائر کنٹریکٹ) بلاک پروڈیوسرز کے ذریعے جمع کرائے گئے زیرو-نالج پروف کی تصدیق کرتا ہے۔ اس طرح، Ethereum ZK-rollup کے لیے بیس لیئر یا "لیئر 1" کے طور پر کام کرتا ہے۔
آف چین ورچوئل مشین (VM): جب کہ ZK-rollup پروٹوکول Ethereum پر رہتا ہے، ٹرانزیکشن پر عمل درآمد اور اسٹیٹ اسٹوریج EVM سے آزاد ایک علیحدہ ورچوئل مشین پر ہوتا ہے۔ یہ آف چین VM ZK-rollup پر ٹرانزیکشنز کے لیے ایگزیکیوشن ماحول ہے اور ZK-rollup پروٹوکول کے لیے ثانوی پرت یا "لیئر 2" کے طور پر کام کرتا ہے۔ Ethereum Mainnet پر تصدیق شدہ ویلیڈیٹی پروف آف چین VM میں اسٹیٹ ٹرانزیشن کی درستگی کی ضمانت دیتے ہیں۔

ZK-rollups "ہائبرڈ اسکیلنگ حل" ہیں—آف چین پروٹوکول جو آزادانہ طور پر کام کرتے ہیں لیکن Ethereum سے سیکیورٹی حاصل کرتے ہیں۔ خاص طور پر، Ethereum نیٹ ورک ZK-rollup پر اسٹیٹ اپ ڈیٹس کی درستگی کو نافذ کرتا ہے اور رول اپ کے اسٹیٹ میں ہر اپ ڈیٹ کے پیچھے ڈیٹا کی دستیابی کی ضمانت دیتا ہے۔ نتیجے کے طور پر، ZK-rollups خالص آف چین اسکیلنگ حلوں سے کافی زیادہ محفوظ ہیں، جیسے کہ سائیڈ چینز، جو اپنی سیکیورٹی خصوصیات کے لیے خود ذمہ دار ہیں، یا ویلیڈیمز، جو ویلیڈیٹی پروف کے ساتھ Ethereum پر ٹرانزیکشنز کی تصدیق بھی کرتے ہیں، لیکن ٹرانزیکشن ڈیٹا کہیں اور اسٹور کرتے ہیں۔

ZK-rollups درج ذیل کے لیے مرکزی Ethereum پروٹوکول پر انحصار کرتے ہیں:

ڈیٹا کی دستیابی

ZK-rollups آف چین پر کارروائی کیے گئے ہر ٹرانزیکشن کے لیے اسٹیٹ ڈیٹا کو Ethereum پر شائع کرتے ہیں۔ اس ڈیٹا کے ساتھ، افراد یا کاروبار کے لیے رول اپ کے اسٹیٹ کو دوبارہ پیش کرنا اور خود چین کی توثیق کرنا ممکن ہے۔ Ethereum اس ڈیٹا کو نیٹ ورک کے تمام شرکاء کے لیے calldata کے طور پر دستیاب کرتا ہے۔

ZK-rollups کو آن چین زیادہ ٹرانزیکشن ڈیٹا شائع کرنے کی ضرورت نہیں ہے کیونکہ ویلیڈیٹی پروف پہلے ہی اسٹیٹ ٹرانزیشن کی صداقت کی تصدیق کر چکے ہیں۔ اس کے باوجود، آن چین ڈیٹا اسٹور کرنا اب بھی اہم ہے کیونکہ یہ L2 چین کے اسٹیٹ کی اجازت کے بغیر، آزادانہ تصدیق کی اجازت دیتا ہے جس کے نتیجے میں کسی کو بھی ٹرانزیکشنز کے بیچ جمع کرانے کی اجازت ملتی ہے، جس سے بدنیتی پر مبنی آپریٹرز کو چین کو سنسر کرنے یا منجمد کرنے سے روکا جاتا ہے۔

صارفین کو رول اپ کے ساتھ تعامل کرنے کے لیے آن چین کی ضرورت ہے۔ اسٹیٹ ڈیٹا تک رسائی کے بغیر صارفین اپنے اکاؤنٹ کا بیلنس دریافت نہیں کر سکتے یا ایسی ٹرانزیکشنز (جیسے، نکاسی) شروع نہیں کر سکتے جو اسٹیٹ کی معلومات پر انحصار کرتی ہیں۔

ٹرانزیکشن کی حتمیت

Ethereum ZK-rollups کے لیے ایک سیٹلمنٹ لیئر کے طور پر کام کرتا ہے: L2 ٹرانزیکشنز صرف اس صورت میں حتمی شکل دی جاتی ہیں جب L1 کنٹریکٹ ویلیڈیٹی پروف کو قبول کرتا ہے۔ اس سے بدنیتی پر مبنی آپریٹرز کے چین کو خراب کرنے (جیسے، رول اپ فنڈز چوری کرنا) کے خطرے کو ختم کرتا ہے کیونکہ ہر ٹرانزیکشن کو Mainnet پر منظور ہونا ضروری ہے۔ اس کے علاوہ، Ethereum اس بات کی ضمانت دیتا ہے کہ L1 پر حتمی شکل دینے کے بعد صارف کے آپریشنز کو واپس نہیں کیا جا سکتا۔

سنسرشپ مزاحمت

زیادہ تر ZK-rollups ٹرانزیکشنز پر عمل درآمد کرنے، بیچ تیار کرنے اور L1 میں بلاکس جمع کرانے کے لیے ایک "سپر نوڈ" (آپریٹر) کا استعمال کرتے ہیں۔ اگرچہ یہ کارکردگی کو یقینی بناتا ہے، لیکن یہ سنسرشپ کے خطرے کو بڑھاتا ہے: بدنیتی پر مبنی ZK-rollup آپریٹرز صارفین کو ان کے ٹرانزیکشنز کو بیچوں میں شامل کرنے سے انکار کرکے سنسر کر سکتے ہیں۔

ایک حفاظتی اقدام کے طور پر، ZK-rollups صارفین کو براہ راست Mainnet پر رول اپ کنٹریکٹ میں ٹرانزیکشنز جمع کرانے کی اجازت دیتے ہیں اگر وہ سوچتے ہیں کہ آپریٹر ان کو سنسر کر رہا ہے۔ اس سے صارفین آپریٹر کی اجازت پر انحصار کیے بغیر ZK-rollup سے Ethereum تک جبری اخراج کر سکتے ہیں۔

ZK-rollups کیسے کام کرتے ہیں؟

ٹرانزیکشنز

ZK-rollup میں صارفین ٹرانزیکشنز پر دستخط کرتے ہیں اور پروسیسنگ اور اگلے بیچ میں شامل کرنے کے لیے L2 آپریٹرز کو جمع کراتے ہیں۔ کچھ معاملات میں، آپریٹر ایک مرکزی ادارہ ہے، جسے سیکوینسر کہا جاتا ہے، جو ٹرانزیکشنز کو انجام دیتا ہے، انہیں بیچوں میں جمع کرتا ہے، اور L1 کو جمع کراتا ہے۔ اس سسٹم میں سیکوینسر واحد ادارہ ہے جسے L2 بلاکس تیار کرنے اور ZK-rollup کنٹریکٹ میں رول اپ ٹرانزیکشنز شامل کرنے کی اجازت ہے۔

دیگر ZK-rollups پروف-آف-اسٹیک توثیق کار سیٹ کا استعمال کرکے آپریٹر کے کردار کو گھما سکتے ہیں۔ متوقع آپریٹرز رول اپ کنٹریکٹ میں فنڈز جمع کرتے ہیں، ہر اسٹیک کا سائز اگلے رول اپ بیچ کو تیار کرنے کے لیے منتخب ہونے کے اسٹیکر کے امکانات کو متاثر کرتا ہے۔ اگر آپریٹر بدنیتی سے کام کرتا ہے تو اس کے اسٹیک کو سلیش کیا جاسکتا ہے، جو انہیں درست بلاکس پوسٹ کرنے کی ترغیب دیتا ہے۔

ZK-rollups Ethereum پر ٹرانزیکشن ڈیٹا کیسے شائع کرتے ہیں

جیسا کہ وضاحت کی گئی ہے، ٹرانزیکشن ڈیٹا کو Ethereum پر calldata کے طور پر شائع کیا جاتا ہے۔ calldata ایک اسمارٹ کنٹریکٹ میں ایک ڈیٹا ایریا ہے جو کسی فنکشن میں دلائل منتقل کرنے کے لیے استعمال ہوتا ہے اور میموری کی طرح برتاؤ کرتا ہے۔ اگرچہ calldata کو Ethereum کے اسٹیٹ کے حصے کے طور پر اسٹور نہیں کیا جاتا ہے، یہ Ethereum چین کے ہسٹری لاگز (opens in a new tab) کے حصے کے طور پر آن چین برقرار رہتا ہے۔ calldata Ethereum کے اسٹیٹ کو متاثر نہیں کرتا ہے، جو اسے آن چین ڈیٹا اسٹور کرنے کا ایک سستا طریقہ بناتا ہے۔

calldata کلیدی لفظ اکثر اسمارٹ کنٹریکٹ کے طریقہ کار کی نشاندہی کرتا ہے جسے کسی ٹرانزیکشن کے ذریعے بلایا جا رہا ہے اور اس طریقہ کار کے ان پٹس کو بائٹس کی ایک صوابدیدی ترتیب کی شکل میں رکھتا ہے۔ ZK-rollups کمپریسڈ ٹرانزیکشن ڈیٹا کو آن چین شائع کرنے کے لیے calldata کا استعمال کرتے ہیں؛ رول اپ آپریٹر صرف رول اپ کنٹریکٹ میں مطلوبہ فنکشن کو کال کرکے ایک نیا بیچ شامل کرتا ہے اور کمپریسڈ ڈیٹا کو فنکشن آرگیومنٹس کے طور پر پاس کرتا ہے۔ اس سے صارفین کے لیے لاگت کو کم کرنے میں مدد ملتی ہے کیونکہ رول اپ فیس کا ایک بڑا حصہ آن چین ٹرانزیکشن ڈیٹا کو اسٹور کرنے پر جاتا ہے۔

اسٹیٹ کمٹمنٹس

ZK-rollup کا اسٹیٹ، جس میں L2 اکاؤنٹس اور بیلنس شامل ہیں، کو ایک مرکل ٹری کے طور پر دکھایا جاتا ہے۔ مرکل ٹری کے روٹ (مرکل روٹ) کا ایک کرپٹوگرافک ہیش آن چین کنٹریکٹ میں اسٹور کیا جاتا ہے، جس سے رول اپ پروٹوکول کو ZK-rollup کے اسٹیٹ میں تبدیلیوں کو ٹریک کرنے کی اجازت ملتی ہے۔

رول اپ ٹرانزیکشنز کے ایک نئے سیٹ کے عمل درآمد کے بعد ایک نئے اسٹیٹ میں منتقل ہوجاتا ہے۔ اسٹیٹ کی منتقلی شروع کرنے والے آپریٹر کو ایک نیا اسٹیٹ روٹ کا حساب لگانے اور آن چین کنٹریکٹ میں جمع کرانے کی ضرورت ہوتی ہے۔ اگر بیچ سے وابستہ ویلیڈیٹی پروف کی تصدیق ویریفائر کنٹریکٹ کے ذریعے کی جاتی ہے، تو نیا مرکل روٹ ZK-rollup کا کینونیکل اسٹیٹ روٹ بن جاتا ہے۔

اسٹیٹ روٹس کا حساب لگانے کے علاوہ، ZK-rollup آپریٹر ایک بیچ روٹ بھی بناتا ہے — ایک مرکل ٹری کا روٹ جس میں ایک بیچ کے تمام ٹرانزیکشنز شامل ہوتے ہیں۔ جب کوئی نیا بیچ جمع کیا جاتا ہے، تو رول اپ کنٹریکٹ بیچ روٹ کو اسٹور کرتا ہے، جس سے صارفین کو یہ ثابت کرنے کی اجازت ملتی ہے کہ ایک ٹرانزیکشن (جیسے، واپسی کی درخواست) بیچ میں شامل تھا۔ صارفین کو ٹرانزیکشن کی تفصیلات، بیچ روٹ، اور ایک مرکل پروف فراہم کرنا ہوگا جو شمولیت کا راستہ دکھاتا ہے۔

ویلیڈیٹی پروف

نیا اسٹیٹ روٹ جو ZK-rollup آپریٹر L1 کنٹریکٹ میں جمع کرتا ہے، وہ رول اپ کے اسٹیٹ میں اپ ڈیٹس کا نتیجہ ہے۔ فرض کریں ایلس باب کو 10 ٹوکن بھیجتی ہے، آپریٹر صرف ایلس کے بیلنس میں 10 کی کمی کرتا ہے اور باب کے بیلنس میں 10 کا اضافہ کرتا ہے۔ آپریٹر پھر اپ ڈیٹ شدہ اکاؤنٹ ڈیٹا کو ہیش کرتا ہے، رول اپ کے مرکل ٹری کو دوبارہ بناتا ہے، اور نیا مرکل روٹ آن چین کنٹریکٹ میں جمع کرتا ہے۔

لیکن رول اپ کنٹریکٹ خود بخود مجوزہ اسٹیٹ کمٹمنٹ کو قبول نہیں کرے گا جب تک کہ آپریٹر یہ ثابت نہ کر دے کہ نیا مرکل روٹ رول اپ کے اسٹیٹ میں درست اپ ڈیٹس کا نتیجہ ہے۔ ZK-rollup آپریٹر ایک ویلیڈیٹی پروف تیار کرکے ایسا کرتا ہے، جو ایک مختصر کرپٹوگرافک کمٹمنٹ ہے جو بیچڈ ٹرانزیکشنز کی درستگی کی تصدیق کرتا ہے۔

ویلیڈیٹی پروف فریقین کو بیان کو ظاہر کیے بغیر اس کی درستگی کو ثابت کرنے کی اجازت دیتے ہیں—اس لیے، انہیں زیرو-نالج پروف بھی کہا جاتا ہے۔ ZK-rollups Ethereum پر ٹرانزیکشنز کو دوبارہ انجام دیے بغیر آف چین اسٹیٹ ٹرانزیشن کی درستگی کی تصدیق کے لیے ویلیڈیٹی پروف کا استعمال کرتے ہیں۔ یہ ثبوت ZK-SNARK (opens in a new tab) (زیرو-نالج سکسینکٹ نان-انٹرایکٹو آرگیومنٹ آف نالج) یا ZK-STARK (opens in a new tab) (زیرو-نالج اسکیل ایبل ٹرانسپیرنٹ آرگیومنٹ آف نالج) کی شکل میں آسکتے ہیں۔

SNARKs اور STARKs دونوں ZK-rollups میں آف چین کمپیوٹیشن کی سالمیت کی تصدیق میں مدد کرتے ہیں، حالانکہ ہر پروف کی قسم کی اپنی الگ خصوصیات ہیں۔

ZK-SNARKs

ZK-SNARK پروٹوکول کے کام کرنے کے لیے، ایک کامن ریفرنس اسٹرنگ (CRS) بنانا ضروری ہے: CRS ویلیڈیٹی پروف کو ثابت کرنے اور تصدیق کرنے کے لیے عوامی پیرامیٹرز فراہم کرتا ہے۔ پروفنگ سسٹم کی سیکیورٹی CRS سیٹ اپ پر منحصر ہے؛ اگر عوامی پیرامیٹرز بنانے کے لیے استعمال ہونے والی معلومات بدنیتی پر مبنی اداکاروں کے قبضے میں آجاتی ہیں تو وہ غلط ویلیڈیٹی پروف تیار کرنے کے قابل ہو سکتے ہیں۔

کچھ ZK-rollups اس مسئلے کو حل کرنے کی کوشش کرتے ہیں جس میں ملٹی پارٹی کمپیوٹیشن سیریمونی (MPC) (opens in a new tab) کا استعمال کیا جاتا ہے، جس میں قابل اعتماد افراد شامل ہوتے ہیں، تاکہ ZK-SNARK سرکٹ کے لیے عوامی پیرامیٹرز تیار کیے جاسکیں۔ ہر پارٹی CRS کی تعمیر میں کچھ بے ترتیبی (جسے "زہریلا فضلہ" کہا جاتا ہے) کا حصہ ڈالتی ہے، جسے انہیں فوری طور پر تباہ کرنا ہوگا۔

قابل اعتماد سیٹ اپ استعمال کیے جاتے ہیں کیونکہ وہ CRS سیٹ اپ کی سیکیورٹی کو بڑھاتے ہیں۔ جب تک ایک ایماندار شریک اپنے ان پٹ کو تباہ کرتا ہے، ZK-SNARK سسٹم کی سیکیورٹی کی ضمانت دی جاتی ہے۔ پھر بھی، اس نقطہ نظر میں شامل افراد پر بھروسہ کرنے کی ضرورت ہے کہ وہ اپنی نمونہ کردہ بے ترتیبی کو حذف کریں اور سسٹم کی سیکیورٹی کی ضمانتوں کو کمزور نہ کریں۔

اعتماد کے مفروضوں کے علاوہ، ZK-SNARKs اپنے چھوٹے پروف سائز اور مستقل وقت کی تصدیق کے لیے مقبول ہیں۔ چونکہ L1 پر پروف کی تصدیق ZK-rollup کو چلانے کی بڑی لاگت پر مشتمل ہے، L2s ZK-SNARKs کا استعمال ایسے پروف تیار کرنے کے لیے کرتے ہیں جن کی Mainnet پر جلدی اور سستے طریقے سے تصدیق کی جا سکے۔

ZK-STARKs

ZK-SNARKs کی طرح، ZK-STARKs ان پٹ کو ظاہر کیے بغیر آف چین کمپیوٹیشن کی درستگی کو ثابت کرتے ہیں۔ تاہم، ZK-STARKs کو ان کی اسکیل ایبلٹی اور شفافیت کی وجہ سے ZK-SNARKs پر ایک بہتری سمجھا جاتا ہے۔

ZK-STARKs 'شفاف' ہیں، کیونکہ وہ کامن ریفرنس اسٹرنگ (CRS) کے قابل اعتماد سیٹ اپ کے بغیر کام کر سکتے ہیں۔ اس کے بجائے، ZK-STARKs پروف تیار کرنے اور تصدیق کرنے کے لیے پیرامیٹرز سیٹ کرنے کے لیے عوامی طور پر قابل تصدیق بے ترتیبی پر انحصار کرتے ہیں۔

ZK-STARKs زیادہ اسکیل ایبلٹی بھی فراہم کرتے ہیں کیونکہ ویلیڈیٹی پروف کو ثابت کرنے اور تصدیق کرنے کے لیے درکار وقت بنیادی کمپیوٹیشن کی پیچیدگی کے سلسلے میں کواسی لینیئرلی طور پر بڑھتا ہے۔ ZK-SNARKs کے ساتھ، ثابت کرنے اور تصدیق کرنے کا وقت بنیادی کمپیوٹیشن کے سائز کے سلسلے میں لینیئرلی طور پر اسکیل ہوتا ہے۔ اس کا مطلب ہے کہ ZK-STARKs کو ZK-SNARKs کے مقابلے میں ثابت کرنے اور تصدیق کرنے میں کم وقت درکار ہوتا ہے جب بڑے ڈیٹاسیٹ شامل ہوتے ہیں، جو انہیں زیادہ حجم والی ایپلی کیشنز کے لیے مفید بناتا ہے۔

ZK-STARKs کوانٹم کمپیوٹرز کے خلاف بھی محفوظ ہیں، جبکہ ZK-SNARKs میں استعمال ہونے والی ایلیپٹک کرو کرپٹوگرافی (ECC) کے بارے میں وسیع پیمانے پر خیال کیا جاتا ہے کہ وہ کوانٹم کمپیوٹنگ حملوں کے لیے حساس ہے۔ ZK-STARKs کا نقصان یہ ہے کہ وہ بڑے پروف سائز تیار کرتے ہیں، جن کی Ethereum پر تصدیق کرنا زیادہ مہنگا ہوتا ہے۔

ZK-rollups میں ویلیڈیٹی پروف کیسے کام کرتے ہیں؟

پروف کی تیاری

ٹرانزیکشنز قبول کرنے سے پہلے، آپریٹر معمول کی جانچ پڑتال کرے گا۔ اس میں اس بات کی تصدیق شامل ہے کہ:

بھیجنے والے اور وصول کنندہ کے اکاؤنٹس اسٹیٹ ٹری کا حصہ ہیں۔
بھیجنے والے کے پاس ٹرانزیکشن پر کارروائی کرنے کے لیے کافی فنڈز ہیں۔
ٹرانزیکشن درست ہے اور رول اپ پر بھیجنے والے کی پبلک کلید سے میل کھاتا ہے۔
بھیجنے والے کا نونس درست ہے، وغیرہ۔

ایک بار جب ZK-rollup نوڈ کے پاس کافی ٹرانزیکشنز ہو جاتے ہیں، تو وہ انہیں ایک بیچ میں جمع کرتا ہے اور پروفنگ سرکٹ کے لیے ان پٹس کو مرتب کرتا ہے تاکہ ایک مختصر ZK-پروف میں مرتب کیا جا سکے۔ اس میں شامل ہیں:

ایک مرکل ٹری روٹ جس میں بیچ کے تمام ٹرانزیکشنز شامل ہیں۔
بیچ میں شمولیت ثابت کرنے کے لیے ٹرانزیکشنز کے لیے مرکل پروف۔
ٹرانزیکشنز میں ہر بھیجنے والے-وصول کنندہ جوڑے کے لیے مرکل پروف یہ ثابت کرنے کے لیے کہ وہ اکاؤنٹس رول اپ کے اسٹیٹ ٹری کا حصہ ہیں۔
انٹرمیڈیٹ اسٹیٹ روٹس کا ایک سیٹ، جو ہر ٹرانزیکشن کے لیے اسٹیٹ اپ ڈیٹس لاگو کرنے کے بعد اسٹیٹ روٹ کو اپ ڈیٹ کرنے سے حاصل ہوتا ہے (یعنی، بھیجنے والے اکاؤنٹس کو کم کرنا اور وصول کنندہ اکاؤنٹس میں اضافہ کرنا)۔

پروفنگ سرکٹ ہر ٹرانزیکشن پر "لوپنگ" کرکے ویلیڈیٹی پروف کا حساب لگاتا ہے اور وہی جانچ پڑتال کرتا ہے جو آپریٹر نے ٹرانزیکشن پر کارروائی کرنے سے پہلے مکمل کی تھی۔ سب سے پہلے، یہ فراہم کردہ مرکل پروف کا استعمال کرتے ہوئے تصدیق کرتا ہے کہ بھیجنے والے کا اکاؤنٹ موجودہ اسٹیٹ روٹ کا حصہ ہے۔ پھر یہ بھیجنے والے کے بیلنس کو کم کرتا ہے، ان کے نونس کو بڑھاتا ہے، اپ ڈیٹ شدہ اکاؤنٹ ڈیٹا کو ہیش کرتا ہے اور اسے مرکل پروف کے ساتھ ملا کر ایک نیا مرکل روٹ تیار کرتا ہے۔

یہ مرکل روٹ ZK-rollup کے اسٹیٹ میں واحد تبدیلی کی عکاسی کرتا ہے: بھیجنے والے کے بیلنس اور نونس میں تبدیلی۔ یہ ممکن ہے کیونکہ اکاؤنٹ کے وجود کو ثابت کرنے کے لیے استعمال ہونے والا مرکل پروف نیا اسٹیٹ روٹ حاصل کرنے کے لیے استعمال ہوتا ہے۔

پروفنگ سرکٹ وصول کنندہ کے اکاؤنٹ پر بھی یہی عمل انجام دیتا ہے۔ یہ چیک کرتا ہے کہ آیا وصول کنندہ کا اکاؤنٹ انٹرمیڈیٹ اسٹیٹ روٹ کے تحت موجود ہے (مرکل پروف کا استعمال کرتے ہوئے)، ان کے بیلنس کو بڑھاتا ہے، اکاؤنٹ ڈیٹا کو دوبارہ ہیش کرتا ہے اور اسے مرکل پروف کے ساتھ ملا کر ایک نیا اسٹیٹ روٹ تیار کرتا ہے۔

یہ عمل ہر ٹرانزیکشن کے لیے دہرایا جاتا ہے؛ ہر "لوپ" بھیجنے والے کے اکاؤنٹ کو اپ ڈیٹ کرنے سے ایک نیا اسٹیٹ روٹ اور وصول کنندہ کے اکاؤنٹ کو اپ ڈیٹ کرنے سے ایک نیا روٹ بناتا ہے۔ جیسا کہ وضاحت کی گئی ہے، اسٹیٹ روٹ میں ہر اپ ڈیٹ رول اپ کے اسٹیٹ ٹری کے ایک حصے کی تبدیلی کی نمائندگی کرتا ہے۔

ZK-پروفنگ سرکٹ پورے ٹرانزیکشن بیچ پر اعادہ کرتا ہے، ان اپ ڈیٹس کی ترتیب کی تصدیق کرتا ہے جن کے نتیجے میں آخری ٹرانزیکشن کے عمل میں آنے کے بعد ایک حتمی اسٹیٹ روٹ ہوتا ہے۔ آخری مرکل روٹ جو شمار کیا جاتا ہے وہ ZK-rollup کا جدید ترین کینونیکل اسٹیٹ روٹ بن جاتا ہے۔

پروف کی تصدیق

پروفنگ سرکٹ کے اسٹیٹ اپ ڈیٹس کی درستگی کی تصدیق کے بعد، L2 آپریٹر شمار شدہ ویلیڈیٹی پروف کو L1 پر ویریفائر کنٹریکٹ میں جمع کرتا ہے۔ کنٹریکٹ کا تصدیقی سرکٹ پروف کی درستگی کی تصدیق کرتا ہے اور پروف کا حصہ بننے والے عوامی ان پٹس کو بھی چیک کرتا ہے:

پری-اسٹیٹ روٹ: ZK-rollup کا پرانا اسٹیٹ روٹ (یعنی، بیچڈ ٹرانزیکشنز کے عمل میں آنے سے پہلے)، جو L2 چین کی آخری معلوم درست اسٹیٹ کی عکاسی کرتا ہے۔
پوسٹ-اسٹیٹ روٹ: ZK-rollup کا نیا اسٹیٹ روٹ (یعنی، بیچڈ ٹranzیکshnz کے عمل درآمد کے بعد)، جو L2 چین کی جدید ترین اسٹیٹ کی عکاسی کرتا ہے۔ پوسٹ-اسٹیٹ روٹ پروفنگ سرکٹ میں اسٹیٹ اپ ڈیٹس لاگو کرنے کے بعد حاصل ہونے والا حتمی روٹ ہے۔
بیچ روٹ: بیچ کا مرکل روٹ، جو بیچ میں ٹرانزیکشنز کو مرکلائز کرکے اور ٹری کے روٹ کو ہیش کرکے حاصل کیا جاتا ہے۔
ٹرانزیکشن ان پٹس: جمع کرائے گئے بیچ کے حصے کے طور پر انجام دی گئی ٹرانزیکشنز سے وابستہ ڈیٹا۔

اگر پروف سرکٹ کو مطمئن کرتا ہے (یعنی، یہ درست ہے)، تو اس کا مطلب ہے کہ درست ٹرانزیکشنز کا ایک سلسلہ موجود ہے جو رول اپ کو پچھلے اسٹیٹ (کرپٹوگرافک طور پر پری-اسٹیٹ روٹ کے ذریعے فنگر پرنٹ شدہ) سے ایک نئے اسٹیٹ (کرپٹوگرافک طور پر پوسٹ-اسٹیٹ روٹ کے ذریعے فنگر پرنٹ شدہ) میں منتقل کرتا ہے۔ اگر پری-اسٹیٹ روٹ رول اپ کنٹریکٹ میں اسٹور کیے گئے روٹ سے میل کھاتا ہے، اور پروف درست ہے، تو رول اپ کنٹریکٹ پروف سے پوسٹ-اسٹیٹ روٹ لیتا ہے اور رول اپ کی تبدیل شدہ اسٹیٹ کی عکاسی کرنے کے لیے اپنے اسٹیٹ ٹری کو اپ ڈیٹ کرتا ہے۔

اندراج اور اخراج

صارفین ZK-rollup میں L1 چین پر ڈیپلائے کیے گئے رول اپ کے کنٹریکٹ میں ٹوکن جمع کرکے داخل ہوتے ہیں۔ یہ ٹرانزیکشن قطار میں لگ جاتی ہے کیونکہ صرف آپریٹرز ہی رول اپ کنٹریکٹ میں ٹرانزیکشنز جمع کرا سکتے ہیں۔

اگر زیر التواء ڈپازٹ قطار بھرنے لگتی ہے، تو ZK-rollup آپریٹر ڈپازٹ ٹرانزیکشنز لے کر انہیں رول اپ کنٹریکٹ میں جمع کرائے گا۔ ایک بار جب صارف کے فنڈز رول اپ میں آجائیں، تو وہ پروسیسنگ کے لیے آپریٹر کو ٹرانزیکشنز بھیج کر لین دین شروع کر سکتے ہیں۔ صارفین اپنے اکاؤنٹ ڈیٹا کو ہیش کرکے، ہیش کو رول اپ کنٹریکٹ میں بھیج کر، اور موجودہ اسٹیٹ روٹ کے خلاف تصدیق کے لیے ایک مرکل پروف فراہم کرکے رول اپ پر بیلنس کی تصدیق کر سکتے ہیں۔

ZK-rollup سے L1 میں واپسی سیدھی ہے۔ صارف رول اپ پر اپنے اثاثوں کو جلانے کے لیے ایک مخصوص اکاؤنٹ میں بھیج کر ایگزٹ ٹرانزیکشن شروع کرتا ہے۔ اگر آپریٹر ٹرانزیکشن کو اگلے بیچ میں شامل کرتا ہے، تو صارف آن چین کنٹریکٹ میں واپسی کی درخواست جمع کرا سکتا ہے۔ اس واپسی کی درخواست میں درج ذیل شامل ہوں گے:

مرکل پروف جو ایک ٹرانزیکشن بیچ میں برن اکاؤنٹ میں صارف کے ٹرانزیکشن کی شمولیت کو ثابت کرتا ہے۔
ٹرانزیکشن ڈیٹا
بیچ روٹ
جمع شدہ فنڈز وصول کرنے کے لیے L1 ایڈریس

رول اپ کنٹریکٹ ٹرانزیکشن ڈیٹا کو ہیش کرتا ہے، چیک کرتا ہے کہ آیا بیچ روٹ موجود ہے، اور مرکل پروف کا استعمال کرکے چیک کرتا ہے کہ آیا ٹرانزیکشن ہیش بیچ روٹ کا حصہ ہے۔ اس کے بعد، کنٹریکٹ ایگزٹ ٹرانزیکشن کو انجام دیتا ہے اور فنڈز کو L1 پر صارف کے منتخب کردہ ایڈریس پر بھیجتا ہے۔

ZK-rollups اور EVM مطابقت

آپٹیمسٹک رول اپس کے برعکس، ZK-rollups Ethereum Virtual Machine (EVM) کے ساتھ آسانی سے مطابقت نہیں رکھتے۔ سرکٹس میں عمومی مقصد کے EVM کمپیوٹیشن کو ثابت کرنا سادہ کمپیوٹیشنز (جیسے پہلے بیان کردہ ٹوکن ٹرانسفر) کو ثابت کرنے سے زیادہ مشکل اور وسائل سے بھرپور ہے۔

تاہم، زیرو-نالج ٹیکنالوجی میں ترقی (opens in a new tab) EVM کمپیوٹیشن کو زیرو-نالج پروف میں لپیٹنے میں نئی دلچسپی پیدا کر رہی ہے۔ یہ کوششیں ایک زیرو-نالج EVM (zkEVM) نفاذ بنانے کی طرف مرکوز ہیں جو پروگرام کے عمل کی درستگی کی مؤثر طریقے سے تصدیق کر سکے۔ ایک zkEVM سرکٹس میں ثابت کرنے/تصدیق کرنے کے لیے موجودہ EVM آپ کوڈز کو دوبارہ بناتا ہے، جس سے اسمارٹ کنٹریکٹس پر عمل درآمد کی اجازت ملتی ہے۔

EVM کی طرح، ایک zkEVM کچھ ان پٹس پر کمپیوٹیشن کیے جانے کے بعد اسٹیٹس کے درمیان منتقلی کرتا ہے۔ فرق یہ ہے کہ zkEVM پروگرام کے عمل میں ہر قدم کی درستگی کی تصدیق کے لیے زیرو-نالج پروف بھی بناتا ہے۔ ویلیڈیٹی پروف ان آپریشنز کی درستگی کی تصدیق کر سکتے ہیں جو VM کے اسٹیٹ (میموری، اسٹیک، اسٹوریج) اور خود کمپیوٹیشن کو چھوتے ہیں (یعنی، کیا آپریشن نے صحیح آپ کوڈز کو کال کیا اور انہیں صحیح طریقے سے انجام دیا؟)۔

EVM-مطابقت رکھنے والے ZK-rollups کے تعارف سے امید کی جاتی ہے کہ وہ ڈویلپرز کو زیرو-نالج پروف کی اسکیل ایبلٹی اور سیکیورٹی ضمانتوں سے فائدہ اٹھانے میں مدد کریں گے۔ زیادہ اہم بات یہ ہے کہ مقامی Ethereum انفراسٹرکچر کے ساتھ مطابقت کا مطلب ہے کہ ڈویلپرز مانوس (اور جنگ میں آزمودہ) ٹولنگ اور زبانوں کا استعمال کرتے ہوئے ZK-دوستانہ dapps بنا سکتے ہیں۔

ZK-rollup فیس کیسے کام کرتی ہے؟

ZK-rollups پر ٹرانزیکشنز کے لیے صارفین کتنی رقم ادا کرتے ہیں اس کا انحصار گیس فیس پر ہوتا ہے، بالکل اسی طرح جیسے Ethereum Mainnet پر۔ تاہم، گیس فیس L2 پر مختلف طریقے سے کام کرتی ہے اور درج ذیل اخراجات سے متاثر ہوتی ہے:

اسٹیٹ رائٹ: Ethereum کے اسٹیٹ پر لکھنے کے لیے ایک مقررہ لاگت ہے (یعنی، Ethereum بلاک چین پر ایک ٹرانزیکشن جمع کرانا)۔ ZK-rollups ٹرانزیکشنز کو بیچ کرکے اور مقررہ اخراجات کو متعدد صارفین میں تقسیم کرکے اس لاگت کو کم کرتے ہیں۔
ڈیٹا پبلیکیشن: ZK-rollups ہر ٹرانزیکشن کے لیے اسٹیٹ ڈیٹا کو Ethereum پر calldata کے طور پر شائع کرتے ہیں۔ calldata کی لاگت فی الحال EIP-1559 (opens in a new tab) کے زیر انتظام ہے، جو بالترتیب calldata کے غیر صفر بائٹس کے لیے 16 گیس اور صفر بائٹس کے لیے 4 گیس کی لاگت کا تعین کرتا ہے۔ ہر ٹرانزیکشن پر ادا کی جانے والی لاگت اس بات سے متاثر ہوتی ہے کہ اس کے لیے آن چین کتنا calldata پوسٹ کرنے کی ضرورت ہے۔
L2 آپریٹر فیس: یہ وہ رقم ہے جو رول اپ آپریٹر کو ٹرانزیکشنز پر کارروائی میں ہونے والے کمپیوٹیشنل اخراجات کے معاوضے کے طور پر ادا کی جاتی ہے، بالکل اسی طرح جیسے Ethereum Mainnet پر ٹرانزیکشن "ترجیحی فیس (ٹپس)"۔
پروف کی تیاری اور تصدیق: ZK-rollup آپریٹرز کو ٹرانزیکشن بیچوں کے لیے ویلیڈیٹی پروف تیار کرنا ضروری ہے، جو وسائل سے بھرپور ہے۔ Mainnet پر زیرو-نالج پروف کی تصدیق پر بھی گیس (~ 500,000 گیس) خرچ ہوتی ہے۔

ٹرانزیکشنز کو بیچ کرنے کے علاوہ، ZK-rollups ٹرانزیکشن ڈیٹا کو کمپریس کرکے صارفین کے لیے فیس کو کم کرتے ہیں۔ آپ Ethereum ZK-rollups استعمال کرنے کی لاگت کا ریئل ٹائم جائزہ (opens in a new tab) دیکھ سکتے ہیں۔

ZK-rollups Ethereum کو کیسے اسکیل کرتے ہیں؟

ٹرانزیکشن ڈیٹا کمپریشن

ZK-rollups کمپیوٹیشن کو آف چین لے کر Ethereum کی بیس لیئر پر تھرو پُٹ کو بڑھاتے ہیں، لیکن اسکیلنگ کے لیے اصل فروغ ٹرانزیکشن ڈیٹا کو کمپریس کرنے سے آتا ہے۔ Ethereum کا بلاک سائز ہر بلاک میں موجود ڈیٹا کی مقدار کو محدود کرتا ہے اور، توسیع کے طور پر، فی بلاک پر کارروائی ہونے والے ٹرانزیکشنز کی تعداد کو۔ ٹرانزیکشن سے متعلقہ ڈیٹا کو کمپریس کرکے، ZK-rollups فی بلاک پر کارروائی ہونے والے ٹرانزیکشنز کی تعداد میں نمایاں اضافہ کرتے ہیں۔

ZK-rollups آپٹیمسٹک رول اپس کے مقابلے میں ٹرانزیکشن ڈیٹا کو بہتر طریقے سے کمپریس کر سکتے ہیں کیونکہ انہیں ہر ٹرانزیکشن کی توثیق کے لیے درکار تمام ڈیٹا پوسٹ کرنے کی ضرورت نہیں ہوتی ہے۔ انہیں صرف رول اپ پر اکاؤنٹس اور بیلنس کی تازہ ترین اسٹیٹ کو دوبارہ بنانے کے لیے درکار کم سے کم ڈیٹا پوسٹ کرنا ہوتا ہے۔

ریکرسیو پروفس

زیرو-نالج پروف کا ایک فائدہ یہ ہے کہ پروف دوسرے پروف کی تصدیق کر سکتے ہیں۔ مثال کے طور پر، ایک واحد ZK-SNARK دوسرے ZK-SNARKs کی تصدیق کر سکتا ہے۔ ایسے "پروف-آف-پروف" کو ریکرسیو پروف کہا جاتا ہے اور یہ ZK-rollups پر تھرو پُٹ میں ڈرامائی طور پر اضافہ کرتے ہیں۔

فی الحال، ویلیڈیٹی پروف بلاک بہ بلاک کی بنیاد پر تیار کیے جاتے ہیں اور تصدیق کے لیے L1 کنٹریکٹ میں جمع کرائے جاتے ہیں۔ تاہم، واحد بلاک پروف کی تصدیق اس تھرو پُٹ کو محدود کرتی ہے جسے ZK-rollups حاصل کر سکتے ہیں کیونکہ جب آپریٹر ایک پروف جمع کرتا ہے تو صرف ایک بلاک کو حتمی شکل دی جا سکتی ہے۔

تاہم، ریکرسیو پروف ایک ویلیڈیٹی پروف کے ساتھ کئی بلاکس کو حتمی شکل دینا ممکن بناتے ہیں۔ اس کی وجہ یہ ہے کہ پروفنگ سرکٹ بار بار متعدد بلاک پروف کو جمع کرتا ہے جب تک کہ ایک حتمی پروف نہ بن جائے۔ L2 آپریٹر اس ریکرسیو پروف کو جمع کرتا ہے، اور اگر کنٹریکٹ اسے قبول کرتا ہے، تو تمام متعلقہ بلاکس فوری طور پر حتمی شکل اختیار کر لیں گے۔ ریکرسیو پروف کے ساتھ، ZK-rollup ٹرانزیکشنز کی تعداد جو وقفوں پر Ethereum پر حتمی شکل دی جا سکتی ہے، بڑھ جاتی ہے۔

ZK-rollups کے فائدے اور نقصانات

فوائد	نقصانات
ویلیڈیٹی پروف آف چین ٹرانزیکشنز کی درستگی کو یقینی بناتے ہیں اور آپریٹرز کو غلط اسٹیٹ ٹرانزیشن پر عمل کرنے سے روکتے ہیں۔	ویلیڈیٹی پروف کو کمپیوٹ کرنے اور تصدیق کرنے سے وابستہ لاگت کافی زیادہ ہے اور یہ رول اپ صارفین کے لیے فیس میں اضافہ کر سکتی ہے۔
تیز تر ٹرانزیکشن کی حتمیت پیش کرتا ہے کیونکہ L1 پر ویلیڈیٹی پروف کی تصدیق کے بعد اسٹیٹ اپ ڈیٹس منظور ہو جاتی ہیں۔	زیرو-نالج ٹیکنالوجی کی پیچیدگی کی وجہ سے EVM-مطابقت رکھنے والے ZK-rollups بنانا مشکل ہے۔
سیکیورٹی کے لیے بغیر اعتماد کے کرپٹوگرافک میکانزم پر انحصار کرتا ہے، نہ کہ آپٹیمسٹک رول اپس کی طرح مراعات یافتہ اداکاروں کی ایمانداری پر۔	ویلیڈیٹی پروف تیار کرنے کے لیے خصوصی ہارڈویئر کی ضرورت ہوتی ہے، جو چند پارٹیوں کے ذریعے چین کے مرکزی کنٹرول کی حوصلہ افزائی کر سکتا ہے۔
آف چین اسٹیٹ کو بحال کرنے کے لیے درکار ڈیٹا کو L1 پر اسٹور کرتا ہے، جو سیکیورٹی، سنسرشپ-مزاحمت، اور ڈی سینٹرلائزیشن کی ضمانت دیتا ہے۔	مرکزی آپریٹرز (سیکوینسرز) ٹرانزیکشنز کی ترتیب کو متاثر کر سکتے ہیں۔
صارفین زیادہ کیپٹل کی کارکردگی سے فائدہ اٹھاتے ہیں اور بغیر کسی تاخیر کے L2 سے فنڈز نکال سکتے ہیں۔	ہارڈویئر کی ضروریات شرکاء کی تعداد کو کم کر سکتی ہیں جو چین کو پیشرفت کرنے پر مجبور کر سکتے ہیں، جس سے بدنیتی پر مبنی آپریٹرز کے رول اپ کی اسٹیٹ کو منجمد کرنے اور صارفین کو سنسر کرنے کا خطرہ بڑھ جاتا ہے۔
لائیونس مفروضوں پر انحصار نہیں کرتا اور صارفین کو اپنے فنڈز کی حفاظت کے لیے چین کی توثیق کرنے کی ضرورت نہیں ہے۔	کچھ پروفنگ سسٹمز (مثلاً، ZK-SNARK) کو ایک قابل اعتماد سیٹ اپ کی ضرورت ہوتی ہے، جسے اگر غلط طریقے سے ہینڈل کیا جائے تو یہ ممکنہ طور پر ZK-rollup کے سیکیورٹی ماڈل سے سمجھوتہ کر سکتا ہے۔
بہتر ڈیٹا کمپریشن Ethereum پر `calldata` شائع کرنے کے اخراجات کو کم کرنے اور صارفین کے لیے رول اپ فیس کو کم کرنے میں مدد کر سکتا ہے۔

ZK-rollups کی ایک بصری وضاحت

Finematics کو ZK-rollups کی وضاحت کرتے ہوئے دیکھیں:

zkEVM پر کون کام کر رہا ہے؟

zkEVMs پر کام کرنے والے پروجیکٹس میں شامل ہیں:

zkEVM (opens in a new tab) - zkEVM ایک پروجیکٹ ہے جسے Ethereum فاؤنڈیشن نے EVM-کمپٹیبل ZK-rollup اور Ethereum بلاکس کے لیے ویلیڈیٹی پروف بنانے کے لیے ایک میکانزم تیار کرنے کے لیے فنڈ کیا ہے۔
Polygon zkEVM (opens in a new tab) - Ethereum mainnet پر ایک ڈی سینٹرلائزڈ ZK Rollup ہے جو ایک زیرو-نالج Ethereum Virtual Machine (zkEVM) پر کام کر رہا ہے جو Ethereum ٹرانزیکشنز کو شفاف طریقے سے انجام دیتا ہے، بشمول زیرو-نالج-پروف توثیق کے ساتھ اسمارٹ کنٹریکٹس۔
Scroll (opens in a new tab) - Scroll ایک ٹیک پر مبنی کمپنی ہے جو Ethereum کے لیے ایک مقامی zkEVM لیئر 2 حل بنانے پر کام کر رہی ہے۔
Taiko (opens in a new tab) - Taiko ایک ڈی سینٹرلائزڈ، Ethereum-ایکویلینٹ ZK-rollup (ایک Type 1 ZK-EVM (opens in a new tab)) ہے۔
ZKsync (opens in a new tab) - ZKsync Era ایک EVM-مطابقت رکھنے والا ZK Rollup ہے جسے Matter Labs نے بنایا ہے، جو اس کے اپنے zkEVM سے چلتا ہے۔
Starknet (opens in a new tab) - StarkNet ایک EVM-مطابقت رکھنے والا لیئر 2 اسکیلنگ حل ہے جسے StarkWare نے بنایا ہے۔
Morph (opens in a new tab) - Morph ایک ہائبرڈ رول اپ اسکیلنگ حل ہے جو لیئر 2 اسٹیٹ چیلنج کے مسئلے کو حل کرنے کے لیے zk-پروف کا استعمال کرتا ہے۔
Linea (opens in a new tab) - Linea ایک Ethereum-equivalent zkEVM Layer 2 ہے جسے Consensys نے بنایا ہے، جو Ethereum ایکو سسٹم کے ساتھ مکمل طور پر ہم آہنگ ہے۔