في مسار تطور STARKs، تزداد كفاءة الترميز تدريجياً ولكن لا يزال هناك هدر. حقق Binius ترميزاً أكثر كفاءة وملاءمة من خلال العمليات المباشرة على المواضع، ومن المتوقع أن يصبح الجيل الرابع من STARK. يعتمد Binius على تقنيات مثل الحساب الثنائي البرجي المحسن، وHyperPlonk المحسن لفحص المنتج والاستبدال، والتعهدات متعددة الحدود في الحقول الصغيرة، مما يعزز الكفاءة من جوانب متعددة. لا يزال هناك مجال لتحسين المزيد في مجالات ضرب الحقول الثنائية، وZeroCheck، وSumCheck، وPCS، من أجل زيادة سرعة الإثبات وتقليل حجم الإثبات.
تجمع Binius بين HyperPlonk PIOP و Brakedown PCS و المجال الثنائي، وتتضمن خمس تقنيات رئيسية:
الحساب القائم على المجال الثنائي البرجي
النسخة المعاد ترتيبها من فحص حاصل الضرب والتبديل لـ HyperPlonk
نظرية الإزاحة متعددة الخطوط الجديدة
نسخة محسنة من إثبات البحث باستخدام Lasso
نظام التزام متعدد الحدود الصغير
2.1 المجالات المحدودة: حساب مبني على أبراج الحقول الثنائية
يدعم المجال الثنائي البرجي الحسابات الفعالة والعمليات الحسابية المبسطة. يمكن تمثيل عناصر المجال الثنائي بمرونة، دون الحاجة إلى نفقات حسابية إضافية، مما يسمح بالتحويل بين مجالات بأحجام مختلفة.
تقدم Binius نوعين من خطط الالتزام متعدد الحدود Brakedown المستندة إلى المجال الثنائي، باستخدام الالتزام متعدد الحدود على النطاق الصغير وتقييم النطاق الموسع، والبناء العام على النطاق الصغير وتقنيات الترميز على مستوى الكتلة.
أزال Binius اختناق الالتزام من Prover، والاختناق الجديد يكمن في بروتوكول Sumcheck. FRI-Binius هو متغير FRI، يمكنه القضاء على تكاليف تضمين إثبات المجال. يعمل Binius على تطوير طبقة متكررة، ويتعاون مع عدة فرق لبناء zkVM وتنفيذ FPGA.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 12
أعجبني
12
7
مشاركة
تعليق
0/400
GasBandit
· 08-03 17:05
لا يمكن تحسين التحسين
شاهد النسخة الأصليةرد0
consensus_failure
· 08-02 22:51
إنه يتحدث عن الأداء مرة أخرى
شاهد النسخة الأصليةرد0
Ser_APY_2000
· 08-02 02:57
متى ستطرح هذه الأشياء على الشبكة الرئيسية
شاهد النسخة الأصليةرد0
MemeKingNFT
· 08-01 02:20
حمقى ما زالوا يتابعون السوق، لقد شاركت الجميع في stark.
Binius: تحليل تقنية STARK من الجيل الرابع المحسنة في مجال الثنائي
تحليل مبادئ Binius STARKs وتأملات في تحسينها
1. المقدمة
في مسار تطور STARKs، تزداد كفاءة الترميز تدريجياً ولكن لا يزال هناك هدر. حقق Binius ترميزاً أكثر كفاءة وملاءمة من خلال العمليات المباشرة على المواضع، ومن المتوقع أن يصبح الجيل الرابع من STARK. يعتمد Binius على تقنيات مثل الحساب الثنائي البرجي المحسن، وHyperPlonk المحسن لفحص المنتج والاستبدال، والتعهدات متعددة الحدود في الحقول الصغيرة، مما يعزز الكفاءة من جوانب متعددة. لا يزال هناك مجال لتحسين المزيد في مجالات ضرب الحقول الثنائية، وZeroCheck، وSumCheck، وPCS، من أجل زيادة سرعة الإثبات وتقليل حجم الإثبات.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
2. تحليل المبدأ
تجمع Binius بين HyperPlonk PIOP و Brakedown PCS و المجال الثنائي، وتتضمن خمس تقنيات رئيسية:
2.1 المجالات المحدودة: حساب مبني على أبراج الحقول الثنائية
يدعم المجال الثنائي البرجي الحسابات الفعالة والعمليات الحسابية المبسطة. يمكن تمثيل عناصر المجال الثنائي بمرونة، دون الحاجة إلى نفقات حسابية إضافية، مما يسمح بالتحويل بين مجالات بأحجام مختلفة.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثلي
2.2 PIOP: النسخة المعدلة من منتج HyperPlonk و PermutationCheck
تستخدم Binius آلية فحص HyperPlonk الأساسية المحسنة، بما في ذلك GateCheck و PermutationCheck و LookupCheck وغيرها. تشمل التحسينات الرئيسية:
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
2.3 PIOP:حجة التحول المتعدد الأبعاد الجديدة
أدخلت Binius طريقتين رئيسيتين هما التعبئة وعوامل الإزاحة، لبناء ومعالجة الحدود المتعددة الافتراضية بكفاءة.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
2.4 PIOP: نسخة معدلة من حجة بحث Lasso
أدخلت Binius بروتوكول Lasso بنسخة الضرب، متكيفًا مع العمليات الثنائية، وعالجت المشكلات الأمنية المحتملة.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
2.5 PCS: النسخة المعدلة Brakedown PCS
تقدم Binius نوعين من خطط الالتزام متعدد الحدود Brakedown المستندة إلى المجال الثنائي، باستخدام الالتزام متعدد الحدود على النطاق الصغير وتقييم النطاق الموسع، والبناء العام على النطاق الصغير وتقنيات الترميز على مستوى الكتلة.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
3. تحسين التفكير
3.1 PIOP المعتمد على GKR: ضرب المجال الثنائي المعتمد على GKR
من خلال استخدام بروتوكول GKR بدلاً من خوارزمية Lasso Lookup، يمكن تقليل تكاليف الالتزام بشكل كبير.
3.2 تحسين ZeroCheck PIOP
من خلال تعديل توزيع عبء العمل بين الجهة المثبتة والجهة المصدقة، تحسين كفاءة عملية ZeroCheck.
3.3 فحص المجموع تحسين PIOP
تحسين فحص المجموع في النطاقات الصغيرة، وتقليل العبء الحسابي في النطاقات الصغيرة بشكل أكبر.
تحسين ### 3.4 قطعة: FRI-Binius
FRI-Binius يحقق آلية طي FRI الثنائية ، مما يمكن أن يقلل بشكل كبير من حجم إثبات Binius.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
4. ملخص
أزال Binius اختناق الالتزام من Prover، والاختناق الجديد يكمن في بروتوكول Sumcheck. FRI-Binius هو متغير FRI، يمكنه القضاء على تكاليف تضمين إثبات المجال. يعمل Binius على تطوير طبقة متكررة، ويتعاون مع عدة فرق لبناء zkVM وتنفيذ FPGA.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل