<لماذا فشلت ZK ، وما الذي يحاول Succinct تغييره؟> 1. الوعي بالمشكلة أعرب مبتكر البيتكوين ، ساتوشي ناكاموتو ، عن شكوكه بشأن براهين المعرفة الصفرية (ZKP). وقال: "لإثبات عدم وجود شيء ما، تحتاج إلى معرفة المعاملة بأكملها"، وخلص إلى أن تطبيق ZKP على blockchain أمر صعب من الناحية الهيكلية. ومع ذلك ، ذكر أيضا أنه "إذا تم العثور على حل ، فسيكون من الأفضل والأسهل والأكثر ملاءمة لتنفيذ البيتكوين". بعبارة أخرى ، مع الاعتراف بالقيود التقنية ل ZK ، أقر بأنه إذا تم حلها ، فقد يكون نقطة تحول مهمة في تطور blockchain. بعد سنوات ، وجد مجتمع cypherpunk وباحثو ZK هذا الحل أخيرا. كانت Zcash هي الحالة الأولى التي تطبق ZKP على عملة مشفرة حقيقية ، وقد طورت المشاريع اللاحقة مثل StarkWare و zkSync و Scroll هذه التقنية كوسيلة رئيسية لتعزيز قابلية توسع Ethereum وقابليتها للتحقق. ومع ذلك ، لا تزال هناك فجوة في الواقع. يتطلب إنشاء zkEVM خبرة عميقة وسنوات من وقت التطوير وأجهزة عالية الأداء ، وينتهي الأمر بمعظم المشاريع بالاعتماد على مزودي إثبات محددين بدلا من تشغيل البنية التحتية الخاصة ب ZKP. نتيجة لذلك ، تظل ZKP أداة معقدة لا يمكن إلا لعدد قليل من التعامل معها بدلا من تقنية يمكن لأي شخص استخدامها. 2. ما هو الاختصار؟ الموجز (@SuccinctLabs) هو محاولة لمعالجة هذه المشكلة بشكل مباشر. وتتمثل مهمتها الأساسية في تحويل ZKP إلى بنية تحتية يمكن لجميع المطورين استخدامها بسهولة، مما يمكن أي شخص من إنشاء "نظام غير موثوق به" بدون دوائر أو بنية تحتية معقدة. الموجز هو بنية تحتية تحول المثل الأعلى لنظام "غير موثوق" ، الذي اتبعته blockchain ، إلى حقيقة قابلة للتنفيذ عمليا. لا يعني عدم الثقة "غير جدير بالثقة". بدلا من ذلك ، يشير إلى هيكل يعمل بشكل مستقل دون الاعتماد على الثقة ، أي نظام يمكن التحقق منه رياضيا بدون أطراف ثالثة أو سلطات مركزية. ومع ذلك ، لا يزال النظام البيئي الحالي ل blockchain يعتمد بشكل كبير على الثقة. تعد عمليات اختراق الجسر وعمليات التوقيع المتعدد وتفويضات المدقق المركزية دليلا على أننا ما زلنا بحاجة إلى الوثوق بالأشخاص أو المؤسسات حتى يعمل النظام. إن محاولة اختراق هذه القيود القائمة على الثقة هي على وجه التحديد تقنية إثبات المعرفة الصفرية (ZKP). تسمح هذه التقنية للمرء بإثبات أن "هذا الحساب صحيح" رياضيا دون الوثوق بأي شخص ، مما يجعله أساسا أساسيا للأنظمة اللامركزية. كانت المشكلة هي أن ZKP معقدة للغاية وثقيلة للاستخدام العملي. 3. لماذا شعرت ZKP بالصعوبة؟ تتمتع تقنية ZKP بحواجز عالية بقدر إمكاناتها. على وجه الخصوص ، يتطلب إنشاء zkEVM فريقا متخصصا وسنوات من وقت التطوير وبنية تحتية مكلفة. كان على معظم مشاريع zk تصميم دوائرها الخاصة ، وبناء zkVMs مخصصة ، وتشغيل الأجهزة مباشرة. فقط بعد المرور بكل هذه العمليات يمكن أن يدعيوا أنهم "مجموعات ZK". علاوة على ذلك ، كانت zkVMs الحالية للأغراض العامة غير فعالة للغاية في إنشاء البراهين. عادة ما يتطلب إثبات كتلة واحدة مجموعة من عشرات الآلات عالية الأداء ، بتكلفة تتراوح من 10 إلى 20 دولارا لكل كتلة. بسبب هذه الأعباء الفنية والتكاليف التشغيلية ، تخلت العديد من المشاريع عن إدخال ZKP تماما أو اختارت الاعتماد على بعض مزودي الإثبات المركزيين. 4. محاولة الاختصار @SuccinctLabs ينظر إلى هذه القضايا الهيكلية على أنها "مشاكل في البنية التحتية". ZKP قوية من الناحية الفنية بما فيه الكفاية ، لكن السؤال هو من وكيف وبأي تكلفة يتم تنفيذه. لذلك ، تقوم Succinct بإنشاء شبكة بروفر لامركزية يمكن لأي شخص الوصول إليها بسهولة دون الحاجة إلى تشغيل بنية تحتية مثبتة مباشرة. لا يحتاج المطورون إلى إعداد zkVMs المعقدة أو شراء الأجهزة. عندما يرسلون طلبات إثبات إلى الشبكة ، يقدم العديد من المثبتين الذين لديهم أجهزة مختلفة عرضا لمعالجتها بطريقة شبيهة بالمزاد. تنخفض تكاليف الإثبات بشكل طبيعي من خلال المنافسة ، ويقوم الإثبات بكفاءة بإنشاء البراهين باستخدام معدات عالية الأداء. نتيجة لذلك ، يتلقى المطورون إثباتات سريعة وغير مكلفة ، بينما يستفيد النظام البيئي بأكمله من بنية تحتية للإثبات ذات توافر عال ومقاومة للرقابة. الموجز ليس فقط إظهار الإمكانيات التقنية. إنها تثبت دورها في المجالات التي ينشأ فيها الطلب الفعلي. ومن الأمثلة التمثيلية ظهور اتجاه "CLOBs on Blobs" في النظام البيئي @celestia. تظهر البورصات اللامركزية التي تستخدم طرق دفتر الأوامر المركزية عالية الأداء (CLOB) على مساحة Celestia ، مما يؤدي إلى متطلبات البنية التحتية لمعالجة البيانات على نطاق واسع وإثباتات الحالة السريعة. تقوم مشاريع مثل Hyperliquid و @hibachi_xyz بتنفيذ تداول دفتر الطلبات المعقد ومنطق اكتشاف الأسعار على السلسلة ، الأمر الذي يتطلب قابلية التوسع والأداء بما يتجاوز التجميع البسيط. ما هو مطلوب هنا هو طبقة توافر البيانات عالية الأداء من Celestia والبنية التحتية اللامركزية لإثبات ZK التي توفرها Succinct. في الواقع ، شهدت Celestia زيادة سريعة في الاستخدام الفعلي لمساحة blob ، ووراء ذلك ، تساهم البنى التحتية ZK مثل Succinct بهدوء. إذا كانت Celestia توفر "تخزين بيانات يمكن التحقق منه" ، فإن Succinct مسؤول عن إنشاء "انتقالات حالة يمكن التحقق منها" على تلك البيانات. يمكن اعتبار هذا المزيج نقطة انطلاق لتقنية ZKP للانتقال من النظرية المجردة إلى نظام فعال في الواقع. 5. zkEVM يمكن لأي شخص التعامل معه ، SP1 و SP1 Reth من خلال حل إمكانية الوصول إلى البنية التحتية ، يهدف Succinct أيضا إلى تقليل حواجز الدخول إلى zkVM نفسه من خلال تطوير zkVM مفتوح المصدر يسمى SP1 (معالج موجز 1). SP1 هو zkVM للأغراض العامة يتم تنفيذه في Rust ، وهو مصمم لأي شخص لاستخدامه مباشرة دون تصميم الدائرة المعقد الذي تتطلبه zkEVMs الحالية. مثال مبكر يوضح إمكانات SP1 هو SP1 Reth. SP1 Reth عبارة عن zkEVM من النوع 1 يتم تنفيذه مع حوالي 2,000 سطر فقط من كود Rust ، ويتم تكوينه بسهولة عن طريق إعادة استخدام المكونات من النظام البيئي الحالي لعميل Ethereum (Reth ، Revm ، Alloy ، إلخ). والأكثر إثارة للدهشة هو أدائها. يبلغ متوسط تكلفة الإثبات لكل معاملة Ethereum ل SP1 Reth حوالي 0.01 دولار فقط إلى 0.02 دولار ، وهو أقل من تكاليف توفر البيانات التي يتم تكبدها عادة في L2. يرجع سبب إمكانية هذا الأداء إلى نظام "التجميع المسبق" الذي يمتلكه SP1. يعالج العمليات المكثفة حسابيا مثل وظائف التجزئة والتحقق من التوقيع في بنية محسنة مسبقا ، مما يقلل بشكل كبير من الموارد التي يستهلكها zkVM. حتى الآن ، كان تنفيذ zkEVM باستخدام zkVM يكلف من 10 دولارات إلى 20 دولارا لكل كتلة ، لكن SP1 Reth نجح في تقليل هذا إلى أرقام من رقم واحد. كل من SP1 و SP1 Reth مفتوح المصدر بالكامل ومتاحان لأي شخص لتقطيعه وإنشاء zkEVM الخاص به أو إضافة مجموعات مسبقة لتحسين الأداء. يمثل هذا اضطرابا كاملا في بيئة تطوير zk الحالية عالية التكلفة وعالية الصعوبة ، مما يفتح حقبة يمكن لأي مطور Rust فيها المشاركة في أنظمة zk. 6. في النهاية ، أصبح ZK الآن في متناول الجميع يقوم Succinct بملء قطع الألغاز الأخيرة من إمكانات تقنية ZKP وإمكانية الوصول إليها والتطبيق العملي. بدون دوائر معقدة أو أجهزة مخصصة ، يمكن لأي شخص إنشاء تطبيقات باستخدام ZKP ، وتتم معالجة البراهين بواسطة شبكة لامركزية. نحن ندخل حقبة يمكن أن تصبح فيها جميع المجموعات مجموعات ZK ، ويعمل الإنترنت فقط على الحقيقة. عند نقطة البداية لهذا هو Succinct و SP1. الآن ، ZKP هي تقنية للجميع ، وليس فقط قلة مختارة.