كيفية تصميم خطة العودية أفضل والدليل؟

تقريبًا جميع المشكلات التي تمت مواجهتها في مسارات zkRollup وzkEVM هي في الأساس مشكلات خوارزمية. السبب الرئيسي وراء ذكر تسريع الأجهزة ZK-Proof بشكل متكرر هو أن الخوارزميات الحالية بطيئة بشكل عام.
من أجل تجنب الوقوع في الموقف المحرج المتمثل في "الخوارزمية ليست كافية، يتم استخدام الأجهزة للتعويض"، يجب علينا حل المشكلة من جوهر الخوارزمية. تصميم تكرار رائع مقاوم للتسليم المخطط هو المفتاح لحل هذه المشكلة.
كيفية تصميم خطة العودية أفضل والدليل؟

مع التطوير المستمر للعقود الذكية، يتم ظهور المزيد والمزيد من تطبيقات Web3 تدريجيًا، ويتزايد حجم المعاملات للطبقة الأولى التقليدية، مثل Ethereum، بسرعة، وقد يحدث الازدحام في أي وقت. أصبحت كيفية الحصول على كفاءة أعلى مع ضمان الأمان الذي توفره الطبقة الأولى مشكلة ملحة يجب حلها.

بالنسبة إلى Ethereum، يستخدم zkRollup خوارزمية إثبات المعرفة الصفرية كمكون أساسي لنقل الحسابات باهظة الثمن التي كان من الضروري في الأصل إجراؤها على الطبقة الأولى خارج السلسلة وتوفير دليل على صحة التنفيذ للسلسلة. يتضمن المسار مشاريع مثل ستارك وير، زك سينك، سكرول، و فوكس تك.

في الواقع، في تصميم zkRollup، هناك متطلبات عالية جدًا للكفاءة: من المأمول أن تكون قيمة الإثبات المقدمة صغيرة بما يكفي، ويمكن أن تقلل من مقدار حساب الطبقة 1. من أجل الحصول على طول إثبات صغير بما فيه الكفاية، كل يعمل مشروع zkRollup على تحسين تصميم الخوارزمية والهندسة المعمارية. على سبيل المثال، قامت شركة Fox بتطوير خوارزمية إثبات FOAKS الخاصة بها بالاشتراك مع أحدث خوارزمية إثبات المعرفة الصفرية للحصول على وقت الإثبات الأمثل وطول الإثبات.

بالإضافة إلى ذلك، في مرحلة التحقق من البراهين، فإن أبسط الوسائل هي توليد البراهين خطيا والتحقق منها تسلسليا. من أجل تحسين الكفاءة، أول ما يفكر فيه الجميع هو تجميع عدة أدلة في دليل واحد، وهو ما يشار إليه عادة باسم تجميع الأدلة.

من الناحية البديهية، يعد التحقق من البراهين التي تم إنشاؤها بواسطة zkEVM عملية خطية، ويحتاج أداة التحقق إلى التحقق من كل قيمة إثبات تم إنشاؤها بدورها. ومع ذلك، فإن كفاءة طريقة التحقق هذه منخفضة نسبيًا، كما أن حمل الاتصالات كبير نسبيًا. بالنسبة لسيناريو zkRollup، يعني ارتفاع النفقات العامة من جانب أداة التحقق المزيد من حسابات الطبقة الأولى، مما سيؤدي أيضًا إلى ارتفاع رسوم الغاز.

دعونا نلقي نظرة على مثال أولاً: تريد أليس أن تثبت للعالم أنها ذهبت إلى فوكس بارك في الفترة من الأول إلى السابع من هذا الشهر. ولهذا السبب، يمكنها التقاط صورة في الحديقة مع صحيفة اليوم كل يوم من اليوم الأول إلى اليوم السابع، وستكون هذه الصور السبع دليلاً على ذلك.

كيفية تصميم خطة العودية أفضل والدليل؟
مخطط تجميع الأدلة بالمعنى العام

إن وضع سبع صور مباشرة في مظروف في المثال أعلاه هو تجميع إثبات بالمعنى البديهي، وهو ما يتوافق مع ربط البراهين المختلفة معًا والتحقق منها خطيًا بالتسلسل، أي التحقق من الدليل الأول أولاً ثم التحقق من الدليل الثاني.

برهانان وبرهان لاحق. المشكلة هي أن هذا الأسلوب لن يغير حجم الإثبات ولا وقت الإثبات، وهو نفس الإثبات والتحقق واحدًا تلو الآخر. إذا كنت تريد تحقيق ضغط مساحة لوغاريتمي، فأنت بحاجة إلى استخدام Proof Recursion المذكور أدناه.

مخطط التكرار الإثباتي الذي تستخدمه Halo2 وSTARK

من أجل شرح أفضل لما هو الدليل العودي، دعونا نعود إلى المثال أعلاه.

صور أليس السبعة هي سبعة براهين. فكر الآن في دمجهما، حتى تتمكن أليس من التقاط صورة في اليوم الأول، والتقاط هذه الصورة في اليوم الثاني والصحيفة في اليوم الثاني، والتقاط الصورة في اليوم الثاني والصحيفة في الصورة الثالثة. على سبيل القياس، التقطت أليس الصورة الأخيرة في اليوم السابع مع صورة اليوم السادس والصحيفة في اليوم السابع، ويمكن للأصدقاء الآخرين التحقق من أنهم في اليوم الأول إلى السابع عندما يرون الصورة الأخيرة في اليوم السابع.

ذهب الجميع أليس إلى الحديقة. ويمكن ملاحظة أن الصور الإثباتية السبعة السابقة قد تم ضغطها في صورة واحدة. والمهارة الأساسية في هذه العملية هي "الصور التي تحتوي على صور"، وهو ما يعادل دمج الصور السابقة بشكل متكرر في الصور اللاحقة. إنه يختلف عن تجميع الكثير من الصور والتقاط صورة واحدة.

يمكن لخدعة الإثبات العودية لـ zkRollup أن تضغط حجم الإثبات بشكل كبير. على وجه التحديد، كل معاملة سوف تولد دليلا. لقد قمنا بتعيين دائرة حساب المعاملة الأصلية على أنها C0، وP0 كدليل على صحة C0، وV0 كعملية حسابية للتحقق من P0.

يقوم Prover أيضًا بتحويل V0 إلى الدائرة المقابلة، والتي يُشار إليها بـ C0′. حاليًا، بالنسبة لعملية حساب الإثبات، C1 لمعاملة أخرى، يمكن دمج دوائر C0' وC1. وبهذه الطريقة، بمجرد التحقق من صحة إثبات P1 للدائرة المدمجة، فإن ذلك يعادل التحقق من الدائرتين المذكورتين أعلاه في نفس الوقت. يتم تحقيق صحة المعاملة، أي الضغط.

بالنظر إلى العملية المذكورة أعلاه، يمكن العثور على أن مبدأ الضغط هو تحويل عملية التحقق والإثبات إلى دائرة ومن ثم إنشاء "إثبات للإثبات"، لذا من هذا المنظور، فهي عملية يمكن تكرارها باستمرار إلى الأسفل، المعروف أيضًا باسم الدليل العودي.

كيفية تصميم خطة العودية أفضل والدليل؟
مخطط الإثبات العودي الذي تستخدمه Halo2 وStark

يمكن لنظام Proof Recursion المعتمد من Halo2 وSTARK إنشاء أدلة بالتوازي والجمع بين العديد من الأدلة، بحيث يمكن التحقق من صحة عمليات تنفيذ المعاملات المتعددة أثناء التحقق من قيمة الإثبات، والتي يمكن أن تضغط النفقات العامة للحساب، وبالتالي تحسين كفاءة العمليات بشكل كبير. نظام.

ومع ذلك، لا يزال هذا التحسين عند مستوى أعلى من خوارزمية إثبات المعرفة الصفرية المحددة. ومن أجل زيادة تحسين الكفاءة، نحتاج إلى التحسين والابتكار على مستوى أدنى. تقوم خوارزمية FOAKS التي صممتها شركة Fox بذلك من خلال تطبيق أفكار متكررة داخل الدليل حتى هذه النقطة.

مخطط التكرار والإثبات الذي يستخدمه FOAKS

Fox Tech هو مشروع zkRollup قائم على zkEVM. في نظام الإثبات الخاص به، يتم أيضًا استخدام تقنية الإثبات العودي، لكن الدلالة تختلف عن الطريقة العودية المذكورة أعلاه. والفرق الرئيسي هو أن Fox يستخدم فكرة العودية داخل الدليل. من أجل التعبير عن الفكرة الأساسية للبرهان العودي الذي يستخدمه Fox لتقليل المشكلة المراد إثباتها بشكل مستمر حتى تصبح المشكلة المخفضة بسيطة بدرجة كافية، نحتاج إلى إعطاء مثال آخر.

في المثال أعلاه، تثبت أليس أنها ذهبت إلى حديقة فوكس في يوم معين عن طريق التقاط صورة، لذلك يقدم بوب اقتراحًا مختلفًا. وهو يعتقد أن مشكلة إثبات زيارة أليس للحديقة يمكن اختزالها في إثبات أن الهاتف المحمول الخاص بأليس قد زار الحديقة. وإثبات هذا الأمر يمكن اختزاله إلى إثبات أن موقع الهاتف المحمول الخاص بأليس يقع ضمن نطاق الحديقة.

ولذلك، من أجل إثبات أن أليس قد زارت الحديقة، فهي تحتاج فقط إلى إرسال الموقع بهاتفها المحمول أثناء تواجدها في الحديقة. وبهذه الطريقة، يتم تغيير حجم الدليل من صورة (بيانات عالية الأبعاد جدًا) إلى بيانات ثلاثية الأبعاد (خطوط الطول والعرض والوقت)، مما يوفر التكاليف بشكل فعال.

هذا المثال ليس مناسبًا تمامًا لأن بعض الأشخاص قد يشككون في أن هاتف أليس المحمول الذي ذهب إلى فوكس بارك لا يعني أن أليس كانت هناك، ولكن في المواقف الفعلية، تكون عملية الاختزال هذه رياضية بحتة.

على وجه التحديد، استخدام إثبات فوكس العودي هو العودية على مستوى الدائرة. عند إجراء إثبات المعرفة الصفرية، سنكتب المشكلة المراد إثباتها في دائرة ثم نحسب بعض المعادلات التي يجب تحقيقها من خلال الدائرة. وبدلًا من إظهار أن هذه المعادلات مُحققة، نكتب هذه المعادلات كدوائر مرة أخرى، وهكذا، حتى تصبح معادلات إثبات الرضا بسيطة بما يكفي حتى نتمكن من إثباتها بشكل مباشر بسهولة.

ومن هذه العملية يمكننا أن نرى أن هذا أقرب إلى معنى "العودة". ومن الجدير بالذكر أنه لا يمكن لجميع الخوارزميات استخدام هذه التقنية العودية، على افتراض أن كل عود سيغير دليل التعقيد O(n) إلى دليل O(f(n)) وحساب العملية العودية نفسها.

التعقيد هو O(g(n)))، ثم يصبح التعقيد الحسابي الإجمالي O1(n)=O(f(n))+O(g(n)) بعد عود واحد، وO2(n) بعد عودتين ) =O(f(f(n)))+O(g(n))+O(g(f(n)))، بعد ثلاث مرات يصبح O3(n)=O(f(f(f(n) ) )))+O(g(n))+O(g(f(n)))+O(g(f(f(n)))))، …، وهكذا.

لذلك، لا يمكن لمثل هذه التقنية العودية أن تعمل بفعالية إلا عندما تكون الوظيفتان f وg المتوافقتان مع خصائص الخوارزمية متوافقة مع Ok(n)

كيفية تصميم خطة العودية أفضل والدليل؟
مخطط الإثبات العودي الذي يستخدمه ZK-FOAKS

وفي الختام

لقد كان تعقيد البرهان دائمًا أحد أهم المفاتيح في تطبيق براهين المعرفة الصفرية. ستصبح طبيعة تعقيد الإثبات أكثر فأكثر أهمية حيث أن الأشياء المطلوب إثباتها تصبح أكثر تعقيدًا، خاصة في تطبيقات ZK العملاقة مثل zkEVM.

في هذا السيناريو، سيكون لتعقيد الإثبات تأثير حاسم على أداء المنتج وتجربة المستخدم. من بين الطرق العديدة لتقليل تعقيد البرهان النهائي، يعد تحسين الخوارزمية الأساسية هو الأكثر أهمية.

لقد صممت Fox مخططًا رائعًا لإثبات التسليم يعتمد على أحدث الخوارزميات ويستخدم هذه التقنية لإنشاء zkEVM الأكثر ملاءمة. من المتوقع أن تصبح خوارزمية ZK-FOAKS رائدة الأداء في صناعة zkRollup.

تنصل: يتم توفير المعلومات الواردة في هذا الموقع كتعليق عام على السوق ولا تشكل نصيحة استثمارية. نحن نشجعك على إجراء البحث الخاص بك قبل الاستثمار.

انضم إلينا لتتبع الأخبار: https://linktr.ee/coincu

هارولد

كوينكو الأخبار

كيفية تصميم خطة العودية أفضل والدليل؟

تقريبًا جميع المشكلات التي تمت مواجهتها في مسارات zkRollup وzkEVM هي في الأساس مشكلات خوارزمية. السبب الرئيسي وراء ذكر تسريع الأجهزة ZK-Proof بشكل متكرر هو أن الخوارزميات الحالية بطيئة بشكل عام.
من أجل تجنب الوقوع في الموقف المحرج المتمثل في "الخوارزمية ليست كافية، يتم استخدام الأجهزة للتعويض"، يجب علينا حل المشكلة من جوهر الخوارزمية. تصميم تكرار رائع مقاوم للتسليم المخطط هو المفتاح لحل هذه المشكلة.
كيفية تصميم خطة العودية أفضل والدليل؟

مع التطوير المستمر للعقود الذكية، يتم ظهور المزيد والمزيد من تطبيقات Web3 تدريجيًا، ويتزايد حجم المعاملات للطبقة الأولى التقليدية، مثل Ethereum، بسرعة، وقد يحدث الازدحام في أي وقت. أصبحت كيفية الحصول على كفاءة أعلى مع ضمان الأمان الذي توفره الطبقة الأولى مشكلة ملحة يجب حلها.

بالنسبة إلى Ethereum، يستخدم zkRollup خوارزمية إثبات المعرفة الصفرية كمكون أساسي لنقل الحسابات باهظة الثمن التي كان من الضروري في الأصل إجراؤها على الطبقة الأولى خارج السلسلة وتوفير دليل على صحة التنفيذ للسلسلة. يتضمن المسار مشاريع مثل ستارك وير، زك سينك، سكرول، و فوكس تك.

في الواقع، في تصميم zkRollup، هناك متطلبات عالية جدًا للكفاءة: من المأمول أن تكون قيمة الإثبات المقدمة صغيرة بما يكفي، ويمكن أن تقلل من مقدار حساب الطبقة 1. من أجل الحصول على طول إثبات صغير بما فيه الكفاية، كل يعمل مشروع zkRollup على تحسين تصميم الخوارزمية والهندسة المعمارية. على سبيل المثال، قامت شركة Fox بتطوير خوارزمية إثبات FOAKS الخاصة بها بالاشتراك مع أحدث خوارزمية إثبات المعرفة الصفرية للحصول على وقت الإثبات الأمثل وطول الإثبات.

بالإضافة إلى ذلك، في مرحلة التحقق من البراهين، فإن أبسط الوسائل هي توليد البراهين خطيا والتحقق منها تسلسليا. من أجل تحسين الكفاءة، أول ما يفكر فيه الجميع هو تجميع عدة أدلة في دليل واحد، وهو ما يشار إليه عادة باسم تجميع الأدلة.

من الناحية البديهية، يعد التحقق من البراهين التي تم إنشاؤها بواسطة zkEVM عملية خطية، ويحتاج أداة التحقق إلى التحقق من كل قيمة إثبات تم إنشاؤها بدورها. ومع ذلك، فإن كفاءة طريقة التحقق هذه منخفضة نسبيًا، كما أن حمل الاتصالات كبير نسبيًا. بالنسبة لسيناريو zkRollup، يعني ارتفاع النفقات العامة من جانب أداة التحقق المزيد من حسابات الطبقة الأولى، مما سيؤدي أيضًا إلى ارتفاع رسوم الغاز.

دعونا نلقي نظرة على مثال أولاً: تريد أليس أن تثبت للعالم أنها ذهبت إلى فوكس بارك في الفترة من الأول إلى السابع من هذا الشهر. ولهذا السبب، يمكنها التقاط صورة في الحديقة مع صحيفة اليوم كل يوم من اليوم الأول إلى اليوم السابع، وستكون هذه الصور السبع دليلاً على ذلك.

كيفية تصميم خطة العودية أفضل والدليل؟
مخطط تجميع الأدلة بالمعنى العام

إن وضع سبع صور مباشرة في مظروف في المثال أعلاه هو تجميع إثبات بالمعنى البديهي، وهو ما يتوافق مع ربط البراهين المختلفة معًا والتحقق منها خطيًا بالتسلسل، أي التحقق من الدليل الأول أولاً ثم التحقق من الدليل الثاني.

برهانان وبرهان لاحق. المشكلة هي أن هذا الأسلوب لن يغير حجم الإثبات ولا وقت الإثبات، وهو نفس الإثبات والتحقق واحدًا تلو الآخر. إذا كنت تريد تحقيق ضغط مساحة لوغاريتمي، فأنت بحاجة إلى استخدام Proof Recursion المذكور أدناه.

مخطط التكرار الإثباتي الذي تستخدمه Halo2 وSTARK

من أجل شرح أفضل لما هو الدليل العودي، دعونا نعود إلى المثال أعلاه.

صور أليس السبعة هي سبعة براهين. فكر الآن في دمجهما، حتى تتمكن أليس من التقاط صورة في اليوم الأول، والتقاط هذه الصورة في اليوم الثاني والصحيفة في اليوم الثاني، والتقاط الصورة في اليوم الثاني والصحيفة في الصورة الثالثة. على سبيل القياس، التقطت أليس الصورة الأخيرة في اليوم السابع مع صورة اليوم السادس والصحيفة في اليوم السابع، ويمكن للأصدقاء الآخرين التحقق من أنهم في اليوم الأول إلى السابع عندما يرون الصورة الأخيرة في اليوم السابع.

ذهب الجميع أليس إلى الحديقة. ويمكن ملاحظة أن الصور الإثباتية السبعة السابقة قد تم ضغطها في صورة واحدة. والمهارة الأساسية في هذه العملية هي "الصور التي تحتوي على صور"، وهو ما يعادل دمج الصور السابقة بشكل متكرر في الصور اللاحقة. إنه يختلف عن تجميع الكثير من الصور والتقاط صورة واحدة.

يمكن لخدعة الإثبات العودية لـ zkRollup أن تضغط حجم الإثبات بشكل كبير. على وجه التحديد، كل معاملة سوف تولد دليلا. لقد قمنا بتعيين دائرة حساب المعاملة الأصلية على أنها C0، وP0 كدليل على صحة C0، وV0 كعملية حسابية للتحقق من P0.

يقوم Prover أيضًا بتحويل V0 إلى الدائرة المقابلة، والتي يُشار إليها بـ C0′. حاليًا، بالنسبة لعملية حساب الإثبات، C1 لمعاملة أخرى، يمكن دمج دوائر C0' وC1. وبهذه الطريقة، بمجرد التحقق من صحة إثبات P1 للدائرة المدمجة، فإن ذلك يعادل التحقق من الدائرتين المذكورتين أعلاه في نفس الوقت. يتم تحقيق صحة المعاملة، أي الضغط.

بالنظر إلى العملية المذكورة أعلاه، يمكن العثور على أن مبدأ الضغط هو تحويل عملية التحقق والإثبات إلى دائرة ومن ثم إنشاء "إثبات للإثبات"، لذا من هذا المنظور، فهي عملية يمكن تكرارها باستمرار إلى الأسفل، المعروف أيضًا باسم الدليل العودي.

كيفية تصميم خطة العودية أفضل والدليل؟
مخطط الإثبات العودي الذي تستخدمه Halo2 وStark

يمكن لنظام Proof Recursion المعتمد من Halo2 وSTARK إنشاء أدلة بالتوازي والجمع بين العديد من الأدلة، بحيث يمكن التحقق من صحة عمليات تنفيذ المعاملات المتعددة أثناء التحقق من قيمة الإثبات، والتي يمكن أن تضغط النفقات العامة للحساب، وبالتالي تحسين كفاءة العمليات بشكل كبير. نظام.

ومع ذلك، لا يزال هذا التحسين عند مستوى أعلى من خوارزمية إثبات المعرفة الصفرية المحددة. ومن أجل زيادة تحسين الكفاءة، نحتاج إلى التحسين والابتكار على مستوى أدنى. تقوم خوارزمية FOAKS التي صممتها شركة Fox بذلك من خلال تطبيق أفكار متكررة داخل الدليل حتى هذه النقطة.

مخطط التكرار والإثبات الذي يستخدمه FOAKS

Fox Tech هو مشروع zkRollup قائم على zkEVM. في نظام الإثبات الخاص به، يتم أيضًا استخدام تقنية الإثبات العودي، لكن الدلالة تختلف عن الطريقة العودية المذكورة أعلاه. والفرق الرئيسي هو أن Fox يستخدم فكرة العودية داخل الدليل. من أجل التعبير عن الفكرة الأساسية للبرهان العودي الذي يستخدمه Fox لتقليل المشكلة المراد إثباتها بشكل مستمر حتى تصبح المشكلة المخفضة بسيطة بدرجة كافية، نحتاج إلى إعطاء مثال آخر.

في المثال أعلاه، تثبت أليس أنها ذهبت إلى حديقة فوكس في يوم معين عن طريق التقاط صورة، لذلك يقدم بوب اقتراحًا مختلفًا. وهو يعتقد أن مشكلة إثبات زيارة أليس للحديقة يمكن اختزالها في إثبات أن الهاتف المحمول الخاص بأليس قد زار الحديقة. وإثبات هذا الأمر يمكن اختزاله إلى إثبات أن موقع الهاتف المحمول الخاص بأليس يقع ضمن نطاق الحديقة.

ولذلك، من أجل إثبات أن أليس قد زارت الحديقة، فهي تحتاج فقط إلى إرسال الموقع بهاتفها المحمول أثناء تواجدها في الحديقة. وبهذه الطريقة، يتم تغيير حجم الدليل من صورة (بيانات عالية الأبعاد جدًا) إلى بيانات ثلاثية الأبعاد (خطوط الطول والعرض والوقت)، مما يوفر التكاليف بشكل فعال.

هذا المثال ليس مناسبًا تمامًا لأن بعض الأشخاص قد يشككون في أن هاتف أليس المحمول الذي ذهب إلى فوكس بارك لا يعني أن أليس كانت هناك، ولكن في المواقف الفعلية، تكون عملية الاختزال هذه رياضية بحتة.

على وجه التحديد، استخدام إثبات فوكس العودي هو العودية على مستوى الدائرة. عند إجراء إثبات المعرفة الصفرية، سنكتب المشكلة المراد إثباتها في دائرة ثم نحسب بعض المعادلات التي يجب تحقيقها من خلال الدائرة. وبدلًا من إظهار أن هذه المعادلات مُحققة، نكتب هذه المعادلات كدوائر مرة أخرى، وهكذا، حتى تصبح معادلات إثبات الرضا بسيطة بما يكفي حتى نتمكن من إثباتها بشكل مباشر بسهولة.

ومن هذه العملية يمكننا أن نرى أن هذا أقرب إلى معنى "العودة". ومن الجدير بالذكر أنه لا يمكن لجميع الخوارزميات استخدام هذه التقنية العودية، على افتراض أن كل عود سيغير دليل التعقيد O(n) إلى دليل O(f(n)) وحساب العملية العودية نفسها.

التعقيد هو O(g(n)))، ثم يصبح التعقيد الحسابي الإجمالي O1(n)=O(f(n))+O(g(n)) بعد عود واحد، وO2(n) بعد عودتين ) =O(f(f(n)))+O(g(n))+O(g(f(n)))، بعد ثلاث مرات يصبح O3(n)=O(f(f(f(n) ) )))+O(g(n))+O(g(f(n)))+O(g(f(f(n)))))، …، وهكذا.

لذلك، لا يمكن لمثل هذه التقنية العودية أن تعمل بفعالية إلا عندما تكون الوظيفتان f وg المتوافقتان مع خصائص الخوارزمية متوافقة مع Ok(n)

كيفية تصميم خطة العودية أفضل والدليل؟
مخطط الإثبات العودي الذي يستخدمه ZK-FOAKS

وفي الختام

لقد كان تعقيد البرهان دائمًا أحد أهم المفاتيح في تطبيق براهين المعرفة الصفرية. ستصبح طبيعة تعقيد الإثبات أكثر فأكثر أهمية حيث أن الأشياء المطلوب إثباتها تصبح أكثر تعقيدًا، خاصة في تطبيقات ZK العملاقة مثل zkEVM.

في هذا السيناريو، سيكون لتعقيد الإثبات تأثير حاسم على أداء المنتج وتجربة المستخدم. من بين الطرق العديدة لتقليل تعقيد البرهان النهائي، يعد تحسين الخوارزمية الأساسية هو الأكثر أهمية.

لقد صممت Fox مخططًا رائعًا لإثبات التسليم يعتمد على أحدث الخوارزميات ويستخدم هذه التقنية لإنشاء zkEVM الأكثر ملاءمة. من المتوقع أن تصبح خوارزمية ZK-FOAKS رائدة الأداء في صناعة zkRollup.

تنصل: يتم توفير المعلومات الواردة في هذا الموقع كتعليق عام على السوق ولا تشكل نصيحة استثمارية. نحن نشجعك على إجراء البحث الخاص بك قبل الاستثمار.

انضم إلينا لتتبع الأخبار: https://linktr.ee/coincu

هارولد

كوينكو الأخبار

تمت الزيارة 68 مرة، 1 زيارة اليوم