أحد الأسباب الرئيسية لانخفاض كفاءة STARKs هو أن معظم القيم في البرامج الفعلية صغيرة، ولكن لضمان أمان الإثبات المستند إلى شجرة ميركل، يتم استخدام ترميز ريد-سولومون لتوسيع البيانات، مما يؤدي إلى احتلال العديد من القيم الزائدة الموجودة في المجال بأكمله. أصبح تقليل حجم المجال استراتيجية رئيسية.
تمتلك النسخة الأولى من ترميز STARKs عرض بت يبلغ 252 بت، والثانية 64 بت، والثالثة 32 بت، لكن عرض الترميز البالغ 32 بت لا يزال يحتوي على مساحة ضائعة كبيرة. يسمح المجال الثنائي بالقيام بعمليات مباشرة على البتات، مما يجعل الترميز مضغوطًا وفعالًا دون أي مساحة ضائعة، وهو ما يُعرف بالجيل الرابع من STARKs.
Binius تعتمد على التقنيات الأساسية التالية:
حسابيات قائمة على مجال ثنائي عمودي
النسخة المحسنة من فحص المنتج والاستبدال HyperPlonk
Binius قامت بتكييف Lasso لعمليات المجال الثنائي، وقدمت إصدار الضرب من بروتوكول Lasso. يجب على الطرف المبرهن الالتزام بمتجه عداد القراءة غير الصفري في كل مكان لضمان أمان البروتوكول.
أزال Binius عنق الزجاجة في التزام Prover، والآن العنق الزجاجة الجديد هو بروتوكول Sumcheck. توفر خطة FRI-Binius تحويل FRI، مما يلغي تكاليف تضمين إثبات المجال. حاليًا، هناك عدة فرق تعمل على تطوير تطبيقات مرتبطة بـ Binius.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 10
أعجبني
10
8
مشاركة
تعليق
0/400
LiquiditySurfer
· 07-24 10:35
يفهم من يفهم، قريباً سيكون لدينا آلة حصاد الحمقى الجديدة.
شاهد النسخة الأصليةرد0
DefiVeteran
· 07-24 10:26
stark متى للقمر! للقمر!
شاهد النسخة الأصليةرد0
OPsychology
· 07-21 15:59
لا يزال من الأفضل تحسين غاز الرسوم.
شاهد النسخة الأصليةرد0
Token_Sherpa
· 07-21 15:58
مه، يوم آخر ونسخة أخرى صارخة... يظهر لي إجمالي القيمة المقفلة أولاً
شاهد النسخة الأصليةرد0
airdrop_huntress
· 07-21 15:56
أهلاً بالجميع، استيقظت للتو لأرى ماذا يوجد هنا
شاهد النسخة الأصليةرد0
TokenDustCollector
· 07-21 15:54
تقنية إدخل مركز عجل
شاهد النسخة الأصليةرد0
AirdropHunter007
· 07-21 15:52
Starkثور啊ثور啊太ثور啦
شاهد النسخة الأصليةرد0
RugPullAlarm
· 07-21 15:34
مرة أخرى مشروع لجمع المال تحت شعار الكفاءة، انتظر لترى العقد داخل السلسلة.
حلول ZK الفعالة القائمة على مجال ثنائي من Binius الجيل الرابع STARKs
تحليل مبادئ Binius STARKs وتفكير في تحسينها
1. المقدمة
أحد الأسباب الرئيسية لانخفاض كفاءة STARKs هو أن معظم القيم في البرامج الفعلية صغيرة، ولكن لضمان أمان الإثبات المستند إلى شجرة ميركل، يتم استخدام ترميز ريد-سولومون لتوسيع البيانات، مما يؤدي إلى احتلال العديد من القيم الزائدة الموجودة في المجال بأكمله. أصبح تقليل حجم المجال استراتيجية رئيسية.
تمتلك النسخة الأولى من ترميز STARKs عرض بت يبلغ 252 بت، والثانية 64 بت، والثالثة 32 بت، لكن عرض الترميز البالغ 32 بت لا يزال يحتوي على مساحة ضائعة كبيرة. يسمح المجال الثنائي بالقيام بعمليات مباشرة على البتات، مما يجعل الترميز مضغوطًا وفعالًا دون أي مساحة ضائعة، وهو ما يُعرف بالجيل الرابع من STARKs.
Binius تعتمد على التقنيات الأساسية التالية:
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
2. تحليل المبدأ
2.1 حسابات مستندة إلى towers of binary fields
يدعم مجال ثنائي البرج عمليات حسابية فعالة للغاية، وهو مفتاح لتحقيق حسابات قابلة للتحقق بسرعة. تشمل مزاياه:
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثلي
2.2 النسخة المعدلة من منتج HyperPlonk و PermutationCheck
أدخلت Binius تحسينات على HyperPlonk في المجالات التالية:
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
2.3 حجة التحويل متعددة الخطوط الجديدة
Binius قدم طريقتين رئيسيتين:
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
2.4 إصدار معدل من حجة البحث Lasso
Binius قامت بتكييف Lasso لعمليات المجال الثنائي، وقدمت إصدار الضرب من بروتوكول Lasso. يجب على الطرف المبرهن الالتزام بمتجه عداد القراءة غير الصفري في كل مكان لضمان أمان البروتوكول.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
2.5 نسخة معدلة Brakedown PCS
يقدم Binius نوعين من خطط الالتزام المتعددة باستخدام المجال الثنائي.
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
3. تحسين التفكير
3.1 PIOP المعتمد على GKR
تتطلب عملية ضرب المجال الثنائي القائمة على GKR التزامًا مساعدًا واحدًا، مما يزيد من الكفاءة من خلال تقليل نفقات Sumchecks.
3.2 تحسين ZeroCheck PIOP
من خلال ضبط توزيع العمل بين الطرف الموثق والطرف المتحقق، تم اقتراح عدة حلول لتحسين الأداء:
3.3 فحص المجموع تحسين PIOP
Ingonyama قدم اقتراح تحسين لبروتوكول Sumcheck القائم على المجالات الصغيرة:
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
تحسين ### 3.4 قطعة: FRI-Binius
FRI-Binius حقق آلية طي FRI ثنائية الأبعاد، مما أدى إلى 4 ابتكارات:
! أبحاث Bitlayer: تحليل مبدأ Binius STARKs والتفكير الأمثل
4. ملخص
أزال Binius عنق الزجاجة في التزام Prover، والآن العنق الزجاجة الجديد هو بروتوكول Sumcheck. توفر خطة FRI-Binius تحويل FRI، مما يلغي تكاليف تضمين إثبات المجال. حاليًا، هناك عدة فرق تعمل على تطوير تطبيقات مرتبطة بـ Binius.