تصميم بروتوكولات STARKs في السنوات الأخيرة يتجه نحو استخدام حقول أصغر لزيادة سرعة الإثبات. على سبيل المثال، يمكن لـ Starkware إثبات 620,000 قيمة تجزئة Poseidon2 في الثانية على جهاز M3. ستستكشف هذه المقالة كيفية عمل هذه التقنيات، مع التركيز بشكل خاص على حل Circle STARKs.
تتمثل إحدى المشكلات الشائعة عند استخدام حقول أصغر في أن المهاجمين قد يتمكنون من كسر البروتوكول من خلال محاولة قيم محتملة محدودة. تشمل الحلول إجراء عدة فحوصات عشوائية، أو توسيع الحقول. توسيع الحقول مشابه للأعداد المركبة، ولكنه يعتمد على الحقول المحدودة.
تكمن براعة دائرة STARKs في إمكانية العثور على مجموعة بحجم p، تتميز بخاصية ثنائية واحدة مشابهة. تتكون هذه المجموعة من نقاط تلبي شروطًا معينة، مثل مجموعة النقاط التي يكون فيها x^2 mod p مساويًا لقيمة معينة.
تدعم Circle STARKs FFT، لكن الكائنات المعالجة ليست بالضرورة متعددة الحدود، بل هي فضاء ريمان-روتش. بصفتك مطورًا، يمكنك تجاهل هذه النقطة تقريبًا، فقط قم بتخزين متعددة الحدود كمجموعة من قيم التقييم.
في حساب الأعمال، تحتاج Circle STARKs إلى تقييم نقطتين لإثبات ذلك، مع إضافة نقطة افتراضية. بالنسبة للحدود المتلاشية، تستخدم Circle STARKs شكل دالة محدد.
بشكل عام، فإن Circle STARKs ليست أكثر تعقيدًا بالنسبة للمطورين من STARKs التقليدية. قد تشمل اتجاهات تحسين STARK المستقبلية: تحسينات حسابية تستهدف البنى الأساسية للتشفير، وبناء تكراري لزيادة التوازي، وتحسين الحسابات الافتراضية لتحسين تجربة التطوير.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 12
أعجبني
12
3
مشاركة
تعليق
0/400
OnChain_Detective
· 07-21 05:30
همم... تحليل النمط يظهر فجوات مشبوهة في تنفيذ circlestark بصراحة
تحليل عميق لتقنية Circle STARKs: اتجاه جديد للتحقق الفعال
استكشاف Circle STARKs
تصميم بروتوكولات STARKs في السنوات الأخيرة يتجه نحو استخدام حقول أصغر لزيادة سرعة الإثبات. على سبيل المثال، يمكن لـ Starkware إثبات 620,000 قيمة تجزئة Poseidon2 في الثانية على جهاز M3. ستستكشف هذه المقالة كيفية عمل هذه التقنيات، مع التركيز بشكل خاص على حل Circle STARKs.
! عمل فيتاليك الجديد: استكشاف ستارك الدائرة
تتمثل إحدى المشكلات الشائعة عند استخدام حقول أصغر في أن المهاجمين قد يتمكنون من كسر البروتوكول من خلال محاولة قيم محتملة محدودة. تشمل الحلول إجراء عدة فحوصات عشوائية، أو توسيع الحقول. توسيع الحقول مشابه للأعداد المركبة، ولكنه يعتمد على الحقول المحدودة.
! عمل فيتاليك الجديد: استكشاف ستارك الدائرة
تكمن براعة دائرة STARKs في إمكانية العثور على مجموعة بحجم p، تتميز بخاصية ثنائية واحدة مشابهة. تتكون هذه المجموعة من نقاط تلبي شروطًا معينة، مثل مجموعة النقاط التي يكون فيها x^2 mod p مساويًا لقيمة معينة.
! عمل فيتاليك الجديد: استكشاف Circle STARKs
تدعم Circle STARKs FFT، لكن الكائنات المعالجة ليست بالضرورة متعددة الحدود، بل هي فضاء ريمان-روتش. بصفتك مطورًا، يمكنك تجاهل هذه النقطة تقريبًا، فقط قم بتخزين متعددة الحدود كمجموعة من قيم التقييم.
! عمل فيتاليك الجديد: استكشاف الدائرة الدائرية
في حساب الأعمال، تحتاج Circle STARKs إلى تقييم نقطتين لإثبات ذلك، مع إضافة نقطة افتراضية. بالنسبة للحدود المتلاشية، تستخدم Circle STARKs شكل دالة محدد.
! عمل فيتاليك الجديد: استكشاف ستاركس الدائرة
تستخدم Circle STARKs ترتيبًا عكسيًا معدلًا، لتعكس هيكلها المميز للطي. هذا الترتيب يجعل FRI أكثر كفاءة في استخدام المساحة.
! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة](https://img-cdn.gateio.im/webp-social/moments-0277731a7327da529c85417a01718c59.webp019283746574839201
كفاءة Circle STARKs عالية، حيث تستفيد تمامًا من المساحة في تتبع الحسابات. على الرغم من أن Binius أفضل في بعض الجوانب، إلا أن مفهوم Circle STARKs أبسط.
! [عمل فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-13da9460855ee8c504c44696efc2164c.webp(
بشكل عام، فإن Circle STARKs ليست أكثر تعقيدًا بالنسبة للمطورين من STARKs التقليدية. قد تشمل اتجاهات تحسين STARK المستقبلية: تحسينات حسابية تستهدف البنى الأساسية للتشفير، وبناء تكراري لزيادة التوازي، وتحسين الحسابات الافتراضية لتحسين تجربة التطوير.
! [إبداع فيتاليك الجديد: استكشاف ستارك الدائرة])https://img-cdn.gateio.im/webp-social/moments-972d4e51e7d92462c519ef900358a6af.webp(