تطور SNARKtor: معيار جديد لتجميع الإثباتات

منذ أن نشرنا الورقة البيضاء SNARKtor في فبراير 2024، عمل فريقنا في Telos جاهدًا على تطويره ليصبح بروتوكولًا رائدًا يعمل على توسيع نطاق zk-SNARKs (حجج المعرفة المختصرة غير التفاعلية غير التفاعلية) في أنظمة البلوك تشين. 

مع SNARKKtor، نقدم معيارًا جديدًا في تجميع البراهين، مما يتيح قابلية غير مسبوقة لتوسيع نطاق البلوك تشين وفعالية التكلفة والحفاظ على الخصوصية.

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

ولادة سناركتور: حل قابلية توسع zk-SNARK مع تجميع الإثباتات اللامركزي

في فبراير، قدمنا في فبراير الماضي بروتوكول "سناركتور"، وهو بروتوكول لامركزي مصمم لتجميع البراهين العودية. zk-SNARKs - وهي براهين تشفير تسمح لطرف ما بالتحقق من صحة معاملة ما دون الكشف عن البيانات الأساسية - وهي ضرورية لمستقبل البلوك تشين. ومع ذلك، كانت قابلية التوسع والكفاءة من التحديات الكبيرة. مع SNARKtor، قمنا بحل هذه التحديات من خلال تجميع العديد من براهين zk-SNARK في برهان واحد يمكن التحقق منه بطريقة لا مركزية. وهذا يقلل بشكل كبير من تكاليف الغاز ويحسن من سرعات التحقق.

من خلال تطوير SNARKKtor، نحن نضع Telos في طليعة من يطبقون تقنية zk-SNARK على حالات الاستخدام في العالم الحقيقي، بدءًا من التمويل اللامركزي (DeFi) إلى المعاملات المعززة للخصوصية، وحتى المدفوعات عبر الحدود.

إثبات المفهوم: العرض التوضيحي لسفينة البارجة الرقمية لشركة EthCC

خلال مؤتمر EthCC، عرضنا إمكانات SNARKtor من خلال إثبات المفهوم (PoC) في شكل لعبة سفينة حربية رقمية. قام اللاعبون بإرسال حركاتهم على شكل براهين zk عبر SNARKtor، وقمنا بتجميع هذه البراهين في برهان واحد مضغوط قبل إرساله على السلسلة. أظهر هذا العرض التوضيحي بوضوح كيف يمكن لسناركتور تقليل عدد البراهين المقدمة وخفض رسوم الغاز بشكل كبير.

بالنسبة لبرمجية إثبات البرمجة هذه، استخدمنا Risc Zero zkVM لتوليد براهين المستخدم وطورنا Risclonky2، وهو غلاف مصمم خصيصاً لتحويل براهين Risc Zero إلى دوائر Plonky2 SNARK. أثبت هذا النجاح أن التطبيقات المستندة إلى zk-SNARK، التي كانت مقيدة بالتكاليف والتعقيدات العالية، يمكن أن تصبح الآن قابلة للتطوير وفعالة من حيث التكلفة بفضل SNARKtor.

التطورات التكنولوجية الرئيسية التي حدثت في مجال التكنولوجيا منذ مؤتمر إيثك

منذ معرض EthCC، أحرزنا تقدماً كبيراً في تعزيز "سناركتور"، ووضعنا الأساس للتطوير المستقبلي. فيما يلي بعض المعالم الرئيسية التي أنجزناها وما هو قيد التنفيذ حالياً:

المعالم المكتملة:

1. تنظيم المستودعات وإدارتها: أعدنا تنظيم مستودعات SNARKtor لدعم المراحل التالية من التطوير بشكل أفضل وضمان التكامل السلس لجميع المكونات.
2. التكامل المستمر (CI): قمنا بتنفيذ تدفقات سير عمل التكامل المستمر لمستودعات SNARKtor الرئيسية للحفاظ على معايير تطوير عالية واتساق عبر المنصة.
3. تكامل Docker: تم دمج مكونات SNARKtor، بما في ذلك العرض التوضيحي لـ Battleship، مع Docker، مما يوفر للمطورين طريقة سريعة وسهلة لتشغيل النظام بأكمله.
4. تسجيل المستخدمين على السلسلة: نحن نسمح الآن للمستخدمين بالتسجيل في السلسلة، مع إمكانية تمويل الحسابات، مما يسهل تفاعلهم مع نظام SNARKtor البيئي.
5. إصدارات GitHub: أصدرنا الإصدارات الرسمية الأولى لمكونات SNARKtor على GitHub، مما يجعل البروتوكول في متناول المطورين في جميع أنحاء العالم.

التطورات الجارية:

1. نمذجة مجمّع الإثبات: نعمل حاليًا على نمذجة مُجمِّع الإثبات إلى مكونات متميزة مثل المجدول والمُرسِل والمثبت، وهو ما سيتماشى مع مواصفات بروتوكول SNARKtor الكاملة.
2. تجميع الإثبات متعدد الآلات: نحن نعمل على تجميع البراهين متعدد الآلات لدفع قابلية SNARKtor للتوسع أكثر من خلال تمكين معالجة البراهين المتوازية.
3. مفاهيم رئيسية مثل "الجداول الزمنية" و"الخانات": لقد بدأنا في تنفيذ مكونات رئيسية مثل "الجداول الزمنية" و"الفتحات"، والتي ستسمح لـ SNARKtor بإدارة وتحسين تجميع الإثبات بشكل ديناميكي.

مستقبل سناركتور: التوسّع إلى ما هو أبعد من برنامج دعم البرامج

تمتد خارطة طريق تطوير SNARKtor إلى ما هو أبعد من PoC الأولي. أحد أكثر التطورات القادمة إثارةً هو تكامل SNARKtor مع حل الطبقة الثانية من zkEVM من Telos. سيُمكننا هذا التكامل من تجميع البراهين ليس فقط للمعاملات الفردية، ولكن للوائح كاملة. سيتم بعد ذلك إرسال هذه التجميعات إلى الإيثيريوم، مما يقلل بشكل كبير من رسوم الغاز مع توسيع نطاق التطبيقات المتوافقة مع الإيثيريوم.

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

سناركتور حل عالمي لتجميع إثباتات البلوك تشين

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

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

لا يزال SNARKtor في وضع التخفي. ترقبوا - سنعلن عن ذلك قريباً.

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