Circle STARKs: استخدام هندسة المجموعة الدائرية لتحسين كفاءة zk-SNARKs

2025-07-09 14:20:18

استكشاف Circle STARKs

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

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

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

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

Circle STARKs هي حل بارع ينفذ بروتوكول FRI بكفاءة على حقل Mersenne31. تستفيد Circle STARKs من الخصائص الهندسية لمجموعة الدائرة، وتبني نظام إثبات مشابهًا لنظام FRI التقليدي.

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

تتضمن النقاط الرئيسية ل Circle STARKs:

استخدام خريطة ثنائية إلى واحد على مجموعة الدائرة بدلاً من الخريطة التربيعية في FRI التقليدي
ضغط المتعددة الحدود إلى الفضاء أحادي الأبعاد للمعالجة
تم تصميم خوارزمية Circle FFT الخاصة
استخدام طرق بناء مختلفة للعمليات التجارية ومتعددات الاختفاء
استخدام ترتيب عكسي معدل

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

بالمقارنة مع STARKs التقليدية ، فإن Circle STARKs ليست أكثر تعقيدًا من الناحية المفاهيمية. إنها تخفي الرياضيات المعقدة وراءها ، ويمكن للمطورين استخدامها كما يستخدمون STARKs التقليدية.

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

تجمع Circle STARKs بين حقل Mersenne31، مما يمكن من تحقيق نظام إثبات فعال للغاية. إنه يستفيد بشكل كامل من مزايا حقل الأعداد الأولية ذات 31 بت، مما يقلل من هدر المساحة.

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

الاتجاهات المستقبلية لتحسين STARKs قد تشمل:

تحسين الأريثميتيك للوظائف الأساسية مثل دوال التجزئة
استخدام البناء المتكرر لزيادة التوازي
تحسين الحسابات في الآلة الافتراضية لتعزيز تجربة التطوير

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

Circle STARKs هي نوع مبتكر وفعال من STARK، يوفر أفكارًا جديدة لبناء أنظمة إثبات المعرفة الصفرية بشكل أسرع وأكثر عملية.

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

شاهد النسخة الأصلية

This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.

تسجيلات الإعجاب 11