في السنوات الأخيرة، اتجه تصميم بروتوكولات STARKs نحو استخدام حقول أصغر. كانت أولى تطبيقات STARKs تستخدم حقلاً بحجم 256 بت، لكن هذا التصميم كان أقل كفاءة. من أجل تحسين الكفاءة، بدأت STARKs في استخدام حقول أصغر، مثل Goldilocks و Mersenne31 و BabyBear.
استخدام الحقول الصغيرة أدى إلى بعض التحديات، مثل مشكلة نقص العشوائية. لحل هذه المشكلة، هناك خياران: إجراء فحوصات عشوائية متعددة أو توسيع الحقول. توسيع الحقول مشابه للعدد المركب، ولكنه يعتمد على حقل محدود.
Circle STARKs هي حل بارع. given prime p ، يمكن العثور على مجموعة بحجم p ، لها خاصية ثنائية إلى واحدة. تتكون هذه المجموعة من نقاط تلبي شروط معينة ، مثل مجموعة النقاط التي تكون فيها x^2 mod p مساوية لقيمة معينة.
تستخدم Circle STARKs FFT خاصة تُعرف باسم Circle FFT. الكائنات التي تتعامل معها ليست متعددة الحدود بشكل صارم، بل هي مساحة Riemann-Roch. لا يحتاج المطورون إلى فهم التفاصيل الدقيقة، يكفي فقط التعامل مع المتعددات الحدودية كمجموعات من قيم التقييم.
تعتبر Circle STARKs فعالة جدًا على حقل الأعداد الأولية ذو 31 بت. بالمقارنة مع SNARKs ذات الحقول الكبيرة، يمكنها الاستفادة بشكل أفضل من المساحة الحسابية. على الرغم من أن Binius متفوق في بعض الجوانب، إلا أن مفهوم Circle STARKs أبسط.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 11
أعجبني
11
4
مشاركة
تعليق
0/400
YieldWhisperer
· منذ 14 س
مه، رأيت هذا الرياضيات في 2018... نفس أساليب الهجوم القديمة ولكن معاد تعبئتها
شاهد النسخة الأصليةرد0
GasWrangler
· منذ 14 س
في الواقع، تقليل حجم المجال متفوق رياضيًا لكنكم نائمون على عنق الزجاجة العشوائية... ياسلام
شاهد النسخة الأصليةرد0
BlockchainFoodie
· منذ 14 س
تمامًا مثل تقليل صلصة معقدة... حقول أصغر = نكهة أفضل حقًا
Circle STARKs:方案 جديدة فعالة وبسيطة ل zk-SNARKs
استكشاف Circle STARKs
في السنوات الأخيرة، اتجه تصميم بروتوكولات STARKs نحو استخدام حقول أصغر. كانت أولى تطبيقات STARKs تستخدم حقلاً بحجم 256 بت، لكن هذا التصميم كان أقل كفاءة. من أجل تحسين الكفاءة، بدأت STARKs في استخدام حقول أصغر، مثل Goldilocks و Mersenne31 و BabyBear.
! عمل فيتاليك الجديد: استكشاف ستارك الدائرة
استخدام الحقول الصغيرة أدى إلى بعض التحديات، مثل مشكلة نقص العشوائية. لحل هذه المشكلة، هناك خياران: إجراء فحوصات عشوائية متعددة أو توسيع الحقول. توسيع الحقول مشابه للعدد المركب، ولكنه يعتمد على حقل محدود.
! عمل فيتاليك الجديد: استكشاف ستارك الدائرة
Circle STARKs هي حل بارع. given prime p ، يمكن العثور على مجموعة بحجم p ، لها خاصية ثنائية إلى واحدة. تتكون هذه المجموعة من نقاط تلبي شروط معينة ، مثل مجموعة النقاط التي تكون فيها x^2 mod p مساوية لقيمة معينة.
! عمل فيتاليك الجديد: استكشاف Circle STARKs
تستخدم Circle STARKs FFT خاصة تُعرف باسم Circle FFT. الكائنات التي تتعامل معها ليست متعددة الحدود بشكل صارم، بل هي مساحة Riemann-Roch. لا يحتاج المطورون إلى فهم التفاصيل الدقيقة، يكفي فقط التعامل مع المتعددات الحدودية كمجموعات من قيم التقييم.
! عمل فيتاليك الجديد: استكشاف الدائرة الدائرية
عند تنفيذ Circle STARKs، يجب الانتباه إلى النقاط التالية:
! عمل فيتاليك الجديد: استكشاف ستاركس الدائرة
تعتبر Circle STARKs فعالة جدًا على حقل الأعداد الأولية ذو 31 بت. بالمقارنة مع SNARKs ذات الحقول الكبيرة، يمكنها الاستفادة بشكل أفضل من المساحة الحسابية. على الرغم من أن Binius متفوق في بعض الجوانب، إلا أن مفهوم Circle STARKs أبسط.
! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة](https://img-cdn.gateio.im/webp-social/moments-0277731a7327da529c85417a01718c59.webp019283746574839201
قد تركز تحسينات STARK المستقبلية على:
! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-13da9460855ee8c504c44696efc2164c.webp(
بشكل عام، تعتبر Circle STARKs حلاً لتنفيذ STARK فعالاً ولكنه بسيط من حيث المفهوم، ويستحق المزيد من الاستكشاف والتطبيق.
! [إبداع فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-972d4e51e7d92462c519ef900358a6af.webp(