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