في السنوات الأخيرة، كانت هناك اتجاهات في تصميم بروتوكولات STARKs نحو استخدام حقول أصغر. كانت أولى تطبيقات STARKs تستخدم حقلاً بحجم 256 بت، ولكن هذا التصميم كان غير كفء. لتحسين الكفاءة، بدأت STARKs في استخدام حقول أصغر، مثل Goldilocks و Mersenne31 و BabyBear.
استخدام الحقول الصغيرة جلب بعض التحديات، مثل تقليص نطاق الاختيار العشوائي. هناك حلان: الفحص العشوائي المتكرر أو توسيع الحقول. توسيع الحقول مشابه للأعداد المركبة، لكنه يعتمد على الحقل المحدود.
تقدم Circle STARKs طريقة مبتكرة للعثور على مجموعة بحجم p على عدد أولي p، والتي تتمتع بخاصية زوجية إلى واحدة. تتكون هذه المجموعة من نقاط تلبي شروطًا معينة، وتتبع قاعدة جمع معينة.
تدعم STARKs الدائرية FFT، لكن الكائنات المعالجة ليست متعددة الحدود بشكل صارم، بل هي فضاء Riemann-Roch. كالمطور، يمكن تجاهل هذه النقطة تقريبًا، فقط احتفظ بمجموعة قيم التقييم كمتعددات.
في العمليات التجارية، المتعددة الحدود المفقودة، الترتيب العكسي، هناك بعض الاختلافات بين Circle STARKs و STARKs التقليدية، مما يتطلب استخدام تقنيات مختلفة.
Circle STARKs فعالة للغاية على الأعداد الأولية ذات 31 بت. بالمقارنة مع SNARKs ذات الحقول الكبيرة، فإنها تستفيد بشكل كامل من مساحة الحوسبة. على الرغم من أن Binius متفوق في بعض الجوانب، إلا أن مفهوم Circle STARKs أبسط.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
Circle STARKs: استكشاف نوع جديد من STARKs يعزز الكفاءة
استكشاف Circle STARKs
في السنوات الأخيرة، كانت هناك اتجاهات في تصميم بروتوكولات STARKs نحو استخدام حقول أصغر. كانت أولى تطبيقات STARKs تستخدم حقلاً بحجم 256 بت، ولكن هذا التصميم كان غير كفء. لتحسين الكفاءة، بدأت STARKs في استخدام حقول أصغر، مثل Goldilocks و Mersenne31 و BabyBear.
! عمل فيتاليك الجديد: استكشاف ستارك الدائرة
استخدام الحقول الصغيرة جلب بعض التحديات، مثل تقليص نطاق الاختيار العشوائي. هناك حلان: الفحص العشوائي المتكرر أو توسيع الحقول. توسيع الحقول مشابه للأعداد المركبة، لكنه يعتمد على الحقل المحدود.
! عمل فيتاليك الجديد: استكشاف ستارك الدائرة
تقدم Circle STARKs طريقة مبتكرة للعثور على مجموعة بحجم p على عدد أولي p، والتي تتمتع بخاصية زوجية إلى واحدة. تتكون هذه المجموعة من نقاط تلبي شروطًا معينة، وتتبع قاعدة جمع معينة.
! عمل فيتاليك الجديد: استكشاف Circle STARKs
تدعم STARKs الدائرية FFT، لكن الكائنات المعالجة ليست متعددة الحدود بشكل صارم، بل هي فضاء Riemann-Roch. كالمطور، يمكن تجاهل هذه النقطة تقريبًا، فقط احتفظ بمجموعة قيم التقييم كمتعددات.
! عمل فيتاليك الجديد: استكشاف الدائرة الدائرية
في العمليات التجارية، المتعددة الحدود المفقودة، الترتيب العكسي، هناك بعض الاختلافات بين Circle STARKs و STARKs التقليدية، مما يتطلب استخدام تقنيات مختلفة.
! عمل فيتاليك الجديد: استكشاف ستاركس الدائرة
Circle STARKs فعالة للغاية على الأعداد الأولية ذات 31 بت. بالمقارنة مع SNARKs ذات الحقول الكبيرة، فإنها تستفيد بشكل كامل من مساحة الحوسبة. على الرغم من أن Binius متفوق في بعض الجوانب، إلا أن مفهوم Circle STARKs أبسط.
! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة](https://img-cdn.gateio.im/webp-social/moments-0277731a7327da529c85417a01718c59.webp019283746574839201
بالنسبة للمطورين، فإن Circle STARKs ليست أكثر تعقيدًا بكثير من STARKs العادية. فهم Circle FRI وFFTs يساعد أيضًا في فهم FFTs الخاصة الأخرى.
! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-13da9460855ee8c504c44696efc2164c.webp(
قد يتركز تحسين STARKs في المستقبل على:
بشكل عام، تعتبر Circle STARKs نوعًا مثيرًا من STARKs، حيث تعزز الكفاءة مع الحفاظ على البساطة.
! [إبداع فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-972d4e51e7d92462c519ef900358a6af.webp(