شريك Pantera: تفسير العلاقة بين مشروع الكمبيوتر الذي يمكن التحقق منه

المؤلف: بول فيراديتاكيت، شريك Pantara؛ 0xjs@金财经

مقدمة

تنقسم مشاريع التشفير ذات المعرفة الصفرية بشكل عام إلى فئتين:

يعتمد الأخير على بناء نظام جديد تمامًا من القاعدة إلى القمة، مما يتطلب من قادة الصناعة توسيع حدود أبحاث ZK. وتشمل هذه الشركات RISC Zero وSuccinct وNexus.

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

ما هو الحساب الذي يمكن التحقق منه؟

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

< a href="https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2ea95f62- 5bd4-4008-b664-79dd4e088f45_1600x895.png">

التقدم والمراحل

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

يُصمم Nexus 1.0 جهازًا يمكنه إثبات رموز Rust العشوائية ويصمم حزمة تقنية محسنة للابتكار وقابلية التوسع. الهدف النهائي هو توسيع نطاق التحقق ليناسب أي تطبيق، حتى بحجم الإنترنت. يعمل Nexus 0.0 بسرعة 1 هرتز (دورة واحدة لوحدة المعالجة المركزية في الثانية) وسيكون متاحًا في سبتمبر 2023. في EthDenver في فبراير 2024، تم تشغيل الإصدار الجديد من Nexus 1.0 بسرعة 100 هرتز تقريبًا، وهو تحسن بمعدل 100 مرة تقريبًا في 5 أشهر فقط. ويأمل الفريق في زيادة سرعة Nexus zkVM بشكل كبير.

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

تطبيق التشفير

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

يتكامل هذا التصميم أيضًا بسهولة مع الإجماع الحالي ومعايير الأمان الخاصة بـ blockchain. على سبيل المثال، في NVM أو الجهاز الظاهري Nexus، يسمح "الترجمة المسبقة" للمطورين بتوسيع الجهاز بتعليمات مخصصة للترجمة المسبقة للمخططات الشائعة مثل Keccak-256 (لإنشاء المعاملات والتحقق من صحتها على Ethereum). وهذا يعني أن Nexus يمكنه دمج الحسابات التي يتم إجراؤها على سلاسل EVM (والعديد من السلاسل الأخرى) والتحقق منها.

< a href = "https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fdd9e2553- c85f-4a4c-9d39-d3e946a31ff9_1600x943.png">

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

أعضاء الفريق الرئيسيون

يجمع فريق Nexus بين أبرز المواهب في مجال التشفير وعلوم الكمبيوتر.

يضم فريق الإدارة:

• دانييل مارين، الرئيس التنفيذي: خريج حديث من جامعة ستانفورد، مستوحى من كلمة المرور الشهيرة بإرشاد من العالم دان بونيه.

• جينس غروث، كبير العلماء: مدير أبحاث سابق في DFINITY، أستاذ في جامعة كوليدج لندن، مخترع zk-SNARK Groth16 الأكثر استخدامًا.

• أليكس فاولر، كبير مسؤولي الإستراتيجية: المؤسس المشارك لشركة Blockstream ونائب الرئيس الأول السابق، كبير مسؤولي الخصوصية في Mozilla.

يتضمن خبراء التشفير في الفريق الأساسي ما يلي:

• ميشيل عبد الله: متقدم عالم تشفير، ورئيس الرابطة الدولية لأبحاث علم التشفير (IACR)، وأستاذ سابق في المدرسة العليا للأساتذة، وباحث في DFINITY.

• صامويل جودسون: مهندس تشفير، حاصل على درجة الدكتوراه في التشفير من جامعة ييل، ودرس على يد روزيكا بيسكاك، وعمل كمهندس أمان Auth0. قام بتأليف أكثر من 7 أوراق بحثية في مجالات ZKP والأساليب الرسمية والذكاء الاصطناعي.

• كريستيان سوسنين: مهندس علم التشفير، مهندس سابق في شركة Rust في Matter Labs وParity.

• فامسي بوليشارلا: مهندس في علم التشفير، يدرس للحصول على درجة الدكتوراه في التشفير في بيركلي، تحت إشراف سانجام جارج. وهو مهندس أساسي في مجال الصدأ في مجموعة التشفير في بيركلي، وقد قام بتأليف أكثر من 4 أوراق بحثية عن ZKP.

• Yinuo Zhang: عالم في علم التشفير، يسعى حاليًا للحصول على درجة الدكتوراه في التشفير تحت إشراف سانجام جارج في جامعة بيركلي. وقد تدرب سابقًا في a16z Crypto '23، وعمل على أبحاث zkVM، وقام بتأليف أكثر من 5 أوراق بحثية عن ZKP.

نحن نؤمن أنه إذا كان بإمكان أي فريق إنشاء حسابات يمكن التحقق منها على نطاق الإنترنت، فهو فريق Nexus.

أعلنت Pantera وLightspeed Venture Partners في 10 يونيو 2024 أنهما قادتا بشكل مشترك تمويل السلسلة A بقيمة 25 مليون دولار أمريكي لشركة Nexus.

< a href="https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F01f17172- 51fc-48b3-bb0f-77350861a364_1200x675.png">

تم إصدار Nexus 1.0 للعامة، مما يعني أن أي شخص يمكنه إثبات أي برنامج Rust باستخدام بضعة أسطر فقط من التعليمات البرمجية. اتبع الخطوات هنا (https://docs.nexus.xyz/) لتجربتها بنفسك.

الاستنتاج

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

تعمل Nexus على حل هذه المشكلات الثلاث من خلال الجمع بين عقود من الابتكار ونظام معياري ومتوازي للغاية.

نعتقد أن Nexus سيكون المكان المفضل لإجراء عمليات حسابية فعالة وقابلة للتحقق، مما يضمن أن تكون الحسابات الترليونية التالية آمنة وقابلة للتحقق وفعالة.