قدم المؤسس المشارك لشركة Ethereum، فيتاليك بوتيرين، بروتوكول تشفير جديد يسمى Circle STARKs والذي من شأنه أن يعمل على تحسين أمان وكفاءة blockchain.
في أحدث منشوراته، يشرح بوتيرين أن هذه القفزة التكنولوجية تستخدم حقولًا أصغر مثل Mersenne31 لتحسين سرعة الإثبات بشكل كبير دون المساس بتدابير الأمان.
“كان الاتجاه الأكثر أهمية في تصميم بروتوكول STARK على مدار العامين الماضيين هو التحول إلى العمل على الحقول الصغيرة.”
متعلق ب: تشارلز هوسكينسون يرفض وجهة نظر فيتاليك بوتيرين بشأن التصويت المؤيد للعملات المشفرة
حقول أصغر ومكاسب أكبر
وفقًا للمنشور، تعمل حجج المعرفة الشفافة القابلة للتطوير التقليدية (STARKs) على حقول 256 بت، والتي على الرغم من أنها آمنة، إلا أنها غير فعالة عادةً.
تستفيد Circle STARKs من حقول أصغر، مما يؤدي إلى تقليل التكاليف الحسابية وسرعات إثبات أسرع ومكاسب أكثر كفاءة، مثل التحقق من صحة 620,000 تجزئة Poseidon2 في الثانية على كمبيوتر محمول M3.
ويشير بوتيرين إلى أن تنفيذ STARK السابق جعل الحقول الأصغر “متوافقة بشكل طبيعي مع التحقق من التوقيعات المستندة إلى المنحنى الإهليلجي” ولكنها “أدت إلى عدم الكفاءة” بسبب الأعداد الكبيرة المعنية.
متعلق ب: فيتاليك بوتيرين يحذر من السياسيين الذين يدعون أنهم “مؤيدون للعملات المشفرة”
دائرة ستارك للأمن
تحتوي الحقول الصغيرة التقليدية على قيم محتملة محدودة ويمكن أن تصبح عرضة لهجمات القوة الغاشمة.
تعمل دائرة STARKs على مواجهة هذه الثغرة الأمنية من خلال تنفيذ عمليات فحص عشوائية متعددة واستخدام حقول التمديد، مما يؤدي إلى توسيع مجموعة القيم التي يحتاج المهاجمون إلى تخمينها.
يؤدي هذا الإجراء الأمني إلى إنشاء حاجز حسابي محظور للمهاجمين، مما يحافظ على سلامة البروتوكول.
“مع وجود STARKs على حقول أصغر، نواجه مشكلة: هناك حوالي ملياري قيمة محتملة لـ x للاختيار من بينها، وبالتالي فإن المهاجم الذي يرغب في إنشاء دليل مزيف يحتاج فقط إلى المحاولة ملياري مرة – الكثير من العمل، ولكنه قابل للتنفيذ تمامًا بالنسبة للمهاجم المصمم!”
متعلق ب: شركة StarkWare تتحقق من أول دليل على عدم المعرفة بشأن Bitcoin
نواتج عملية
تثبت أدلة القرب التفاعلية السريعة من أوراكل ريد-سولومون (FRI) أن الدالة هي متعددة حدود بدرجة معينة وهي جانب مهم من دائرة STARKs.
من خلال تقديم Circle FRI، وهو نهج يحافظ على سلامة عملية التشفير، تضمن Circle STARKs فشل المدخلات غير متعددة الحدود في اجتياز الإثبات.
توفر دوائر STARKs مزيدًا من المرونة والتنوع لأداء حسابي فعال من خلال الاستفادة من الحقول الصغيرة والهيكل الرياضي الجديد.
مجلة: وصول Pudgy Penguins إلى Pixelverse، وصناديق الاستثمار المتداولة في البورصة Ether، والمزيد: ملخص Hodler، 14-20 يوليو
