فيتاليك بوتيرين ينشر "استكشاف دائرة STARKs"

أفادت PANews في 23 يوليو أن المؤسس المشارك لإيثريوم فيتاليك بوتيرين نشر مقالًا بعنوان "استكشاف دائرة STARKs"، يناقش فيه بنية تُعرف باسم دائرة STARKs. تتمتع هذه البنية ببعض الخصائص الفريدة وصُممت لتكون متوافقة مع حقل Mersenne31 الفعال. يعتقد فيتاليك أنه مقارنةً بـ STARK العادي، فإن دائرة STARKs لا تضيف تعقيدًا كبيرًا للمطورين. في عملية التنفيذ، مقارنةً بـ FRI العادي، هناك ثلاثة اختلافات فقط لاحظتها. المبدأ الرياضي وراء "الحدوديات" التي تعمل بها دائرة FRI غير بديهي ويستغرق وقتًا لفهمه وتقديره. ومع ذلك، فإن هذا التعقيد مخفي بطريقة لا يلاحظها المطورون بسهولة. تعقيد رياضيات الدائرة مغلف بدلاً من أن يكون نظاميًا. يمكن أن يكون فهم دائرة FRI ودائرة FFT بوابة معرفية جيدة لفهم "FFT الغريبة" الأخرى: وأبرزها FFT مجال الثنائي المستخدم سابقًا في Binius وLibSTARK، بالإضافة إلى البنى الأكثر غرابة مثل FFT المنحنى الإهليلجي الذي يستخدم التعيينات الفردية المنسقة جيدًا مع عمليات نقاط المنحنى الإهليلجي. بالاقتران مع Mersenne31 وBabyBear وتقنيات المجال الثنائي (مثل Binius)، نشعر بالفعل أننا نقترب من الحد الأقصى لكفاءة طبقة STARK الأساسية. في هذه المرحلة، من المتوقع أن يتحول مجال تحسين STARK نحو إنشاء إصدارات حسابية عالية الكفاءة من البدائيات مثل دوال التجزئة والتوقيعات (وتحسين هذه البدائيات نفسها لهذا الغرض)، وإنشاء تراكيب متكررة لزيادة التوازي، وتحسين الآلات الافتراضية لتحسين تجربة المطورين إلى جانب مهام متقدمة أخرى.