من مختبر كورنيل إلى بروتوكول العملات الرقمية: الدكتور ليو فان حول بناء محرك ZK الخاص بـ Cysic

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

بينما نستكشف انتقال الدكتور فان، والرؤى التقنية، ورؤيته للمستقبل، سيكتسب القراء فهمًا دقيقًا لكيفية إنشاء محركات ZK — ولماذا هي مهمة للجيل القادم من الأنظمة اللامركزية.

س1. لقد قمت بتحويل كبير من الأوساط الأكاديمية (Cornell → Rutgers) إلى تأسيس Cysic. ما هي اللحظة أو المشكلة التي أقنعتك بترك البحث/التدريس وبناء شركة حول الأجهزة والبنية التحتية ZK؟

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

س2. كيف شكلت أبحاثك الأكاديمية وأدوارك المبكرة في الصناعة (Algorand، IBM/Bell Labs، إلخ.) الرؤية التقنية لشركة Cysic، وخاصة القرار بدمج الأجهزة المخصصة (ASIC/CUDA) مع شبكة إثبات لامركزية؟

لقد قدم لي عملي الأكاديمي في كورنيل، تحت إشراف البروفيسور إلين شي، عالمة الحاسوب والمشفر الشهيرة، أساسًا قويًا في علم التشفير والحساب القابل للتحقق. وقد exposedتني الأدوار الصناعية في ألغوراند وIBM/Bell Labs للقيود العملية: كانت معظم أنظمة ZK مرتبطة بالمعالجة، ولم يتم بناء الأجهزة العامة للأحمال التي تتطلبها الإثباتات. شكل هذا المزيج - النظرية الصارمة بالإضافة إلى الاختناقات في العالم الحقيقي - قرار Cysic لدمج الأجهزة المخصصة (ASIC/CUDA acceleration) مع شبكة موفرة لامركزية. كانت هذه هي الطريقة الوحيدة لجعل الإثباتات سريعة وموثوقة وبأسعار معقولة وقابلة للتوسع.

س3. تصف Cysic نفسها بأنها “السيليكون إلى البروتوكول”. هل يمكنك أن تأخذنا عبر السلسلة، من تصميم الأجهزة إلى توليد الإثبات إلى التسوية، وما هي الطبقات التي أوليتها الأولوية أثناء التوسع؟

“السيليكون إلى بروتوكول” يعني أننا نقوم بتحسين كل طبقة من دورة إثبات الحياة:

طبقة الأجهزة: مسرعات مصممة خصيصًا لأحمال العمل ZK، محسّنة من حيث السرعة والتكلفة.

طبقة الاحتراف: شبكات لا مركزية من وحدات معالجة الرسوميات (GPUs) وأجهزة الدوائر المتكاملة (ASICs) تعمل بنموذج ComputeFi لدينا.

طبقة البروتوكول: التسوية، التحقق، والتكامل مع أسواق الإثبات وبيئات L2.

في المراحل المبكرة، أولينا الأولوية لطبقات الأجهزة والمثبت لأنها تشكل الأساس للتوسع. ComputeFi - آليتنا لوضع الأجهزة على السلسلة - أصبحت لحظة فارقة، مما يتيح حسابًا قابلًا للتحقق ولامركزيًا على نطاق واسع.

س4. تصميم أجهزة تسريع الهاردوير لإثباتات ZK هو أمر صعب بشكل غير عادي. ما هي أكبر المفاجآت الهندسية أو التبادلات التي واجهتها عند محاولة التحسين من حيث الإنتاجية، الكمون، التكلفة، والعمومية عبر أنظمة الإثبات؟

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

Q5. تضع Cysic نفسها كنوع من DePIN ZK (سوق موارد الحوسبة). كيف تعتقد أن لا مركزية حوسبة ZK تغير الاقتصاديات وتجربة المستخدم لـ ZK rollups و L2s؟

يعتمد سوق DePIN اليوم بشكل كبير على الأجهزة من الشركات المصنعة الكبيرة لوحدات معالجة الرسوميات مثل Nvidia. في الواقع، تعمل وحدات معالجة الرسوميات من Nvidia على تشغيل حوالي 80% من بنية DePIN التحتية التي نراها اليوم. يؤدي هذا إلى احتكار حيث يتأثر السوق بشكل كبير بأسعار Nvidia وقراراتها وقابلية الترقية. كما يتأثر المطورون الأصغر سلبًا بتكاليف وحدات معالجة الرسوميات العالية اليوم لأنهم لا يستطيعون تحمل اقتصاديات الحجم التي تتمتع بها الشركات المطورة الأكثر تمويلًا.

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

س6. غالبًا ما يجبر توافق المنتج والسوق على التغييرات. كيف تغيرت خارطة طريق منتج Cysic واستراتيجيات الدخول إلى السوق من النموذج الأولي في بدايته إلى مراحل الشبكة التجريبية الحالية، وما هي تعليقات المستخدمين/الشركاء التي قادت تلك التغييرات؟

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

س7. تعتبر اقتصاديات المجتمع والمشغلين حاسمة لـ DePINs. كيف قمت بتصميم الحوافز والأدوات والتوجيه بحيث يمكن لمجموعة متنوعة من مزودي الأجهزة ( من وحدات معالجة الرسوميات الهواة إلى ASICs) المشاركة بشكل مستدام؟

تشمل الآليات لضمان الاستدامة على المدى الطويل التخفيض: إذا لم يتمكن مقدمو الخدمة أو المدققون من الاستجابة في الوقت المناسب، فسيتم الاستيلاء على رموزهم $CYS وتوزيعها على الآخرين. هذا يضمن أن المدققين في المقدمة من المهام، مما يمنع التأخيرات الطويلة.

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

Q8. هل يمكنك مشاركة الدروس المستفادة من توسيع نظام Cysic البيئي، الشراكات، التكاملات، أدوات المطورين، أو علاقات الحاضنة/المدققين التي سرعت بشكل ملحوظ من التبني؟

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

س9. فيما يتعلق بالحوكمة والرمز (إذا كان بإمكانك التحدث عن ذلك): ما هو نموذج الحوكمة والأدوات الاقتصادية التي تراها ضرورية لتحقيق التوازن بين اللامركزية والأمان وتمويل البروتوكول على المدى الطويل؟

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

Q10. الأمن والثقة هما جوهر بنية ZK التحتية. كيف تتناول إدارة المخاطر، مثل أخطاء الأجهزة، أو المزودين الضارين، أو هجمات سلسلة التوريد، وما هي طبقات الدفاع التي تعطيها الأولوية؟

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

س11. عند النظر إلى انتقالك من أستاذ إلى مدير تنفيذي، ما هي المهارات الشخصية أو التحديات الإدارية غير المتوقعة التي كان من الصعب تعلمها، وما النصيحة التي ستقدمها لأكاديميين آخرين يفكرون في تأسيس شركة ناشئة في مجال التقنية العميقة؟

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

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

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

س12. بعد خمس سنوات، كيف يبدو النجاح بالنسبة لـ Cysic، من الناحية التقنية، وللنظام البيئي، وللمشهد الأوسع لـ ZK؟ وما هي المخاطر التقنية أو السوقية الرئيسية التي تراقبها الآن؟

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