فيتاليك بوتيرين يكتب مقالة طويلة: بروتوكول GKR يمكن أن يثبت إثيريوم بسرعة، و zk-ML تسريع LLM للذكاء الاصطناعي

فيتالك بوتيرين يحدد GKR، يمكن باستخدام عدد قليل من وحدات معالجة الرسوميات توليد إثباتات إيثروم L1 في الوقت الفعلي، مما يفتح آفاق جديدة للتوسع ZK (ملخص سابق: هل روبوتات إيثروم MEV غسيل أموال؟ المحكمة الأمريكية تنظر لأول مرة في قضية إخوة MIT، حيث تتعلق المراجحة بمبلغ 25 مليون دولار بالاحتيال) (معلومات خلفية: بوتان ستنقل “الهوية الرقمية الوطنية” لـ 800,000 مواطن إلى إيثروم، فيتالك: لنمنح الناس شعور الأمان في التحكم ببياناتهم) مؤسس إيثروم فيتالك بوتيرين نشر في 19 من الشهر منشورًا يشير فيه إلى أن بروتوكول GKR يجعل إثباتات المعرفة الصفرية (ZKP) تدخل عصر التشغيل الفوري: يمكن لـ 50 وحدة معالجة رسومية من فئة المستهلك معالجة إيثروم L1، ويمكن لجهاز الكمبيوتر المحمول العادي التحقق من 2 مليون مرة في الثانية باستخدام تجزئة بوسيدون. هذه الخطوة تمهد الطريق لتوسيع البلوكتشين وحماية الخصوصية. مصدر كفاءة GKR تم تصميم بروتوكول GKR خصيصًا لسيناريوهات حسابية معينة، وتكمن ميزته الأساسية في البساطة. تتطلب STARKs التقليدية الالتزام بجميع الطبقات الوسيطة للدائرة، مما يستغرق عشرات المرات من FFT والتجزئة؛ بينما GKR يلتزم فقط بالمدخلات والمخرجات، مما يؤدي إلى انخفاض كبير في حجم الإثبات ووقت التحقق. أوضح بوتيرين: “GKR هو بروتوكول تشفير مصمم لهذا النوع من النماذج. كفاءته تأتي من أنه يتجنب الالتزام بجميع الطبقات الوسيطة.” على سبيل المثال، باستخدام تجزئة بوسيدون2، يمكن أن تقلل GKR من تكاليف الإثبات بحجم حوالي خمسة عشر مرة، بينما قد تزيد الحلول التقليدية إلى مئة مرة. يمكن أيضًا تحسين الكفاءة عبر حيلة غرين، المعالجة الدفعات الخطية، وتحسين بعض الجولات. ومع ذلك، حذر بوتيرين المطورين من التأكد من أن تحدي Fiat–Shamir عشوائي حقًا للحفاظ على الأمان. تسريع ZK-EVM و zk-ML تظهر provers عالية الكفاءة على الفور في ZK-EVM. تستخدم بيكوس بريم Brevis مجموعة متعددة من وحدات معالجة الرسوميات، حيث أكملت 99.6% من إثباتات كتلة إيثروم L1 في 12 ثانية؛ وحقق ZKSync من خلال Airbender أيضًا تحققًا في أقل من ثانية. هذه الأمثلة تظهر أن تقنيات GKR توفر القوة لإنتاج الكتل في الوقت الحقيقي. نفس الخصائص الهيكلية تجعل GKR مناسبة لـ “العمليات متعددة الطبقات + الوظائف المتكررة بكثرة” من zk-ML. يمكن التحقق من استنتاجات النموذج دون تسريب الأوزان والمدخلات، مما يؤسس لخصوصية الذكاء الاصطناعي. وجهات نظر وول ستريت: الكفاءة هي القدرة التنافسية تدفع GKR إثباتات المعرفة الصفرية نحو تطبيقات واسعة النطاق، كما كان الحال في تحسين أداء TCP/IP في السابق. بالنسبة للمستثمرين، ستصبح البنية التحتية ZK عالية الأداء وتطبيقات اللامركزية الجديدة محور التركيز؛ كما أن انخفاض تكاليف الحساب قد يجذب المؤسسات الرئيسية للدخول في السوق. على الرغم من أن prover لا يزال يعتمد على عدد كبير من وحدات معالجة الرسوميات، إلا أنه إذا تحقق وجود ASIC في المستقبل، فمن المتوقع أن تستمر العتبة الاقتصادية في الانخفاض. GKR حلت مشكلة السرعة والبساطة، بينما يمكن تغطية طبقة الخصوصية بواسطة SNARK أو STARK. مع نضوج تقنية ZK عالية السرعة، فإن بيئة Web3 القابلة للتوسع، الفعالة، والصديقة للخصوصية تتشكل بسرعة. تقارير ذات صلة تم الانتهاء من ترقية إيثروم Fusaka، اختبار Sepolia، والخطوة التالية هي إطلاق شبكة اختبار Hoodi، المتوقع أن يتم إطلاقها في الشبكة الرئيسية في أوائل ديسمبر. أسس مؤسسة إيثروم “مجموعة أبحاث الخصوصية” لإطلاق ستة خرائط طريق، لبدء المنافسة في مجال الخصوصية بشكل كامل. القاضي الأمريكي تعرض لـ “انتقام مادي” وأحرق منزله! فيتالك يدعو: استخدم التصويت zk لحماية أفراد السلطة القضائية <نشر فيتالك مقالًا طويلًا: بروتوكول GKR يمكن أن يثبت إيثروم بسرعة، و zk-ML يسرع AI LLM> تم نشر هذه المقالة لأول مرة في BlockTempo “حركة الكتل - أكثر وسائل الإعلام تأثيرًا في أخبار البلوكتشين.”