SBC 22: Blockchain 2022 کی سائنس سے فیلڈ نوٹس

فیلڈ نوٹ ایک سلسلہ ہے جہاں ہم اہم صنعت، تحقیق اور دیگر واقعات میں زمین پر رپورٹ کرتے ہیں۔ اس ایڈیشن میں، a16z کرپٹو ٹیم کے کچھ اراکین نے حاضری سے دلچسپ بات چیت، کاغذات، سلائیڈز اور بہت کچھ جمع کیا۔ ڈی ایف آئی سیکیورٹی سمٹ 2022 (27-28 اگست)، سائنس آف بلاک چین کانفرنس 2022 عرف SBC 22 (اگست 29-31)، اور مختلف منسلک ورکشاپس (28 اگست-2 ستمبر)، یہ سب پچھلے مہینے سٹینفورڈ یونیورسٹی میں منعقد ہوئے۔

1. سائنس آف بلاک چین کانفرنس 2022

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

یہاں ہماری ٹیم کے کچھ فیلڈ نوٹس، لنکس، اور SBC 22 کے تھیمز کے ساتھ ساتھ کچھ منسلک ورکشاپس کا ایک فوری مرکب ہے - بشمول "اتفاق کی سائنس اور انجینئرنگ" ورکشاپ (28 اگست) اور ایک اور زیادہ سے زیادہ قابل قدر قیمت پر، یا MEV (1 ستمبر) – کسی خاص ترتیب میں:

• پییاو شینگ مختلف بلاک چین پروٹوکولز کے تجزیے پر، یہ معلوم کرتے ہوئے کہ جن میں بہتر فرانزک سپورٹ ہے جو ثبوت کے ساتھ تصدیق کنندہ کے غلط رویے کا پتہ لگانے میں مدد کرتا ہے (کاغذ)
• آرک ورکس پر پرتیوش مشرا کی گفتگو، zkSNARKs کے لیے ایک زنگ آلود ماحولیاتی نظام جو بہت سے کریپٹو پروجیکٹ کے نفاذ میں بڑے پیمانے پر استعمال ہوتا ہے (GitHub کے)
• نیٹ ورک پر سپیمنگ حملوں کے دوران بینڈوڈتھ کی بھیڑ کو کم کرنے کے لیے طویل ترین سلسلہ اتفاق رائے میں ڈاؤن لوڈ کے اصول کو تبدیل کرنے پر سری واتسن سریدھر (کاغذ)
• Ari Juels اور Mahimna Kelkar کی ٹرانزیکشن آرڈرنگ کی مخالفانہ چھیڑ چھاڑ کے خلاف تحفظ، اور منصفانہ لین دین کے آرڈر کو نافذ کرنے کے لیے ایک اسکیم پر بات چیت (ورکشاپ کا خلاصہ, کاغذ)
• ایتھرئم کے شریک بانی ویٹالک بٹیرن 51 فیصد حملوں کا جواب دینے اور زندہ رہنے پر (سلائیڈز کے ساتھ شرکت کرنے والا ٹویٹ)
• ڈیوڈ تسی نے پی او ایس چینز کی سیکورٹی کو بڑھانے کے لیے بٹ کوائن ہیش پاور کو دوبارہ استعمال کرنے پر (کاغذ)
• احتساب پر جان ایڈلر کی گفتگو - اس معاملے میں، حملہ آوروں کی شناخت اور سزا دینے کی صلاحیت - PoS سسٹمز میں (ورکشاپ کا خلاصہ)
• MEV "تاریک جنگل" کے ارتقاء پر فل ڈیان، جس میں سامنے آنے والے مسئلے سے ہر چیز کا احاطہ کیا گیا ہے۔ نظریاتی خاکہاس کی ابتدائی شناخت کے لیے فلیش بوائز 2.0 پیپر، MEV ریسرچ آرگنائزیشن فلیش بوٹس کے ظہور تک، لین دین کی سنسرشپ مزاحمت سے متعلق موجودہ دور کے تحفظات اور انضمام کے بعد لین دین کے بنڈلز کے لیے ایک مضبوط بلڈر اور تجویز کنندہ مارکیٹ کی تشکیل (ورکشاپ کا خلاصہ / سلائڈز)
• A موضوع: "غیر متناسب اور موضوعی اعتماد کے مفروضے (تمام نوڈس پر یکساں طور پر بھروسہ نہیں کیا جاتا، تمام نوڈس یکساں طور پر بھروسہ نہیں کرتے) اور ویو پر مبنی پروٹوکول (نوڈس مقامی طور پر ریاست کے بارے میں ان کے نظریہ کی ترجمانی کرتے ہیں، اور آخر کار ایک ویو انضمام کیننیکل ڈی اے جی عرف ڈائریکٹڈ ایسکلک گرافس کا تعین کرتا ہے، کانٹے کا انتخاب، وغیرہ)" [ایک متعلقہ کاغذ]

پریزنٹیشنز دیکھیں: دن 1, دن 2, دن 3

2. اپلائیڈ ZK ورکشاپ (SBC 22 کا حصہ)

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

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

• Junrui لیو جاری پیش کیا کام باضابطہ طور پر سر کام کی درستگی کی تصدیق کرنے پر سرکٹ لائبریری ایک پروف اسسٹنٹ Coq، اور یو فینگ کا استعمال کرتے ہوئے متعارف پکس، ایک جامد تجزیہ ٹول جو خود بخود مخصوص اہم خصوصیات کی تصدیق کرتا ہے (مثلاً، سرکٹ کی انفرادیت) دیے گئے R1CS سرکٹ کے لیے
• ایرک میکارتھی نے اپنی ٹیم کے بارے میں تبادلہ خیال کیا۔تصدیق کرناکے لئے مرتب کرنے والا لیو، ایک سنکلک جو خود بخود درستگی کا باقاعدہ ثبوت پیش کرتا ہے، اس بات کی ضمانت دیتا ہے کہ مرتب کردہ R1CS سرکٹ سورس لیو پروگرام کے برابر ہے۔

اور ایونٹ کی مزید جھلکیاں:

• یی سن اور جوناتھن وانگ نے کلیدی بیضوی وکر آپریشنز کے اپنے ہالو 2 کے نفاذ کو پیش کیا جس میں ملٹی اسکیلر ضرب اور بیضوی وکر ڈیجیٹل سگنیچر الگورتھم (ECDSA) دستخطی تصدیق (ان کے کام کی پیروی کے طور پر) بیضوی وکر کے جوڑے سرکام میں)؛ خاص طور پر ٹھنڈا: PlonKish سرکٹ میٹرکس کی شکل میں ترمیم کر کے حاصل کردہ کنفیگر ایبل پروور-ویریفائر ٹائم ٹریڈ آف (ایک وسیع [لمبا] ٹیبل کم [زیادہ] پروور لاگت کا باعث بنتا ہے لیکن زیادہ [کم] تصدیق کرنے والے اخراجات)
• Bobbin Threadbare ہمیں Polygon Miden کے صفر علم STARK پر مبنی VM کے اندرونی دورے پر لے گیا۔ دیگر ZK VMs کے برعکس، پروگراموں کو ہدایات کے Merkelized abstract Syntax Trees (MAST) کے طور پر کھلایا جاتا ہے، جس سے کارکردگی اور حفاظت دونوں بہتر ہوتے ہیں (سلائڈز)
• نالن بھردرج نے سرکام میں بار بار آنے والے SNARKs کو نافذ کرنے پر تبادلہ خیال کیا، یہ ایک طاقتور تکنیک ہے جو دیگر ZK ایپلی کیشنز میں اپنا راستہ تلاش کرتی ہے، سمیت رولپپس; سرکام میں جوڑیاں خود سرکٹ کے اندر ہی Groth16 SNARKs کی توثیق کو قابل بناتی ہیں، جس کے نتیجے میں، مزید توسیع پذیر جمع (ایک ایک کرکے بمقابلہ ایک ہی وقت میں) کو قابل بناتا ہے اور ثابت کرنے والے کو خود صحیح حقیقت کو جانے بغیر کسی حقیقت کا علم ظاہر کرنے کی اجازت دیتا ہے ( prover اب زیرو نالج پراپرٹی کے دونوں طرف ہے)!
• آیوش گپتا نے ڈیٹرمنسٹک نالیفائرز کے لیے ایک نئی اسکیم پیش کی جو ZK ایپلی کیشنز کو صارفین کو ایک ہی کارروائی تک محدود کرنے کی اجازت دیتی ہے، جیسے کہ ایئر ڈراپ کا دعوی کرنا (سلائڈز)
• Uma Roy اور John Guibas نے zk-SNARKs کے ذریعے اتفاق رائے کی تصدیق کرتے ہوئے ہلکے گاہکوں کو آن چین رکھنے پر اپنا کام پیش کیا۔ نتیجہ ہے Tesseract، ETH2 اور Gnosis کے درمیان ایک پروٹو ٹائپ ZK پل جس نے سیکیورٹی اور سنسرشپ مزاحمت کو بہتر بنایا ہے۔

مکمل ایجنڈا دیکھیں

3. DeFi سیکورٹی سمٹ (SBC 22 سے پہلے)

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

موضوعات پر کچھ فوری نوٹس، بات چیت کے لنکس کے ساتھ:

• کرٹ بیری، جیرڈ فلیٹو، اور storming0x نے اپنے محفوظ سمارٹ کنٹریکٹ ڈویلپمنٹ پریکٹس کی وضاحت کی MakerDAO, کمپاؤنڈ، اور تڑپ رہا ہےبالترتیب؛ ایک عام موضوع تھا سوئس پنیر ماڈل، جو مختلف تکمیلی حفاظتی اقدامات کو ایک ساتھ رکھتا ہے۔
• کرسٹوف مشیل نے ارتقاء پر تبادلہ خیال کیا۔ قیمت میں ہیرا پھیری کے حملے (ایک دلچسپ CTF کے ساتھ چیلنج بونس کے طور پر!) اور یوو ویس نے مختلف وضاحت کی۔ پل کے کارناموں
• مچل امیڈور نے مضبوط کی اہمیت کی تبلیغ کی۔ ترغیبات اس جگہ کو محفوظ رکھنے کے لیے مزید سیکیورٹی ٹیلنٹ حاصل کرنے کے لیے
• مختلف موضوعات پر پینل مباحثے ہوئے جیسے وقت کے حساب سے اوسط قیمت (TWAP) اوریکل سیکیورٹی انضمام کے بعد کے ساتھ ساتھ آن بھی ماڈیولرٹی اور اپ گریڈ ایبلٹی
• ایک اور موضوع آڈیٹنگ کے طریقوں کے لیے درست توقعات قائم کرنا تھا۔ آڈیٹرز کے ommon پیغامات یہ تھے کہ "آڈٹ" کے بجائے، انہیں واقعی "ٹائم باکسڈ سیکورٹی اسیسمنٹ" کہا جانا چاہئے اور ساتھ ہی یہ مشاہدہ بھی کہ آڈیٹنگ کی مصروفیات "زیادہ ہیں۔ صف بندی کے بجائے ذمہ داری"
• ڈویلپرز نے آڈیٹنگ کی عام کمزوریوں کے بارے میں خدشات کا اظہار کیا جیسے طویل لیڈ ٹائم اور کوڈ بیس کو محفوظ کرنے کے لیے ناکافی مراعات؛ شرلاک نے ایک دلچسپ تجویز پیش کی۔ نقطہ نظر جو "دونوں میں سے بہترین" دنیا حاصل کرنے کے لیے آڈٹ مقابلوں اور میراثی آڈٹ کی تاثیر کو یکجا کر کے ان مسائل کو حل کر سکتا ہے۔

مکمل ایجنڈا دیکھیں (کچھ گفتگو کے لنکس کے ساتھ)

پریزنٹیشنز دیکھیں: دن 1, دن 2

ایڈیٹرز: رابرٹ ہیکیٹ (@rhhackett) اور اسٹیفنی زن (@stephbzinn)

***

یہاں بیان کردہ خیالات انفرادی AH Capital Management, LLC ("a16z") کے اہلکاروں کے ہیں جن کا حوالہ دیا گیا ہے اور یہ a16z یا اس سے وابستہ افراد کے خیالات نہیں ہیں۔ یہاں پر موجود کچھ معلومات فریق ثالث کے ذرائع سے حاصل کی گئی ہیں، بشمول a16z کے زیر انتظام فنڈز کی پورٹ فولیو کمپنیوں سے۔ اگرچہ قابل اعتماد مانے جانے والے ذرائع سے لیا گیا ہے، a16z نے آزادانہ طور پر ایسی معلومات کی تصدیق نہیں کی ہے اور معلومات کی موجودہ یا پائیدار درستگی یا کسی دی گئی صورتحال کے لیے اس کی مناسبیت کے بارے میں کوئی نمائندگی نہیں کی ہے۔ اس کے علاوہ، اس مواد میں فریق ثالث کے اشتہارات شامل ہو سکتے ہیں۔ a16z نے اس طرح کے اشتہارات کا جائزہ نہیں لیا ہے اور اس میں موجود کسی بھی اشتہاری مواد کی توثیق نہیں کرتا ہے۔

یہ مواد صرف معلوماتی مقاصد کے لیے فراہم کیا گیا ہے، اور قانونی، کاروبار، سرمایہ کاری، یا ٹیکس کے مشورے کے طور پر اس پر انحصار نہیں کیا جانا چاہیے۔ آپ کو ان معاملات کے بارے میں اپنے مشیروں سے مشورہ کرنا چاہئے۔ کسی بھی سیکیورٹیز یا ڈیجیٹل اثاثوں کے حوالے صرف مثالی مقاصد کے لیے ہیں، اور سرمایہ کاری کی سفارش یا پیشکش کی تشکیل نہیں کرتے ہیں کہ سرمایہ کاری کی مشاورتی خدمات فراہم کریں۔ مزید برآں، یہ مواد کسی سرمایہ کار یا ممکنہ سرمایہ کاروں کی طرف سے استعمال کرنے کے لیے نہیں ہے اور نہ ہی اس کا مقصد ہے، اور کسی بھی صورت میں a16z کے زیر انتظام کسی بھی فنڈ میں سرمایہ کاری کرنے کا فیصلہ کرتے وقت اس پر انحصار نہیں کیا جا سکتا ہے۔ (a16z فنڈ میں سرمایہ کاری کرنے کی پیشکش صرف پرائیویٹ پلیسمنٹ میمورنڈم، سبسکرپشن ایگریمنٹ، اور اس طرح کے کسی بھی فنڈ کی دیگر متعلقہ دستاویزات کے ذریعے کی جائے گی اور ان کو مکمل طور پر پڑھا جانا چاہیے۔) کوئی بھی سرمایہ کاری یا پورٹ فولیو کمپنیوں کا ذکر کیا گیا، حوالہ دیا گیا، یا بیان کردہ A16z کے زیر انتظام گاڑیوں میں ہونے والی تمام سرمایہ کاری کے نمائندے نہیں ہیں، اور اس بات کی کوئی یقین دہانی نہیں ہو سکتی کہ سرمایہ کاری منافع بخش ہو گی یا مستقبل میں کی جانے والی دیگر سرمایہ کاری میں بھی ایسی ہی خصوصیات یا نتائج ہوں گے۔ Andreessen Horowitz کے زیر انتظام فنڈز کے ذریعے کی گئی سرمایہ کاری کی فہرست (ان سرمایہ کاری کو چھوڑ کر جن کے لیے جاری کنندہ نے a16z کو عوامی طور پر ظاہر کرنے کے ساتھ ساتھ عوامی طور پر تجارت کیے جانے والے ڈیجیٹل اثاثوں میں غیر اعلانیہ سرمایہ کاری کی اجازت فراہم نہیں کی ہے) https://a16z.com/investments پر دستیاب ہے۔ /.

اندر فراہم کردہ چارٹس اور گراف صرف معلوماتی مقاصد کے لیے ہیں اور سرمایہ کاری کا کوئی فیصلہ کرتے وقت ان پر انحصار نہیں کیا جانا چاہیے۔ ماضی کی کارکردگی مستقبل کے نتائج کا اشارہ نہیں ہے۔ مواد صرف اشارہ کردہ تاریخ کے مطابق بولتا ہے۔ کوئی بھی تخمینہ، تخمینہ، پیشن گوئی، اہداف، امکانات، اور/یا ان مواد میں بیان کیے گئے خیالات بغیر اطلاع کے تبدیل کیے جا سکتے ہیں اور دوسروں کی رائے سے مختلف یا اس کے برعکس ہو سکتے ہیں۔ اضافی اہم معلومات کے لیے براہ کرم https://a16z.com/disclosures دیکھیں۔