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

المؤلف: Paul Veradittakit ، Pantara Partner ؛

مقدمة

صفر -يتم تقسيم مشروع كلمة المرور عمومًا إلى فئتين:

ZK المخصص: هذه المحاولات لتحسين قابلية التوسع في blockchain عن طريق إثبات حسابات محددة.على سبيل المثال ، ZK-Rollup Stack ، ZKEVM لطبقات التنفيذ ، و ZK يثبت التجميع ، والتسوية ، إلخ.وتشمل هذه الشركات Zksyncra و Starknet.
جنرال موتورز ZK: يحاول ZK إثبات أي حسابات ، بغض النظر عن لغة البرمجة المستخدمة ، وتسمى ZKVM.يهدفون إلى السماح للمطورين بتسليم مشروع ZK في غضون بضعة أيام (بدلاً من بضعة أشهر) ، مما يسمح لهم بالتركيز على كتابة التعليمات البرمجية العادية ، وليس الدائرة.

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

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

ما هو حساب التحقق؟

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

التقدم والمعلم

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

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

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

تطبيق مشفر

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

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

اليوم ، تكلف تطبيقات ZK ملايين الدولارات لإنشاء الشهادات والتحقق منها على L1.ستؤدي شبكة Nexus Proof و Compression و Compiler إلى تحسين أداء تطبيقات ZK الحالية.تطورت صناعة ZK بسرعة ، وتحتل Nexus موقع السوق الرائد من خلال التصميم الأول للكاسورة من مكدس التكنولوجيا بأكمله من Profensive to pusned.

العضو الرئيسي في الفريق

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

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

دانييل مارين ، الرئيس التنفيذي: خريجين جدد في جامعة ستانفورد ، تحت إشراف عالم التشفير الشهير دان بونه.
مجموعة Jens ، كبير العلماء: المدير السابق لـ Dfinity ، أستاذ الكلية في لندن ، وهو مخترع أكثر ZK-Snark Groth16.
أليكس فاولر ، كبير المسؤولين الاستراتيجيين: مؤسس Blockstream ونائب الرئيس السابق ، كبير مسؤولي الخصوصية في موزيلا.
دون بيفر ، نائب رئيس علم التشفير: كان رئيس Crypto of Jump Crypto ، بالإضافة إلى باحث كبير وعلماء Meta و Uber و Apple و Google.

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

ميشيل عبدالا: انضباط كود كبير ، رئيس جمعية أبحاث التشفير الدولية (IACR) ، أستاذ المدرسة العادية الفرنسية العليا السابقة ، والباحث Dfinity.
صموئيل جودسون: مهندس تشفير ، حاصل على درجة الدكتوراه في التشفير في جامعة ييل ، درس من Ruzica Piskac ، وعمل كمهندس أمن Auth0.كتب أكثر من 7 أوراق في ZKP ، والأساليب الرسمية ، ومنظمة العفو الدولية.
كريستيان سوسنين: مهندس تشفير ، الذي شغل منصب مهندس الصدأ لمختبرات المادة والتكافؤ.
Vamsi Policharla: مهندس التشفير ، الذي يدرس الدكتوراه في التشفير في بيركلي ، المدرب هو Sanjam Garg.وهو مهندس الصدأ الأساسي لمجموعة دراسة كود بيركلي وكتب أكثر من 4 أوراق ZKP.
Yinuo Zhang: موضوع تشفير ، يدرس حاليًا درجة الدكتوراه في التشفير تحت إشراف جامعة سانجام جارج في بيركلي.سبق أن تدرب في A16Z Crypto ’23 ، وشارك في Research ZKVM ، وكتب أكثر من 5 أوراق ZKP.

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

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

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

ختاماً

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

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

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