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