فاليك بوتيرين: تدخل سلاسل الكتل عصرًا حسابيًا جديدًا في قمة البلوك تشين العالمية (أسبوع البلوك تشين في شنغهاي)، عرض فاليك بوتيرين كيفية إعادة تشكيل معمارية البلوك تشين بواسطة إثباتات ZK والتحقق الرسمي والذكاء الاصطناعي. نقطته الأساسية: النموذج القديم — حيث تقوم كل عقدة بإعادة تنفيذ نفس الحساب — يُستبعد تدريجيًا. باستخدام SNARKs/STARKs، تقوم طرف واحد بالحساب وإثباته، بينما يكتفي الآخرون بالتحقق. يمكن لـ STARKs التكرارية (المرتبطة باقتراحه EIP-8288) دمج العديد من الإثباتات في إثبات واحد، مما يقلل من بيانات السلسلة والتكلفة. مجتمعة مع EIP-8141 (تقسيم المعاملات إلى إجراءات قابلة للتنفيذ بالتوازي) وFOCIL (بناء الكتل اللامركزي)، الهدف هو إنشاء خط أنابيب حسابي كامل — من تنفيذ الجهاز المحلي إلى مجموعات الانتظار، وتجميع الإثباتات، وL2 وL1 — يتوسع دون التضحية باللامركزية. بالنسبة للذكاء الاصطناعي، يراه بوتيرين كبنية أساسية ضرورية للمرحلة التالية: كتابة/تدقيق الشيفرة، وتوليد المواصفات، وتشغيل التحقق الرسمي بحجم لا يمكن للبشر تحقيقه يدويًا — وهو ما يقول إنه مفتاح لإصلاح ثغرات أمان L2 الحالية. وهو يدعو المطورين إلى التوقف عن تصميم أنظمة لعالم لم تكن فيه التشفير المتقدم والتحقق الآلي عمليين — لأن هذا القيد يختفي بسرعة كبيرة. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto