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

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

پیشگی شرائط

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

سنسرشپ کے خلاف مزاحمت

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

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

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

ٹرانزیکشنز

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

دیگر ZK-rollups پروف آف اسٹیک (proof-of-stake) ویلیڈیٹر سیٹ کا استعمال کر کے آپریٹر کے کردار کو روٹیٹ کر سکتے ہیں۔ ممکنہ آپریٹرز رول اپ کانٹریکٹ میں فنڈز جمع کراتے ہیں، جس میں ہر اسٹیک کا سائز اسٹیکر کے اگلے رول اپ بیچ کو تیار کرنے کے لیے منتخب ہونے کے امکانات کو متاثر کرتا ہے۔ اگر آپریٹر بدنیتی سے کام کرتا ہے تو اس کا اسٹیک ضبط (slashed) کیا جا سکتا ہے، جو انہیں درست بلاکس پوسٹ کرنے کی ترغیب دیتا ہے۔

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

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

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

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

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

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

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

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

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

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

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

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

ZK-SNARKs

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

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

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

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

ZK-STARKs

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

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

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

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

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

پروف کی تیاری

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

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

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

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

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

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

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

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

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

پروف کی تصدیق

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

• پری اسٹیٹ روٹ: ZK-rollup کا پرانا اسٹیٹ روٹ (یعنی، بیچ شدہ ٹرانزیکشنز کے ایگزیکیوٹ ہونے سے پہلے)، جو L2 چین کی آخری معلوم درست اسٹیٹ کی عکاسی کرتا ہے۔

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

• بیچ روٹ: بیچ کا مرکل روٹ، جو بیچ میں ٹرانزیکشنز کو merklizing کر کے اور ٹری کے روٹ کو ہیش کر کے اخذ کیا گیا ہے۔

• ٹرانزیکشن ان پٹس: جمع کرائے گئے بیچ کے حصے کے طور پر ایگزیکیوٹ ہونے والی ٹرانزیکشنز سے وابستہ ڈیٹا۔

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

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

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

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

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

• مرکل پروف جو ٹرانزیکشن بیچ میں برن اکاؤنٹ میں صارف کی ٹرانزیکشن کی شمولیت کو ثابت کرتا ہے

• ٹرانزیکشن ڈیٹا

• بیچ روٹ

• جمع شدہ فنڈز وصول کرنے کے لیے L1 ایڈریس

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

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

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

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

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

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

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

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

1. اسٹیٹ رائٹ: ایتھیریم کی اسٹیٹ پر لکھنے (یعنی، ایتھیریم بلاک چین پر ٹرانزیکشن جمع کرانے) کی ایک مقررہ لاگت ہوتی ہے۔ ZK-rollups ٹرانزیکشنز کو بیچ کر کے اور متعدد صارفین میں مقررہ اخراجات کو پھیلا کر اس لاگت کو کم کرتے ہیں۔

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

3. L2 آپریٹر فیس: یہ وہ رقم ہے جو رول اپ آپریٹر کو ٹرانزیکشنز پروسیس کرنے میں آنے والے کمپیوٹیشنل اخراجات کے معاوضے کے طور پر ادا کی جاتی ہے، بالکل ایتھیریم مین نیٹ پر ٹرانزیکشن "ترجیحی فیس (ٹپس)" کی طرح۔

4. پروف کی تیاری اور تصدیق: ZK-rollup آپریٹرز کو ٹرانزیکشن بیچز کے لیے ویلیڈیٹی پروفز تیار کرنے چاہئیں، جو وسائل طلب ہے۔ مین نیٹ پر زیرو نالج پروفز کی تصدیق کرنے پر بھی گیس خرچ ہوتی ہے (~ 500,000 گیس)۔

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

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

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

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

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

ریکرسیو پروفز (Recursive proofs)

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

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

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

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

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

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

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

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

• zkEVM (opens in a new tab) - zkEVM ایتھیریم فاؤنڈیشن کی طرف سے فنڈ کیا جانے والا ایک پروجیکٹ ہے جس کا مقصد EVM کے ساتھ مطابقت رکھنے والا ZK-rollup اور ایتھیریم بلاکس کے لیے ویلیڈیٹی پروفز تیار کرنے کا طریقہ کار تیار کرنا ہے۔

• Polygon zkEVM (opens in a new tab) - ایتھیریم مین نیٹ پر ایک ڈی سینٹرلائزڈ ZK Rollup ہے جو زیرو نالج ایتھیریم ورچوئل مشین (zkEVM) پر کام کر رہا ہے جو ایتھیریم ٹرانزیکشنز کو شفاف طریقے سے ایگزیکیوٹ کرتا ہے، بشمول زیرو نالج پروف کی توثیق کے ساتھ اسمارٹ کانٹریکٹس۔

• Scroll (opens in a new tab) - Scroll ایک ٹیک ڈریون کمپنی ہے جو ایتھیریم کے لیے ایک مقامی zkEVM لیئر 2 سلوشن بنانے پر کام کر رہی ہے۔

• Taiko (opens in a new tab) - Taiko ایک ڈی سینٹرلائزڈ، ایتھیریم کے مساوی 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-proof کا استعمال کرتا ہے۔

• Linea (opens in a new tab) - Linea ایک ایتھیریم کے مساوی zkEVM لیئر 2 ہے جسے Consensys نے بنایا ہے، جو ایتھیریم ایکو سسٹم کے ساتھ پوری طرح ہم آہنگ ہے۔

ZK-rollups پر مزید مطالعہ

• زیرو نالج رول اپس کیا ہیں؟ (opens in a new tab)
• زیرو نالج رول اپس کیا ہیں؟ (opens in a new tab)
• ایتھیریم رول اپس کے لیے عملی گائیڈ (opens in a new tab)
• STARKs بمقابلہ SNARKs (opens in a new tab)
• zkEVM کیا ہے؟ (opens in a new tab)
• ZK-EVM کی اقسام: ایتھیریم کے مساوی، EVM کے مساوی، Type 1، Type 4، اور دیگر خفیہ بزورڈز (opens in a new tab)
• zkEVM کا تعارف (opens in a new tab)
• ZK-EVM L2s کیا ہیں؟ (opens in a new tab)
• Awesome-zkEVM وسائل (opens in a new tab)
• ZK-SNARKS اندرونی کام (opens in a new tab)
• SNARKs کیسے ممکن ہیں؟ (opens in a new tab)

ٹیوٹوریلز: ایتھیریم پر پرائیویسی اور زیرو نالج

• خفیہ اسٹیٹ کے لیے زیرو نالج کا استعمال – آن چین خفیہ گیم اسٹیٹ کو برقرار رکھنے کے لیے ZK پروفز اور آف چین سرور کے اجزاء کا استعمال کیسے کریں۔
• اسٹیلتھ ایڈریسز کا استعمال – کیسے ERC-5564 اسٹیلتھ ایڈریسز کرپٹوگرافک کی ڈیریویشن (key derivation) کا استعمال کرتے ہوئے گمنام ETH ٹرانسفرز کو فعال کرتے ہیں۔
• ویب 2 (web2) کی توثیق کے لیے ایتھیریم کا استعمال – ایتھیریم والیٹ کے دستخطوں کو SAML پر مبنی ویب 2 توثیق کے سسٹمز کے ساتھ کیسے مربوط کریں۔