<لماذا فشلت 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 أو اختارت الهياكل التي تعتمد على بعض مزودي الإثبات المركزيين. ...