أصبحت SNARKs المعتمدة على هاش مركزية في خارطة طريق إيثيريوم بعد الكم، لكن ما مدى أمانها حقا؟ في هذه الحلقة (الجزء الثالث من السلسلة المصغرة @leanEthereum)، يتحدث @nico_mnbl مع @GiacomoFenzi @asanso لفحص نظرية وأمان SNARKs ما بعد الكمومية. تغطي: – مكدس SNARK خلف LeanVM (الحسابات متعددة الخطوط + التحقق من المجموع) – جائزة فجوة القراء التي تبلغ قيمتها مليون دولار وموجة الأبحاث الجديدة التي أثارتها – كيف تؤثر النتائج الحديثة على هوامش الأمان لأنظمة الإثبات المعتمدة على التجزئة – لماذا تتجه إيثيريوم نحو أنظمة أمنية قابلة للإثبات من أجل سلامة البروتوكول طويلة الأمد كما يستكشفون المشكلات المفتوحة في نظرية الترميز، وفك ترميز القوائم، وأنظمة الإثبات القائمة على التجزئة. استمع إلى الحلقة كاملة —----- الرموز الزمنية 02:24 – لماذا يحتاج إيثيريوم إلى SNARKs ما بعد الكمومية 03:30 – مكدس SNARK في LeanVM (متعدد الخطيات + فحص مجموع) 04:53 – جائزة فجوة القرب بقيمة مليون دولار 12:04 – موجة الأوراق البحثية الجديدة 12:52 – جونسون متجه مقابل السعة 21:24 – تحليل هجوم جديد على طائرات STARK المنتشرة 27:07 – لماذا عتبة الأمان 128 بت مهمة 30:26 – أسئلة بحثية مفتوحة في SNARKs ما بعد الكمومية