zkDocs: زیرو نالج انفارمیشن شیئرنگ

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

مثال کے طور پر، بہت سے تنظیمیں اور ادارے نجی معلومات کو احتیاط سے شیئر کرنے اور اس کی صداقت کی تصدیق کرنے پر انحصار کرتے ہیں کہ رہن کے قرض سے لے کر کالج کے داخلوں تک کی درخواستوں کے لیے۔ لیکن عملی طور پر، یہ رازداری کے تحفظ کے ورک فلو میں موضوعی رسائی کی تصدیقوں کا ایک سلسلہ شامل ہوتا ہے جب انسان دوسرے انسانوں سے استفسار کرتے ہیں۔ وہ اکثر غلطی کا شکار، ناکارہ، اور لیک ہونے والے عمل ہوتے ہیں جو غیر ضروری معلومات کو بے نقاب کرتے ہیں، اور ہمارے انتہائی حساس ڈیٹا کو سنبھالنے کے لیے موزوں نہیں ہو سکتے۔

یہاں ہم یہ ظاہر کرتے ہیں کہ کس طرح ویب 3 موومنٹ کے ذریعہ تیار کردہ اور مقبول ہونے والے متعدد خفیہ نگاری پرائمیٹوز معلومات کی توثیق کے کام کے بہاؤ کو بہتر بنا سکتے ہیں، رازداری اور وکندریقرت دونوں کو محفوظ رکھتے ہوئے، ہماری نئی جاری کردہ zkDocs ریپو. یہ "زیرو نالج ایبلڈ دستاویزات" بنانے کا ایک ٹول ہے جو کسی دیئے گئے ورک فلو میں مختلف فریقین کو معلومات کا اشتراک اور تصدیق کرنے کی اجازت دیتا ہے، اور اس بات کو یقینی بناتا ہے کہ یہ کچھ معیارات پر پورا اترتی ہے — اسے غیر ضروری طور پر ظاہر کیے بغیر۔

[سرایت مواد]

لیکن پہلے: یہ کیسے کام کرتا ہے، کلیدی میکانزم، اور بہت کچھ

آئیے zkDocs ورک فلو میں تین اہم اداکاروں کے ایک سرسری جائزہ کے ساتھ شروع کریں، اور وہ رہن کے لیے درخواست دینے اور اسے منظور کرنے کے لیے کیسے بات چیت کر سکتے ہیں۔

• تصدیق کنندہ: zkDoc اسکیما کا منتظم یا تخلیق کار۔ ہماری مثال میں، تصدیق کنندہ رہن دینے والا ہے۔

• جمع کرانے والا: وہ فرد یا افراد جو اسکیما سے ڈیٹا کی تصدیق کروانا چاہتے ہیں۔ یہ قرض کا درخواست دہندہ یا ممکنہ گھر خریدار ہے۔

• تصدیق کنندہ: ایک قابل اعتماد فرد یا ادارہ جو جمع کرانے والے کے ایک یا زیادہ شعبوں کی سچائی کی تصدیق کر سکتا ہے۔ یہ آجر یا گھر کا اندازہ لگانے والا ہو سکتا ہے۔

عام طور پر، رہن کی درخواست ایک تصدیقی ورک فلو کو شروع کرتی ہے جس میں ایک مارگیج قرض دہندہ (تصدیق کنندہ) دوسرے قابل اعتماد اداروں کو اس بات کی تصدیق کرنے کے لیے مشغول کرتا ہے کہ درخواست دہندہ (جمع کرانے والا) ان کی ضروریات کو پورا کرتا ہے۔ ایک بار جب درخواست ایک ادارے سے دوسرے ادارے (وصد دہندگان) تک پہنچ جاتی ہے، تو اصل قرض دہندہ قرض کی منظوری دے سکتا ہے۔

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

zkDocs جمع کرانے والے کو ہر تصدیق کنندہ کے ساتھ صرف متعلقہ معلومات کا اشتراک کرنے کی اجازت دیتا ہے۔ ایک آجر صرف درخواست دہندہ کی اجرت اور ملازمت کی حیثیت کی تصدیق کرنے کے قابل ہو سکتا ہے، مثال کے طور پر، غیر ضروری مالی تفصیلات دیکھے بغیر۔ 

اس کے بعد جمع کنندہ صفر علمی ثبوت بنا سکتا ہے جس سے ظاہر ہوتا ہے کہ اسکیما کو سچائی سے پُر کیا گیا ہے — اور یہ کہ ہر فیلڈ کی صحیح طور پر تصدیق کی گئی ہے — بغیر کسی بنیادی ڈیٹا کو ظاہر کیے۔ کوئی بھی فریق (بشمول تصدیق کنندہ) ہلکے وزن کے حساب کے ذریعے صفر علمی ثبوت کی توثیق کر سکتا ہے۔

نوٹ کرنے کے لئے دو بنیادی میکانزم ہیں: تصدیق نامے اور صفر علم کے ثبوت.

تصدیق کے لیے بلاک چینز کا استعمال

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

تاہم، بلاکچین پر تصدیقات پوسٹ کرنے کے منفی پہلوؤں میں سے ایک یہ ہے کہ بنیادی اقدار عوامی طور پر نظر آتی ہیں۔ zkDocs براڈکاسٹنگ کے ذریعے اسے حل کرتا ہے۔ کرپٹوگرافک وعدے کلیئر ٹیکسٹ ویلیوز کی بجائے اقدار پر۔ یہ وعدے عوامی طور پر دستیاب رہتے ہیں، لیکن ان کی بنیادی اقدار نظر نہیں آتی ہیں۔

صفر علمی ثبوتوں کے ذریعے نجی ڈیٹا کی تصدیق کرنا

زیرو نالج ثبوت بنیادی ڈیٹا کے بارے میں کچھ ظاہر کیے بغیر ڈیٹا کے بارے میں کسی حقیقت کو ثابت کرنے کا ایک طریقہ ہے۔ zkDocs کے ساتھ، ایک جمع کنندہ صفر علمی ثبوت بنا سکتا ہے کہ تمام ڈیٹا کا پابند کیا گیا ہے اور مطلوبہ رکاوٹوں کو پورا کرتا ہے۔ کوئی بھی تیسرا فریق بنیادی ڈیٹا کی معلومات یا اس کے بارے میں معلومات کے بغیر تصدیقی حساب چلا سکتا ہے۔

نتیجہ یہ ہے کہ zkDoc اسکیما جمع کرانے کی تصدیق کے لیے درکار ڈیٹا عوامی طور پر دستیاب ہے، اور مکمل طور پر قابل سماعت ہے، جبکہ ہمیشہ نجی رہتا ہے۔

خاص طور پر، جمع کرنے والا صفر علمی ثبوت تیار کرتا ہے کہ وہ (قیمت, nuncio کے) جوڑے اس طرح کہ:

• poseidon(value[i], nonce[i]) == prior_commitment[i]، اور
• value[0], …, value[n] رکاوٹوں کو پورا کریں۔

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

ظاہر کرنے کے لیے، آئیے دو مختصر کیس اسٹڈیز کو دیکھتے ہیں۔

مثال: رہن کی درخواست

آئیے پہلے مارگیج ایپلی کیشن پر واپس آتے ہیں، معلومات کی تصدیق کے ورک فلو کی ایک بہترین مثال جسے zkDocs کے ساتھ بہتر بنایا جا سکتا ہے۔

رہن کا قرض دہندہ (اس معاملے میں تصدیق کنندہ) zkDoc کے لیے ذیل میں ایک اسکیما بنائے گا:


{
  "fields": [
    {
      "field_name": "salary"
    },
    {
      "field_name": "401k_income"
    },
    {
      "field_name": "bank_account_balance"
    },
    {
      "field_name": "property_value"
    },
    {
      "field_name": "loan_value"
    }
  ],
  "constraints": [
    {
      "fieldA": "bank_account_balance",
      "fieldB": "property_value",
      "op": "ADD",
      "constraint": "GT",
      "fieldCompare": "loan_value"
    },
    {
      "fieldA": "salary",
      "fieldB": "401k_income",
      "op": "ADD",
      "constraint": "GT",
      "constant": 65000
    }
  ],
  "trusted_institutions": [
    {
      "human_name": "Employer",
      "address": "0xabcd..."
    },
    {
      "human_name": "Home Appraiser",
      "address": "0xabcd..."
    },
    {
      "human_name": "401k Provider",
      "address": "0xabcd..."
    },
    {
      "human_name": "Checking Account Provider",
      "address": "0xabcd..."
    },
    {
      "human_name": "Creditor",
      "address": "0xabcd..."
    }
  ]
}


سب سے پہلے اسکیما متعدد شعبوں کی وضاحت کرتا ہے جن میں قرض دہندہ کی دلچسپی ہے: تنخواہ، 401(k) آمدنی، اکاؤنٹ بیلنس چیک کرنا، جائیداد کی قیمت، اور قرض کی قیمت۔ 

پھر ان شعبوں پر دو رکاوٹیں: 

1. جائیداد کی قیمت اور بینک اکاؤنٹ بیلنس کا مجموعہ قرض کی قیمت سے زیادہ ہے۔
2. 401(k) آمدنی اور تنخواہ کا مجموعہ $65,000 سالانہ سے زیادہ ہے

اور آخر میں، پانچ ادارے جن پر وہ اس معلومات کی تصدیق کرنے پر بھروسہ کرتا ہے:

1. آجر
2. گھر کا اندازہ لگانے والا
3. 401(k) فراہم کنندہ
4. اکاؤنٹ فراہم کنندہ کی جانچ کر رہا ہے۔
5. قرض دہندہ

رہن کے لیے درخواست دینے کے لیے، درخواست دہندہ zkDocs UI کا استعمال کرتے ہوئے "فیلڈز" سیکشن میں درج فیلڈز کو پُر کرتا ہے اور ہر ایک کے لیے ایک آن چین کرپٹوگرافک وابستگی شائع کرتا ہے۔ اس کے بعد درخواست دہندہ متعلقہ کلیئر ٹیکسٹ فیلڈز بھیجتا ہے، اس کے ساتھ ہر ایک عہد کے لیے نونس بھی، تصدیق کرنے والے اداروں میں سے ہر ایک کو (ذیل میں درج سیٹ سے trusted_institutions)۔ zkDocs UI یہ ہائپر لنکس کے ذریعے کرتا ہے۔

ہر تصدیق کنندہ متعلقہ واضح متن کی معلومات کی تصدیق کرتا ہے اور اپنی Ethereum نجی کلید کے ساتھ دستخط کرکے عزم کی تصدیق کرتا ہے۔ اس کے بعد درخواست دہندہ بلاکچین پر ایک ٹرانزیکشن جمع کرا سکتا ہے جس میں وعدوں اور رکاوٹوں کی درستگی پر صفر علمی ثبوت بھی شامل ہے، اس طرح وہ ایک درست رہن وصول کنندہ کے طور پر اہل ہو سکتا ہے۔ تصدیق کرنے والے مارگیج ادارے کو درخواست کی سالمیت کی تصدیق کے لیے اضافی تصدیق کرنے کی ضرورت نہیں ہوگی۔

مثال: MakerDAO RWA قرضے۔

MakerDAO ایک قرض دینے والا پروٹوکول ہے جو آج تک جاری کر چکا ہے۔ 6 بلین ڈالر کے قرضے DAI (ایک USD-پیگڈ ٹوکن) میں ڈینومینیٹڈ۔ Maker's Real World Assets (RWA) ڈویژن ڈاؤن اسٹریم قرض دہندگان کو DAI کے نام سے منسوب قرضے فراہم کرنے پر کام کر رہا ہے، جس سے DAI کو حقیقی دنیا کی اقتصادی ترقی کو براہ راست فروغ دینے کے قابل بنایا جا رہا ہے۔ لیکن میکر ایک DAO ہے، جس کا گورننس ٹوکن تقریباً 78,000 منفرد بٹوے کی ملکیت ہے، ہر ایک کو گورننس کے عمل میں حصہ لینے اور پروٹوکول کے مستقبل کو چلانے کا حق حاصل ہے۔ 

میکر کے زیادہ تر بڑے فیصلوں، جیسے کہ ایک نئے ذریعہ کو لیاٹرل لینا ہے، پر تبادلہ خیال کیا گیا ہے۔ عوامی فورمز. لیکن ایک ادارہ یا فرد جو Maker سے قرض کے لیے درخواست دے رہا ہے وہ رازداری سے لے کر تجارتی راز تک متعدد وجوہات کی بناء پر اپنے مالی معاملات کو عوام کے ساتھ شیئر کرنے میں دلچسپی نہیں رکھتا ہے۔ میکر اس کے بجائے مندرجہ ذیل سے ملتا جلتا اسکیما کے ساتھ zkDoc شائع کرسکتا ہے۔


{
  "fields": [
    {
      "field_name": "custodian_name"
    }, 
    {
      "field_name": "total_loan"
    },
    {
      "field_name": "total_collateral_value"
    },
    {
      "field_name": "amount_repaid"
    }
  ],
  "constraints": [
    {
      "fieldA": "total_loan",
      "fieldB": "amount_repaid",
      "op": "SUB",
      "constraint": "LT",
      "fieldCompare": "total_collateral_value"
    }
  ],
  "trusted_institutions": [
    {
      "address": "0xabcd…",
      "human_name": "Bob the Custodian"
    }
  ]
}


یہ اسکیمہ گورننس کے شرکاء کو اس بات کو یقینی بنانے کی اجازت دے گا کہ پروٹوکول غیر معقول خطرہ نہیں لے رہا ہے، بغیر تمام RWA قرض کے درخواست دہندگان کو ان کی رازداری کی خلاف ورزی کرنے کی ضرورت ہے۔

***
zkDocs، جیسا کہ فی الحال نافذ ہے، استعمال کرتا ہے:

• تصدیقوں کی صداقت کی تصدیق کے لیے دستخط شدہ لین دین (یا ای وی ایم سے مطابقت رکھنے والا کوئی سلسلہ)
• وعدوں اور تصدیق دونوں کو ذخیرہ کرنے کے لیے پبلک بلاک اسپیس
• صفر علمی ثبوتوں کی تصدیق کے لیے اسمارٹ معاہدے 

zkDocs کی آڈٹ ایبلٹی اور رازداری کی خصوصیات کے علاوہ، ایک اور دلچسپ محور ہے: ایک بار جب نجی معلومات کی توثیق عوامی بلاکچین پر لائیو ہو جاتی ہے، صارفین اور ڈویلپرز اپنی اپنی ایپلی کیشنز کے ساتھ zkDoc سے تصدیق شدہ معلومات تحریر کر سکتے ہیں۔ کوئی بھی تصور کر سکتا ہے کہ قرض کی تاریخ DAO کی ساکھ میں کھیل رہی ہے، پروٹوکول کے پیرامیٹرز کو ایڈجسٹ کرنے کے لیے کمیونٹی سے تصدیق شدہ سہ ماہی فائلنگ، فوری کالج کی درخواستیں، دوسری کمیونٹی کے اندر بھروسہ کرنے والے صارفین کے لیے رعایتی پروٹوکول کی شرحیں، اور بہت کچھ۔

تصور کے اس ثبوت کو بانٹنے کا ہمارا مقصد یہ ظاہر کرنا ہے کہ کس طرح ان نئے کمپیوٹنگ پرائمیٹوز کو آج پیداوار میں استعمال کیا جا سکتا ہے، اور مزید ایپلی کیشنز آن لائن لا کر ان کو اپنانے میں تیزی لانے میں مدد کرنا ہے۔ اگر آپ zkDocs کو پروڈکشن کے لیے تعینات کرنے یا اسی طرح کی کوئی اسکیم استعمال کرنے کا سوچ رہے ہیں، تو براہ کرم بلا جھجھک رابطہ کریں۔ ٹویٹر.