Circle STARKs هي نظام إثبات STARK جديد يعمل على حقل الأعداد الأولية Mersenne31، ويوفر قدرات حسابية وإثبات فعالة. ستتناول هذه المقالة بعمق مبادئ Circle STARKs، وميزاته، وإمكاناته في التطبيقات العملية.
الخلفية
في السنوات الأخيرة، يميل تصميم بروتوكولات STARKs إلى استخدام حقول رياضية أصغر لتحسين الكفاءة. من الحقول ذات 256 بت في البداية، تطورت إلى حقول أصغر مثل Goldilocks و Mersenne31 و BabyBear. هذا التحول عزز بشكل ملحوظ من سرعة الإثبات، على سبيل المثال، يمكن لـ Starkware إثبات 620,000 قيمة تجزئة Poseidon2 في الثانية على جهاز M3 المحمول.
تدعم مجموعة الدائرة أيضًا FFT، وطريقة بنائها مشابهة لـ FRI. الكائنات التي تعالجها Circle FFT هي فضاء Riemann-Roch، وليس مجرد متعددة الحدود. هذا يعني أننا نعتبر أي مضاعف لـ x^2 + y^2 - 1 صفرًا.
تستخدم Circle STARKs ترتيبًا معدلاً للعكس ليتناسب مع هيكلها الخاص من الطي. يلعب هذا الترتيب دورًا مهمًا في عملية تقييم FRI، مما يجعل القيم المجمعة متجاورة في الترتيب.
تعمل Circle STARKs على مجال الأعداد الأولية المكون من 31 رقمًا، مما يتيح كفاءة عالية. تستفيد بشكل كامل من المساحة في تتبع الحسابات، مما يقلل من المساحة الفارغة، خاصة عند معالجة منطق الأعمال، العمليات التشفيرية، والبحث عن المعلمات.
تقدم Circle STARKs حلاً لتنفيذ STARK بشكل نسبي بسيط وفعال للمطورين. على الرغم من أن الرياضيات الأساسية معقدة إلى حد ما، إلا أن هذه التعقيدات تكون في الأساس شفافة للمطورين. يمثل ظهور Circle STARKs، جنبًا إلى جنب مع تقنيات مثل Mersenne31 وBabyBear وBinius، علامة على أننا نقترب من الحد الأقصى لكفاءة الطبقة الأساسية لـ STARKs.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 14
أعجبني
14
4
مشاركة
تعليق
0/400
ThatsNotARugPull
· منذ 7 س
أعود للعب بالألغاز الرياضية مرة أخرى
شاهد النسخة الأصليةرد0
DAOdreamer
· منذ 7 س
لقد حصلنا على تكنولوجيا جديدة مرة أخرى، لفة لفة لفة
شاهد النسخة الأصليةرد0
CryptoPunster
· منذ 7 س
يا إلهي، بينما يتحدث الآخرون عن التقنية، أنا فقط رأيت الدائرة
Circle STARKs:突破 جديد في نظام إثبات STARK الفعال
استكشاف Circle STARKs
Circle STARKs هي نظام إثبات STARK جديد يعمل على حقل الأعداد الأولية Mersenne31، ويوفر قدرات حسابية وإثبات فعالة. ستتناول هذه المقالة بعمق مبادئ Circle STARKs، وميزاته، وإمكاناته في التطبيقات العملية.
الخلفية
في السنوات الأخيرة، يميل تصميم بروتوكولات STARKs إلى استخدام حقول رياضية أصغر لتحسين الكفاءة. من الحقول ذات 256 بت في البداية، تطورت إلى حقول أصغر مثل Goldilocks و Mersenne31 و BabyBear. هذا التحول عزز بشكل ملحوظ من سرعة الإثبات، على سبيل المثال، يمكن لـ Starkware إثبات 620,000 قيمة تجزئة Poseidon2 في الثانية على جهاز M3 المحمول.
! عمل فيتاليك الجديد: استكشاف ستارك الدائرة
المفهوم الأساسي لـ Circle STARKs
دالة ثنائية إلى واحد: تجد Circle STARKs مجموعة بحجم p على عدد أولي p، مع خصائص ثنائية إلى واحد مشابهة.
قاعدة الجمع: (x1, y1) + (x2, y2) = (x1x2 - y1y2, x1y2 + x2y1)
الشكل المزدوج: 2 * (x, y) = (2x^2 - 1, 2xy)
تغير التمثيل: اعتبارًا من الجولة الثانية، أصبح التمثيل f0(2x^2-1) = (F(x) + F(-x))/2
! عمل فيتاليك الجديد: استكشاف ستارك الدائرة
تحويلات فورييه الدائرية
تدعم مجموعة الدائرة أيضًا FFT، وطريقة بنائها مشابهة لـ FRI. الكائنات التي تعالجها Circle FFT هي فضاء Riemann-Roch، وليس مجرد متعددة الحدود. هذا يعني أننا نعتبر أي مضاعف لـ x^2 + y^2 - 1 صفرًا.
! عمل فيتاليك الجديد: استكشاف Circle STARKs
العمليات التجارية والمتعددات المختفية
في Circle STARKs، تحتاج طرق الحساب التجارية التقليدية إلى التعديل. كما أن بناء متعددة الحدود المختفية يختلف، استنادًا إلى الدالة المطوية x → 2x^2 - 1.
! عمل فيتاليك الجديد: استكشاف الدائرة الدائرية
عكس التسلسل
تستخدم Circle STARKs ترتيبًا معدلاً للعكس ليتناسب مع هيكلها الخاص من الطي. يلعب هذا الترتيب دورًا مهمًا في عملية تقييم FRI، مما يجعل القيم المجمعة متجاورة في الترتيب.
! عمل فيتاليك الجديد: استكشاف ستاركس الدائرة
الكفاءة
تعمل Circle STARKs على مجال الأعداد الأولية المكون من 31 رقمًا، مما يتيح كفاءة عالية. تستفيد بشكل كامل من المساحة في تتبع الحسابات، مما يقلل من المساحة الفارغة، خاصة عند معالجة منطق الأعمال، العمليات التشفيرية، والبحث عن المعلمات.
! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة](https://img-cdn.gateio.im/webp-social/moments-0277731a7327da529c85417a01718c59.webp019283746574839201
الاستنتاج
تقدم Circle STARKs حلاً لتنفيذ STARK بشكل نسبي بسيط وفعال للمطورين. على الرغم من أن الرياضيات الأساسية معقدة إلى حد ما، إلا أن هذه التعقيدات تكون في الأساس شفافة للمطورين. يمثل ظهور Circle STARKs، جنبًا إلى جنب مع تقنيات مثل Mersenne31 وBabyBear وBinius، علامة على أننا نقترب من الحد الأقصى لكفاءة الطبقة الأساسية لـ STARKs.
! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-13da9460855ee8c504c44696efc2164c.webp(
في المستقبل، قد تشمل اتجاهات تحسين STARK ما يلي:
ستعزز هذه التطورات من تقدم تقنية STARKs ، مما يوفر الدعم لمجموعة أوسع من سيناريوهات التطبيق.
! [إبداع فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-972d4e51e7d92462c519ef900358a6af.webp(