ZK إثبات: إثيريوم "خطة مانهاتن"

المؤلف الأصلي: @0xJaehaerys

ترجمة: LlamaC

“رسالة توصية: هذا المقال يشرح كيف تخلق إثباتات المعرفة الصفرية (ZK-Proofs) سوقاً جديداً للحوسبة القابلة للتحقق بقيمة تقدر بمليارات الدولارات، بالإضافة إلى المزايا التقنية لشركة Succinct ورمزها الأصلي $PROVE في هذا المجال، وتحديد موقعها في السوق، وأحدث التطورات المتعلقة ببياناتها البيئية. كاتجاه متقدم، شهدت قيمتها السوقية FDV زيادة ملحوظة، يرجى القيام بأبحاثك الخاصة.”

المقدمة

!

تُشير هذه المقالة من Uma Roy، المؤسس المشارك لشركة Succinct، إلى تحول نموذجي. إنها لا تعلن عن ولادة رمز آخر، بل عن اقتصاد جديد مدفوع بالبيانات، والذي ينشأ في الوقت الحقيقي: اقتصاد الحساب القابل للتحقق. على مدى سنوات، كانت تقنية المعرفة الصفرية (ZK) تُعتبر نهاية نظرية لتوسع blockchain. واليوم، أصبحت واقعًا هندسيًا، مما يفتح واحدة من أهم مسابقات البنية التحتية في العقد المقبل.

تنبع قوة هذا التحول مما يسميه ديفيد هوفمان “مشروع مانهاتن” لإيثريوم: إعادة هيكلة أساسية للبروتوكول، مما يزيد من قدرته على المعالجة عدة مرات دون التضحية باللامركزية. حتى الآونة الأخيرة، كانت هذه رؤية بعيدة المنال. ولكن سلسلة من ترقيات البروتوكول الاستراتيجية والاختراقات التكنولوجية الرئيسية حولتها إلى خارطة طريق قابلة للتنفيذ.

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

تقدم هذه التقرير تحليلًا أساسيًا لهذا السوق الناشئ الذي تقدر قيمته بعشرات المليارات. ستوضح التقرير لماذا الطلب على إثباتات ZK ليس مضاربة، بل هو أمر لا مفر منه هيكليًا؛ و ستقوم بتقدير حجم هذه الفرصة الاقتصادية؛ و ستوضح بالتفصيل كيف أن الشركات التي تركز على المنصات مثل Succinct، بفضل رمزها الأصلي $PROVE، لديها القدرة على أن تصبح البنية التحتية لعصر الحوسبة القابلة للتحقق.

ضرورة السوق الجديدة

1.1 المتطلبات الحتمية لـ Gigagas و Teragas

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

تأتي هذه الحاجة من رؤية طويلة الأمد واضحة وعظيمة. تهدف خارطة طريق Gigagas إلى توسيع قدرة تنفيذ L1 إلى 1 Ggas/s، وهو ما يعادل حوالي 10,000 TPS. ومع ذلك، كما أشار الباحث في مؤسسة Ethereum، جاستن دريك، فإن هذا ليس سوى “قمة الجليد”. الهدف النهائي هو تحقيق نظام بيئي “Teragas” بإجمالي قدرة 1 Tgas/s (حوالي 10 ملايين TPS) من خلال العمل التعاوني لحوالي 1,000 L2. في هذا النموذج، يحدث 99.9% من حجم المعاملات على L2، بينما يتطور L1 ليصبح المركز النهائي للأمان المشترك والتسوية. كما قال دريك:

“10,000 TPS ليست شيئًا على الإطلاق. لخدمة العالم بأسره، نحتاج إلى الوصول إلى مستوى 10 ملايين عملية في الثانية و1 تيراجا في الثانية. كيف يمكننا تحقيق هذا الهدف؟ الجواب هو L2.”

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

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

1.2 مسألة النهائية: فيتالik بوتيرين يناقش لماذا تعتبر ZK مهمة للغاية لـ L2

إن إلحاح هذا التحول يتجاوز بكثير L1. إنه يعالج أكبر اختناق في نظام L2 الحالي: الاحتكاك والمخاطر الناتجة عن بطء نهائية سحب الأموال. كما قال فيتاليك بوتيرين، أحد مؤسسي إيثيريوم، مؤخرًا، إن تحقيق أوقات سحب سريعة هو هدف رئيسي، بالنسبة لـ L2، “حتى أكثر أهمية من المرحلة الثانية”.

في عصر ZK 1.0، الشركات التي ذكرتها كانت تربط بين تقنية ZK وحالات الاستخدام التجارية… ZKSync هي شركة L2 وأيضًا شركة ZK… وما نقوم به هو أننا نستطيع أن نجعل تلك الشركات التي لا تعرف شيئًا عن ZK، مثل Optimism أو Arbitrum، لأن ZK أصبحت الآن سهلة جدًا، يمكنهم الاستفادة من مزايا ZK والتركيز على الأمور التي تهم حقًا، مثل توسيع الأعمال أو اعتماد المستخدمين.

!

في شرح مفصل، أكد بوتيرين على المشكلة الأساسية في تصميم Optimistic Rollup السائد حاليًا:

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

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

“تاريخيًا، كانت تقنية إثبات ZK غير ناضجة وذات تكلفة عالية، مما جعل إثبات التفاؤل خيارًا حكيمًا وآمنًا. لكن مؤخرًا، تتغير هذه الحالة بسرعة.”

في رأيه، من خلال تقصير وقت السحب الأصلي إلى أقل من ساعة في فترة قصيرة، وتحقيق وقت سحب نهائي يبلغ 12 ثانية في الفترة المتوسطة، يمكن أن تعزز إثباتات ZK “مزيدًا من تعزيز مكانة Ethereum L1 كمكان افتراضي لإصدار الأصول ومركز اقتصادي للنظام البيئي لإيثريوم”. ستعتبر هذه الاعترافات على مستوى عالٍ تحول ZK ليس مجرد تفضيل تكنولوجي، بل ضرورة استراتيجية لسلامة النظام البيئي لإيثريوم وكماله الاقتصادي.

هذه المرونة لا تجذب مطوري البرمجيات فحسب، بل تجذب أيضًا الشركات المصنعة للأجهزة المتخصصة. أعلنت شركة Cysic الرائدة في مجال تسريع الأجهزة ZK عن طرحها القادم لوحدة ASIC المتوافقة مع zkVM، والتي ستدعم SP1 بشكل أصلي. تخطط هذه الشركة المتخصصة في الأجهزة لتقديم دعم أصلي، مما يدل على الثقة الكبيرة في الصناعة في SP1 كمعيار محتمل للحساب القابل للتحقق، مما يسد الفجوة بين البرمجيات مفتوحة المصدر والرقائق المخصصة.

ثانياً، فرص تقدير بعشرات المليارات

2.1 اقتصاديات وحدة الإثبات

إن جدوى نظام ZK على نطاق واسع من الناحية الاقتصادية تعتمد على تكلفة الوحدة لإثبات كمية الحساب المعطاة. على الرغم من أن أنظمة ZK في بداياتها كانت معروفة بأنها باهظة الثمن، إلا أن المسار التطوري المشابه لـ “قانون مور” قد أدى إلى انخفاض حاد في تكلفتها. خلال حدث “Frontiers” الذي نظمته Paradigm، أشار جون من شركة Succinct إلى أن متوسط تكلفة إثبات كل معاملة يتراوح بين 0.01 سنت و 0.1 سنت، ووصف هذه التكلفة بأنها “قليلة للغاية مقارنة بتكاليف أخرى مثل DA.”

في رأيي، آلية التحفيز بسيطة للغاية. كما هو الحال اليوم، يعتمد الأمر على الرسوم و MEV فقط… التكلفة حوالي 0.01 سنت. طالما أن المستخدمين الأفراد على استعداد لدفع هذه الرسوم، فإن ذلك يكفي لتعويض تكلفة الإثبات.

من المتوقع أن تنخفض هذه التكلفة أكثر. قدم الباحث في مؤسسة الإيثيريوم جاستين دريك توقعًا رئيسيًا حيث توقع أنه مع التحسين المستمر للأجهزة والبرامج بشكل متسارع، ستستقر تكاليف إثبات L1 على المدى الطويل وبشكل متزايد بين 0.0001 دولار و 0.001 دولار لكل Mgas/s (مليون غاز في الثانية). إن الانخفاض السريع في هذه التكلفة يحول ZK من تقنية متخصصة ومكلفة إلى أداة عملية تجارية، مما يمهد الطريق لسوق ضخم.

2.2 حجم السوق - توقعات من الأسفل إلى الأعلى (وجهة نظر متحفظة)

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

إذا تخيلت أن تكلفة كل معاملة حتى لو كانت 0.1 سنت، وأنك تتعامل مع مستوى TPS من سولانا، مثل 4000-5000 معاملة في الثانية، فإن ضرب كل هذه الأرقام معًا سيؤدي في النهاية إلى حاجة لإثبات تبلغ حوالي 100 مليون دولار سنويًا.

الجدول 1: توقعات الطلب والإيرادات لنظام L2 البيئي ZKP (2025-2030)

!

المناهج — نظام L2 بيئة متطلبات ZKP وتوقعات الدخل (2025–2030)

• كمية L2 ومعدل تغطية ZK
• بدءًا من 25 L2 في عام 2025 ، وتوسيعها إلى 1000 L2 بحلول عام 2030.
• تمثل نسبة التغطية حصة L2 المعتمدة على ZK السنوية، والتي ارتفعت من 50% إلى 85%.
• متوسط حجم المعالجة لكل ZK L2
• تعيينها لتكون متساوية مع سعة L1 في نفس السنة، لتتناسب مع فرضية “تجميع التراغاس” (أي أن سعة كل L2 تزيد مع توسع الطبقة الأساسية).
• هذه فرضية متفائلة، ولتبسيط الأمور، يتم ضغط توزيع سعة الذيل الثقيل إلى متوسط موحد.
• حساب إجمالي القدرة الاستيعابية:

TotalThroughput(Mgas/s)=(L2Count×CoverageRate)×AvgThroughputperZKL2

• فرضيات التسعير
• السعر الأولي لكل Mgas هو 0.0104 دولار (بالإشارة إلى Katana، 2025).
• تحت دفع كفاءة الأجهزة، تنافس سوق المدققين، وتحسينات مستوى البروتوكول، ستنخفض التكاليف بشكل كبير إلى 0.0004 دولار بحلول عام 2030.
• استخدم طريقة الاستيفاء الخطي للأسعار بين السنة الأولى والسنة الأخيرة.
• الدخل السنوي:

الإيرادات السنوية=الإنتاج الكلي×سعر كل ميغا غاز×31,536,000(ثانية/سنة)

الجدول 2: إجمالي السوق المحتمل لإثبات ZK (TAM) ( من 2025-2030، طريقة من أسفل إلى أعلى )

• زيادة عدد L2 - بدءًا من 25 L2 في عام 2025 ، والتوسع الخطي إلى 1,000 L2 بحلول عام 2030.
• معدل التغطية ZK - فقط جزء من L2 يستخدم إثبات ZK: في عام 2025 سيكون 50%، ومن المتوقع أن يرتفع إلى 85% بحلول عام 2030.
• متوسط إنتاجية كل ZK L2 - يتم تعيينه ليكون مساوياً لإنتاجية L1 في نفس السنة (وهذا فرض تفاؤلي). هذا يتماشى مع منطق خريطة طريق “teragas”، حيث ستصل L2 الناضجة إلى سعة L1.
• إجمالي سعة L2 - يتم حسابها كالتالي: عدد ZK L2 × متوسط سعة كل ZK L2
• حيث أن عدد ZK L2 = إجمالي عدد L2 × معدل التغطية.
• سعر كل مليون Gas - تم تحديده في بداية عام 2025 بـ 0.0104 دولار (استنادًا إلى تكلفة إثبات Katana L2) ، وينخفض بشكل خطي إلى 0.0004 دولار بحلول عام 2030 ، ليعكس تحسين الكفاءة الناتج عن zkVM والأجهزة والمنافسة في السوق.
• إجمالي السوق المحتمل L2 السنوي:

إجمالي الإنتاجية L2 ( Mgas/s ) × سعر لكل Mgas × ثواني في السنة إجمالي الإنتاجية L2 ( Mgas/s ) × سعر لكل Mgas × ثواني في السنة

• إجمالي حجم السوق المحتمل L1 السنوي - اعتبارًا من عام 2027 (عندما سيتم بدء إثبات الكتلة L1 الإلزامي) ، سيكون التسعير مشابهًا لـ $/Mgas لعام L2 في ذلك العام ، وسيكون معدل L1 يعتمد على خارطة الطريق لتوسيع Ethereum.
• متطلبات أخرى — تقدير محافظ يبلغ 10% من إجمالي السوق المحتمل لـ L2، يشمل جسر ZK، والمعالجات المشتركة، والتطبيقات القابلة للتحقق (ZKML، الخصوصية على السلسلة).
• إجمالي السوق المحتمل: إجمالي السوق المحتمل L1 + إجمالي السوق المحتمل L2 + الطلبات الأخرى

2.3 تقدير حجم السوق - رؤية من الأعلى إلى الأسفل (نهاية Teragas)

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

الجدول 3: توقعات حجم الغاز في إيثيريوم L1 (2027-2030)

الجدول 4: توقعات حجم سوق ZK والإيرادات (من الأعلى إلى الأسفل، 2027-2030)

• منهجية (بالنسبة لهذا الجدول من الأعلى إلى الأسفل)
• L1 السعة — الهدف من خارطة طريق توسيع شبكة الإيثريوم: 37.5 → 1,000 Mgas/s (2027–2030).
• كمية L2 - من المتوقع أن تنمو من 300 إلى 1,000 خلال الفترة من 2027 إلى 2030.
• معدل تغطية ZK — حيث تستخدم فقط جزء من L2 إثباتات ZK، وقد زادت هذه النسبة من 60% إلى 85%.
• المتوسط لعمليات النقل في ZK L2 - تم تحديده ليكون مساوياً لعمليات النقل في L1 في نفس السنة (على سبيل المثال، 37.5 Mgas/s لعام 2027، 1,000 Mgas/s لعام 2030)، ليتماشى مع فرضية إجمالي عمليات النقل على مستوى teragas.
• سعر كل Mgas - ينخفض مع تحسينات في أجهزة الإثبات والمنافسة في السوق: 0.00075 دولار (2027) → 0.00040 دولار (2030).
• L2 إجمالي السعة:

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

• معادلة الدخل: L1
• الدخل = L1_الإنتاجية × السعر × عدد الثواني في السنة
• دخل L2 = AggreGate_L2_throughput × السعر × عدد الثواني في السنة
• السوق الكلي = إيرادات L1 + إيرادات L2

2.4 من سيغطي تكلفة الإثبات؟

لن يتم تمويل هذا الطلب الذي يقدر بعشرات المليارات من الدولارات من خلال تضخم البروتوكول، بل سيتم دعمه من خلال نماذج إيرادات متنوعة وصحية لشبكات L2 وسلاسل التطبيقات. كما هو موضح في مقال تحليلي لـ Conduit، تمتلك المشاريع ذات الشبكة الخاصة بها ما لا يقل عن سبعة روافع إيرادات مختلفة، مما يضمن قدرتها على تحمّل تكاليف تشغيل إثبات zk.

الجدول 5: تحليل مقارنة تدفقات إيرادات L2

!

من يمتلك السلسلة يمتلك العالم: 7 روافع دخل لـ Rollup

ثالثاً، المزايا التقنية لـ Succinct

3.1 أصبحت الإثباتات الفورية واقعًا

إذا لم تكن هناك سلسلة من الاختراقات الكبيرة في أداء إثبات ZK مؤخرًا، فإن الرؤية الكاملة لـ “Gigagas” ستظل محصورة في المرحلة النظرية. كما قال جون من فريق Succinct، فإن تحقيق “الإثبات الفوري” - وهو القدرة على توليد إثبات ZK لأي كتلة إيثريوم في غضون 12 ثانية - هو “لحظة الهبوط على القمر في مجال ZK.”

هذا التحول لا يعني فقط تحسين الأداء، بل يمثل ثورة في إمكانية وصول المطورين. كما أوضحت أومًا روي، المؤسس المشارك لشركة Succinct، كان تطوير ZK سابقًا يحتاج إلى “فريق مكون من 40 دكتوراه في علم التشفير” وعشرات الملايين أو مئات الملايين من الدولارات من رأس المال، لإنشاء نظام إثبات محدد للتطبيق. مع ظهور zkVM العامة، تم كسر هذا النموذج تمامًا. قالت روي: “أساسًا، كنت بحاجة إلى 40 دكتوراه في علم التشفير، وعشرات الملايين أو مئات الملايين من تكاليف البحث والتطوير، وتحولت إلى مشروع يمكن إنجازه في عطلة نهاية أسبوع واحدة.”

من خلال تشبيهين قويين في البودكاست، يمكن فهم هذا الاختراق بشكل أفضل:

• من ASIC إلى CPU: الصناعة بأكملها تنتقل من الدوائر المتكاملة المخصصة (ASIC) التي لا يمكنها حل سوى مشكلة واحدة، إلى نموذج CPU العام، حيث يمكن لمحرك مثل SP1 أن يعمل بشكل موثوق على أي برنامج.
• النموذج الأساسي للتشفير: وظيفة SP1 مشابهة للنموذج الأساسي في مجال الذكاء الاصطناعي. كما أن ChatGPT يجعل الذكاء الاصطناعي في متناول اليد من خلال اللغة الإنجليزية البحتة، فإن SP1 يجعل ZK سهل الاستخدام من خلال الشيفرة القياسية. “تمامًا كما في الذكاء الاصطناعي والنماذج الأساسية، تدخل الإنجليزية، ويمكنك استخدام الذكاء الاصطناعي،” أشار روي، “هنا، عليك فقط إدخال الشيفرة العادية، ويمكنك استخدام ZK، الأمر بهذه البساطة.”

إن SP1 HyperCube من Succinct هو دليل حاسم على هذا الإنجاز. في عرض بارز، نجح النظام في إثبات 93% من جميع كتل الإيثيريوم الرئيسية في الوقت الحقيقي في غضون 12 ثانية. استغرق 7% المتبقية من الكتل وقتًا أطول، ولم يكن ذلك بسبب قيود تقنية، بل بسبب تسعير غير صحيح لبعض العمليات في جدول رسوم EVM Gas (مثل الترجمة المسبقة لـ Blake2). يؤكد هذا المعلم بشكل واضح أن إثبات الوقت الحقيقي هو أمر ممكن من الناحية الهندسية.

3.2 محرك التقدم: SP1 zkVM

الركيزة الأساسية لتقنية Succinct هي SP1، وهي آلة افتراضية عالية الأداء ومفتوحة المصدر مبنية على المعرفة الصفرية (zkVM). SP1 هي أصل استراتيجي تهدف إلى خدمة أوسع نطاق من مهام الحساب القابلة للتحقق، ودفع الصناعة إلى عصر “ZK 2.0”.

أعتقد أن نجاح إصدار رمز $PROVE يمكن أن يُعتبر بمثابة تأكيد على أن zKVM أصبحت فئة أصول قابلة للاستثمار… هذا مذهل، كما تعلم، في يوم الإصدار الأول، كانت قيمته المخففة بالكامل في الواقع تتجاوز مشاريع ZK Rollup مثل ZKSync وScroll وStarknet.

!

“هدفنا هو القضاء على جميع تعقيدات التشفير، حتى يتمكن المطورون من 'كتابة كود عادي' باستخدام لغات قياسية مثل Rust، والحصول على إثبات ZK.”

• سهل الاستخدام: كونه zkVM قائم على RISC-V، يسمح SP1 للمطورين بالاستفادة من المكتبات البرمجية الموجودة والمجربة في المعركة واللغات المألوفة، دون الحاجة لتعلم التشفير المعقد.
• قابلية الاستخدام: اختيار RISC-V كمجموعة تعليمات مستهدفة لا يتماشى فقط مع الاتجاه الواسع لنظام ZK البيئي، بل الأهم من ذلك أنه يتماشى مع خريطة الطريق طويلة الأجل لإيثيريوم L1.
• مسار الأداء: يُظهر التحسين المستمر لـ SP1 اتجاهًا يشبه “قانون مور”. تم تقليص وقت الإثبات من عشرات الدقائق في عام 2023 إلى بضع ثوانٍ في عام 2025، مما يتجاوز بكثير معدل نمو متطلبات الحوسبة البالغ 3 أضعاف سنويًا الذي اقترحته خارطة طريق إيثيريوم.

إن تعددية استخدام SP1 لا تقتصر فقط على تحقيق ZK-rollup الكامل. إن قدرته القوية كـ zkVM عالمي قد ولدت تصميماً هجيناً جديداً لتلبية احتياجات السوق المحددة. مثال نموذجي هو تطبيقه في إثبات الأخطاء بالمعرفة الصفرية. تستخدم مشاريع مثل Facet نظاماً يعتمد على OP Succinct Lite، حيث يتم نقل دالة تحويل الحالة الخاصة بها إلى Rust (من خلال Kona و REVM)، وتجميعها في ملف ثنائي SP1 ELF. وهذا يمكنها من تقديم “الحالة المثالية” منخفضة التكلفة لنظام تفاؤلي، مع الاحتفاظ بميزة “حل المعاملة الواحدة” لإثباتات ZK عند ظهور تحديات. وهذا يُظهر قدرة SP1 على خدمة نموذج أمان تشفيري أوسع، مما يوسع من حجم سوقه المحتمل.

!

مع انضمام مزودين أكثر نضجًا واحترافية، يتم التحقق من فعالية نموذج السوق هذا في الوقت الحقيقي. أحد التقدمات المهمة هو أن @cysic_xyz (شركة رائدة في تسريع الأجهزة ZK) قد أصبحت مزودًا متعدد العقد في شبكة مزودي Succinct. Cysic ليست مزودًا لحوسبة عامة، بل “تقوم بتطوير كامل مجموعة التكنولوجيا بشكل مستقل”، بما في ذلك الأجهزة المخصصة المصممة خصيصًا لأعباء العمل ZK ومجموعات GPU عالية الإنتاجية.

3.3 اقتصاديات الإثبات الفوري

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

من 100,000 إلى 300,000 دولار. هذا أرخص بكثير من استخدام مزودي خدمات السحابة، لأن جون قال: “إن إنفيديا ستضعف فعليًا أداء بطاقة الرسوميات… وهذا يتم عمدًا لتحقيق أرباح أعلى.”

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

“هذا هو الشيء الذي أود تحقيقه هذا العام: إثبات كل كتلة إيثريوم في الوقت الحقيقي… وإنهاء ذلك في المنزل.”

أربعة، كل شيء يمكن ZK تحويله

4.1 مساحة التصميم الجديدة للتطبيق

على الرغم من أن توسيع الإيثريوم هو سوق بقيمة عشرات المليارات من الدولارات في الوقت الحالي، إلا أن الفرصة الحقيقية على المدى الطويل تكمن في “تحويل كل شيء إلى ZK”.

كما أشار جون من فريق Succinct، فإن zkVM الشامل يعني “أن التحسينات التي أجريناها على إثباتات Ethereum في الوقت الفعلي ستكون شاملة أيضًا لحسابات أخرى.”

4.2 دراسة حالة تطبيقية مختصرة

تم دعم SP1 من Succinct لمجموعة متنوعة من التطبيقات المختلفة:

• البورصة القابلة للتحقق (Hibachi) - إنشاء بورصة عقود دائمة تركز على الخصوصية باستخدام ZK، حيث يمكن التحقق من سلامة دفتر الطلبات غير المتصل بالشبكة بطريقة تشفيرية.
• التفاعل بين السلاسل (Celestia) – يستخدم تقنية Succinct لتحقيق “الجسر الكسول”، أي استخدام إثباتات ZK للتحقق بأمان وكفاءة من حالة السلاسل الأخرى.

لقد كنا نبحث في مفهوم يسمى “الجسر الخامل”… إذا لم يكن هناك بيئة تنفيذ على السلسلة، فسيكون من الصعب على سلسلتك التحقق من حالة السلاسل الأخرى. لذلك، كنا نعمل بجد لتحقيق ذلك من خلال إثباتات ZK.

• DeFi L2s (@katana) – ليرتكز على DeFi L2 Katana، تم إطلاقه على Polygon من خلال Conduit، حيث يستخدم تقنيات إثبات ZK الموجزة لتحقيق تسويات سريعة وآمنة، ويرتبط بـ Agglayer في Polygon.
• البنية التحتية الأساسية DeFi (Lido): تُعتبر Lido رائدة في مجال التشفير السائل، وهي تستخدم SP1 في شبكتها الاختبارية لدعم “Oracle محاسبة غير موثوقة”. يقوم النظام بتعزيز الأمان من خلال تتبع رصيد ETH المراهن بشكل قابل للتحقق، دون الاعتماد على مدراء موثوقين.
• جسر متعدد السلاسل المتقدم (Across): تعاون بروتوكول Across مع Succinct لإنشاء إثبات ZK لطبقة توافق Ethereum. وهذا يمكنهم من جسر حالة Ethereum بأمان وكفاءة إلى العديد من السلاسل الأخرى، وهو وظيفة رئيسية لتحقيق التشغيل المتداخل.
• رولوبس غير قابلة للإيقاف (Facet): Facet هو أول رولوب عام من المرحلة الثانية، ويقدم دراسة حالة قوية لاعتماد تقنية Succinct. لتحقيق هدفه في أن يصبح “رولوب غير قابل للإيقاف” بدون مفتاح مدير، أزال Facet الجسر الرسمي والمخاطر الأمنية ذات الصلة. لم يستخدم رموز الغاز الخاصة بالجسر، بل استخدم رمزاً أصلياً (FCT)، حيث يتناسب مقدار تعدين هذا الرمز مع L1 ETH الذي يتم تدميره عند نشر المستخدم للمعاملات. يتم تأمين هذه البنية من خلال نظام إثبات احتيال ZK مختلط مبني على تقنية Succinct. عند الطعن في اقتراح جذر حالة، يتم استخدام SP1 zkVM لإنشاء إثبات ZK لحل النزاع بشكل واضح. وهذا يسمح لـ Facet بالحفاظ على كونه “منصة خفيفة الوزن”، تقدم حسابات نقية وغير قابلة للإيقاف، مع ترك إدارة الأصول ووظائف الجسر لنظام بيئي تنافسي يتكون من التطبيقات التي يختارها المستخدم.

4.3 الحدود المتوسعة باستمرار: جسر ZK عبر السلاسل، المعالج المساعد وتطبيقات التحقق من الدخل

نموذج السوق من الأسفل إلى الأعلى يتضمن أيضًا فئة “الطلب الآخر” التي تنمو بسرعة، والتي تشمل جسر ZK عبر السلاسل، ومعالجات ZK، وتطبيقات قابلة للتحقق أخرى.

وفقًا لتقديرات متحفظة، من المتوقع أن تنمو الإيرادات السنوية في هذا المجال لتتجاوز 1.26 مليار دولار بحلول عام 2030.

مع نضوج ZKML وحلول الخصوصية على السلسلة، هناك إمكانية لتوسيع هذا المجال بشكل أكبر.

5: موجز مقابل $PROVE

5.1 شبكة المدققين: سوق عام وغير مصرح به

تتمثل الاستراتيجية الأساسية لـ Succinct في بناء سوق موثوق للتحقق (proving) بدلاً من مجرد إنشاء موثق أفضل. لا يُفترض أن يكون هذا العرض العالمي، بل يتكون من مشغلين ذوي خبرة. لقد اجتذب الشبكة العديد من الموثقين الذين كانوا في الغالب “عمال مناجم سابقين”، والذين يقيمون في الغالب في آسيا، ولديهم بنية تحتية جاهزة، وطاقة منخفضة التكلفة، وGPU من الفئة الاستهلاكية متاحة للاستخدام.

تربط سوقها الثنائية من خلال نظام المزادات في الوقت الحقيقي بين إمدادات قوة الحوسبة العالمية والطلب المتزايد على إثبات ZK.

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

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

5.2 $PROVE التوكن: محرك الاقتصاد الشبكي

نموذج الاقتصاد الكامل لنظام Succinct البيئي مكثف في رمزه الأصلي $PROVE.

تتمتع هذه العملة بوظيفتين رئيسيتين متلازمتين:

• الدفع - $PROVE هي العملة الوحيدة في سوق هذه الشبكة. يجب دفع جميع رسوم إثبات الإنتاج باستخدام $PROVE ، مما يخلق طلبًا مباشرًا على هذه العملة.
• التشفير لضمان الأمان – للمشاركة في مزاد الإثبات وكسب الأرباح، يحتاج المثبتون إلى رهن $PROVE كضمان اقتصادي. هذا أمر بالغ الأهمية لموثوقية الشبكة، حيث يهدف إلى منع “الهجمات الخبيثة” (الغضب) - أي أن المثبت يعد بإنتاج الإثبات ولكنه يفشل في النهاية في التسليم، مما يتسبب في تأخيرات كبيرة للتطبيقات مثل L2. كما قال روي، “لا ينبغي أن يكون للمثبتين القدرة على القيام بهجمات خبيثة… سيكون ذلك تجربة مستخدم سيئة للغاية”. إذا فشل المثبت في الوفاء بالتزاماته، سيتم مصادرة جزء من رهنه لضمان “تحملهم المسؤولية”.

5.3 عجلة تراكم القيمة

الجدول 6: نموذج فائدة ورأس المال المتراكم للرمز $PROVE

5.4 بيانات اليوم الأول: إثبات الفكرة في الممارسة

تم إثبات فعالية نموذج الاقتصاد في اليوم الأول من إطلاق الشبكة.

المؤسس المشارك أومار روي في منشور علني أفاد بأن:

!

أشار روي إلى أنه مع استعداد أكثر من 35 عميلًا حاليًا في مجموعة Succinct الخاصة للانتقال إلى الشبكة العامة، فإن الطلب على الإثبات سيشهد حتماً “زيادة على شكل قطع مكافئ”.

الاستنتاج

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

عصر التنفيذ المتكرر يقترب من نهايته. عصر التحقق من التشفير يبدأ الآن.

في هذا النموذج الجديد، ستصبح مقدمو البنية التحتية اللامركزية مثل شبكة الإثبات الموجزة (Succinct Prover Network) مزودين لا غنى عنهم من “المجارف والمعاول” في هذه الاقتصاد الناشئ.

$PROVE نموذج الاقتصاد للرمز المميز يدمج وظائف الدفع والتخزين، مما يخلق دوامة قوية تربط بين نمو الشبكة وتراكم قيمة الرمز المميز مباشرة. لذلك، فإن الاستثمار

$PROVE ليست مجرد رهانات على تطبيق واحد، بل هي استثمار مباشر في طبقة الحساب الأساسية والقابلة للتحقق للجيل القادم من الإنترنت.

إثبات برمجيات العالم بأسره.