الملاحظات الميدانية هي سلسلة نبلغ فيها على أرض الواقع في صناعة وبحوث وأحداث أخرى مهمة. في هذا الإصدار ، تقدم فاليريا نيكولاينكو ، الشريك البحثي في ​​مختبر التشفير a16z ، تقارير عن ورشة عمل إثبات المعرفة الصفرية من مؤتمر أمن اقتصاديات التشفير (CESC)، الذي عقد في 30 أكتوبر في جامعة كاليفورنيا في بيركلي. ال برنامج تهدف إلى جمع الباحثين والممارسين معًا لعرض ومناقشة أحدث التطورات في blockchain و web3. يمكنك مشاهدة تسجيلات العروض التقديمية هنا.

• فجر سونغ أعلن (جامعة كاليفورنيا في بيركلي) MOOC جديد لربيع 2023 على براهين عدم المعرفة ، والتي من المقرر أن تبدأ في 17 كانون الثاني (يناير) 2023 ، وتذكيرنا بالمراكز الضخمة على شبكة الإنترنت (MOOCs) التي تعمل بالفعل في خريف 2022:

• يوبينج تشانغ (جامعة تكساس إيه آند إم) قدم أ برنامج تعليمي حول التطوير الأخير لأنظمة ZKP، نظرة عامة استثنائية على الأساليب المختلفة لبناء أنظمة واقية من zk ، ورسم خرائط لها عبر 4 محاور: الإيجاز الوهمي ، وكفاءة المُثبِت والمُحقق ، والإعداد الشفاف مقابل الموثوق به.

• دان بونه (جامعة ستانفورد) قدم لمحة عامة من تجريد IOPs بشكل عام و Plonk متعدد الحدود-IOP على وجه الخصوص.

شرح دان أيضًا نظامًا جديدًا يسمى هايبربلونك، والتي يمكن أن تقضي على FFTs الباهظة الثمن من جانب المُثبِّت وتتعامل مع البوابات ذات الدرجة العالية بكفاءة أكبر ، مما يقلل من وقت المُثبِّت وحجم الإثبات. المعلمة المثيرة للاهتمام التي يجب تذكرها هي أن FFTs تهيمن على وقت المُثبِّت عندما يكون عدد البوابات أعلى من 2²⁰.

• تيانشينج شيه (جامعة كاليفورنيا في بيركلي) المقدمة على zkBridge (اقرأ الورقة هنا) ، مما يبرز أهمية التصميم الأفضل للجسور في ضوء الاختراقات العديدة الأخيرة (استغلال جسر رونين, اختراق الثقب, استنزاف جسر البدوي، وهلم جرا). يقلل zkBridge الثقة ويحسن الأداء باستخدام نظام deVirgo المقاوم للمعرفة الصفرية.
• فجر سونغ أعلنت (جامعة كاليفورنيا في بيركلي) عن zkCollective - وهو أساس للتشغيل البيني الآمن عبر السلاسل. يمكن ملء استمارة المشاركة في الجهد هنا.

• ليو فان (سيسيك) سلطوا الضوء على نتائجهم لتسريع الضرب متعدد المستويات (MSM) على FPGA لـ zk-prover's ، حيث يمثل MSM غالبًا أكثر من 50٪ من وقت المُثبِّت. يُقدر أنها أسرع من الجهود المماثلة (الأنابيب و إعصار MSM). هدفهم النهائي هو بناء ASIC.
• ماريك أولشوسكي (حماسة) قدم عرضًا توضيحيًا رائعًا حول تشغيل عميل Celo الخفيف ، Plumo ، والذي استغرق تطويره لمدة عامين وتم إطلاقه هذا العام. تم تطوير العميل كدائرة ضخمة مع 2²⁷ بوابات متفائلة صلاحيات تاو حفل يمكن أن يكون مفيدًا لمشاريع أخرى. يقوم أعضاء المجتمع بإنشاء برهانات SNARK يوميًا (بعد كل تغيير في العصر) ، يستغرق الإثبات حوالي ساعة واحدة على آلة ذات 1 نواة. تسمح مكتبة WASM الخاصة بهم بالتحقق من البراهين من تطبيقات الويب.
• هوارد وو (اليو) عرض الأفكار الكامنة وراء تصميم Aleo ، الذي يبني blockchain للمعاملات الخاصة التي تسمح بالتزامن والتحديثات الفعالة للدولة.
• جيريمي بروستل (خطر0) شرح سبب التصميم المنطقي وراء بناء zkVM لمجموعة تعليمات RISC-V المنفذة باستخدام zkSTARKs. يحتوي RISC-V على مجموعة صغيرة جدًا من التعليمات (<40) ، مدعومة جيدًا من قبل مجمعين مختلفين ، ومفتوحة بالكامل. والأهم من ذلك ، أنه مصمم لتطبيقات الأجهزة الفعالة ، مما يعني ضمناً تصميم دائرة فعال لبراهين zk.
• أوما روي (مختبرات مختصرة) نظرة عامة على طريقة للتحقق بإيجاز من إجماع Ethereum مع zkSNARKs مع وقت إثبات هو دقيقة واحدة فقط.

***

فاليريا نيكولاينكو هو شريك أبحاث في تشفير a16z. تركز أبحاثها على التشفير وأمن blockchain. عملت أيضًا في موضوعات مثل الهجمات طويلة المدى في بروتوكولات إجماع PoS ، وخطط التوقيع ، وأمن ما بعد الكم ، والحساب متعدد الأطراف. وهي حاصلة على درجة الدكتوراه في التشفير من جامعة ستانفورد تحت إشراف البروفيسور دان بونيه ، وعملت على بلوكتشين ديم كجزء من فريق البحث الأساسي.

***

الآراء المعبر عنها هنا هي آراء أفراد AH Capital Management، LLC ("a16z") المقتبس منهم وليست آراء a16z أو الشركات التابعة لها. تم الحصول على بعض المعلومات الواردة هنا من مصادر خارجية ، بما في ذلك من شركات محافظ الصناديق التي تديرها a16z. على الرغم من أنه مأخوذ من مصادر يُعتقد أنها موثوقة ، لم تتحقق a16z بشكل مستقل من هذه المعلومات ولا تقدم أي تعهدات حول الدقة الدائمة للمعلومات أو ملاءمتها لموقف معين. بالإضافة إلى ذلك ، قد يتضمن هذا المحتوى إعلانات جهات خارجية ؛ لم تقم a16z بمراجعة مثل هذه الإعلانات ولا تصادق على أي محتوى إعلاني وارد فيها.

يتم توفير هذا المحتوى لأغراض إعلامية فقط ، ولا ينبغي الاعتماد عليه كمشورة قانونية أو تجارية أو استثمارية أو ضريبية. يجب عليك استشارة مستشاريك بخصوص هذه الأمور. الإشارات إلى أي أوراق مالية أو أصول رقمية هي لأغراض توضيحية فقط ، ولا تشكل توصية استثمارية أو عرضًا لتقديم خدمات استشارية استثمارية. علاوة على ذلك ، هذا المحتوى غير موجه أو مخصص للاستخدام من قبل أي مستثمرين أو مستثمرين محتملين ، ولا يجوز الاعتماد عليه تحت أي ظرف من الظروف عند اتخاذ قرار بالاستثمار في أي صندوق تديره a16z. (سيتم تقديم عرض للاستثمار في صندوق a16z فقط من خلال مذكرة الاكتتاب الخاص واتفاقية الاشتراك والوثائق الأخرى ذات الصلة لأي صندوق من هذا القبيل ويجب قراءتها بالكامل.) أي استثمارات أو شركات محفظة مذكورة ، يشار إليها ، أو الموصوفة لا تمثل جميع الاستثمارات في السيارات التي تديرها a16z ، ولا يمكن أن يكون هناك ضمان بأن الاستثمارات ستكون مربحة أو أن الاستثمارات الأخرى التي تتم في المستقبل سيكون لها خصائص أو نتائج مماثلة. قائمة الاستثمارات التي أجرتها الصناديق التي يديرها Andreessen Horowitz (باستثناء الاستثمارات التي لم يمنحها المُصدر إذنًا لـ a16z للإفصاح علنًا عن الاستثمارات غير المعلنة في الأصول الرقمية المتداولة علنًا) على https://a16z.com/investments /.

الرسوم البيانية والرسوم البيانية المقدمة في الداخل هي لأغراض إعلامية فقط ولا ينبغي الاعتماد عليها عند اتخاذ أي قرار استثماري. الأداء السابق ليس مؤشرا على النتائج المستقبلية. المحتوى يتحدث فقط اعتبارًا من التاريخ المشار إليه. أي توقعات وتقديرات وتنبؤات وأهداف وآفاق و / أو آراء معبر عنها في هذه المواد عرضة للتغيير دون إشعار وقد تختلف أو تتعارض مع الآراء التي يعبر عنها الآخرون. يرجى الاطلاع على https://a16z.com/disclosures للحصول على معلومات إضافية مهمة.