رائد تسريع الأجهزة في مجال ZK: تفسير رؤية Cysic وتخطيطها

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

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

! [تعدين ZK على وشك الارتفاع؟] تفسير Cysic](https://img-cdn.gateio.im/webp-social/moments-ca60c5ce715c86644737067f072d708b.webp)

سير عمل نظام إثبات ZK

تشمل العملية الأساسية لنظام إثبات ZK:

1. إعداد المسألة: تحديد المحتوى الذي يجب إثباته
2. التحويل الرياضي وCSP: تحويل المحتوى الذي يتعين إثباته إلى دوائر منطقية وأشكال متعددة الحدود
3. اختيار نظام إثبات مناسب ( مثل Halo و Plonk وما إلى ذلك ) لإنشاء برامج ZKP
4. يقوم المُثبِت باستخدام برنامج ZKP لإنشاء إثبات، وتسليمه إلى المُحقق للتحقق منه.

تستخدم تقنية zk-SNARK على نطاق واسع في الوقت الحالي في blockchain، حيث يتم الاستفادة من بساطتها بدلاً من خصائص عدم المعرفة. تتميز zk-SNARK بتكلفة عالية لتوليد الإثبات ولكن تكلفة منخفضة للتحقق، مما يجعل هذه اللا تماثل مناسبة جداً لسيناريوهات التحقق اللامركزية.

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

! [تعدين ZK على وشك الارتفاع؟] تفسير Cysic](https://img-cdn.gateio.im/webp-social/moments-eaaa0c1cd7f92517fd2a843ec618afba.webp)

العقبات الرئيسية في حسابات ZKP

في عملية توليد ZKP ، فإن أكثر مهمتين تستهلكان موارد الحوسبة هما MSM( الضرب المتعدد القياسي) و NTT( تحويل نظرية الأعداد) ، حيث تشغلان 80-95% من وقت توليد الإثبات.

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

تشمل طرق تحسين هذين الحسابين:

• تحسين الخوارزميات: مثل Hyperplonk وغيرها من الخوارزميات الجديدة التي تحاول القضاء على عمليات NTT
• تسريع الأجهزة: استخدام GPU أو FPGA أو ASIC لزيادة كفاءة الحساب

! [تعدين ZK على وشك الارتفاع؟] تفسير Cysic](https://img-cdn.gateio.im/webp-social/moments-84a5edaec1ee0d76b68eede1f0f5565f.webp)

استراتيجية تسريع ZK لـ Cysic

تتكون استراتيجية تطوير Cysic من أربع مراحل:

1. تطوير SDK مبني على GPU، لتوفير حلول لتطبيقات ZK ودمج موارد GPU من الشبكة بأكملها
2. استخدام FPGA لتحقيق تسريع الأجهزة المخصص ZK
3. تطوير ذاتي للأجهزة ZK Depin القائمة على ASIC
4. بناء شبكة Cysic، كمنصة SAAS/تجمع لدمج جميع أنواع موارد ZK للحوسبة.

شبكة Cysic: تجمع ZK ومنصة SaaS

Cysic Network كأحد برك التعدين ZK ومنصة SaaS، ستدمج قوة الحوسبة الخاصة بـ Cysic وموارد الحوسبة من طرف ثالث. تشمل سير العمل الخاص بها:

1. وكيل اتجاه مشروع ZK يقدم مهمة إثبات
2. يقوم Prover بقبول المهمة وإنتاج إثبات ZK
3. لجنة التحقق من صحة الشهادات والتصويت

Cysic Network قامت أيضًا بإنشاء سلسلة كتلة خاصة بها، تستخدم خوارزمية إجماع Proof of Compute (PoC).

حلول GPU و FPGA و ASIC

في مجال تسريع GPU، يوفر SDK CUDA الذي طورته Cysic أداءً أسرع من الإطارات المفتوحة بنسبة تتراوح بين 50% إلى 80%.

في مجال FPGA، حققت Cysic أسرع MSM و NTT في العالم. إن SolarMSM و SolarNTT يبرزان أداءً ممتازًا في الحسابات واسعة النطاق.

فيما يتعلق بـ ASIC، تعمل Cysic على تطوير منتجين: ZK Air الموجه للمستخدمين العاديين و ZK Pro الموجه للمشاريع الكبيرة. من المتوقع أن يتم إطلاق هذين الجهازين في عام 2025، لبناء شبكة ZK-DePIN مستقرة وموثوقة.

مع تطور شبكة Cysic وانتشار أجهزة ZK، قد يشهد مجال الحوسبة ZK موجة مشابهة لتعدين البيتكوين، ومن المتوقع أن يصل حجم السوق إلى نمو متفجر.

! [تعدين ZK على وشك الارتفاع؟] Cysic](https://img-cdn.gateio.im/webp-social/moments-dec45f9974aa0e59204a4ffe6378b865.webp)