استكشاف Circle STARKs

في السنوات الأخيرة، اتجه تصميم بروتوكول STARKs نحو استخدام مجالات أصغر. كانت أولى تطبيقات STARKs تستخدم مجالات بحجم 256 بت، لكن هذا التصميم كان غير فعال. من أجل تعزيز الكفاءة، بدأت STARKs في استخدام مجالات أصغر، مثل Goldilocks وMersenne31 وBabyBear.

! عمل فيتاليك الجديد: استكشاف ستارك الدائرة

استخدام الحقول الصغيرة يمكن أن يعزز بشكل كبير من سرعة الإثبات. على سبيل المثال، يمكن لـ Starkware إثبات 620,000 تجزئة من Poseidon2 في الثانية على جهاز M3. هذا يعني أنه طالما تم الوثوق بـ Poseidon2 كدالة تجزئة، يمكن حل مشكلة ZK-EVM بكفاءة.

! عمل فيتاليك الجديد: استكشاف ستارك الدائرة

لكن استخدام الحقول الصغيرة يسبب تحديات جديدة. في الحقول ذات 256 بت، يمكن اختيار رقم عشوائي مكون من 256 بت كمعامل تحقق. أما في الحقول الصغيرة التي تتراوح بين 20 إلى 30 بت، فإن القيم المتاحة قليلة جداً، مما يسهل على المهاجمين إجراء هجمات التعداد وكسرها.

! عمل فيتاليك الجديد: استكشاف Circle STARKs

لحل هذه المشكلة، هناك خياران:

1. إجراء فحوصات عشوائية متعددة
2. حقل موسع

التحقق العشوائي المتكرر بسيط وفعال، ولكنه سيقلل من الكفاءة. الحقول الموسعة تشبه الجمع، حيث يتم إدخال هياكل رياضية جديدة لزيادة القيم الاختيارية.

! عمل فيتاليك الجديد: استكشاف الدائرة الدائرية

تعتمد Circle STARKs على خطة حقل توسيع مبتكرة. إنها تبني مجموعة ذات خصائص ثنائية على مجموعة من الأعداد الأولية p، بحجم p. نقاط هذه المجموعة تتبع قواعد جمع خاصة، مشابهة لعملية ضرب الأعداد المركبة.

! عمل فيتاليك الجديد: استكشاف ستاركس الدائرة

تستخدم Circle STARKs هذه البنية الجماعية الخاصة لتنفيذ خوارزميات FRI وFFT بشكل فعال. يمكن أن تعمل على حقل Mersenne31، مستفيدة تمامًا من مزايا العدد الأولي المكون من 31 بت.

! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة](https://img-cdn.gateio.im/webp-social/moments-0277731a7327da529c85417a01718c59.webp019283746574839201

بالمقارنة مع STARKs التقليدية، فإن Circle STARKs تختلف في الجوانب التالية:

• استخدام طرق حساب خاصة للتجارة
• اعتماد متعدد الحدود المختلفة للاختفاء
• تم تعديل ترتيب التسلسل العكسي

بشكل عام، تحافظ Circle STARKs على بساطة المفهوم، بينما تقدم كفاءة ممتازة. إنها خطة تحسين STARK واعدة تستحق المزيد من البحث والتطبيق.

! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-13da9460855ee8c504c44696efc2164c.webp(

من المحتمل أن تركز تحسينات STARK المستقبلية على:

1. تحسين دالة التجزئة وغيرها من البدائيات التشفيرية الأساسية
2. استخدام البناء التكراري لزيادة التوازي
3. تحسين الحسابات الافتراضية لتحسين تجربة التطوير

! [إبداع فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-972d4e51e7d92462c519ef900358a6af.webp(