في RobertoFest اليوم ، احتفالا بمرور 40 عاما على مساهمات روبرتو تاماسيا في هياكل البيانات المصادق عليها (والمزيد!) التحديثات الواردة! 👇

مايكل جودريتش ، يوضح لنا كيف شعر الناس حيال كتبه وكتب خوارزميات روبرتو:

قبل ذلك ، @chbpap يعرض كيف يعمل روبرتو الكلاسيكي على القواميس المصادق عليها المستمرة على تشغيل سلاسل الكتل الحديثة مثل @ethereum. (انتظر حتى أخبرك عن أشجار Verkle جاءت من ...)

@chbpap @ethereum جوزيبي دي باتيستا ، يخبر الجميع عن كيفية استخدامهم لهذا الشيء الجديد المسمى "الإنترنت" لتقديم ورقة أكاديمية لأنه فات الأوان لإرسال النسخة المطبوعة بالبريد. (لم يتم اختراع HotCRP بعد 😄)

@chbpap @ethereum إيوانيس توليس ، لتذكيرنا بشكل الشرائح في عام 1986 👌 سؤال من الجمهور: "ما هو الخط الذي كان هذا؟" 😅

@chbpap @ethereum أجمل شيء في البحث هو الناس! ❤️

@chbpap @ethereum @chbpap ، كطالب دكتوراه شاب!

@chbpap @ethereum من المهم أن تضع أولويات حياتك الأكاديمية في نصابها الصحيح!

@chbpap @ethereum أشجار لم أسمع عنها من قبل ...

@chbpap @ethereum

@chbpap @ethereum اغتنام الليل (للعمل على خوارزميات الرسم البياني وهياكل البيانات المصادق عليها)

@chbpap @ethereum لجنة من طلاب الدكتوراه السابقين في روبرتو.

@chbpap @ethereum @motiyung يخبرنا عن عاداته البحثية الغريبة ...

@chbpap @ethereum @motiyung ... وفي الوقت الذي التقى فيه روبرتو: عندما اضطر الاثنان إلى دمج طلبيهما في واحد.

@chbpap @ethereum @motiyung على ما يبدو ، أحد المؤلفين المشاركين ، جيف ويستبروك ، هو أحد كتاب عائلة سمبسون! 🤯 لهذا السبب ترى الكثير من الرياضيات في العرض (مثل P != NP)

@chbpap @ethereum @motiyung آنا ليسيانسكايا ، تخبرنا عن لائحة EUDI (مخيفة) وكيف ستساعد أوراق الاعتماد المجهولة في إعطاء الخصوصية التي تشتد الحاجة إليها لاقتراح الاتحاد الأوروبي الأولي المعيب بشدة!

@chbpap @ethereum @motiyung (اضطررت إلى أخذ استراحة من النشر: كانت المحادثات جذابة للغاية. وكان هناك شعور خاص في الهواء: كل من ألقى محاضرة فعل ذلك من أعماق قلوبهم ، وسرد الذكريات ، وعرض الصور ، وأحيانا تسلل إلى القليل من المحتوى التقني.)

@chbpap @ethereum @motiyung @ElaineRShi ، بدأت حديثها.

@chbpap @ethereum @motiyung @ElaineRShi أخبرتنا إيلين عن عمل روبرتو في ORAMs. (استمر نموذج الذاكرة الخارجية هذا في الظهور طوال المحادثات. قد ترغب في النظر في الأمر!)

@chbpap @ethereum @motiyung @ElaineRShi 1. التزامات Papamanthhou-Shi-Tamassia (PST): أول (AFAIK) مخطط التزام متعدد الحدود (AFAIK) _متعدد المتغيرات!

@chbpap @ethereum @motiyung @ElaineRShi أحد الأشياء المفضلة لدي في هذا المخطط هو كيف ينتج عن تحلل lemma دليل فتح PCS.

@chbpap @ethereum @motiyung @ElaineRShi (اقرأ المزيد عنها على ، سيتم تحديثه قريبا!)

@chbpap @ethereum @motiyung @ElaineRShi 2. تراكم الأشجار (المعروف أيضا باسم أشجار Verkle)

@chbpap @ethereum @motiyung @ElaineRShi أشجار التراكم هي مجرد أشجار ميركل k-ary حيث تكون وظيفة التجزئة عبارة عن مراكم تشفير (على سبيل المثال ، RSA أو ثنائي الخط) تم تصميمها لمصادقة المجموعات. أشجار Verkle هي اختلاف صغير تم تقديمه في [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: أشجار فيركل ، جون كوزمول ، 2018 ، ولكن ، في الحقيقة ، ظهر نموذج Verkle لبادئة k-ary أشجار Merkle حيث تكون دالة التجزئة التزاما متجها لأول مرة في [LY10 ؛ Sec. 4] ، على الرغم من أنه في سياق بناء مجموعات ZK.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] التزامات موجزة للمتجهات الزئبقية ومجموعات مستقلة من المعرفة الصفرية مع براهين قصيرة ؛ بواسطة ليبرت ، بينوا ويونغ ، موتي. في TCC'10 ؛ 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. أشجار التجزئة المعممة (أو أشجار هيركل:) شجرة ميركل ذات خصائص "متجانسة" لطيفة ، مفيدة جدا للتحقق من عديم الحالة.

@chbpap @ethereum @motiyung @ElaineRShi في [PSTY13] ، يعطي روبرتو وزملاؤه شجرة هركل قائمة على الشبكة من وظيفة تجزئة Ajtai. (⚠️ الشكل أدناه هو تبسيط مفرط!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] تدفق هياكل البيانات المصادق عليها؛ بواسطة Papamanthus و Charalampos و Shi و Elaine و Tamassia و Roberto و Yi و Ke ؛ في EUROCRYPT 2013 ؛ لسوء الحظ ، يحتوي Herkle [PSTY13] على بعض التغييرات في قابلية التوسع: في حين أن عمق الشجرة غير محدود ، فإن التماثل محدود.

@chbpap @ethereum @motiyung @ElaineRShi هذا يعني أنه لا يمكن تطبيق العملية المتجانسة إلا لعدد ثابت من الوقت ، يتم تحديده في وقت إعداد المخطط. بالإضافة إلى ذلك ، كلما زاد عدد العمليات التي تريدها ، قلت كفاءة المخطط. هذا نوع من الإزعاج: نود * كفاءة * ، تجانس غير محدود!

@chbpap @ethereum @motiyung @ElaineRShi (هناك أشجار هركل أخرى مثل AMTs و Hyperpoofs ، فهي فقط تغير المشكلة: لديهم تجانس غير محدود ولكن عمق محدود. لا يزال مزعجا.) يا لها من مشكلة بحثية رائعة! أحث الجميع على محاولة حلها.

@chbpap @ethereum @motiyung @ElaineRShi (هناك أشجار هركل أخرى: AMTs و Hyperpoofs . لكنهم فقط يغيرون المشكلة: لديهم تجانس غير محدود ولكن عمق محدود. لا يزال مزعجا.) يا لها من مشكلة بحثية رائعة! أحث الجميع على محاولة حلها.

@chbpap @ethereum @motiyung @ElaineRShi حسنا: يكفي عن الأشجار من الأشخاص المهووسين بها. حان الوقت لملاحظات روبرتو الختامية! بدأت هذه بشرح لكيفية استخدامه للتعلم الآلي العدائي (هجمات التسمم) للتهرب من إشراف والدته والهروب إلى الطريق المفتوح على مواجهته 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi كانت الحيلة هي "تعويد" والدته على الاعتقاد بأنه كلما أخذ الدراجة في جولة على الطريق الصغير أمام منزله ، سيعود دائما بسرعة بينما يظل في الأفق. حتى يوم من الأيام ، وجد فرصة ، وبدلا من ذلك ذهب مباشرة إلى 🛣️

@chbpap @ethereum @motiyung @ElaineRShi أول سيارة لروبرتو ، والتي كتب عليها بالفعل كلمة "براون" ، على الرغم من أنك لا تستطيع رؤيتها في هذه الصورة ، مما يكاد يتنبأ بالمكان الذي سيقضي فيه روبرتو معظم حياته الأكاديمية: جامعة براون

@chbpap @ethereum @motiyung @ElaineRShi انتهت الليلة بعشاء ، حيث استمر الناس في سرد النكات والقصص.

@chbpap @ethereum @motiyung @ElaineRShi مايك جودريتش يخبرنا ما هو تعاليم روبرتو الرئيسية: "اعمل دائما على تحسين السفر"

@chbpap @ethereum @motiyung @ElaineRShi يا لها من ليلة رائعة كانت هذه! ❤️