SBC 22: ملاحظات ميدانية من Science of Blockchain 2022

ملاحظات ميدانية عبارة عن سلسلة نبلغ فيها على أرض الواقع في أحداث صناعية وأبحاث وأحداث أخرى مهمة. في هذا الإصدار ، جمع بعض أعضاء فريق تشفير a16z الحاضرين مجموعة من المحادثات والأوراق والشرائح المثيرة للاهتمام والمزيد من قمة DeFi Security Summit 2022 (27-28 أغسطس) ، و مؤتمر علوم Blockchain 2022 المعروف أيضًا باسم SBC 22 (29-31 أغسطس) ، والعديد من ورش العمل التابعة (28 أغسطس - 2 سبتمبر) ، والتي عقدت جميعها في جامعة ستانفورد الشهر الماضي.

1. مؤتمر علوم Blockchain 2022

• مؤتمر علوم Blockchain يركز على الابتكارات التقنية في النظام الإيكولوجي blockchain ، ويجمع بين الباحثين والممارسين العاملين في الفضاء عبر التشفير ، والحوسبة الآمنة ، والأنظمة الموزعة ، وتطوير البروتوكول اللامركزي ، والطرق الرسمية ، والتحليل التجريبي ، واقتصاديات التشفير ، وتحليل المخاطر الاقتصادية ، وأكثر من ذلك. يرأس الحدث أستاذًا في جامعة ستانفورد (ومستشار أبحاث تشفير كبير في a16z) دان بونيه ؛ كان رئيس أبحاث التشفير a16z Tim Roughgarden عضوًا أيضًا في لجنة البرنامج وألقى محاضرة مدعوة على الورقة التي شاركناها مع القراء في رسالتنا الإخبارية الأخيرة.

إليك مزيج سريع من بعض الملاحظات الميدانية والروابط والموضوعات الخاصة بفريقنا من SBC 22 بالإضافة إلى ورش عمل منتسبة - بما في ذلك ورشة عمل "علم وهندسة الإجماع" (28 أغسطس) وأخرى حول القيمة القصوى القابلة للاستخراج ، أو MEV (1 سبتمبر) - بدون ترتيب معين:

• Peiyao Sheng في تحليل لبروتوكولات blockchain المختلفة ، لمعرفة أيها لديها دعم جنائي أفضل يساعد في الكشف عن سلوك المدقق السيء بالأدلة (ورقة)
• حديث Pratyush Mishra عن arkworks ، نظام Rust البيئي لـ zkSNARKs الذي يستخدم على نطاق واسع في العديد من تطبيقات مشاريع التشفير (GitHub جيثب:)
• Srivatsan Sridhar حول تغيير قاعدة التنزيل في توافق سلسلة الأطول من أجل تخفيف ازدحام النطاق الترددي أثناء هجمات البريد العشوائي على الشبكة (ورقة)
• محادثات Ari Juels و Mahimna Kelkar حول الحماية من التلاعب العارض في أوامر المعاملات ، ومخطط لفرض أوامر المعاملات العادلة (ملخص ورشة العمل, ورقة)
• فيتاليك بوتيرين ، أحد مؤسسي إيثريوم ، يتحدث عن الاستجابة - والبقاء على قيد الحياة - 51٪ من الهجمات (تغرد الحضور مع الشرائح)
• David Tse بشأن إعادة استخدام قوة تجزئة Bitcoin لتعزيز أمان سلاسل نقاط البيع (ورقة)
• حديث جون أدلر عن المساءلة - في هذه الحالة ، القدرة على التعرف على المهاجمين ومعاقبتهم - في أنظمة نقاط البيع (ملخص ورشة العمل)
• فيل دايان يتحدث عن تطور "الغابة المظلمة" من MEV ، والذي يغطي كل شيء بدءًا من مشاكل الصدارة المخطط النظري، لتحديد هويته الأولية في بلده فلاش بويز 2.0 ورقة، إلى ظهور منظمة أبحاث MEV Flashbots ، لاعتبارات في الوقت الحاضر تتعلق بمقاومة رقابة المعاملات وإنشاء منشئ قوي وسوق مقترح لحزم المعاملات بعد الدمج (ملخص ورشة العمل / الشرائح)
• A موضوع: "افتراضات الثقة غير المتماثلة والذاتية (ليست كل العقد موثوقة بشكل متساوٍ ، ولا تثق جميع العقد بالتساوي) والبروتوكولات القائمة على العرض (تفسر العقد وجهة نظرها للحالة محليًا ، وفي النهاية يحدد دمج العرض DAG الكنسي ويعرف أيضًا باسم الرسوم البيانية غير الحلقية الموجهة ، اختيار الشوكة ، وما إلى ذلك) "[ورقة ذات صلة]

شاهد العروض: يوم 1, يوم 2, يوم 3

2. ورشة العمل التطبيقية ZK (جزء من SBC 22)

بعد اختتام مؤتمر Science of Blockchain ، تم إصدار ورشة العمل التطبيقية ZK (2 سبتمبر) جمع الباحثين والمطورين ليوم واحد إضافي من التعلم والمناقشة حول أحدث التطورات في النظام البيئي للمعرفة الصفرية (ZK). غطى المتحدثون كل شيء بدءًا من أساسيات الدوائر الجديدة وبنى الأجهزة الافتراضية (VM) إلى ضمان الأمان من خلال التحقق والتدقيق.

كانت الأساليب الرسمية لأنظمة ZK عنصرًا مهمًا في جدول أعمال ورشة العمل ، حيث ركزت على حل مشكلة معروفة جيدًا: عند تعطل نظام ZK بعد النشر ، يصعب العثور على السبب الجذري وإصلاحه. من الأهمية بمكان التحقق من صحة أنظمة ZK في وقت الترجمة ، ويمكن أن يكون التحقق الرسمي مفيدًا للغاية. يعمل عدد من الباحثين في الأساليب الرسمية حاليًا على حل هذه المشكلة ، وناقش بعضهم عملهم:

• قدم Junrui ليو الجارية العمل بشأن التحقق رسميًا من الصحة الوظيفية لوحدة التحكم بالوحدات الدارة الكهربائية مكتبة باستخدام مساعد إثبات Coq ، و Yu Feng أدخلت بيكوس، أداة تحليل ثابتة تتحقق تلقائيًا من بعض الخصائص الحرجة (على سبيل المثال ، تفرد الدائرة) لدائرة R1CS معينة
• ناقش إريك مكارثي "التحقق"مترجم ل الأسدأو المعلم مترجم التي تنتج تلقائيًا إثباتًا رسميًا للصحة ، مما يضمن أن دائرة R1CS المترجمة مكافئة لبرنامج Leo المصدر

والمزيد من الأحداث البارزة في الحدث:

• قدم كل من Yi Sun و Jonathan Wang تطبيق Halo2 لعمليات المنحنى البيضاوي الرئيسية بما في ذلك الضرب متعدد المقاييس والتحقق من التوقيع الرقمي (ECDSA) (كمتابعة لعملهم على أزواج منحنى بيضاوي في سيركوم) ؛ رائع بشكل خاص: مقايضة وقت المدقق القابل للتكوين التي تم تحقيقها من خلال تعديل شكل مصفوفة دائرة PlonKish (يؤدي الجدول [الأطول] الأوسع إلى انخفاض [أعلى] تكاليف المُثبِّت ولكن تكاليف المُحقق أعلى [أقل])
• أخذنا Bobbin Threadbare في جولة داخلية في جهاز VM القائم على STARK من Polygon Miden ؛ على عكس ZK VMs الأخرى ، يتم تغذية البرامج كأشجار بناء جملة تجريدية Merkelized (MAST) للتعليمات ، مما يؤدي إلى تحسين الكفاءة والأمان (الشرائح)
• ناقش Nalin Bhardarj تنفيذ SNARKs العودية في circom ، وهي تقنية قوية تجد طريقها إلى تطبيقات ZK الأخرى ، بما فيها التراكمية؛ تتيح عمليات الاقتران في circom التحقق من Groth16 SNARKs داخل الدائرة نفسها ، والتي بدورها تتيح تجميعًا أكثر قابلية للتوسع (واحدًا تلو الآخر مقابل الكل في وقت واحد) ويسمح لمقدم بإظهار معرفة حقيقة دون معرفة الحقيقة نفسها ( المثل على جانبي خاصية انعدام المعرفة الآن)!
• قدم Aayush Gupta مخططًا جديدًا لعناصر الإبطال الحتمية التي تسمح لتطبيقات ZK بتقييد المستخدمين بإجراء واحد ، مثل المطالبة بإسقاط جوي (الشرائح)
• قدم Uma Roy و John Guibas عملهما على وضع العملاء الخفيفين في السلسلة من خلال التحقق من الإجماع من خلال zk-SNARKs ؛ النتيجه هي تسراكت، نموذج أولي لجسر ZK بين ETH2 و Gnosis الذي أدى إلى تحسين مستوى الأمان ومقاومة الرقابة

عرض جدول الأعمال الكامل

3. قمة DeFi Security (سابقة SBC 22)

قبل انطلاق مؤتمر Science of Blockchain مباشرة ، اجتمع عدد من الباحثين والممارسين الأمنيين في السنة الأولى قمة DeFi Security لمناقشة انعكاسات الحوادث الأمنية السابقة وعمليات التطوير الآمنة ، إلى الضمانات مثل مكافآت الأخطاء والتأمين.

بعض الملاحظات السريعة حول الموضوعات ، مع روابط للمحادثات:

• أوضح كيرت باري وجاريد فلاتو و Storming0x ممارسة تطوير العقود الذكية الآمنة في MakerDAO, مركبو اشتاق، على التوالى؛ كان الموضوع المشترك هو نموذج الجبن السويسري، والتي تجمع معا مختلف التدابير الأمنية التكميلية
• ناقش كريستوف ميشيل تطور هجمات التلاعب بالأسعار (مع CTF مثير للاهتمام تحدى كمكافأة!) وأوضح يوآف فايس مختلفًا مآثر الجسر
• لقد بشر ميتشل أمادور بأهمية القوة الحوافز للحصول على المزيد من المواهب الأمنية للحفاظ على هذه المساحة آمنة
• كانت هناك مناقشات جماعية حول مواضيع مختلفة مثل متوسط ​​السعر المرجح بالوقت (TWAP) أمان oracle بعد الدمج وكذلك في نمطية وقابلية الترقية
• وكان موضوع آخر هو تحديد التوقعات الصحيحة لممارسات التدقيق ؛ كانت الرسائل الشائعة من المدققين هي أنه بدلاً من "عمليات التدقيق" ، يجب أن يطلق عليها حقًا "تقييم الأمان في الوقت المحدد" بالإضافة إلى ملاحظة أن عمليات التدقيق "أكثر انحياز بدلا من مسئولية"
• أعرب المطورون عن مخاوفهم بشأن نقاط الضعف الشائعة في التدقيق مثل المهل الطويلة وعدم كفاية الحوافز لتأمين قواعد الرموز ؛ اقترح شرلوك شيئًا مثيرًا للاهتمام نهج يمكن أن تعالج هذه المشكلات من خلال الجمع بين فعالية مسابقات التدقيق وعمليات التدقيق القديمة للحصول على "أفضل ما في كلا العالمين"

عرض جدول الأعمال الكامل (مع روابط لبعض المحادثات)

شاهد العروض: يوم 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 للحصول على معلومات إضافية مهمة.