ما هو طريق الإثبات المتعدد؟ كيف ترتبط بنهاية لعبة Ethereum؟

المؤلف: LINDABELL المصدر: chainfeeds

في 23 مايو، أعلنت Taiko عن الجولة الأولى من صفحة الاستعلام عن الإسقاط الجوي. لكنها أثارت موجة من الجدل حول العدالة في المجتمع. وفي مواجهة رد مؤسسها دانييل وانغ، لا يبدو أن المجتمع يقتنع بها.

في الوقت نفسه، في 25 مايو، اقترح فيتاليك بوتيرين، المؤسس المشارك لـ Ethereum، أول كتلة على شبكة Taiko الرئيسية كمقترح للكتلة، وعلى الكتلة قال التذييل: "يسعدني أن أرى إطلاق Taiko كمنصة قائمة على التجميع. تستفيد Ethereum من L2s باستخدام العديد من الأساليب المختلفة، وأنا أقدر أن Taiko هو أحد المشاريع الأولى التي تتحرك في هذا الاتجاه."

بعد ترقية كانكون، أعاد نظام Ethereum البيئي تركيزه مرة أخرى إلى مجال L2. على عكس مشاريع Rollup الأخرى، تعمل Taiko على تطوير حلول تعتمد على Based Rollup وقد اجتذبت تأييد العديد من شركات رأس المال الاستثماري مثل Sequoia China وGenerative Ventures وHashed وLightspeed Faction وToken Bay Capital وFlow Traders. لا يمكن للمرء إلا أن يتساءل، ما الذي يميز Taiko مقارنة بمشاريع توسعة ZK المعروفة الأخرى؟ كيف ستؤثر خطتها التوسعية على المشهد البيئي L2؟

من خلال هذه الأسئلة، تحدثت ChainFeeds إلى فريق Taiko وناقشت أصول Taiko ورؤيتها وخطة توسعة Ethereum وما إلى ذلك.

المقتطفات الرئيسية:

• يأمل مؤسس Taiko دانييل وانغ في توسيع نطاق Ethereum دون التضحية باللامركزية وتحقيق التعايش بين شبكات المستوى الثاني المركزية واللامركزية، مما يسمح للتطبيقات اللامركزية باتخاذ القرارات بين الخيارين.

• Contestable Rollup هو تجريد لـ zkRollup وOptimistic Rollup. في المستقبل، إذا كانت براهين المعرفة الصفرية رخيصة بما فيه الكفاية، فيمكن صياغتها كنسخة zkRollup خالصة.

• في عملية تطوير أدلة SGX، أدرك فريق Taiko تدريجيًا أهمية العملاء عديمي الجنسية واعتقد اعتقادًا راسخًا أن المستقبل سيكون في zkVM جدوى تشغيل عميل عديم الجنسية لإنشاء إثباتات المعرفة الصفرية.

• تم إطلاق Taiko على الشبكة الرئيسية، ولا يُسمح بتقديم الكتل واعتمادها، لكن العقد لا يزال له مالك. يخطط فريق Taiko لنقل جميع العقود إلى Taiko DAO بعد حوالي عام من بدء تشغيل الشبكة الرئيسية، والتخلي تمامًا عن ملكية الشبكة والتحكم فيها.

أصول Taiko: توسيع نطاق Ethereum دون التضحية باللامركزية

أنشأ مؤسس Taiko، دانييل وانغ، أول بروتوكول Loopring لبروتوكول DEX البيئي لإيثريوم استنادًا إلى ZKRollup في عام 2017. لكن الهندسة المعمارية لـ Loopring لم تتناسب تمامًا مع رؤية دانيال. ويأمل دانيال في توسيع نطاق إيثريوم دون التضحية باللامركزية وتحقيق التعايش بين شبكات الطبقة الثانية المركزية واللامركزية، حتى تتمكن التطبيقات اللامركزية من اتخاذ قرارات أكثر استنارة بين الخيارين. ومع ذلك، لا يمكن بناء Loopring إلا كشبكة من المستوى الثاني غير قابلة للبرمجة، وتفتقر إلى بنية آلة افتراضية، ومن أجل تقليل التكاليف، فإن آلية إنشاء الكتل الخاصة بها مركزية أيضًا.

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

Taiko هو zkEVM من النوع 1 الذي يوفر نفس أكواد التشغيل والوظائف تمامًا مثل Ethereum، مما يضمن التوافق العالي مع نظام Ethereum البيئي الحالي. أكد فريق Taiko على أن التصميم الأصلي لـ Taiko كان يعتمد على هيكل Based Rollup، أي أن مدقق Ethereum هو المسؤول في النهاية عن إنتاج كتلة Taiko، مما يحقق اللامركزية في مقدمي العروض. اعتبارًا من الآن، لدى Taiko أكثر من 30000 مقترح لامركزي وأكثر من 14000 مدقق لامركزي. في مارس من هذا العام، أكملت Taiko جولة التمويل الأولى بقيمة 15 مليون دولار بقيادة Lightspeed Faction وHashed وGenerative Ventures وToken Bay Capital، ليصل إجمالي مبلغ التمويل إلى 37 مليون دولار. ردًا على تأييد شركات رأس المال المغامر، ذكر فريق Taiko أنهم يعلقون أهمية كبيرة على التآزر الاستراتيجي بين المؤسسات الاستثمارية وTaiko. والسبب في أن Taiko تمكنت من أن تصبح واحدة من أكبر مجتمعات Discord في العالم (أكثر من 1.07 مليون عضو) في فترة زمنية قصيرة وجذب مئات التطبيقات اللامركزية للنشر، بالإضافة إلى أنواع Type-1 والهندسة المعمارية اللامركزية تمامًا بالإضافة إلى المزايا، دعم المستثمرين أمر لا غنى عنه.

استكشاف إطار تصميم مجموعة Ethereum: BCR وBBR

الميزات الرئيسية لـ Taiko و أحد الاختلافات هو أنه يختار آلية التجميع المستندة، والتي لا تعتمد على جهاز تسلسل مركزي، ولكنها تعتمد على أدوات التحقق من صحة Ethereum لتسلسل المعاملات والكتل. للمضي قدمًا، اقترح دانييل وانج، المؤسس المشارك لشركة Taiko، مفهوم "المجموع القابل للتنافس (BCR)" في نهاية عام 2023. يقدم هذا المفهوم آلية قابلة للتنافس لأن كود ZK-EVM لا يمكن أن يكون دائمًا خاليًا من الأخطاء، كما أن Taiko لا مركزي ولديه درجة منخفضة من التسامح مع الأخطاء، لذلك يجب اعتماد موقف حذر.

شرح فريق Taiko أيضًا الاعتبارات الرئيسية لاختيار التصميم القابل للتنافس:

• < p style="text-align: left;">أولاً وقبل كل شيء، لا يتطلب التراكمي المستند إلى إذن، ويجب تقديم "شهادة المستوى الأعلى" لحل الأخطاء المحتملة في البرنامج. وهذا يتجنب الحاجة إلى شبكات مركزية لإغلاق الشبكة لتصحيح البيانات. وبطبيعة الحال، يمكن إزالة آلية تصحيح الأخطاء هذه تدريجيًا مع تشغيل شبكة Taiko لفترة أطول.

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

• أخيرًا، تعتبر مجموعة التحديثات القابلة للتنافس مرنة وقابلة للتطوير ويمكن اعتبارها تجريدًا لـ zkRollup وOptimistic Rollup. على سبيل المثال، إذا أصبحت إثباتات المعرفة الصفرية أرخص في المستقبل، فيمكننا تكوين مجموعة التحديثات القابلة للتنافس كمجموعة zkRollup خالصة، أو تكوينها كمجموعة تراكمية متفائلة خالصة وفقًا لاحتياجات التطبيق للتكيف مع احتياجات التحقق المختلفة.

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

بالإضافة إلى ذلك، تتمتع بنية BCR الخاصة بـ Taiko أيضًا بميزة أساسية تسمح لكل مستوى باستخدام نظام الإثبات الخاص به. صرح فريق Taiko أنه في ظل بنية تعتمد على مجموعة التحديثات القابلة للتنافس، يمكن إنشاء مستويات مختلفة من البراهين، مثل البرهان المتفائل الأقل تكلفة، ثم برهان SGX، ثم برهان zkEVM أو zkVM. تعد أنواع الأدلة المختلفة هذه تجسيدًا لمفهوم قابل للتنافس، ويمكن أيضًا دمج هذه الأدلة لإنشاء نظام هجين متعدد الأدلة، على سبيل المثال، يمكن اعتبار "SGX+zkVM" دليلاً أكثر مصداقية من استخدام دليل zkVM فقط. .

كأول معلم مهم، تخطط Taiko لاختبار التشغيل الفعلي لـ BCR على شبكة اختبار Alpha-6 Katla، ثم إطلاقها على الشبكة الرئيسية. بعد ذلك، تخطط Taiko إما لترقية البروتوكول إلى Boosted Based Rollup (BBR) أو إطلاق طبقة ثانية مستقلة من BBR كمعلم هام ثانٍ. قال تايكو إن Boosted Based Rollup يعد خيارًا حكيمًا لتحقيق قابلية التوسع الأصلية لـ Ethereum. سوف تكتسب Ethereum القدرة على التوسع خارج الصندوق من خلال السماح لمدققي L1 باقتراح كتل جديدة للشبكة بأكملها. بالنسبة للمطورين، يتيح BBR تقاسم تنفيذ المعاملات وتخزينها. بالنسبة للمستخدمين، سيتم تحسين تجربة المستخدم لأنه سيتم توزيع التطبيقات اللامركزية عبر جميع مستويات اللغة الثانية.

ترقية السرد: الانتقال إلى ZKVM؟

الجميع على دراية بـ zkEVM، لكن EVM غير مصمم للعمل في دوائر صفر المعرفة، لذلك، في الممارسة العملية، غالبًا ما يتطلب تنفيذ zkEVM إجراء بعض المقايضات . على عكس zkEVM، فإن zkVM عبارة عن آلة افتراضية يتم تنفيذها كدائرة نظام مقاومة للمعرفة الصفرية. وتشمل مزاياه: عدم الحاجة إلى تعلم التشفير ونظام ZKP، وسهل الاستخدام؛ ويمكن استخدام ZK-VM الشامل من Turing كدليل حسابي لأي عملية حسابية، وهو أمر بسيط جدًا، وهناك مجموعة من القيود البسيطة تكفي لوصف الكل يمكن لـ VM استخدام العودية، مما يثبت أن التحقق هو مجرد برنامج آخر يتم تنفيذه على VM.

بدأت Taiko في الانتقال من استخدام نموذج zkEVM إلى استخدام نموذج zkVM. بالانتقال إلى نموذج zkVM، يمكن لـ Taiko تعديل وتشغيل العميل الذي يقوم بإنشاء إثباتات ZK. ولضمان المتانة، تقوم Taiko بتنويع افتراضات التشفير من خلال بناء أنظمة إثبات متعددة والمساهمة في العديد من وحدات zkVM (مثل RISC Zero وSP1 وPowdr)، وتستخدم SGX لتعزيز الخصوصية دون تسريب البيانات والأمان.

ذكر فريق Taiko أن Taiko كان من أوائل الفرق التي شاركت في تطوير PSE zkEVM الخاص بمؤسسة Ethereum، وشاركت في كود الدوائر الرئيسية. مثل Keccak وMolk ساهمت وتحسينها. ولكن في هذه العملية، أدركنا أيضًا القيود المفروضة على نموذج التطوير هذا، على سبيل المثال، الكود عبارة عن كود منخفض المستوى، وهو أمر يصعب اختباره والتحقق منه. وهي ليست جيدة للمبتدئين. من خلال الاستكشاف المستمر أثناء عملية تطوير إثبات SGX، بدأ الفريق يدرك تدريجيًا أهمية العملاء عديمي الجنسية، وتحت تأثير التقدم الذي أحرزه فريق Risc0، كان يعتقد اعتقادًا راسخًا أن تشغيل العملاء عديمي الجنسية في zkVM في المستقبل لن يولد أي معرفة أثبتت الجدوى. حاليًا، تعاونت Taiko مع Risc0، وستتعاون مع SP1 والمزيد من فرق zkVM في المستقبل لتجميع أنظمة الإثبات المختلفة هذه من خلال مجموعة قابلة للتنافس، مع الحفاظ على تصميم Taiko ثنائي الطبقة والاقتران الكامل مع كل zkVM.

بالإضافة إلى ذلك، تم إطلاق Taiko على شبكة Ethereum الرئيسية في السابع والعشرين، وقد قام حاليًا بمعالجة وإصدار ما يقرب من 15% من كتل البيانات على شبكة Ethereum بأكملها. . وأكد الفريق أنه على الرغم من أنه في وضع الشبكة الرئيسية Stage1، يكون تقديم الكتل واعتمادها غير مسموح به، إلا أن العقد لا يزال له مالك. يخطط الفريق لنقل ملكية العقد إلى Taiko DAO بعد حوالي عام من بدء تشغيل الشبكة الرئيسية، والتخلي تمامًا عن ملكية الشبكة والتحكم فيها. وذكر فريق Taiko أيضًا أنه سيستثمر المزيد من الموارد في البحث والتطوير لحلول التأكيد المسبق وMEV وTaiko BBR، ويأمل في جلب المزيد من المفاجآت للمشاريع البيئية ومستخدمي المجتمع في المستقبل.

جدل الإسقاط الجوي: هل لا يزال بإمكان تايكو استعادة ثقة المجتمع؟

كشفت Taiko عن الرموز المميزة لـ TKO في 23 مايو، معلنة أنه سيتم استخدام 5٪ من العرض الأولي للرموز في عملية الإنزال الجوي للتكوين. وفقًا للأسئلة الشائعة الرسمية، سيكون 300000 عنوان مؤهلاً للمطالبة بأكثر من 50 مليون رمز مميز. على الرغم من أن هذه المبادرة كانت تهدف إلى رد الجميل للمجتمع، إلا أنها أثارت موجة من الجدل حول ما إذا كان الإنزال الجوي عادلاً. أفاد بعض أفراد المجتمع أن عدد عمليات الإنزال الجوي التي تم تلقيها كان أقل من المتوقع، وقال بعض المستخدمين إنهم شاركوا في المهام ذات الصلة لكنهم لم يتلقوا عمليات الإنزال الجوي.

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