اليوم نقدم لكم "خلف الدليل"، حيث نستكشف المواهب الاستثنائية التي تجعل بريفيس ممكنا. أولا: آلان لي @succinct_li، كبير مسؤولي العلوم لدينا. 🧵

قبل بريفيس، حصل آلان على درجة الدكتوراه من معهد ماساتشوستس للتكنولوجيا في الهندسة الكهربائية وعلوم الحاسوب، ثم أسس شركة ناشئة في مجال الذكاء الاصطناعي للعلوم التي دفعت ثلاثة خطوط إنتاج أدوية إلى مرحلة المرشحين للتطوير من خلال أبحاثها المنشورة في مجلتي Nature and Cell. هذا أثبت قدرة آلان على دخول أرض غير مألوفة، وإتقانها بسرعة، ونتائج السفينة.

خلال أشهر من انضمامه إلى بريفيس، واجه آلان واحدة من أصعب مشاكل zkML. الشبكات العصبية بطبيعتها قليلة، لكن الأنظمة الموجودة أثبتت أن كل عملية متساوية. SpaZK، البروتوكول الذي طوره، يولد براهين فقط لما يهم، مما يقلل بشكل كبير من التكاليف الحسابية.

ثم جاء بيكو بريزم. عندما انضم آلان، كانت أحدث التقنيات 40.9٪ من كتل الإيثيريوم التي تم إثباتها خلال 10.3 ثانية مع عتاد بقيمة 256 ألف دولار. تحت قيادته: تغطية 99.6٪، متوسط ثانية 6.9، معدات بقيمة 128 ألف دولار. كل ذلك في أقل من عام.

ما التالي؟ فريق آلان يستهدف أقل من 16 وحدة معالجة رسومات لإثبات الوقت الحقيقي بنسبة 99٪ وما بعدها. ومع انتشار نسخة التجريبية من شبكة ProverNet الرئيسية، نتوقع أن يشكل عمل آلان كيفية تنسيق إثبات ZK عبر النظام البيئي بأكمله.

هذا ما يعنيه أن يكون آلان كبير مسؤولي العلوم. عندما يتعامل بريفيس مع المشاكل الصعبة، نعلم أن لدينا من سيجد طريقه. نحن فقط نخدش السطح هنا. اقرأ الملف الشخصي الكامل: