المؤلف: Nickqiao & Wuyue، Geek web3

في أبريل من هذا العام، زار فيتاليك قمة هونج كونج Blockchain وألقى خطابًا بعنوان "الوصول إلى حدود تصميم البروتوكول"، والذي ذكر فيه مرة أخرى إمكانات ZK-SNARKs في خارطة طريق Ethereum Danksharding. نتطلع إلى المساعدة الكبيرة التي تقدمها رقائق ASIC في تسريع ZK.

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

في الواقع، في وقت مبكر من عام 2022، أصدرت أهم مؤسسات رأس المال الاستثماري a16z وParadigm تقارير علنية تعبر بوضوح عن تركيزها على تسريع أجهزة ZK،النموذج هو حتى أنه أكد أنه في المستقبل، قد يكون دخل عمال تعدين ZK مشابهًا لدخل عمال تعدين Bitcoin أو Ethereum، وستحظى حلول تسريع الأجهزة المستندة إلى GPU وFPGA وASIC بمساحة سوقية ضخمة. منذ ذلك الحين، ومع شعبية ZK Rollup السائدة مثل Scroll وStarknet، أصبح تسريع الأجهزة مفهومًا ساخنًا في السوق، وأصبحت هذه الشعبية أكثر كثافة مع اقتراب إطلاق مشاريع مثل Cysic.

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

في مجال تسريع الأجهزة، قد يكون فريق Cysic أحد أكثر الفرق مشاهدة، وقد فاز الفريق بجوائز مهمة من منصة المنافسة التكنولوجية ZKP المعروفة ZPrize ، وبدأت العمل كمرشد لـ ZPrize في عام 2023؛ وقد جذبت مجموعة التعدين ToB ZK وأجهزة ToC ZK-Depin المضمنة في خريطة الطريق الخاصة بها انتباه أفضل شركات رأس المال الاستثماري مثل Polychain، وABCDE، وOKX Ventures، وHashkey، مما أدى إلى استكمال ما مجموعه تمويل يقارب 20 مليون دولار أمريكي.

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

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

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

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

1. إعداد المشكلة:أولاً نحتاج إلى تحديد ما يجب إثباته . على سبيل المثال، يعلن المثل أنه يتقن/يعرف بيانات معينة، "أعرف حل N للمعادلة F(x)=w"، لكنه لا يريد أن يرى الآخرون قيمة N.

2. الحساب وCSP: بعد أن يرسل المُثبِّت المحتوى المطلوب إثباته، سيقوم النظام بإنشاء نموذج/برنامج رياضي خاص. التعبير بشكل متساوٍ عن المحتوى المراد إثباته، ثم تحويل التنسيق لتسهيل المعالجة بواسطة نظام الإثبات. على وجه التحديد، العبارة المذكورة أعلاه "أعرف حلاً N للمعادلة F(x)=w" سيتم تحويلها من المعادلة الرياضية الأصلية إلى شكل دائرة بوابة منطقية ومتعددة الحدود.

3. بعد ذلك، سيحدد النظام نظام إثبات مناسبًا مثل Halo وPlonk وما إلى ذلك، وسيقوم بتجميع المحتوى الذي تم إنشاؤه في الخطوات السابقة في برنامج ZKP قابل للاستخدام. يستخدم المُثبِّت برنامج ZKP لإنشاء دليل وإرساله إلى المدقق للتحقق منه.

أنظمة ZK مثل zkEVM، والتي يتم اعتمادها بشكل متكرر في الطبقة الثانية من Ethereum، تقوم بشكل أساسي بتجميع العقود الذكية في رموز التشغيل الأساسية لـ EVM، ثم تنسيق كل رمز تشغيل في دوائر بوابة منطقية/متعددة الحدود. ويكون شكل القيود بعد ذلك تم تسليمها إلى نظام إثبات ZK الخلفي لمزيد من المعالجة.

من الجدير بالذكر أن حل تقنية ZKP المستخدم حاليًا على نطاق واسع في blockchain هو بشكل أساسي zk-SNARK (وسيطة المعرفة غير التفاعلية الموجزة ذات المعرفة الصفرية)، ويستخدم ZK Rollup في الغالب SNARK Simplicity بدلاً من المعرفة الصفرية. البساطة تعني أن ZKP يشغل مساحة صغيرة جدًا، ويمكنه ضغط كمية كبيرة من المحتوى إلى بضع مئات من البايتات، كما أن تكلفة التحقق منخفضة جدًا.

بهذه الطريقة، يكون عبء العمل بين Prover وVerifier غير متماثل. تكلفة Prover لإنشاء ZKP مرتفعة، لكن تكلفة التحقق من Verifier منخفضة جدًا الاستفادة من عدم التماثل هذا واستخدام ZK في سيناريو "المثبت الفردي، المتحقق المتعدد"، يمكنك تركيز التكلفة الإجمالية على جانب المثبت وتقليل تكلفة المتحقق بشكل كبير. هذا النموذج مهم جدًا للتحقق اللامركزي. هذه هي فكرة الطبقة الثانية من الايثيريوم.

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

على الرغم من أن ZK تتمتع بإمكانات كبيرة في سيناريوهات التحقق اللامركزية وغير الموثوقة، إلا أنها محدودة باختناق وقت الإنشاء، سواء كان zkEVM أو zkVM أو لا تمتلك ZK Rollup وZK Bridge حاليًا الأساس الاقتصادي للتبني على نطاق واسع.

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

الحمل العام للعملية: MSM وNTT

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

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

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

بغض النظر عن مهام الحوسبة غير الودية لـ ZK، على الرغم من أن عملية إنشاء إثبات ZK قد تختلف اعتمادًا على نظام الإثبات المختار، إلا أن الاختناقات متشابهة بشكل أساسي. في إنشاء بروفات ZK، هناك مهمتان حاسوبيتان تستهلكان معظم موارد الحوسبة: MSM (الضرب متعدد القيم) وNTT (التحويل النظري للأرقام). يمكن أن تمثل هاتان المهمتان الحسابيتان 80-95% من وقت إنشاء الدليل اعتمادًا على مخطط التزام ZKP والتنفيذ المحدد.

يتعامل MSM بشكل أساسي مع الضرب متعدد المستويات على المنحنيات الإهليلجية، في حين أن NTT عبارة عن FFT (تحويل فورييه السريع) في مجال محدود، والذي يستخدم لتسريع معالجة الضرب متعدد الحدود. سيؤدي استخدام مجموعات حلول مختلفة إلى تحقيق نسب تحميل مختلفة لـ FFT/MSM.

خذ Stark كمثال. يستخدم PCS (نظام الالتزام متعدد الحدود) FRI، وهو التزام قائم على التجزئة، بدلاً من KZG أو المنحنى الإهليلجي الذي يستخدمه IPA لذلك لا يوجد حساب لسوق مسقط للأوراق المالية على الإطلاق. كلما ارتفع الجدول، زادت الحاجة إلى عمليات FFT، وكلما انخفض الجدول، زادت الحاجة إلى عمليات MSM.

حل التحسين

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

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

لذلك، أصبح الوصول إلى بيانات التخزين وحركة البيانات عائقًا رئيسيًا، مما يحد من قدرة عمليات NTT على التوازي وتسريع معظم أعمال NTT في إدارة الكيفية يتفاعل الحساب مع الذاكرة.

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

تسريع أجهزة ZK والهدف النهائي لـ Cysic

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

السؤال إذن هو: ما هو أفضل جهاز لتسريع إنشاء ZKP؟ توجد حاليًا مجموعة متنوعة من الأجهزة التي يمكنها تنفيذ تسريع ZK، مثل GPU أو FPGA أو ASIC بالطبع، لها مزاياها وعيوبها.

يمكننا مقارنة هذه الأنواع من الأجهزة:

أولاً نستخدم مثالًا بسيطًا لتوضيح الاختلافات بينهما على مستوى التطوير. على سبيل المثال، نريد الآن تنفيذ عملية ضرب متوازية بسيطة:

• في وحدة معالجة الرسومات، باستخدام واجهة برمجة التطبيقات التي توفرها CUDA SDK، يمكننا التطوير مثل كتابة التعليمات البرمجية الأصلية للحصول على إمكانات الحوسبة المتوازية؛

• في FPGA، نحتاج إلى إعادة تعلم لغة وصف الأجهزة واستخدام هذه اللغة للتحكم في الاتصالات على مستوى الأجهزة لتنفيذ خوارزميات متوازية؛

< li>

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

هذه الحلول لها مزاياها وعيوبها وهي مناسبة لمراحل التطوير المختلفة لمسار ZK. تلتزم Cysic بأن تصبح الحل النهائي لتسريع أجهزة ZK، وإستراتيجيتها خطوة بخطوة هي:

1. تطوير SDK استنادًا إلى GPU لتوفير حلول لتطبيقات ZK ودمج موارد GPU عبر الشبكة بالكامل؛

2. استخدام FPGA بفضل مرونته وميزاته المتوازنة، يمكنه تنفيذ تسريع أجهزة ZK المخصص بسرعة.

3. تطوير أجهزة ZK Depin المستندة إلى ASIC بشكل مستقل

4. ستعمل شبكة Cysic Network على دمج كل قوة الحوسبة الخاصة بـ ZK Depin وGPU كمنصة SAAS/تجمع تعدين لتوفير قوة الحوسبة وحلول التحقق لصناعة ZK بأكملها

   < /li>

دعونا نفهم تمامًا الاختلافات في التقسيمات الفرعية بين حل تسريع ZK وحل Cysic من خلال تفسير مسارات التطوير المقسمة المتعددة.

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

في الواقع، اقترحت كل من Scroll وZK Rollups المعروفة مثل Polygon zkEVM بوضوح مفهوم "اللامركزية Prover" في خرائط الطريق الخاصة بها، وهو في الواقع بناء مجمع تعدين ZK. يمكن لهذا النهج الموجه نحو السوق أن يقلل العبء على مشروع ZK Rollup ويشجع عمال المناجم ومشغلي مجمعات التعدين على تحسين خطة تسريع ZK بشكل مستمر.

في خريطة طريق Cysic، تم اقتراح مجمع تعدين ZK وخطة منصة SaaS تسمى Cysic Network بشكل واضح. لن يقتصر الأمر على دمج قوة الحوسبة الخاصة بـ Cysic فحسب، بل سيستوعب أيضًا موارد الحوسبة التابعة لجهات خارجية من خلال حوافز التعدين، بما في ذلك وحدات معالجة الرسوميات الخاملة ومعدات zk DePIN في أيدي المستخدمين العاديين.

مخطط سير عمل التحقق بالكامل كما يلي:

< img src="https://img.jinse.cn/7265591_image3.png">

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

2. يقبل Prover مهمة الإثبات ويستخدم الأجهزة لإنشاء إثبات ZK. يحتاج المُبرِح إلى التعهد بالرمز للمشاركة في التعاقد على مهمة الإثبات، وسيتلقى مكافآت بعد إكمال مهمة الإثبات؛

3. لجنة التحقق مسؤولة عن التحقق من صحة الإثبات الناتج عن Prover والتصويت عند رقم معين تم التوصل إلى الأصوات، ويعتبر الدليل صحيحا. ينضم القائمون على التحقق إلى اللجنة عن طريق تخزين الرموز والمشاركة في التصويت والحصول على المكافآت ويمكن دمج هذه العملية مع مفهوم AVS الخاص بـ EigenLayer لإعادة استخدام مرافق الاستعادة الحالية.

عملية التفاعل التفصيلية هي كما يلي:

< p style="text-align:center">

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

ولهذا الغرض، قامت Cysic Network ببناء سلسلة عامة حصرية واعتمدت خوارزمية إجماع فريدة تسمى Proof of Compute (PoC). وظيفة VRF والأداء التاريخي لـ Prover، مثل توفر الجهاز، وعدد عمليات تقديم الإثبات، ودقة الإثبات، وما إلى ذلك، يتم اختيار منتج الكتلة ليكون مسؤولاً عن إنتاج الكتلة (ملاحظة: يجب أن تكون الكتل هنا يتم استخدامها لتسجيل معلومات كل جهاز) وتوزيع حوافز الرمز المميز).

بالطبع، بالإضافة إلى مجمع تعدين ZK ومنصة SaaS، قامت Cysic بعمل الكثير من التخطيطات في حلول تسريع ZK استنادًا إلى أجهزة مختلفة. بعد ذلك، دعونا نفهم نتائجها على المسارات الثلاثة لـ GPU وFPGA وASIC على التوالي.

وحدة معالجة الرسومات، وFPGA، وASIC

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

في وحدات معالجة الرسومات، تمت زيادة نسبة مساحة الشريحة المستخدمة في العمليات الحسابية بشكل كبير، مما يمكنها من دعم المعالجة المتوازية واسعة النطاق. تحظى وحدات معالجة الرسومات الآن بشعبية كبيرة. يمكن للمكتبات مثل Nvidia Cuda مساعدة المطورين على الاستفادة من توازي وحدات معالجة الرسومات دون معرفة الأجهزة الأساسية. ويمكن استخدام CUDA SDK لتغليف مكتبة CUDA ZK لتسريع عمليات MSM وNTT.

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

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

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

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

بالنسبة لدائرة ZK السائدة الحالية، تأمل Cysic في إثبات أن الوقت يمكن أن يحقق سرعة تتراوح من 1 إلى 5 ثوانٍ هذا الهدف، فقط ASIC يمكنها تحقيق ذلك.

على الرغم من أن هذه المزايا تبدو جذابة للغاية، إلا أن تقنية ZK تتطور بسرعة، وعادة ما تستغرق دورة تصميم وإنتاج ASIC من سنة إلى سنتين، و التكلفة تصل إلى 10-20 مليون دولار أمريكي. لذلك، من الضروري الانتظار حتى تصبح تقنية ZK مستقرة بدرجة كافية قبل أن يتم وضعها في الإنتاج على نطاق واسع لتجنب أن تصبح الرقائق المنتجة قديمة الطراز بسرعة.

في هذا الصدد، قامت Cysic بإجراء الترتيبات الكاملة في المجالات الثلاثة لوحدة معالجة الرسومات، وFPGA، وASIC؛

< p style="text-align: left;">على مستوى حلول تسريع GPU، مع ولادة العديد من أنظمة إثبات ZK الجديدة، قامت Cysic بتكييفها بناءً على SDK لتسريع CUDA الخاص بها وموارد المجتمع المجمعة، مئات يتم ربط الآلاف من بطاقات رسومات الحوسبة ذات المستوى الأعلى في شبكة طاقة الحوسبة GPU الخاصة بـ Cysic، كما أن Cysic CUDA SDK أسرع بنسبة 50%-80% أو أكثر من أحدث إطار عمل مفتوح المصدر.

في FPGA، أكملت Cysic تنفيذ أسرع MSM وNTT وPoseidon Merkle Tree وغيرها من الوحدات النمطية في العالم من خلال حلول مطورة ذاتيًا، تغطي أحدث حوسبة ZK تم التحقق من الجزء الرئيسي والحل من خلال العديد من مشاريع ZK الكبرى.

يمكن لـ SolarMSM المطور ذاتيًا من Cysic إكمال حسابات MSM بمقياس 2^30 في 0.195 ثانية، بينما يمكن لـ SolarNTT إكمال حسابات NTT بمقياس 2^30 في 0.218 ثانية. إنه يتمتع بأعلى أداء بين جميع نتائج تسريع أجهزة FPGA العامة حاليًا.

في مجال ASIC، على الرغم من أنه بعيد عن ZK ASIC لا تزال هناك مسافة معينة للتطبيق واسع النطاق، لكن Cysic وضعت هذا المسار مسبقًا وأطلقت رقائق ومعدات ZK DePIN المطورة بشكل مستقل.

من أجل جذب مستخدمي C-end وتلبية متطلبات الأداء والتكلفة لمختلف أطراف مشروع ZK،ستطلق Cysic منتجين من أجهزة ZK: ZK الهواء وZK برو.

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

يشبه ZK Pro آلة التعدين التقليدية. وقد وصلت قوتها الحاسوبية إلى تأثير العديد من بطاقات الرسومات عالية المستوى المخصصة للمستهلك والتي تربط بين خوادم GPU، والتي يمكنها ذلك تسريع إنشاء أدلة ZK بشكل كبير ومناسبة لمشاريع ZK واسعة النطاق، مثل ZK-Rollup وZKML (التعلم الآلي بدون معرفة).

من خلال هذين الجهازين، ستقوم Cysic في النهاية ببناء شبكة ZK-DePIN مستقرة وموثوقة. ولا يزال هذان الجهازان قيد التطوير حاليًا ومن المتوقع إطلاقهما في عام 2025.

بالإضافة إلى ذلك، من خلال Cysic Network، يمكن لمستخدمي C-end الانضمام إلى سوق تسريع أجهزة zk بعتبة منخفضة جدًا، إلى جانب الطلب الكبير على طاقة الحوسبة من من ناحية مشروع ZK، قد يتسبب هذا في إطلاق السوق مرة أخرى لموجة من الجنون مثل تعدين Bitcoin، وقد يؤدي حجم سوق حوسبة ZK مرة أخرى إلى نمو هائل.

المرجع

https://medium.com/ amber-group/need-for-speed-zero-knowledge-1e29d4a82fcd

https://figmentcapital.medium.com/accelerating-zero-knowledge-proofs- cfc806de611b