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