ما هي SNARKs؟ ولماذا يعتقد فيتاليك بوتيرين أن تكاليف إثبات ZK قد تنخفض إلى أقل من 10x

2026/09/08 11:12:00

فيتاليك بوتيرين يرى أن التشفير يقترب من تكلفة شبه صفرية

أصدر المؤسس المشارك لإيثريوم فيتاليك بوتيرين تحليلًا في 6 سبتمبر 2026، وحدد احتمالات ملموسة لجدوى طويلة الأجل لثلاثة مبادئ كryptographic متقدمة. وقد قدر احتمالًا بنسبة 60% أن تعمل SNARKs وتشفير متجانس بالكامل وتشويش التمييز في النهاية بتكلفة أقل من 10 أضعاف تكلفة الحساب العادي عند قياسها باستخدام إجمالي استهلاك الطاقة بالإضافة إلى تكاليف الحوسبة الموزعة. كما قدر احتمالًا بنسبة 33% أن يمكن لهذه الأدوات نفسها أن تقترب من عبء يبلغ 1+ε عند الحجم الكافي، مما يعني أن التكلفة الكryptographic الإضافية تصبح صغيرة بشكل تعسفي مقارنة بالعمل الأساسي. وتبرز SNARKs كأكثر هذه العناصر الثلاثة نضجًا والأكثر احتمالًا للوصول إلى عبء بأرقام فردية بحلول نهاية العقد. وقد أظهرت دوال التجزئة المتخصصة وأحمال عمل الاستنتاج الخاصة ببعض نماذج اللغة الكبيرة بالفعل مستويات كفاءة مماثلة.

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

كيف تُقدّم SNARKs إثباتات مضغوطة للحسابات الصحيحة دون كشف المدخلات

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

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

تُظهر المعايير التجريبية من عام 2025 إلى 2026 أن تكاليف إثبات كتل بحجم إيثريوم انخفضت بنحو 45 مرة خلال عام واحد على أجهزة التتبع العامة، ووصلت إلى مستويات دون السنت للاست configurations المؤهلة ضمن إعدادات متعددة GPU مُحسّنة. تُؤكد هذه التحسينات الاتجاه نحو أهداف التكلفة الإضافية التي وصفها بوتيرين. كما تقلل الاتجاهات في الأجهزة، بما في ذلك وحدات معالجة الرسوميات من الفئة الاستهلاكية وتصاميم المُثبتات المتخصصة، من التكاليف المطلقة للطاقة والرأس المال المرتبطة بإنشاء الإثبات. عندما تعمل دوال التجزئة المتخصصة بالفعل بالقرب من مضاعفات أحادية الأرقام من التكلفة الأصلية، يتركز التحدي الهندسي المتبقي على توسيع هذه الكفاءات إلى دوائر أكثر عمومية دون إدخال عوائق جديدة. وبالتالي، فإن مزيج التطورات الخوارزمية ونضج الأجهزة يوفر الأساس الوقعي للاحتمال المتفائل المُسنَد إلى وصول SNARKs إلى مستويات إضافية مفيدة على نطاق واسع خلال هذا العقد.

إطار عمل فيتاليك بوتيرين لاحتمالات سبتمبر 2026 للعبء التشفيري

في 6 سبتمبر 2026، قام بوترين بتحديد أسئلة قديمة حول جدوى التشفير المتقدم من خلال تعيين احتمالات صريحة. وقدّر احتمالًا بنسبة 60% أن تقنيات SNARKs والتشفير المتجانس الكامل وتشويش التمييز ستصل في النهاية إلى أقل من 10 أضعاف تكلفة الطاقة والحساب الموزعة لحسابات عادية. وتنطبق احتمالية منفصلة قدرها 33% على الادعاء الأقوى بأن جميع العناصر الثلاثة يمكنها الاقتراب من عبء يزيد عن 1+ε لمهام العمل الواقعية المتوسطة بمجرد أن يصبح الحجم كبيرًا بما يكفي. ويأخذ القياس عمداً في الاعتبار استهلاك الطاقة وليس فقط الوقت الفعلي، مما يعكس العبء الاقتصادي الحقيقي لتشغيل التكنولوجيا بكميات كبيرة. ووصف بوترين التوقع العام بأنه متفائل وغير متوافق. وأشار إلى أن على الأقل واحدة من العناصر الثلاث، على الأرجح SNARKs، لديها فرصة جيدة للوصول إلى عبء بأرقام أحادية بحلول نهاية العقد. وتُظهر الحالات المتخصصة بالفعل إمكانية تحقيق مستويات كهذه لبعض دوال التجزئة ومهمات استنتاج نماذج اللغة. ولا تحمل التوقعات أي مواعيد نهائية بروتوكولية أو التزامات هندسية؛ فهي تمثل تقييمًا شخصيًا لإمكانية تقنية وليس جدولًا لترقيات إيثريوم.

كما أكدت التغطية عبر وسائل إعلام متعددة في 6 و7 سبتمبر على نفس النطاقات العددية والتركيز على SNARKs كأقرب مرشح على المدى القريب. توفر هذه الأرقام نقطة مرجعية ملموسة يمكن قياس تقدم الأبحاث اللاحقة عليها. إن التمييز بين احتمالية أقل من 60% للضعف أقل من 10 مرات والجدول الزمني الأضيق للتكاليف بأضعاف أحادية الرقم مهم. لم يدّعِ بوتيرين أن جميع التقنيات الثلاث ستتجاوز عتبة الضعف 10 مرات بحلول عام 2030. فالبيان المحدود أكثر يتناول احتمالية وصول تقنية واحدة على الأقل، والتي من المتوقع أن تكون SNARKs، إلى مضاعفات أحادية الرقم خلال العقد. هذا الإطار يتجنب الوعود المفرطة بشأن المبادئ الأبعد زمنياً مع الحفاظ على تسليط الضوء على الإمكانات القريبة القابلة للقياس. كما أن المحاسبة القائمة على الطاقة بالإضافة إلى التكلفة الموزعة تعزز التقدير في الواقع الاقتصادي بدلاً من التعقيد المقارب البحت.

عندما تنخفض التكاليف، يمكن للنفس الميزانية الحسابية دعم إنتاجية أعلى أو عبارات أكثر تعقيدًا دون زيادة متناسبة في متطلبات الأجهزة للمُتحققين أو المستخدمين. وقد أشارت التقارير العامة عن تحليل 6 سبتمبر باستمرار إلى نفس الأرقام 60% و33% مع ملاحظة أن الأحمال المتخصصة قد اقتربت بالفعل من النطاق المستهدف. وبالتالي، يوفر الإطار تنبؤًا كميًا وتصنيفًا نوعيًا للنضج النسبي بين التقنيات الثلاث. وتدعم التحسينات التجريبية المستمرة في أنظمة إثبات SNARK التصنيف الذي يضع SNARKs في المرتبة الأولى ضمن تسلسل التخفيضات المتوقعة في التكاليف.

دوال التجزئة المتخصصة تقترب بالفعل من تكلفة SNARK بأرقام أحادية

أشار بوتيرين صراحةً إلى أن دوال التجزئة المتخصصة قد وصلت بالفعل إلى مستويات كفاءة مماثلة لعوامل إضافية من رقم واحد مقارنة بالتنفيذ الأصلي. وتُظهر البناءات الحديثة مثل Flock، وهو SNARK مبني على التجزئة مُحسّن لمجموعات من الحسابات المنطقية، النقطة بأرقام ملموسة للإنتاجية. على الأجهزة الاستهلاكية، يمكن لجهاز Apple M4 Max إثبات مئات الآلاف من عمليات ضغط BLAKE3 أو SHA-256 أو تبديلات Keccak في الثانية، مما يمثل تحسينًا تقريبيًا بمرتبة واحدة مقارنة بالأنظمة السابقة الأفضل في هذا المجال لنفس الأحمال. تظل أحجام الإثبات أقل من 450 كيلوبايت، ويستغرق التحقق أقل من أربعة مللي ثانية. هذه النتائج مهمة لأن تقييمات التجزئة تهيمن على العديد من الدوائر التشفيرية، بما في ذلك فتح مسارات Merkle، وسلاسل التجزئة، والطبقات الداخلية لإثباتات التكرار.

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

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

الانخفاضات التجريبية الأخيرة في تكاليف إثبات كتل الإيثيريوم

تتبع المعايير المستقلة انخفاضًا حادًا في تكلفة إنشاء أدلة الصفرية المعرفة لكتل إيثريوم. سجّلت بيانات ethproofs العامة انخفاضًا متوسطًا في التكلفة من حوالي 1.69 دولار في بداية عام 2025 إلى أقل من أربعة سنتات بحلول نهاية ذلك العام، أي انخفاض بنسبة تقارب 45 مرة. بحلول سبتمبر 2026، أبلغت بعض التكوينات المختارة عن تكاليف قريبة من نصف سنت للكتل المؤهلة، على الرغم من أن معدلات النجاح لأدلة أقل من 10 ثوانٍ عبر جميع الفترات المُقيّمة ظلت جزئية بسبب احتساب العمليات غير المتصلة والغير مؤهلة. وكانت مؤسسة إيثريوم قد حددت سابقًا أهدافًا ملموسة لإثبات الوقت الحقيقي: أقل من 10 ثوانٍ لـ 99 بالمائة من كتل الشبكة الرئيسية على أجهزة لا تتجاوز تكلفتها 100,000 دولار، وتستهلك ما لا يزيد عن 10 كيلوواط، مع أدلة أقل من 300 كيلوبايت ولا تتطلب إعدادًا موثوقًا. وحقق فرق متعددة هذه الأهداف أو اقتربت منها بحلول أواخر عام 2025.

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

تُسرّع الأنظمة المتخصصة مجموعة من العمليات التي تهيمن على إثبات الكتل، مثل التجزئة والتحقق من التوقيعات. إن مزيج التقدم الخوارزمي ومكاسب الأجهزة العامة يُنتج تأثيرات متراكمة مرئية في أدوات التتبع العامة. كما أن خفض تكاليف الإثبات يخفف القيود المفروضة على حدود الغاز والقدرة الاستيعابية: لم يعد على المُدققين توسيع الأجهزة بنسبة متناسبة مع كل زيادة في الطلب الحسابي إذا كان جزء أكبر من العمل يمكن إثباته بدلاً من إعادة تنفيذه. لذلك فإن لقطة سبتمبر 2026 للتكاليف دون سنت لبعض التكوينات توفر سياقًا تجريبيًا عاجلًا للاحتمال البالغ 60% المُسنَد إلى عبء أقل من 10 أضعاف. سيسمح المراقبة المستمرة لنفس المعايير العامة للمراقبين باختبار ما إذا كانت المعدلات الملاحظة للتحسين تُحافظ على المسار المطلوب لتحقيق الهدف بأقل من رقمين لعبء أوسع خلال العقد.

كيف يمكن لانخفاض تكاليف SNARK أن يرفع حدود غاز Ethereum دون ارتفاعات في الأجهزة

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

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

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

FHE وتشويش التمييز تقع بعيدًا عن أهداف التكلفة العملية

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

لذلك فإن تحليل سبتمبر يصنف كلا التقنيتين خلف SNARKs من حيث الوقت المتوقع لتحقيق إضافات أحادية الأرقام. تطبق احتمالية 60% على تحقيق تكاليف أقل من 10 أضعاف في النهاية لكل الثلاثة؛ بينما يركز البيان الضيق المتعلق بنهاية العقد على SNARKs باعتبارها الأكثر احتمالاً أن تكون الأولى في التحرك. لا يعني الفرق النسبي توقفاً. لا يزال البحث جارياً على افتراضات أكثر طموحاً، ونهج جديدة غير قائمة على الشبكات مثل الخلط المحلي، والتحسين التدريجي لأبراج التصاميم الحالية. يمكن أن تؤدي التحسينات في المكونات الأساسية مثل التشفير الوظيفي أو FHE الفعال إلى خفض تكاليف iO الكلية بشكل متسلسل. بالنسبة لـ FHE، يشمل المسار تقنيات تعبئة أفضل، وتسريع الأجهزة، وترميزات متوافقة مع الدوائر تقلل من نمو الضوضاء.

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

تركيب الأدلة التكرارية يوسع مكاسب الكفاءة عبر عبارات أكبر

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

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

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

تسريع الأجهزة ومحرّكو المستهلكين يضيّقون فجوة التكلفة

تستغل مُثبتات SNARK الحديثة بشكل متزايد موارد وحدات معالجة الرسومات (GPU) ووحدات المعالجة المركزية متعددة النوى التجارية بدلاً من الاعتماد حصريًا على وحدات ASIC المتخصصة. وقد أظهرت التكوينات التي تستخدم 16 وحدة معالجة رسومات استهلاكية إثباتًا في الزمن الحقيقي لكتل إيثريوم ضمن أهداف التأخير والطاقة الخاصة بالمؤسسة. وتُظهر النتائج التي تعتمد على وحدة معالجة رسومات واحدة وحتى أجهزة الكمبيوتر المحمولة لمهام أضيق، مثل دفعات تجزئة Flock أو إثباتات الهوية على الجهاز، أن الحواجز المادية المطلقة لا تزال تتراجع. تبقى أحمال الذاكرة لمثبتات متنقلة وسطح مكتب معينة ضمن نطاق الأجهزة الاستهلاكية العادية.

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

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

تطبيقات الخصوصية ستستفيد أولاً من تكاليف SNARKs الأقل

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

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

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

السياق السوقي والصناعي لتسريع كفاءة SNARK

يستمر نظام zero-knowledge الأوسع في إظهار تطوير نشط حتى مع تذبذب مؤشرات المشاريع الفردية. تسجل المستودعات العامة ومتتبعات نشاط المطورين في عام 2026 آلاف المساهمين التاريخيين ومجموعة أصغر ولكنها لا تزال كبيرة من المطورين النشطين حاليًا عبر أنظمة إثبات وآلات افتراضية متعددة. تُبلغ أنظمة zkVM الإنتاجية عن إثبات مهام بحجم Ethereum في الوقت الفعلي أو شبه الفعلي على أجهزة متعددة GPU، مع وصول عدة أنظمة إلى حالة إنتاجية مُدقَّقة. كما تُضيف المُثبتات المتخصصة لدفعات التجزئة وهوية الأجهزة تنوعًا إضافيًا للأدوات المتاحة.

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

انخفاض تكاليف الإثبات يخفض الحواجز أمام حالات الاستخدام هذه غير المرتبطة بالعملات المشفرة أيضًا، مما يوسع الطلب الكلي على تقنية SNARK الفعالة. وبالتالي، فإن الإبلاغ العام عن تخفيض التكاليف في إثباتات كتل Ethereum يعمل كمؤشر مرئي للتقدم الذي يستفيد منه مجموعة أوسع من التطبيقات. إن مزيج المعايير المفتوحة، والتنفيذات المتنافسة، وحالات الاستخدام الموسعة يوفر السياق السوقي الذي يمكن من خلاله تقييم تقديرات احتمالية بوتيرين على مدار السنوات القادمة. سيزيد التحسن المستمر عبر هذه الأبعاد من الثقة في أن تقييم الـ60% للإجهاد أقل من 10 مرات قابل للتحقيق.

مسارات هندسية عملية نحو تقليل التكلفة الإضافية إلى رقم واحد أوسع

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

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

الفِرق التي تنشر نتائج قابلة للتكرار على إعدادات مماثلة تمكّن المجتمع من تحديد أي مجموعات من الخوارزمية وتصميم الدائرة والعتاد تحقق أكبر المكاسب. إن وجود عدة zkVMs جاهزة للإنتاج ومبرهنات متخصصة يُظهر بالفعل أن التكنولوجيا تجاوزت نماذج المختبر. إن توسيع الكفاءة المُظهرة على عمليات التجزئة واستنتاج نماذج اللغة إلى نطاق كامل من منطق التطبيق يُشكل التحدي العملي المتبقي. إن التقدم على طول هذه المسارات الهندسية يُزوّد الأساس الوقائي للتوقع بأن يمكن لـ SNARKs أن تحقق إضافات أحادية رقمية بشكل واسع النفع خلال العقد القادم.

🔥 ما وراء العناوين الرئيسية: ما الذي يعنيه KuCoin 5.0 لك

الأخبار السوقية تتحرك بسرعة — لكن المكان الذي تتفاعل فيه معها يهم بنفس القدر. هذا أكتوبر، تطلق كوكين KuCoin 5.0، وتحول كوكين إلى منصة مُعاد بناؤها. إليك ما يتغير فعليًا بالنسبة لك:

حساب واحد لكل شيء. كانت المنصات الأقدم تفرق أموالك بين حسابات منفصلة "نقدية" و"هامشية" و"آجلة" وتتوقع منك فهم السبب. يزيل الحساب الموحّد في KuCoin 5.0 هذا بالكامل — قم بالإيداع مرة واحدة، وكل شيء سيكون متاحًا ببساطة.
الأسهم، المؤشرات، والسلع. KuCoin 5.0 توسع نطاقها خارج العملات المشفرة إلى الأسواق العالمية. عندما تتحرك العملات المشفرة جانبيًا وتتصاعد الأسهم (أو العكس)، يمكنك التحويل خلال دقائق بدلاً من فتح حساب وساطة والانتظار أيامًا لاستخدام قنوات العملات الورقية.
الأصول الواقعية (RWA). تعرض مُرمَّز لأسواق تقليدية مثل السلع، مباشرة داخل حساب التشفير الخاص بك. أحد أسرع القطاعات نموًا في المالية العالمية لم يعد محصورًا على المؤسسات — يمكنك الوصول إليه من نفس الرصيد الذي تتداول به.
اكتسب أثناء التعلم. لست مستعدًا للتداول؟ KCUSD يسمح لعملاتك المستقرة بتحقيق عائد يومي مركب تلقائيًا. أسهل طريقة لاستثمار إيداعك غير النشط بعائد قدره 4%.
مساعد ذكي بلغة بسيطة. اطرح أسئلة، احصل على سياق السوق، وافهم ما تراه — مدمج في المنصة، ولا حاجة لمصطلحات تقنية.
تطبيق لا يُثقل عليك. أسرع، أنظف، وأكثر اتساقًا — بديهي من أول نقرة، وليس بعد شرح تعليمي.
الأمان الذي يمكنك التحقق منه، وليس مجرد الثقة. كيان أوروبي مرخص وفقًا لـ MiCAR، وإثبات الاحتياطيات الذي يمكنك التحقق منه بنفسك، وأمان معتمد دوليًا (SOC 2 Type II، ISO 27001:2022).

أنشئ حسابك في دقائق — وابدأ على المنصة المبنية حيث يذهب الكريبتو، وليس حيث كان.

النظرة الأطول أجلاً على أنظمة الحالة المشتركة الخاصة وأدوار الوسطاء

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

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

خارج أنظمة البلوكشين، تدعم نفس مكاسب الكفاءة البيئات المنظمة التي تتطلب السرية والقابلية للتدقيق. تمثل الاحتمال البالغ 33% للاستخدام شبه الصفري على نطاق واسع احتمالًا على المدى الطويل، حيث يصبح التكلفة الإضافية للحماية التشفيرية ضئيلة بالنسبة لأحمال العمل المتوسطة. حتى الاحتمال الأكثر تحفظًا البالغ 60% للتكلفة أقل من 10 أضعاف سيشكل تحولًا كبيرًا مقارنة بالأداء التاريخي. وبالتالي، فإن متابعة مسار التكلفة التجريبية لـ SNARKs لا يزال الطريقة الأكثر مباشرة لتقييم ما إذا كانت هذه التداعيات على المدى الطويل تقترب من القابلية العملية.

الأسئلة الشائعة

ماذا قال فيتاليك بوتيرين بالضبط عن تكاليف SNARK في سبتمبر 2026؟

في 6 سبتمبر 2026، قدر بوتيرين احتمالًا بنسبة 60% أن تقنيات SNARKs والتشفير المتجانس الكامل وتضليل التمييز ستُستخدم في النهاية بتكاليف طاقة وحوسبة موزعة أقل من 10 أضعاف تكلفة الحوسبة العادية المجمعة. كما قدر بشكل منفصل احتمالًا بنسبة 33% أن جميع هذه التقنيات الثلاثة يمكن أن تقترب من عبء يزيد عن 1+ε عند حجم كافٍ.

ما مدى قرب تكاليف إثبات SNARK الحالية من هدف الإضافات بأرقام مفردة؟

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

لماذا تُعد الطاقة زائد التكلفة المُستهلكة أهم من وقت التشغيل الصرف؟

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

هل يمكن لـ SNARKs الأرخص أن تزيد مباشرة حد الغاز في إيثريوم؟

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

ما الدور الذي تلعبه دوال التجزئة المتخصصة في خفض التكاليف؟

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

كيف تقارن FHE وتمويه التمييز من حيث النضج؟

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

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

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