ما هو Succinct؟

تعمل شركة Succinct على تطوير بنية تحتية تمكّن جميع المطورين من استخدام تقنية البرهان الصفري (ZK proof) بكفاءة. حاليًا، أطلقت شركة Succinct zkVM SP1 مفتوحة المصدر وقابلة للتعديل، وتعمل الآن على تطوير شبكة البرهان اللامركزية، شبكة Succinct Prover. في المستقبل، ستكون هذه الشبكة قادرة على تشغيل ZK-proof Rollups، وحواسيب المساعدة، وبنى تحتية أخرى، وذلك كخدمات بنية تحتية متقدمة أكثر "لخدمات بنية تحتية ZK".

لماذا تكنولوجيا ZK Proof مهمة؟

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

في خريطة الطريق لتبني تقنية البلوكشين بشكل شامل، تُعتبر البراهين ZK تكنولوجيا رئيسية حاسمة لمستقبل التكنولوجيا. تتيح لمطوري البلوكشين إثبات أي بيان بشكل لا رجعة فيه، مثل وظيفة انتقال الحالة للبلوكشين أو برهان التوافق.

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

حالة تطوير الفريق وتمويله

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

العديد من عملاء سوسنكت هم أهم الفرق في الصناعة. حاليًا، يستخدمون بالفعل نسخ البيتا المبكرة لشبكة بروفير التي طورتها سوسنكت، لإنشاء تطبيقات لامركزية تستخدم الأدلة الصفرية وتلبي معايير بروتوكول سوسنكت، مثل Wormhole، Lido، Near، Celestia (Blobstream X)، Avail (Vector bridge)، وGnosis (native bridge).

في 22 مارس 2024، أعلنت Succinct أنها تلقت تمويل سلسلة A بقيمة 43 مليون دولار بقيادة Paradigm. حتى الآن، تصل تمويلات الفريق الإجمالية (جولة البذرة والسلسلة A) إلى 55 مليون دولار، مع مشاركين من بينهم Robot Ventures، Bankless Ventures، Geometry، ZK Validator، ومستثمرين ملائمين مثل مؤسس Eigenlayer سريرام كانان، المؤسس المشارك لـPolygon سانديب نايلوال، المؤسس المشارك لـPolygon زيرو دانيال لوباروف، والمؤسس المشارك لـBitwise إيلاد جيل.

المصدر: تويتر فريق المشروع

خلفية فريق التطوير

أوما روي

أوما روي هي شريك مؤسس والرئيس التنفيذي لشركة سوكسنكت. في سن المراهقة، شاركت في التصفيات لأولمبياد الرياضيات الأمريكي الجونيور (USAJMO)، والذي يعتبر واحداً من أكثر المسابقات الرياضية الرياضية لطلاب المدارس الثانوية في الولايات المتحدة الأمريكية. عادةً ما يختار USAJMO مشاركيه بناءً على مؤشر AMC 10، حيث يتأهل سنوياً فقط 230-240 طالبًا للجولة الأولية.

حصلت أوما على درجة البكالوريوس والماجستير من MIT، حيث واصلت اهتمامها في نظرية التمثيل (فرع من الجبر النظري) والجبر الكمومي. بعد عام 2019، نقلت تركيزها نحو منصات البيانات والذكاء الاصطناعي، بدأت برنامج إقامة لمدة عام في Google Brain AI في أغسطس. في عام 2021، أصبحت أول مهندسة في شركة Gantry startup، المعروفة بعملائها المرموقين مثل Duolingo، مساعدة في تطوير منصة رصد نموذج التعلم الآلي.

جون غويباس

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

في عام 2019، التحق بجامعة ستانفورد لدراسة علوم الحاسوب، قضى معظم سنواته الجامعية في معمل ستانفورد داون ومركز أبحاث NVIDIA، مركزًا على أنظمة قواعد البيانات وتعلم الآلة. في عام 2022، حصل على منحة Paradigm وانسحب من جامعة ستانفورد خلال عامه الثالث. في نفس العام، شارك أيضًا في برنامج إقامة في مؤسسة 0xPARC (مؤسسة تدعم نظام الأثيريوم)، حيث بحث في تقنية ZK-proof.

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

في عام 2023 ، بسبب تأسيس Succinct ، حصل جون على زمالة Thiel المرموقة. هذه المنحة متاحة للأفراد الذين تقل أعمارهم عن 22 عاما وتوفر 100,000 دولار للاستكشاف بحرية لمدة عامين. ومن بين المستفيدين البارزين مؤسس Ethereum Vitalik Buterin ومؤسس Blur / Blast ، Tieshun Roquerre.

ما المشكلة التي يحلها Succinct؟

المشكلة 1: واجه الثقة العديد من التحديات في مجال البلوكشين

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

إثباتات الاحتيال متعددة التوقيعات: أظهر إصدار Blast قضية متعدد التوقيعات عندما أشار المستخدمون إلى غياب إثباتات الاحتيال في العديد من حلول الطبقة 2 التي يستخدمها الناس بشكل شائع. أظهرت هذه الكشفية أن معظم منصات الطبقة 2 تفتقر إلى آليات لإثبات أو نفي الأنشطة الاحتيالية في عملياتها متعددة التوقيعات.

عقدت الاتهامات في عام 2022 بشأن سلسلة BNB التي اتهمت بأنها تحت سيطرة لجنة مختارة من Binance. تتكون هذه اللجنة، التي تتناوب في إنتاج الكتل، من 21 عقد تحقق يسيطر على مليارات الدولارات. يتم اختيار هذه العقد من بين 11 عضوًا يتحكم بهم Binance، مما يثير مخاوف بشأن التمركز والإمكانية الكبيرة للتلاعب.

التوسع مقابل الثقة: غالبًا ما تصبح الثقة ضحية في سعي التوسع. آليات الرهان الحالية غير كفؤة، واستقطاب المراهنين أو مشغلي العقد معقد ويستغرق وقتًا طويلاً. هذه العوامل تسهم في التكاليف العالية التي تعيق التوسع.

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

المشكلة 2: إثباتات ZK مهمة ولكن معقدة جداً

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

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

المشكلة 3: مجال إثبات ZK الحالي متشظي

يتناول هذا النقطة المستقبل. إذا أنهم يعتقدون أنه على الرغم من تقدم تكنولوجيا ZK بوتيرة سريعة، إلا أن سلسلة التوريد لأدلة ZK متفككة وغير قادرة على مواكبة التطورات في تكنولوجيا ZK.

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

آلية المنتج والعمليات القصيرة

المصدر المفتوح zkVM، SP1

المصدر: المدونة الرسمية

في 14 فبراير 2024، أعلنت شركة Succinct عن إصدار SP1 على تويتر. تتشارك تطوير SP1 بعض التشابهات مع تطور الذكاء الاصطناعي. قبل GPT-4، كان الانخراط في تطوير الذكاء الاصطناعي يتطلب سلسلة من المهام المعقدة: جمع البيانات، تنظيف البيانات، تدريب النموذج، ضبط النموذج، الخ.، جنبًا إلى جنب مع الخبرة ذات الصلة. مع ظهور GPT-4، يمكن لأي شخص استخدام الذكاء الاصطناعي عن طريق استدعاء واجهة برمجة التطبيقات المفتوحة AI.

في نفس السياق، يعتبر SP1، أو أي zkVM مفتوح المصدر متقدم، مشابهًا لـ GPT-4 في عالم إثبات المعرفة الصفري (ZKP). في المستقبل، ستتمكن جميع zkRollups، zk Oracles، أو zkBridges من إثبات كود ZKP الخاص بهم المكتوب بلغة Rust القياسية أو WASM من خلال zkVM، مما يلغي الحاجة إلى تكوين دوائر معقدة.

سابقًا، كان من المعتقد أن مشاريع ZK يجب أن تكتب الدوائر بشكل مخصص لتحقيق أداء قابل للإستخدام. ومع ذلك، جلب SP1 أداء zkVM عام إلى قرب أداء الدوائر ZK المخصصة، مع ترديد مؤسس Uma لقولها "تركت كل تلك الأشياء الجحيمية للدوائر وراءها".

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

لا يمكن تقدير أهمية كونه مفتوح المصدر. يتميز RISC Zero، اللاعب الرئيسي في هذا المجال، بأن لديه منطق النواة مغلق المصدر؛ بينما إصداره المترجم مفتوح المصدر، لا يمكن تعديله من قبل الفرق الخارجية. عجز Succinct عن تعديل RISC Zero حفز الفريق على إنشاء zkVM مفتوح المصدر حقًا، بهدف الحصول على منتج قابل للتخصيص وقابل للتعديل من قبل المجتمع، وخالٍ من مخاطر البائع أو المنصة.

سبب آخر للتركيز على المصدر المفتوح هو أن SP1 تم تطويره باستخدام Plonky3 من Polygon Zero. على سبيل المثال ، يتم التعبير عن منطق القيد الخاص بـ Succinct باستخدام Air Builder لـ Plonky3. Plonky هو مكتبة / مجموعة أدوات معمارية قابلة للتوسيع يمكن للمطورين استخدامها لبناء أنظمة دليل جديدة و zkVMs ، مع امتلاك مجتمع مفتوح المصدر قوي. لقد استخدمت Succinct Plonky2 في العديد من المشاريع السابقة ، مع Plonky3 كونها إصدارًا عالي الجودة من Plonky2 لا يزال يتم تحسينه. حتى أن Succinct دمجت بعض طلبات السحب إلى مصدر Plonky3 ، مساهمة في مجتمع المصدر المفتوح لـ Plonky.

شبكة البرهان الموزع: شبكة البرهان الموجزة

يتم تطوير شبكة البروفر الموجزة حاليًا. إنها شبكة طبقة البنية التحتية المستضافة، التي تمكّن التطبيقات اللامركزية (DApps) من تفويض عمليات توليد البراهين الخاصة بها إلى سوق البراهين. من خلال استخدام SP1 أو غيرها من zkVMs، يمكن للمطورين نشر تطبيقاتهم بسهولة التي تستخدم البراهين بدون معرفة (ZK) على الشبكة. بالإضافة إلى ذلك، تعمل هذه الشبكة كسوق مفتوحة للبراهين: يحتاج المطورون فقط إلى تقديم طلبات البراهين إلى الشبكة، وآلية المزاد ستطابق هذه الطلبات مع البروفرز الذين يعملون على أحدث الأجهزة؛ كما يمكن للبروفرز كسب الرسوم عن طريق توليد براهين كفؤة منخفضة التكلفة داخل هذه الشبكة المفتوحة.

مستقبل سلسلة الإمداد والتوريد

عندما يتم إنشاء دليل ، فإنه يتضمن مجموعة متنوعة من المشاركين والخطوات ، والتي يمكن الإشارة إليها باسم سلسلة توريد الإثبات. يعمل توليد البراهين على النحو التالي: يطلب المطورون إثباتا ، معبرين عن منطقهم باستخدام نظام إثبات معين ، سواء كان ذلك من خلال الدوائر أو zkVM ؛ بعد ذلك ، يتم إنشاء الدليل وقد يكون aggreGate.iod قبل الوصول إلى سلسلة DApp. في نوفمبر 2023 ، أطلقت Succinct أول "واجهة أمامية" لشبكة Succinct Prover: alpha.succinct.xyz. يمكن الآن نشر التطبيقات اللامركزية من خلاله. يمثل هذا نسخة مبسطة من سلسلة توريد الإثبات ، حيث تعمل منصة Succinct نفسها حاليا كسلسلة توريد كاملة للإثبات. ومع ذلك ، هذه ليست حالة مستدامة لسببين رئيسيين: صعوبة التسعير ، مع زيادة تعقيد سلسلة التوريد ، وكذلك صعوبة التسعير. ويمكن للأجهزة إدخال التعقيد في التسعير ، مع إمكانية وجود موردي أجهزة مختلفين ، مما يثير مسألة ما إذا كان DApp يرغب في التفاوض مع 20 موردا مختلفا للأجهزة للعثور على أفضل سعر أو سعة.

ما تهدف إليه شركة Succinct هو توفير مساحة للجميع في سلسلة إمداد البراهين للتنسيق مع بعضهم البعض، مما يجعل سوق الشبكة المفتوحة للبراهين عنصرًا أساسيًا في كامل سلسلة إمداد البراهين. في نظام البيئة البيئية لسلسلة إمداد البراهين في المستقبل، نظرًا لأن جميع التطبيقات اللامركزية والبنية التحتية ترث بسهولة أنظمة البراهين ZK الأحدث وتقنيات الأجهزة المخصصة داخل شبكة Succinct Prover، ستحقق هذه السوق اللامركزية للبراهين اقتصاديات الحجم. يتيح هذا للمطورين الوصول إلى براهين ZK كفؤة وغير مكلفة (آلية سوق حرة تضمن لتطبيقات اللامركزية الحصول على أدنى تكاليف ممكنة)؛ في المستقبل، يمكن إنشاء براهين لامركزية على مختلف الأجهزة، مما يقلل تكاليف البراهين بمقدار 10-100 مرة، مما يجعل في نهاية المطاف براهين ZK قابلة للتطبيق على جميع البنى التحتية.

تحليل تنافسي

العديد من المشاريع مفتوحة المصدر تشترك في أهداف مماثلة مع SP1:

• فريق أندريسين، بما في ذلك جاستن ثالر وسام راجسديل، قام بأبحاث حول لاسو وجولت. يعتقد سوسينكت بأن تطوير هذه التقنيات قد يصبح جزءًا من SP1 في المستقبل، والعكس بالعكس.
• مشاريع تعتمد على طريقة الطي
• مشاريع أخرى مماثلة لطريقة ZK-Stark-FRI

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

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

يشير الفريق إلى أنه، إذا كان ذلك ممكنًا، ستدعم شبكة Succinct Prover المستقبلية ليس فقط SP1 ولكن أيضًا Lasso، Jolt، أو RISC Zero مفتوحة المصدر، حيث يهدفون إلى الحصول على تعددية كاملة ومرونة. يمكن أن تضمن هذه النهج وحده تطوير تكنولوجيا ZK بأسرع وسيلة مستدامة.

استنتاج

الأمان

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

حاجز عالي للعقد

البرنامج الفعلي للعقد يعمل على شبكة الحامل الموجز يمكن أن يكون محدودًا جدًا، نظرًا للحد الأعلى للمثبتين، الذين يجب أن:

• المشاركة في مزادات الإثبات، عرض توليد الإثبات بسعر معين
• تتمكن من تنزيل الدوائر الثنائية والمواد الفنية
• تكون قادرًا على تشغيلها فعليًا وإنشاء الأدلة

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