نجم جديد في سوق zk-SNARKs: استكشاف عميق لشبكة إثبات مختصرة
المقدمة
تكنولوجيا إثبات المعرفة الصفرية أصبحت بسرعة موضوعًا ساخنًا في مجال Web3، جنبًا إلى جنب مع الذكاء الاصطناعي والتمويل اللامركزي، لتصبح محور اهتمام الصناعة. هذه الاتجاهات تنبع من نضوج التطبيقات المعتمدة على ZK بشكل متزايد، بالإضافة إلى دمج إثباتات ZK بشكل استراتيجي في جوهر بنية blockchain التحتية.
مع توسع نظام ZK، وصلت الحاجة إلى توليد إثباتات كثيفة الحساب إلى نقطة تحول رئيسية. لتلبية هذه الحاجة، ظهرت طبقة بنية تحتية جديدة متخصصة. شبكة الإثبات الموجز نشأت استجابةً لذلك، وهي بروتوكول قائم على الإيثيريوم يهدف إلى بناء سوق لامركزي لتوليد ZK. يعتمد على بنية vApp، مع أداء عالٍ وأمان قابل للتحقق. القلب من هذا النظام هو رمز، يعمل كمحرك اقتصادي، من خلال الدفع، والأمان، والحوافز لدفع هذا السوق الجديد للسلع الرقمية.
ستتناول هذه المقالة بعمق بنية شبكة المبرهنين الموجزة، والوظائف الأساسية، والاقتصاد الرمزي، بالإضافة إلى الديناميات السوقية للنظام البيئي.
بنية الشبكة
تتمثل بنية شبكة المُثبت الموجز في تطبيق vApp قائم على الإيثيريوم. يهدف هذا النموذج إلى توفير تجربة عالية الأداء للمستخدمين كما في تطبيقات الويب التقليدية، مع الاحتفاظ بأمان وموثوقية البروتوكولات اللامركزية.
تنفيذ وفصل التسوية
الجوهر في بنية vApp هو فصل التنفيذ عن التسوية، وهذا مشابه لنمط تصميم المُسلسلات من الطبقة الثانية.
يتم تنفيذ العمليات خارج السلسلة بواسطة خدمة عالية الأداء، تدير في الوقت الحقيقي عمليات المزاد، توزيع الإثباتات وتفاعل المستخدمين. وهذا يمكّن المستخدمين من تقديم الطلبات واستقبال التحديثات دون القلق بشأن تأخيرات تأكيد الكتلة.
يتم التسوية على السلسلة على شبكة الإيثيريوم الرئيسية، حيث تستخدم الشبكة الرئيسية zk-SNARKs للتحقق بشكل دوري من حالة الشبكة وصحة العمليات خارج السلسلة.
تضمن هذه الطريقة المختلطة أن تكون أموال المستخدمين محمية دائمًا بواسطة عقود الإيثيريوم وقابلة للسحب مباشرة، بينما تظل العمليات السوقية سريعة وفعالة.
المكونات الرئيسية
يتكون هذا الشبك من مكونين رئيسيين:
خدمة المزاد خارج السلسلة: هذه هي الكيان الرئيسي خارج السلسلة المسؤول عن مطابقة طلبات المستخدم مع المبرهنين. إنها تستقبل طلبات البرهان، تجمع العروض، تدير المزاد وتوزع العمل. يتفاعل المستخدمون مباشرة مع هذه الخدمة من خلال استدعاءات RPC، للحصول على تجربة في الوقت الحقيقي.
العقود الذكية على السلسلة: مجموعة من العقود الذكية التي تم نشرها على الإيثريوم، تعمل كنقطة ثقة للشبكة. هذه العقود مسؤولة عن تسوية جذور الحالة التي يقدمها المزايدون بشكل دوري وإثباتات zk-SNARKs، مما يضمن سلامة الشبكة.
قاعدة بيانات قابلة للتحقق
لضمان سلامة العمليات خارج السلسلة، تم بناء خدمة المزادات على قاعدة بيانات قابلة للتحقق. يسمح هذا الهيكل الخلفي لأي شخص بالتحقق بشكل مستقل من جميع تحديثات الرصيد وحالة إثبات التنفيذ. إنه يحتوي على:
قاعدة بيانات تخزن رصيد المستخدمين وطلبات المعالجة وحالة التنفيذ. تدعم هذه القاعدة عمليات القراءة والكتابة.
مُثبِت قائم على SP1، يُستخدم لقراءة قواعد البيانات وحساب الحالة الجديدة للشبكة من خلال إثباتات zk-SNARKs. سيقوم هذا الإثبات بالتحقق من جميع التحويلات الحالة، مثل تحديث الرصيد وتوزيع الإثباتات، ثم يتم التسوية على إيثريوم للتحقق من قِبَل العامة.
اقتصاد الرموز
تعتبر رموز هذه الشبكة رموزًا عملية قائمة على الإيثيريوم من نوع ERC-20، وهي شريان الحياة الاقتصادي لشبكة Succinct Prover. يتضمن تصميمها ثلاث وظائف رئيسية: تسهيل المدفوعات، ضمان أمان الشبكة، وتنسيق مصالح جميع المشاركين.
الفائدة الجوهرية
تتجلى فائدة هذه العملة في عدة جوانب:
الدفع: هذه العملة هي العملة الوحيدة للدفع في الشبكة. إذا كان المطلب يرغب في أن يحصل على إثبات لعمليته الحسابية، يجب عليه دفع الرسوم المناسبة للمثبت، وتكون الرسوم مدفوعة بهذه العملة. وهذا يخلق طلبًا مباشرًا ومستمرًا على العملة.
الأمان: ضمان أمان الشبكة من خلال الرهان. يجب على المدققين رهن الرموز للمشاركة في المزايدة، لضمان تصرفهم بنزاهة. إذا تصرف المدقق بشكل خبيث أو فاته الموعد النهائي، سيتم مصادرة جزء من رهانه.
التحفيز: يُستخدم هذا الرمز لتحفيز المدققين على الاستثمار في البنية التحتية، واستمرار تقديم أسعار تنافسية.
إمدادات وتوزيع الرموز
يبلغ العرض الأولي لهذا الرمز 1 مليار وحدة، لكنه ليس حدًا ثابتًا، حيث تتضمن البروتوكول آلية لإصدار الرموز بشكل مستمر. إن معدل الإصدار الجديد ليس ثابتًا، بل هو معلمة يتم التحكم فيها بواسطة نظام الحوكمة اللامركزية للشبكة، مما يسمح للمجتمع بتعديل الحوافز ديناميكيًا مع تطور الشبكة.
الرهانات والتفويض
لحماية الأمان الاقتصادي، يمكن لأي مستخدم رهن الرموز. يدعم النظام طريقتين رئيسيتين:
رهان المدقق: يمكن الحصول على مؤهلات المشاركة في المزاد وتنفيذ طلبات الإثبات من خلال رهان رموز المدقق.
التفويض: يمكن لأي حامل توكن أن يفوض توكناته إلى المُثبت الذي يختاره. وهذا يمكّنهم من المساهمة في أمان الشبكة وكسب جزء من العائدات من الرسوم التي يتلقاها المُثبت المختار، دون الحاجة إلى تشغيل أي أجهزة بأنفسهم. يمكن للمفوض أن يفوض مُثبتًا واحدًا فقط في نفس الوقت.
عند نجاح تنفيذ طلب الإثبات، سيتم توزيع الرسوم المدفوعة من قبل الطالب والرموز التي تصدرها الشبكة بين الإثبات الفائز، وموكله، وخزانة البروتوكول. على سبيل المثال، قد تكون هناك خطة توزيع محتملة: يحصل الإثبات الفائز على الجزء الأكبر من الرسوم، بينما يحصل الموكل على جزء من الرسوم مقابل توفير الضمان، في حين يتقاضى البروتوكول رسماً صغيراً من رسوم الشبكة كخزانة. سيتم توزيع كمية إصدار الشبكة بشكل نسبي على جميع المراهنين (بما في ذلك الإثباتات والموكلين).
حوكمة
حاملو الرموز هم الحكام النهائيون للبروتوكول، ولهم الحق في التصويت على المعلمات الأساسية للشبكة. يشمل ذلك تحديد رسوم الشبكة، وضبط متطلبات الرهن، وتقرير شكل آلية المزاد.
المزادات والطلبات
شبكة البرهان الموجز تعتمد هيكل سوق مصمم بعناية لتعزيز اكتشاف الأسعار، وتوزيع مهام توليد البرهان على الأكثر كفاءة من المبرهين. هذا النظام مرن ويمكنه تلبية احتياجات مجموعة واسعة من المستخدمين من خلال أنماط خدمة مختلفة.
آلية المزاد
تستخدم الشبكة آلية طلب تخصيص العطاءات في الوقت الفعلي. تتيح هذه الآلية الاكتشاف الفعال للأسعار بأقل تأخير ممكن وتستخدم الرموز للدفع.
النسخة الأولية: النسخة الأولى من الشبكة تعتمد على مزاد عكسي بسيط، حيث يتم تخصيص طلبات الإثبات لأقل مقدمي العروض.
التطور في المستقبل: مع مرور الوقت، يمكن من خلال آلية الحوكمة الانتقال بهذه الآلية إلى وضع "مسابقة إثبات". يهدف هذا الوضع إلى توزيع المكافآت على مجموعة أوسع من المصدّقين، مما يزيد من درجة اللامركزية.
تتم معالجة عملية المزاد بالكامل بواسطة خدمة المزاد خارج السلسلة، ولكن يمكن لأي شخص استخدام zk-SNARKs المنشورة بانتظام على السلسلة للتحقق من النتائج بشكل مستقل.
تجربة المستخدم
تهدف عملية طلب وتنفيذ الإثبات إلى أن تكون بسيطة وآمنة.
بالنسبة للطلبة: يمكن للمستخدمين (مثل مشغلي ZK Rollup) طلب إثبات بسهولة، أولاً عن طريق تحويل الرموز إلى المزاد لدفع الرسوم. ثم، يرسلون طلب الإثبات من خلال استدعاء RPC، مع تحديد البرنامج المراد إثباته، وموعد الانتهاء، والحد الأقصى للرسوم التي يرغبون في دفعها. سيقوم المزاد الخارجي بمطابقة هذا الطلب مع إثبات مؤهل بأدنى سعر. بمجرد الانتهاء من الإثبات وتقديمه، سيتم تحويل الرسوم، وستتم تسوية الصفقة بالكامل على الإثيريوم من خلال إثبات ZK واحد، مما يمكّن الطالب من التحقق مما إذا كانت قد تم معالجتها بشكل صحيح.
بالنسبة للمدعين: يتنافس المدعون على حق تنفيذ الطلبات. لكي يكونوا مؤهلين لمزاد معين، يجب أن تفي الرموز التي يراهن عليها المدعى بحدود المتطلبات الدنيا التي حددها الطالب (على سبيل المثال، قد يتطلب طلب معين رهان 50 رمزًا). يقدم المدعون المؤهلون عطاءاتهم للتاجر. الفائز في المزاد هو المدعي الذي يقدم أقل عطاء، ويجب عليهم إكمال الإثبات قبل الموعد النهائي المحدد. إذا نجحوا، فسيتلقون الدفع على هيئة رموز. إذا فشلوا في تقديم الإثبات في الوقت المحدد، سيتم تخفيض وديعتهم.
الحد الأدنى لمبلغ الرهن: 1,000 رمز (شبكة الاختبار؛ الشبكة الرئيسية قيد التحديد)
نموذج الخدمة
يوفر هذا الشبك مرونة للمستخدمين من خلال نمطين مختلفين من الخدمات:
الطلب حسب الحاجة: يمكن للمستخدمين إرسال طلبات إلى الشبكة حسب الحاجة، وستدخل هذه الطلبات إلى مزاد علني مفتوح لجميع المدققين المتصلين. هذا هو الخيار المثالي للمستخدمين الذين يسعون للحصول على أسعار تنافسية أو للتطبيقات التي تشهد طلبًا كبيرًا بشكل متقطع.
الحجز خارج السلسلة: بالنسبة للمستخدمين الذين يحتاجون إلى ضمان موثوقية أقوى أو طلبات عالية التردد وحجم كبير، يدعم الشبكة توقيع اتفاقية خدمات خارج السلسلة (SLA) مع إثباتات معينة. يمكن أن تشمل هذه الاتفاقيات قائمة بيضاء من الإثباتات المعتمدة، مما يمنحهم مؤهلات تقديم عطاءات حصرية. نظرًا للطبيعة طويلة الأجل للاتفاقية، قد تكون الأسعار أكثر ملاءمة.
ديناميات السوق والنظام الإيكولوجي
يتطلب النظام الاقتصادي المشفر الناجح ليس فقط تقنية قوية، ولكن أيضًا نظامًا بيئيًا نابضًا بالمشاركين واستراتيجيات واضحة لإنتاج تأثيرات الشبكة. هذه الرموز تمثل جوهر النظام الاقتصادي المصمم لتنسيق تصرفات المشاركين العقلانيين والمستقلين في سوق مزدهرة.
سوق ثنائي
أنشأت الشبكة سوقًا ثنائيًا كلاسيكيًا، وهو نمط شائع في مجال DePIN. في هذه الحالة، فإن البنية التحتية المنسقة هي الأجهزة الحسابية اللازمة لتوليد zk-SNARKs (GPU، FPGA، ASIC). الطرفان هما:
الطرف المستفيد (الطالب): تتكون هذه المجموعة من بروتوكولات البلوكشين، التطبيقات والمطورين الذين يحتاجون إلى zk-SNARKs لممارسة الأعمال. هؤلاء الطلاب يخلقون طلبًا عضويًا على خدمات الشبكة، ويعملون كمصدر رئيسي للإيرادات، التي تتدفق إلى النظام البيئي بشكل رموز.
مزودو الخدمة (المثبتون): تتكون هذه المجموعة من الأفراد والكيانات المهنية التي تمتلك وتشغل الأجهزة الحاسوبية اللازمة لتوليد zk-SNARKs. إنهم يستثمرون في بنية تحتية كثيفة رأس المال للتنافس في تقديم الخدمات، وكسب الرسوم المكافئة بالرموز ومكافآت الشبكة.
ضمان النظام البيئي
بالنسبة للأسواق الناشئة، فإن أحد أكبر التحديات هو مشكلة "البداية الباردة": بدون الطلب، لن ينضم المدققون؛ وبدون إمداد موثوق من المدققين، لن ينضم الطلبة أيضًا. تحل شركة Succinct Labs هذه المشكلة من خلال التركيز على ضمان الطلب في السوق قبل إطلاق الشبكة الرئيسية.
لقد أقام المشروع شراكات مع العديد من المشاريع الرائدة في مجال Web3، مما يضمن الطلب الفوري والوفير منذ اليوم الأول.
هذا الإجراء يقلل من المخاطر الاقتصادية للمصادقين، ويضمن أن الرموز تتمتع بسرعة تداول فورية من البداية، مما يدعم النموذج الاقتصادي بأكمله.
في نهاية المطاف، تعتمد شبكة المبرهنات الموجزة على فرضية بسيطة: مستقبل الحسابات يمكن التحقق منه. هذه العملة هي الآلية الرئيسية لتحقيق هذا المستقبل، حيث تحول الإثباتات المشفرة من تقنية متخصصة إلى سلعة رقمية يمكن للجميع الوصول إليها وتتمتع بالسيولة.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
شبكة المُثبت الموجز: القوة الناشئة في سوق zk-SNARKs
نجم جديد في سوق zk-SNARKs: استكشاف عميق لشبكة إثبات مختصرة
المقدمة
تكنولوجيا إثبات المعرفة الصفرية أصبحت بسرعة موضوعًا ساخنًا في مجال Web3، جنبًا إلى جنب مع الذكاء الاصطناعي والتمويل اللامركزي، لتصبح محور اهتمام الصناعة. هذه الاتجاهات تنبع من نضوج التطبيقات المعتمدة على ZK بشكل متزايد، بالإضافة إلى دمج إثباتات ZK بشكل استراتيجي في جوهر بنية blockchain التحتية.
مع توسع نظام ZK، وصلت الحاجة إلى توليد إثباتات كثيفة الحساب إلى نقطة تحول رئيسية. لتلبية هذه الحاجة، ظهرت طبقة بنية تحتية جديدة متخصصة. شبكة الإثبات الموجز نشأت استجابةً لذلك، وهي بروتوكول قائم على الإيثيريوم يهدف إلى بناء سوق لامركزي لتوليد ZK. يعتمد على بنية vApp، مع أداء عالٍ وأمان قابل للتحقق. القلب من هذا النظام هو رمز، يعمل كمحرك اقتصادي، من خلال الدفع، والأمان، والحوافز لدفع هذا السوق الجديد للسلع الرقمية.
ستتناول هذه المقالة بعمق بنية شبكة المبرهنين الموجزة، والوظائف الأساسية، والاقتصاد الرمزي، بالإضافة إلى الديناميات السوقية للنظام البيئي.
بنية الشبكة
تتمثل بنية شبكة المُثبت الموجز في تطبيق vApp قائم على الإيثيريوم. يهدف هذا النموذج إلى توفير تجربة عالية الأداء للمستخدمين كما في تطبيقات الويب التقليدية، مع الاحتفاظ بأمان وموثوقية البروتوكولات اللامركزية.
تنفيذ وفصل التسوية
الجوهر في بنية vApp هو فصل التنفيذ عن التسوية، وهذا مشابه لنمط تصميم المُسلسلات من الطبقة الثانية.
تضمن هذه الطريقة المختلطة أن تكون أموال المستخدمين محمية دائمًا بواسطة عقود الإيثيريوم وقابلة للسحب مباشرة، بينما تظل العمليات السوقية سريعة وفعالة.
المكونات الرئيسية
يتكون هذا الشبك من مكونين رئيسيين:
قاعدة بيانات قابلة للتحقق
لضمان سلامة العمليات خارج السلسلة، تم بناء خدمة المزادات على قاعدة بيانات قابلة للتحقق. يسمح هذا الهيكل الخلفي لأي شخص بالتحقق بشكل مستقل من جميع تحديثات الرصيد وحالة إثبات التنفيذ. إنه يحتوي على:
اقتصاد الرموز
تعتبر رموز هذه الشبكة رموزًا عملية قائمة على الإيثيريوم من نوع ERC-20، وهي شريان الحياة الاقتصادي لشبكة Succinct Prover. يتضمن تصميمها ثلاث وظائف رئيسية: تسهيل المدفوعات، ضمان أمان الشبكة، وتنسيق مصالح جميع المشاركين.
الفائدة الجوهرية
تتجلى فائدة هذه العملة في عدة جوانب:
إمدادات وتوزيع الرموز
يبلغ العرض الأولي لهذا الرمز 1 مليار وحدة، لكنه ليس حدًا ثابتًا، حيث تتضمن البروتوكول آلية لإصدار الرموز بشكل مستمر. إن معدل الإصدار الجديد ليس ثابتًا، بل هو معلمة يتم التحكم فيها بواسطة نظام الحوكمة اللامركزية للشبكة، مما يسمح للمجتمع بتعديل الحوافز ديناميكيًا مع تطور الشبكة.
الرهانات والتفويض
لحماية الأمان الاقتصادي، يمكن لأي مستخدم رهن الرموز. يدعم النظام طريقتين رئيسيتين:
عند نجاح تنفيذ طلب الإثبات، سيتم توزيع الرسوم المدفوعة من قبل الطالب والرموز التي تصدرها الشبكة بين الإثبات الفائز، وموكله، وخزانة البروتوكول. على سبيل المثال، قد تكون هناك خطة توزيع محتملة: يحصل الإثبات الفائز على الجزء الأكبر من الرسوم، بينما يحصل الموكل على جزء من الرسوم مقابل توفير الضمان، في حين يتقاضى البروتوكول رسماً صغيراً من رسوم الشبكة كخزانة. سيتم توزيع كمية إصدار الشبكة بشكل نسبي على جميع المراهنين (بما في ذلك الإثباتات والموكلين).
حوكمة
حاملو الرموز هم الحكام النهائيون للبروتوكول، ولهم الحق في التصويت على المعلمات الأساسية للشبكة. يشمل ذلك تحديد رسوم الشبكة، وضبط متطلبات الرهن، وتقرير شكل آلية المزاد.
المزادات والطلبات
شبكة البرهان الموجز تعتمد هيكل سوق مصمم بعناية لتعزيز اكتشاف الأسعار، وتوزيع مهام توليد البرهان على الأكثر كفاءة من المبرهين. هذا النظام مرن ويمكنه تلبية احتياجات مجموعة واسعة من المستخدمين من خلال أنماط خدمة مختلفة.
آلية المزاد
تستخدم الشبكة آلية طلب تخصيص العطاءات في الوقت الفعلي. تتيح هذه الآلية الاكتشاف الفعال للأسعار بأقل تأخير ممكن وتستخدم الرموز للدفع.
تتم معالجة عملية المزاد بالكامل بواسطة خدمة المزاد خارج السلسلة، ولكن يمكن لأي شخص استخدام zk-SNARKs المنشورة بانتظام على السلسلة للتحقق من النتائج بشكل مستقل.
تجربة المستخدم
تهدف عملية طلب وتنفيذ الإثبات إلى أن تكون بسيطة وآمنة.
الحد الأدنى لمبلغ الرهن: 1,000 رمز (شبكة الاختبار؛ الشبكة الرئيسية قيد التحديد)
نموذج الخدمة
يوفر هذا الشبك مرونة للمستخدمين من خلال نمطين مختلفين من الخدمات:
ديناميات السوق والنظام الإيكولوجي
يتطلب النظام الاقتصادي المشفر الناجح ليس فقط تقنية قوية، ولكن أيضًا نظامًا بيئيًا نابضًا بالمشاركين واستراتيجيات واضحة لإنتاج تأثيرات الشبكة. هذه الرموز تمثل جوهر النظام الاقتصادي المصمم لتنسيق تصرفات المشاركين العقلانيين والمستقلين في سوق مزدهرة.
سوق ثنائي
أنشأت الشبكة سوقًا ثنائيًا كلاسيكيًا، وهو نمط شائع في مجال DePIN. في هذه الحالة، فإن البنية التحتية المنسقة هي الأجهزة الحسابية اللازمة لتوليد zk-SNARKs (GPU، FPGA، ASIC). الطرفان هما:
ضمان النظام البيئي
بالنسبة للأسواق الناشئة، فإن أحد أكبر التحديات هو مشكلة "البداية الباردة": بدون الطلب، لن ينضم المدققون؛ وبدون إمداد موثوق من المدققين، لن ينضم الطلبة أيضًا. تحل شركة Succinct Labs هذه المشكلة من خلال التركيز على ضمان الطلب في السوق قبل إطلاق الشبكة الرئيسية.
لقد أقام المشروع شراكات مع العديد من المشاريع الرائدة في مجال Web3، مما يضمن الطلب الفوري والوفير منذ اليوم الأول.
هذا الإجراء يقلل من المخاطر الاقتصادية للمصادقين، ويضمن أن الرموز تتمتع بسرعة تداول فورية من البداية، مما يدعم النموذج الاقتصادي بأكمله.
في نهاية المطاف، تعتمد شبكة المبرهنات الموجزة على فرضية بسيطة: مستقبل الحسابات يمكن التحقق منه. هذه العملة هي الآلية الرئيسية لتحقيق هذا المستقبل، حيث تحول الإثباتات المشفرة من تقنية متخصصة إلى سلعة رقمية يمكن للجميع الوصول إليها وتتمتع بالسيولة.