في الآونة الأخيرة، أثارت الزيارة المفاجئة التي قام بها فيتاليك بوتيرين لمؤتمر هونج كونج للبلوكشين إعجاب جميع الحاضرين. وهذا يعكس أيضًا الوضع الحالي لسوق التشفير إلى حد ما. في الآونة الأخيرة، كان اتجاه إيثريوم أضعف قليلاً من اتجاه نظام بيتكوين البيئي، وقد أدى تجزئة سيولة إيثريوم وأدائها المحدود إلى إثارة التساؤلات مرة أخرى.
في هذا المؤتمر، قدم فيتاليك اقتراحات واضحة للتقدم المستقبلي للإيثريوم. في الخطاب الرئيسي "الوصول إلى حدود تصميم البروتوكول"، تطلع Vitalik بنشاط إلى دور رقائق ASIC. بمساعدة رقائق ASIC لتسريع الأجهزة لحسابات ZK، يمكن رفع كفاءة وأمان Ethereum إلى مستوى جديد .
لتفسير تسريع أجهزة ZK، من الطبيعي أن نبدأ بـ ZK. ZKP ليس مفهومًا جديدًا تمامًا. منذ الثمانينيات، ظل علماء الكمبيوتر يستكشفون هذا الاتجاه باستمرار. في الوقت الحالي، يتم إطلاق مشاريع ZK Rollup الشهيرة واحدًا تلو الآخر، كما يظهر المزيد من تطبيقات ZK. وفي المقابل، تتطور تكنولوجيا ZK والسوق باستمرار. لقد وجدنا أن تسريع أجهزة ZK ينضج، وأن وضع ZK + DePIN آخذ في الظهور، ويبدو أن ZKP في هذه الدورة مختلف عن ذي قبل.
تُعرف تقنية Zero-Knowledge Proof (ZKP) باسم "الكأس المقدسة" في مجال تكنولوجيا التشفير. فهي لا تقدم حلولاً جديدة لمشكلة حماية الخصوصية التي طال أمدها فحسب، بل توفر أيضًا حلاً قويًا لمشكلة توسيع blockchain التي كانت موجودة لسنوات عديدة.الحل.
كما نعلم جميعًا، كانت مشكلة كفاءة ZK تزعج العديد من المستخدمين ومطوري المشاريع. **قال فيتاليك في مؤتمر هونج كونج إنه على الرغم من أن البروتوكولات المتقدمة القائمة على التشفير مثل ZK-SNARKs وMPC وFHE (التشفير المتماثل بالكامل) وتجميع BLS تتطور بسرعة، إلا أنها تعاني أيضًا من مشكلات تتعلق بالكفاءة والأمن. **
(مصدر الصورة: فورسايت نيوز)
من بينها، وقت إنشاء كتلة Ethereum Slot هو 12 ثانية، ووقت التحقق من الكتلة "العادي" حوالي 400 مللي ثانية، ووقت إثبات ZK-SNARK حوالي 20 دقيقة. هدف Ethereum هو تحقيق الإثبات في الوقت الفعلي .
من أجل حل هذه المشكلة، قدم Vitalik ثلاثة حلول، وهي "شجرة التوازي والتجميع"، وذلك باستخدام خوارزميات SNARK والتجزئة لتحسين الكفاءة، و**استخدام ASIC لتسريع أجهزة ZK. **
نحن لا نحكم على إيجابيات وسلبيات الحلول الثلاثة، ولكننا نجري فقط مناقشة متعمقة حول تسريع أجهزة ZK. يحاول هذا المقال البدء من ZKP والشرح للمستثمرين سبب تفاؤل فيتاليك بشأن "تسريع الأجهزة"، وهو المسار الذي نادرًا ما يتم ذكره في الوقت الحالي؟ ما هي الاختلافات بين المصطلحات المتشابهة مثل "ZKتسارع" و"ZK" و"ZK Rollups" وكيف يمكن التمييز بينها بدقة؟
من منظور النظام البيئي بأكمله، ما أهمية مسار تسريع الأجهزة؟ ما القيمة التي تقدمها لـ Ethereum وZK وعالم العملات المشفرة بأكمله؟ سنأخذ Cysic كمثال لمناقشة تسريع الأجهزة بالأمس والحاضر والمستقبل بالتفصيل.
ما هو دور تسريع الأجهزة الذي يتفائل به فيتاليك؟
بالنسبة لعالم التشفير، يعتبر ZKP (SNARKs/STARKs) بمثابة الكأس المقدسة لتكنولوجيا التوسع. يتحقق zk-SNARKs من صحة الحساب الأصلي من خلال حساب التحقق، أي أن المثبت (Prover) يقوم أولاً بإنشاء برهان موجز (Succinct Proof) للحساب الأصلي، ويستخدم المدقق (Verifier) حسابات أصغر حجمًا لإجراء التحقق من صحة البرهان (البرهان).
ومن بين خطط التوسع المختلفة، عززت ZKP تطوير الحوسبة خارج السلسلة. أي أن المعاملة لم تعد تُنفذ على شبكة الطبقة الأولى، ولكنها تكتمل في مجموعة البيانات خارج السلسلة، ويتم تجميع البيانات الجزئية مثل جذور الحالة للمعاملات المتعددة وإصدارها إلى الشبكة الرئيسية لإكمال التحقق والتسوية . يمكن لعقد الشبكة الرئيسية التحقق من سجل المعاملات على Rollup من خلال ZKP، ولا يزال أمانها مضمونًا من خلال طبقة واحدة. تعمل ZKP على حل مشكلة الثقة في عملية التحقق رياضيًا من خلال إثبات المعرفة الصفرية، وتتطلب مساحة صغيرة على السلسلة، ويمكن لـ ZK Rollup تحقيق سرعة معالجة المعاملات وكفاءة المعالجة بعشرات المرات مقارنة بطبقة واحدة.
تُظهر بيانات L2 BEAT أن إجمالي إجمالي قيمة TVL لأكبر خمس عمليات ZK Rollups قد وصل إلى حوالي 3 مليارات دولار أمريكي. لا يزال هذا الرقم بعيدًا عن 50 مليار دولار أمريكي لـ Ethereum TVL و91 مليار دولار أمريكي لسوق DeFi بأكمله. ونحن نعتقد أنه مع نضوج تكنولوجيا ZK، فإن معدل اختراق ZK Rollup سيزداد حتمًا. بعد أن أكملت إيثريوم ترقية كانكون، أدى إدخال EIP-4844 إلى خفض رسوم الطبقة الثانية بشكل كبير. بعد كل "معاملات كبيرة" تم تكييفها من الطبقة الثانية، أظهرت بيانات القياس الفعلية أن تكاليف الغاز لكل مجموعة ZK انخفضت بشكل ملحوظ. على سبيل المثال، انخفض سعر Starknet بنسبة 85% تقريبًا، كما انخفض سعر zkSync Era بنسبة 65% تقريبًا.
تنمو المشاريع القائمة على ZK في السوق بسرعة، ومن بين المشاريع القائمة على تقنية ZK والتي تبلغ قيمتها السوقية أكثر من مليار دولار أمريكي، فإن Polyhedra وImmutable وStakNet وzkSync وMina وdYdX وما إلى ذلك معروفة جيدًا. يمكن تقسيم هذا المسار تقريبًا إلى ثلاث طبقات: البنية التحتية، وتطبيقات ZK-Rollup، وZK.
تتضمن البنية التحتية بشكل أساسي أطر وأدوات البرمجة، وسوق إثبات ZKP، وتسريع الأجهزة لتوليد الإثبات، والتعلم الآلي ZK، وما إلى ذلك. تدور معظم المشاريع في هذه المسارات حول إنشاء وحساب ZKP، وتوفر أساسًا تقنيًا لنشر تطبيقات ZK (سواء كانت شبكة أو dApp).
الذي يجذب أكبر قدر من الاهتمام هو ZK Rollup. يوفر انفجار ZK Rollup دعمًا كبيرًا لقابلية التوسع وسرد "الاعتماد الشامل". بالطبع، علاوة على ذلك، هناك العديد من التطبيقات اللامركزية التي تستخدم تقنية ZK، ومعظمها يستخدم خصائص ZK لتوفير الخصوصية والتطبيقات الأخرى للمستخدمين المشفرين.
ومع ذلك، فإن موارد الحوسبة المفرطة المطلوبة لإنشاء إثبات ZK تمثل عنق الزجاجة الذي يقيد المزيد من التقدم على المسار.
ما مدى البعد عن تنفيذ حالة الاستخدام؟
نظرًا لأن تقنية ZK قوية جدًا، فلماذا لم يتم اعتمادها على نطاق واسع حتى الآن؟ السبب الرئيسي هو أن الخوارزمية الأساسية وآلية التنفيذ لتقنية ZK معقدة للغاية. يوجد حاليًا نظامان رئيسيان لإثبات ZK يُستخدمان على نطاق واسع - zk-SNARKs و zk-STARKs. على سبيل المثال، تستخدم كل من zkSync وAztec وAxiom وScroll وTaiko وما إلى ذلك أنظمة إثبات تعتمد على zk-SNARK، بينما تستخدم StarkNet وdYdX وPolygon وما إلى ذلك أنظمة إثبات تعتمد على ZK-STARKs.
يتضمن استخدام نظام إثبات المعرفة الصفرية عادةً ما يلي: "حساب الصفعة"، "إنشاء إثبات"، "التحقق من الدليل". تتطلب خطوة "إثبات الإنتاج" قدرًا كبيرًا من الطاقة الحاسوبية.
"حساب الصفعة" هو التعبير عن الحساب الأصلي في شكل دائرة ZK من خلال لغة قيد معينة (مثل R 1 CS). إذا أخذنا zk-SNARKs كمثال، فإن أنظمة الإثبات شائعة الاستخدام حاليًا تشمل Groth 16 وMarlin وHalo/Halo 2. من بينها، يستخدم Groth 16 لغة R 1 CS كلغة قيد للحسابات المسطحة. تستخدم أنظمة الإثبات الأحدث، مثل Halo/Halo 2، لغة قيود الدائرة لنظام Plonk، والتي تُستخدم على نطاق واسع في بعض مشاريع ZK الأحدث، مثل Scroll، وTaiko، وAximo، وما إلى ذلك.
كما ذكرنا من قبل، فإن إنشاء براهين ZK يتطلب عملية حسابية مكثفة. دعونا نستخدم Halo 2 المستندة إلى KGZ كمثال لتحليل هذه الأنواع من الحسابات لفترة وجيزة. أولاً، بعد أن قمنا ببناء دائرة ZK من خلال لغة القيد الأمامية، سنحتاج إلى تحويل هذه الدوائر إلى شكل متعدد الحدود بطريقة ما، ويرتبط ترتيب كثير الحدود بشكل إيجابي بمقياس الدائرة. بعد ذلك، سيتم استخدام بعض وسائل التشفير، مثل KZG، لتحويل كثيرات الحدود هذه أخيرًا إلى نموذج إثبات. في هذه العملية، تشمل أنواع الحساب الرئيسية التي تستغرق وقتًا طويلاً سوق مسقط للأوراق المالية (MSM) وNTT.
يتم استخدام حساب MSM (الضرب متعدد المستويات) للتعامل مع الحسابات المتعلقة بالمنحنيات الإهليلجية. يعد MSM مكونًا أساسيًا في تشفير المنحنى الإهليلجي ويستخدم بشكل أساسي لإنشاء البراهين والتحقق منها. تمثل مهام الحوسبة من نوع MSM حوالي 60-70% من مهام الحوسبة.
NTT (التحويل النظري للأرقام) هو تحويل فورييه سريع (FFT) يتم إجراؤه على حقل محدود. يتم استخدام NTT للتعامل مع العمليات الحسابية المتعلقة بمتعددات الحدود. من بين الحسابات التي تم إنشاؤها بواسطة براهين ZK، تمثل المهام الحسابية من النوع NTT حوالي 25% من جميع المهام الحسابية.
على الرغم من أن ZK-STARKs تستخدم خوارزميات مختلفة، إلا أنها تعاني أيضًا من اختناقات في الأداء. أثناء عملية إنشاء الدليل، يحتاج المُثبِّت إلى إنشاء نظام من القيود المتعددة التي يجب تلبيتها في وقت واحد لإنشاء برهان صالح. عادة ما يتم إنشاء هذه القيود بشكل عشوائي، حيث يقوم مستخدم خوارزمية FRI (أخذ العينات الغوسية السريعة العودية) بإنشاء العينة الغوسية والتحقق منها في الدليل لضمان عشوائية هذه القيود. ولذلك، فإن كفاءة خوارزمية FRI أمر بالغ الأهمية لأداء ZK-STARKs.
ولكن بغض النظر عن المسار الذي سيتم اعتماده، فإن الكم الهائل من العمليات الحسابية يجعل وقت الحساب بطيئًا للغاية. لذلك، أصبحت كيفية تسريع هذه الحسابات وتحسين كفاءة توليد الإثبات هي المفتاح للحد من شعبية ZKP الحالية.
من أجل حل هذه المشكلة، أصبح استخدام الأجهزة لتسريع الحوسبة حلاً ممكناً. في الوقت الحاضر، أنتج السوق العديد من حلول تسريع الأجهزة، ولكن لا توجد إجابة موحدة بشأن الأجهزة التي يجب اختيارها.
**تنقسم حلول تسريع الأجهزة السائدة حاليًا في سوق ZKP إلى ثلاثة أنواع، ومرونتها من الأعلى إلى الأدنى هي GPU وFPGA وASIC. **
نظرًا لأن بعض الخطوات في خوارزمية ZKP (مثل الضرب متعدد الحدود وتحويل FFT) يمكن معالجتها بالتوازي، فإن استخدام GPU يمكنه بشكل طبيعي إكمال عملية الحساب في خوارزمية ZKP بشكل أكثر كفاءة، تمامًا مثل تعدين بطاقة الرسومات منذ سنوات عديدة. لكن المشكلة تكمن في أن مرونة وتعدد استخدامات وحدات معالجة الرسومات تجعل من الصعب تجاوز FPGAs في الأداء. **
يمكن برمجة FPGA لتنفيذ وظائف منطقية محددة. يوفر هذا الحل النهائي كفاءة أعلى مع الحفاظ أيضًا على درجة معينة من المرونة، مما يسمح بتخصيص الدائرة حسب الحاجة. بعد التحسين لخوارزمية ZKP محددة، يتفوق FPGA على GPU**. **
ASIC عبارة عن شريحة متخصصة مصممة لمهام محددة. مثلما توفر آلات التعدين ASIC قوة حوسبة قوية للبيتكوين، يمكن لتسريع أجهزة ASIC من ZKP أيضًا توفير أعلى مستوى من تحسين الأداء لعملية الحوسبة. ولكن بشكل عام، ASIC لا يمكنها التكيف إلا مع حل واحد ولا يمكن استخدامها لجميع مهام إثبات ZKP الحالية. سوف تواجه شرائح ASIC الأكثر عمومية تعديلات أكبر من التصميم إلى الشريط.
تتمتع ASIC بأقوى قوة حوسبة، ولكن القيد يكمن في المرونة. بسبب تنوع خوارزميات ZK، لا تزال حلول التسريع تتطلب تسريع خوارزميات متعددة. وبالنظر إلى أن أدلة ZKP يتم تقديمها باستمرار في السوق، فإن قدرة إعادة التشكيل السريعة لـ FPGA تمنحها ميزة إعادة استخدامها في سيناريوهات متعددة ويمكن أن تتكيف بمرونة مع احتياجات أنظمة إثبات مختلفة. لذلك، في ظل ظروف السوق الحالية، كمزود خدمة تسريع الأجهزة، يمكنها فقط تقديم خدمات شرائح ASIC التي تعمل فقط على تسريع نظام شهادة واحد، وهو ليس الخيار الأفضل "في هذه اللحظة".
لكن ألا تمتلك ASIC القدرة على الانفجار في المستقبل؟ الجواب بطبيعة الحال لا.
يعد اختيار نظام الإثبات الصحيح قرارًا مهمًا للغاية. نظرًا لتكلفة التصميم المرتفعة للغاية لدوائر ZK، بمجرد تحديد نظام الإثبات، فمن الصعب أن يغير مشروع ZK نظام الإثبات بسهولة**. بعد أن يستثمر أطراف المشروع الموارد في تطوير الدوائر لنظام إثبات محدد، فإنهم عادةً لا يستبدلون النظام بسهولة. على الرغم من أن FPGA توفر درجة معينة من المرونة، إلا أن ASIC لا يزال بإمكانها توفير نسبة أداء حوسبة أعلى لمشاريع ZK التي تم تحديدها ووضعها قيد التطوير، وهو أمر مهم بشكل خاص لتطبيقات ZK واسعة النطاق والمكثفة حسابيًا. لذلك، على الرغم من أن تكلفة التطوير الأولية لـ ASIC مرتفعة، إلا أن نسبة الإيرادات المرتفعة التي تم الحصول عليها بعد نجاح عملية التسجيل لا تزال لها مكان في السوق. ولذلك، فإن حلول ASIC تتمتع بقدر معين من الاستقرار والطلب في السوق.
في المستقبل المنظور، ستظل حلول تسريع ASIC واحدة من الحلول النهائية لتسريع الأجهزة.
لنأخذ مشروع Cysic لمسار تسريع الأجهزة كمثال. توفر Cysic خدمات تسريع الأجهزة الكاملة بما في ذلك FPGA، وASIC، وGPU، ولا يمكن لخدمات التسريع هذه تحسين كفاءة الإنتاج لإثباتات ZK محددة فحسب، بل يمكنها أيضًا التكيف مع احتياجات منصات blockchain/مشاريع ZK المختلفة.
على سبيل المثال، قامت Cysic بتطوير مسرع حوسبة MSM قائم على FPGA يسمى SolarMSM. يعمل هذا الحل على تحسين كفاءة حسابات MSM بشكل كبير ويمكنه التعامل مع مهام MSM واسعة النطاق في وقت قصير. انطلاقًا من البيانات، يمكن لـ Cysic's SolarMSM إكمال حسابات MSM بسهولة على مقياس 2³⁰ خلال 300 مللي ثانية، ويعتبر هذا الأداء على أعلى مستوى في الصناعة.
ومن خلال تسريع الأجهزة هذا، يمكن لـ Cysic تقليل الوقت المطلوب بشكل فعال لإنشاء أدلة ZK، وبالتالي جعل تطبيقات وبروتوكولات blockchain المستندة إلى ZKP أكثر كفاءة وعملية. وهذا له أهمية كبيرة في تعزيز التطبيق الواسع النطاق لتكنولوجيا ZKP، خاصة في السيناريوهات التي تتطلب إنشاء إثبات سريع وفعال.
في الوقت الحاضر، قامت Cysic بتنفيذ أعمال تصميم POC لحل تسريع MSM. تتمتع POC المستندة إلى FPGA بأعلى أداء بين جميع نتائج تسريع أجهزة FPGA-MSM العامة حاليًا، وهي أعلى بأكثر من 1-2 أوامر من حيث الحجم من نتائج المعيار العام الحالي. كما أن تصميم ASIC وأعمال الشريط قيد التقدم أيضًا. في المستقبل، ستقوم Cysic بتطوير شرائح ASIC مقاس 12 نانومتر في المرحلة الثانية. الهدف هو إدراك أن قوة الحوسبة لشريحة ASIC واحدة يمكن أن تدعم MSM وNTT وغيرها من مشغلي التشفير الأساسيين، مع تقليل استهلاك الطاقة لشريحة واحدة إلى أمرين من حيث الحجم.
بالإضافة إلى ذلك، تبنت Cysic أيضًا حلول التسريع المستندة إلى وحدة معالجة الرسومات، مما يوفر خدمات تسريع حوسبة ZK وحتى AI أكثر مرونة.
وطالما أن ZKP يمكنه الحساب بشكل أسرع، فإن عالم التشفير سيكون على بعد خطوة واحدة من الاستيلاء على "الكأس المقدسة" لـ ZKP.
بدائيات DePIN تدفع نمو السوق
أهمية تسريع الأجهزة أمر لا شك فيه. الشك الرئيسي لمستثمر آخر هو ما حجم السوق الذي سيكون عليه تسريع أجهزة ZK؟
توقع النموذج أن حجم السوق لتسريع ZK يعادل حجم سوق تعدين أسرى الحرب. كما ذكرنا سابقًا، مع اكتمال ترقية Cancun، فإن اعتماد ZK Rollup على نطاق واسع سيجلب الكثير من الطلب على حوسبة ZK.
حماية الخصوصية هي حاجة رئيسية أخرى للسوق. تستكشف شركات مثل Semaphore وMACI وPenumbra وAztec Network استخدام تقنية ZK لتعزيز خصوصية المستخدم وتعزيز الاعتماد الشامل. وفي الوقت نفسه، يعد مجال التحقق من الهوية أيضًا أحد حالات الاستخدام الرئيسية لتقنية ZK، بما في ذلك WorldID الشهير، بالإضافة إلى مشاريع مثل Sismo وClique وAxiom، وجميعها ملتزمة بتطبيق تقنية ZK على إدارة الهوية لتوفير نظام أكثر أمانًا وحماية للخصوصية.
يعد ZKML (التعلم الآلي بدون معرفة) مجالًا آخر سريع التطور. مع انفجار الذكاء الاصطناعي، أصبح من الضروري التحقق من أن الذكاء الاصطناعي يعمل بشكل صحيح وشفاف. يمكن لـ ZKML تمكين وضع الاستدلال والجوانب الأخرى في السلسلة، ومن الناحية النظرية سيتم التحقق منها دون الكشف عن المحتوى المحدد.
لذلك، سواء كان الأمر يتعلق باعتماد ZK Rollup على نطاق واسع، أو ظهور dApp مثل الخصوصية، أو تطوير ZKML، فقد زاد الطلب على تسريع ZKP.
ومع ذلك، فإن عتبة تسريع ZK لا تزال مرتفعة ولا تزال غير ودية للغاية للعديد من المشاريع الصغيرة والمتوسطة الحجم. لا يزال العديد من طالبي ZKP بحاجة إلى شراء أجهزة التسريع بطريقة مركزية ونشر خدمات التسريع بأنفسهم. وتحتاج أيضًا إلى اختيار خطة التسريع المناسبة بناءً على مسار استمرار توليد ZKP الخاص بك.
أصبحت شبكة التحقق المرنة (** شبكة إثبات ZK **) هي الحل المتفق عليه في الصناعة. إن شكل المنتج الجديد لـ ZK Compute-as-a-Service (ZK CaaS، ZK Computing as a Service) الذي تم تشكيله على هذا الأساس سوف يحل المعضلة المذكورة أعلاه.
خذ Cysic كمثال. ستستخدم Cysic أجهزة متسارعة لتشكيل شبكة تحقق، ويمكن أن توفر FPGA أو ASIC أو أجهزة أخرى للمستخدمين قوة حوسبة ZK متسارعة في الشبكة، ويمكن أيضًا توصيل الأجهزة الشخصية بها. بالنسبة لأطراف مشروع ZK، عند الحاجة إلى دعم طاقة الحوسبة للتحقق من ZKP، يمكنهم الوصول مباشرة إلى شبكة طاقة الحوسبة ZK الخاصة بـ Cysic دون الحاجة إلى شراء الأجهزة. ليست هناك حاجة إلى إيلاء الكثير من الاهتمام لتفاصيل خطة التسريع المحددة. حاليًا، أطلقت Cysic عشرات الآلاف من بطاقات الرسومات المتطورة، مما يوفر قوة حوسبة ZK كافية لشبكة التحقق.
حاليًا، توصلت Cysic إلى تعاون مع العديد من المشاريع مثل Scroll وzk P2P وInference وKinetex وما إلى ذلك، والتي تغطي ZK Rollup وZKML وطبقة التطبيقات وأنواع أخرى من المشاريع، وتشمل أنظمة الشهادات التي تستخدمها Halo 2 وRapidSnark وPlonky2x و الأنظمة الأخرى، ولذلك فإن حل الحوسبة المتسارعة من Cysic يتمتع بمرونة عالية وتعدد الاستخدامات.
يقوم Cysic بتكوين العرض والطلب على طاقة الحوسبة بطريقة لا مركزية أصلية مشفرة. وقد تمت ترقية جانب العرض من قوة حوسبة ZK من أجهزة مركزية وغير قابلة للتطوير إلى شبكة طاقة حاسوبية يمكن لجميع المستخدمين الوصول إليها. كما أنها توفر للمستثمرين الأفراد فرصاً للمشاركة بشكل أعمق في السوق. ومن ناحية الطلب، يمكن أن توفر ZK CaaS قدرًا أكبر من المرونة والاستقرار لحوسبة ZK، ويمكن للسوق اللامركزية جدولة ومطابقة العرض والطلب على طاقة الحوسبة بشكل أكثر كفاءة من خلال العقود الذكية.
لذلك، تحول ZK CaaS تسريع الأجهزة إلى خدمة "خارجة عن الصندوق" وتخلق سيناريو حيث يمكن للجميع تسريع حوسبة ZK. وتستخدم شبكة DePIN من مرافق الأجهزة اللامركزية لتحويل مجال ZK وتوفير قوة حوسبة خاصة أو خاملة. توفر إيرادات، مما يتيح لنا الدخول مرة أخرى في المحيط الأزرق لتعدين ZK + DePIN.
مرجع:
《ABCDE: لماذا يجب أن نستثمر في Cysic؟ 》**، سيوان هان
《نموذج جديد في تصميم ZK-ASIC، طريقة zkVM》**، Cysic
《تسريع أجهزة ZK: الماضي والحاضر والمستقبل》،Luke Pearson & Cysic 团队
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
لماذا يبدو Vitalik متفائلاً بشأن تسريع أجهزة ZK؟
المؤلف: لوبي لو، BeWater
في الآونة الأخيرة، أثارت الزيارة المفاجئة التي قام بها فيتاليك بوتيرين لمؤتمر هونج كونج للبلوكشين إعجاب جميع الحاضرين. وهذا يعكس أيضًا الوضع الحالي لسوق التشفير إلى حد ما. في الآونة الأخيرة، كان اتجاه إيثريوم أضعف قليلاً من اتجاه نظام بيتكوين البيئي، وقد أدى تجزئة سيولة إيثريوم وأدائها المحدود إلى إثارة التساؤلات مرة أخرى.
في هذا المؤتمر، قدم فيتاليك اقتراحات واضحة للتقدم المستقبلي للإيثريوم. في الخطاب الرئيسي "الوصول إلى حدود تصميم البروتوكول"، تطلع Vitalik بنشاط إلى دور رقائق ASIC. بمساعدة رقائق ASIC لتسريع الأجهزة لحسابات ZK، يمكن رفع كفاءة وأمان Ethereum إلى مستوى جديد .
لتفسير تسريع أجهزة ZK، من الطبيعي أن نبدأ بـ ZK. ZKP ليس مفهومًا جديدًا تمامًا. منذ الثمانينيات، ظل علماء الكمبيوتر يستكشفون هذا الاتجاه باستمرار. في الوقت الحالي، يتم إطلاق مشاريع ZK Rollup الشهيرة واحدًا تلو الآخر، كما يظهر المزيد من تطبيقات ZK. وفي المقابل، تتطور تكنولوجيا ZK والسوق باستمرار. لقد وجدنا أن تسريع أجهزة ZK ينضج، وأن وضع ZK + DePIN آخذ في الظهور، ويبدو أن ZKP في هذه الدورة مختلف عن ذي قبل.
تُعرف تقنية Zero-Knowledge Proof (ZKP) باسم "الكأس المقدسة" في مجال تكنولوجيا التشفير. فهي لا تقدم حلولاً جديدة لمشكلة حماية الخصوصية التي طال أمدها فحسب، بل توفر أيضًا حلاً قويًا لمشكلة توسيع blockchain التي كانت موجودة لسنوات عديدة.الحل.
كما نعلم جميعًا، كانت مشكلة كفاءة ZK تزعج العديد من المستخدمين ومطوري المشاريع. **قال فيتاليك في مؤتمر هونج كونج إنه على الرغم من أن البروتوكولات المتقدمة القائمة على التشفير مثل ZK-SNARKs وMPC وFHE (التشفير المتماثل بالكامل) وتجميع BLS تتطور بسرعة، إلا أنها تعاني أيضًا من مشكلات تتعلق بالكفاءة والأمن. **
(مصدر الصورة: فورسايت نيوز)
من بينها، وقت إنشاء كتلة Ethereum Slot هو 12 ثانية، ووقت التحقق من الكتلة "العادي" حوالي 400 مللي ثانية، ووقت إثبات ZK-SNARK حوالي 20 دقيقة. هدف Ethereum هو تحقيق الإثبات في الوقت الفعلي .
من أجل حل هذه المشكلة، قدم Vitalik ثلاثة حلول، وهي "شجرة التوازي والتجميع"، وذلك باستخدام خوارزميات SNARK والتجزئة لتحسين الكفاءة، و**استخدام ASIC لتسريع أجهزة ZK. **
نحن لا نحكم على إيجابيات وسلبيات الحلول الثلاثة، ولكننا نجري فقط مناقشة متعمقة حول تسريع أجهزة ZK. يحاول هذا المقال البدء من ZKP والشرح للمستثمرين سبب تفاؤل فيتاليك بشأن "تسريع الأجهزة"، وهو المسار الذي نادرًا ما يتم ذكره في الوقت الحالي؟ ما هي الاختلافات بين المصطلحات المتشابهة مثل "ZKتسارع" و"ZK" و"ZK Rollups" وكيف يمكن التمييز بينها بدقة؟
من منظور النظام البيئي بأكمله، ما أهمية مسار تسريع الأجهزة؟ ما القيمة التي تقدمها لـ Ethereum وZK وعالم العملات المشفرة بأكمله؟ سنأخذ Cysic كمثال لمناقشة تسريع الأجهزة بالأمس والحاضر والمستقبل بالتفصيل.
ما هو دور تسريع الأجهزة الذي يتفائل به فيتاليك؟
بالنسبة لعالم التشفير، يعتبر ZKP (SNARKs/STARKs) بمثابة الكأس المقدسة لتكنولوجيا التوسع. يتحقق zk-SNARKs من صحة الحساب الأصلي من خلال حساب التحقق، أي أن المثبت (Prover) يقوم أولاً بإنشاء برهان موجز (Succinct Proof) للحساب الأصلي، ويستخدم المدقق (Verifier) حسابات أصغر حجمًا لإجراء التحقق من صحة البرهان (البرهان).
ومن بين خطط التوسع المختلفة، عززت ZKP تطوير الحوسبة خارج السلسلة. أي أن المعاملة لم تعد تُنفذ على شبكة الطبقة الأولى، ولكنها تكتمل في مجموعة البيانات خارج السلسلة، ويتم تجميع البيانات الجزئية مثل جذور الحالة للمعاملات المتعددة وإصدارها إلى الشبكة الرئيسية لإكمال التحقق والتسوية . يمكن لعقد الشبكة الرئيسية التحقق من سجل المعاملات على Rollup من خلال ZKP، ولا يزال أمانها مضمونًا من خلال طبقة واحدة. تعمل ZKP على حل مشكلة الثقة في عملية التحقق رياضيًا من خلال إثبات المعرفة الصفرية، وتتطلب مساحة صغيرة على السلسلة، ويمكن لـ ZK Rollup تحقيق سرعة معالجة المعاملات وكفاءة المعالجة بعشرات المرات مقارنة بطبقة واحدة.
تُظهر بيانات L2 BEAT أن إجمالي إجمالي قيمة TVL لأكبر خمس عمليات ZK Rollups قد وصل إلى حوالي 3 مليارات دولار أمريكي. لا يزال هذا الرقم بعيدًا عن 50 مليار دولار أمريكي لـ Ethereum TVL و91 مليار دولار أمريكي لسوق DeFi بأكمله. ونحن نعتقد أنه مع نضوج تكنولوجيا ZK، فإن معدل اختراق ZK Rollup سيزداد حتمًا. بعد أن أكملت إيثريوم ترقية كانكون، أدى إدخال EIP-4844 إلى خفض رسوم الطبقة الثانية بشكل كبير. بعد كل "معاملات كبيرة" تم تكييفها من الطبقة الثانية، أظهرت بيانات القياس الفعلية أن تكاليف الغاز لكل مجموعة ZK انخفضت بشكل ملحوظ. على سبيل المثال، انخفض سعر Starknet بنسبة 85% تقريبًا، كما انخفض سعر zkSync Era بنسبة 65% تقريبًا.
تنمو المشاريع القائمة على ZK في السوق بسرعة، ومن بين المشاريع القائمة على تقنية ZK والتي تبلغ قيمتها السوقية أكثر من مليار دولار أمريكي، فإن Polyhedra وImmutable وStakNet وzkSync وMina وdYdX وما إلى ذلك معروفة جيدًا. يمكن تقسيم هذا المسار تقريبًا إلى ثلاث طبقات: البنية التحتية، وتطبيقات ZK-Rollup، وZK.
تتضمن البنية التحتية بشكل أساسي أطر وأدوات البرمجة، وسوق إثبات ZKP، وتسريع الأجهزة لتوليد الإثبات، والتعلم الآلي ZK، وما إلى ذلك. تدور معظم المشاريع في هذه المسارات حول إنشاء وحساب ZKP، وتوفر أساسًا تقنيًا لنشر تطبيقات ZK (سواء كانت شبكة أو dApp).
الذي يجذب أكبر قدر من الاهتمام هو ZK Rollup. يوفر انفجار ZK Rollup دعمًا كبيرًا لقابلية التوسع وسرد "الاعتماد الشامل". بالطبع، علاوة على ذلك، هناك العديد من التطبيقات اللامركزية التي تستخدم تقنية ZK، ومعظمها يستخدم خصائص ZK لتوفير الخصوصية والتطبيقات الأخرى للمستخدمين المشفرين.
ومع ذلك، فإن موارد الحوسبة المفرطة المطلوبة لإنشاء إثبات ZK تمثل عنق الزجاجة الذي يقيد المزيد من التقدم على المسار.
ما مدى البعد عن تنفيذ حالة الاستخدام؟
نظرًا لأن تقنية ZK قوية جدًا، فلماذا لم يتم اعتمادها على نطاق واسع حتى الآن؟ السبب الرئيسي هو أن الخوارزمية الأساسية وآلية التنفيذ لتقنية ZK معقدة للغاية. يوجد حاليًا نظامان رئيسيان لإثبات ZK يُستخدمان على نطاق واسع - zk-SNARKs و zk-STARKs. على سبيل المثال، تستخدم كل من zkSync وAztec وAxiom وScroll وTaiko وما إلى ذلك أنظمة إثبات تعتمد على zk-SNARK، بينما تستخدم StarkNet وdYdX وPolygon وما إلى ذلك أنظمة إثبات تعتمد على ZK-STARKs.
يتضمن استخدام نظام إثبات المعرفة الصفرية عادةً ما يلي: "حساب الصفعة"، "إنشاء إثبات"، "التحقق من الدليل". تتطلب خطوة "إثبات الإنتاج" قدرًا كبيرًا من الطاقة الحاسوبية.
"حساب الصفعة" هو التعبير عن الحساب الأصلي في شكل دائرة ZK من خلال لغة قيد معينة (مثل R 1 CS). إذا أخذنا zk-SNARKs كمثال، فإن أنظمة الإثبات شائعة الاستخدام حاليًا تشمل Groth 16 وMarlin وHalo/Halo 2. من بينها، يستخدم Groth 16 لغة R 1 CS كلغة قيد للحسابات المسطحة. تستخدم أنظمة الإثبات الأحدث، مثل Halo/Halo 2، لغة قيود الدائرة لنظام Plonk، والتي تُستخدم على نطاق واسع في بعض مشاريع ZK الأحدث، مثل Scroll، وTaiko، وAximo، وما إلى ذلك.
كما ذكرنا من قبل، فإن إنشاء براهين ZK يتطلب عملية حسابية مكثفة. دعونا نستخدم Halo 2 المستندة إلى KGZ كمثال لتحليل هذه الأنواع من الحسابات لفترة وجيزة. أولاً، بعد أن قمنا ببناء دائرة ZK من خلال لغة القيد الأمامية، سنحتاج إلى تحويل هذه الدوائر إلى شكل متعدد الحدود بطريقة ما، ويرتبط ترتيب كثير الحدود بشكل إيجابي بمقياس الدائرة. بعد ذلك، سيتم استخدام بعض وسائل التشفير، مثل KZG، لتحويل كثيرات الحدود هذه أخيرًا إلى نموذج إثبات. في هذه العملية، تشمل أنواع الحساب الرئيسية التي تستغرق وقتًا طويلاً سوق مسقط للأوراق المالية (MSM) وNTT.
يتم استخدام حساب MSM (الضرب متعدد المستويات) للتعامل مع الحسابات المتعلقة بالمنحنيات الإهليلجية. يعد MSM مكونًا أساسيًا في تشفير المنحنى الإهليلجي ويستخدم بشكل أساسي لإنشاء البراهين والتحقق منها. تمثل مهام الحوسبة من نوع MSM حوالي 60-70% من مهام الحوسبة.
NTT (التحويل النظري للأرقام) هو تحويل فورييه سريع (FFT) يتم إجراؤه على حقل محدود. يتم استخدام NTT للتعامل مع العمليات الحسابية المتعلقة بمتعددات الحدود. من بين الحسابات التي تم إنشاؤها بواسطة براهين ZK، تمثل المهام الحسابية من النوع NTT حوالي 25% من جميع المهام الحسابية.
على الرغم من أن ZK-STARKs تستخدم خوارزميات مختلفة، إلا أنها تعاني أيضًا من اختناقات في الأداء. أثناء عملية إنشاء الدليل، يحتاج المُثبِّت إلى إنشاء نظام من القيود المتعددة التي يجب تلبيتها في وقت واحد لإنشاء برهان صالح. عادة ما يتم إنشاء هذه القيود بشكل عشوائي، حيث يقوم مستخدم خوارزمية FRI (أخذ العينات الغوسية السريعة العودية) بإنشاء العينة الغوسية والتحقق منها في الدليل لضمان عشوائية هذه القيود. ولذلك، فإن كفاءة خوارزمية FRI أمر بالغ الأهمية لأداء ZK-STARKs.
ولكن بغض النظر عن المسار الذي سيتم اعتماده، فإن الكم الهائل من العمليات الحسابية يجعل وقت الحساب بطيئًا للغاية. لذلك، أصبحت كيفية تسريع هذه الحسابات وتحسين كفاءة توليد الإثبات هي المفتاح للحد من شعبية ZKP الحالية.
من أجل حل هذه المشكلة، أصبح استخدام الأجهزة لتسريع الحوسبة حلاً ممكناً. في الوقت الحاضر، أنتج السوق العديد من حلول تسريع الأجهزة، ولكن لا توجد إجابة موحدة بشأن الأجهزة التي يجب اختيارها.
**تنقسم حلول تسريع الأجهزة السائدة حاليًا في سوق ZKP إلى ثلاثة أنواع، ومرونتها من الأعلى إلى الأدنى هي GPU وFPGA وASIC. **
تتمتع ASIC بأقوى قوة حوسبة، ولكن القيد يكمن في المرونة. بسبب تنوع خوارزميات ZK، لا تزال حلول التسريع تتطلب تسريع خوارزميات متعددة. وبالنظر إلى أن أدلة ZKP يتم تقديمها باستمرار في السوق، فإن قدرة إعادة التشكيل السريعة لـ FPGA تمنحها ميزة إعادة استخدامها في سيناريوهات متعددة ويمكن أن تتكيف بمرونة مع احتياجات أنظمة إثبات مختلفة. لذلك، في ظل ظروف السوق الحالية، كمزود خدمة تسريع الأجهزة، يمكنها فقط تقديم خدمات شرائح ASIC التي تعمل فقط على تسريع نظام شهادة واحد، وهو ليس الخيار الأفضل "في هذه اللحظة".
لكن ألا تمتلك ASIC القدرة على الانفجار في المستقبل؟ الجواب بطبيعة الحال لا.
يعد اختيار نظام الإثبات الصحيح قرارًا مهمًا للغاية. نظرًا لتكلفة التصميم المرتفعة للغاية لدوائر ZK، بمجرد تحديد نظام الإثبات، فمن الصعب أن يغير مشروع ZK نظام الإثبات بسهولة**. بعد أن يستثمر أطراف المشروع الموارد في تطوير الدوائر لنظام إثبات محدد، فإنهم عادةً لا يستبدلون النظام بسهولة. على الرغم من أن FPGA توفر درجة معينة من المرونة، إلا أن ASIC لا يزال بإمكانها توفير نسبة أداء حوسبة أعلى لمشاريع ZK التي تم تحديدها ووضعها قيد التطوير، وهو أمر مهم بشكل خاص لتطبيقات ZK واسعة النطاق والمكثفة حسابيًا. لذلك، على الرغم من أن تكلفة التطوير الأولية لـ ASIC مرتفعة، إلا أن نسبة الإيرادات المرتفعة التي تم الحصول عليها بعد نجاح عملية التسجيل لا تزال لها مكان في السوق. ولذلك، فإن حلول ASIC تتمتع بقدر معين من الاستقرار والطلب في السوق.
في المستقبل المنظور، ستظل حلول تسريع ASIC واحدة من الحلول النهائية لتسريع الأجهزة.
لنأخذ مشروع Cysic لمسار تسريع الأجهزة كمثال. توفر Cysic خدمات تسريع الأجهزة الكاملة بما في ذلك FPGA، وASIC، وGPU، ولا يمكن لخدمات التسريع هذه تحسين كفاءة الإنتاج لإثباتات ZK محددة فحسب، بل يمكنها أيضًا التكيف مع احتياجات منصات blockchain/مشاريع ZK المختلفة.
على سبيل المثال، قامت Cysic بتطوير مسرع حوسبة MSM قائم على FPGA يسمى SolarMSM. يعمل هذا الحل على تحسين كفاءة حسابات MSM بشكل كبير ويمكنه التعامل مع مهام MSM واسعة النطاق في وقت قصير. انطلاقًا من البيانات، يمكن لـ Cysic's SolarMSM إكمال حسابات MSM بسهولة على مقياس 2³⁰ خلال 300 مللي ثانية، ويعتبر هذا الأداء على أعلى مستوى في الصناعة.
ومن خلال تسريع الأجهزة هذا، يمكن لـ Cysic تقليل الوقت المطلوب بشكل فعال لإنشاء أدلة ZK، وبالتالي جعل تطبيقات وبروتوكولات blockchain المستندة إلى ZKP أكثر كفاءة وعملية. وهذا له أهمية كبيرة في تعزيز التطبيق الواسع النطاق لتكنولوجيا ZKP، خاصة في السيناريوهات التي تتطلب إنشاء إثبات سريع وفعال.
في الوقت الحاضر، قامت Cysic بتنفيذ أعمال تصميم POC لحل تسريع MSM. تتمتع POC المستندة إلى FPGA بأعلى أداء بين جميع نتائج تسريع أجهزة FPGA-MSM العامة حاليًا، وهي أعلى بأكثر من 1-2 أوامر من حيث الحجم من نتائج المعيار العام الحالي. كما أن تصميم ASIC وأعمال الشريط قيد التقدم أيضًا. في المستقبل، ستقوم Cysic بتطوير شرائح ASIC مقاس 12 نانومتر في المرحلة الثانية. الهدف هو إدراك أن قوة الحوسبة لشريحة ASIC واحدة يمكن أن تدعم MSM وNTT وغيرها من مشغلي التشفير الأساسيين، مع تقليل استهلاك الطاقة لشريحة واحدة إلى أمرين من حيث الحجم.
بالإضافة إلى ذلك، تبنت Cysic أيضًا حلول التسريع المستندة إلى وحدة معالجة الرسومات، مما يوفر خدمات تسريع حوسبة ZK وحتى AI أكثر مرونة.
وطالما أن ZKP يمكنه الحساب بشكل أسرع، فإن عالم التشفير سيكون على بعد خطوة واحدة من الاستيلاء على "الكأس المقدسة" لـ ZKP.
بدائيات DePIN تدفع نمو السوق
أهمية تسريع الأجهزة أمر لا شك فيه. الشك الرئيسي لمستثمر آخر هو ما حجم السوق الذي سيكون عليه تسريع أجهزة ZK؟
توقع النموذج أن حجم السوق لتسريع ZK يعادل حجم سوق تعدين أسرى الحرب. كما ذكرنا سابقًا، مع اكتمال ترقية Cancun، فإن اعتماد ZK Rollup على نطاق واسع سيجلب الكثير من الطلب على حوسبة ZK.
حماية الخصوصية هي حاجة رئيسية أخرى للسوق. تستكشف شركات مثل Semaphore وMACI وPenumbra وAztec Network استخدام تقنية ZK لتعزيز خصوصية المستخدم وتعزيز الاعتماد الشامل. وفي الوقت نفسه، يعد مجال التحقق من الهوية أيضًا أحد حالات الاستخدام الرئيسية لتقنية ZK، بما في ذلك WorldID الشهير، بالإضافة إلى مشاريع مثل Sismo وClique وAxiom، وجميعها ملتزمة بتطبيق تقنية ZK على إدارة الهوية لتوفير نظام أكثر أمانًا وحماية للخصوصية.
يعد ZKML (التعلم الآلي بدون معرفة) مجالًا آخر سريع التطور. مع انفجار الذكاء الاصطناعي، أصبح من الضروري التحقق من أن الذكاء الاصطناعي يعمل بشكل صحيح وشفاف. يمكن لـ ZKML تمكين وضع الاستدلال والجوانب الأخرى في السلسلة، ومن الناحية النظرية سيتم التحقق منها دون الكشف عن المحتوى المحدد.
لذلك، سواء كان الأمر يتعلق باعتماد ZK Rollup على نطاق واسع، أو ظهور dApp مثل الخصوصية، أو تطوير ZKML، فقد زاد الطلب على تسريع ZKP.
ومع ذلك، فإن عتبة تسريع ZK لا تزال مرتفعة ولا تزال غير ودية للغاية للعديد من المشاريع الصغيرة والمتوسطة الحجم. لا يزال العديد من طالبي ZKP بحاجة إلى شراء أجهزة التسريع بطريقة مركزية ونشر خدمات التسريع بأنفسهم. وتحتاج أيضًا إلى اختيار خطة التسريع المناسبة بناءً على مسار استمرار توليد ZKP الخاص بك.
أصبحت شبكة التحقق المرنة (** شبكة إثبات ZK **) هي الحل المتفق عليه في الصناعة. إن شكل المنتج الجديد لـ ZK Compute-as-a-Service (ZK CaaS، ZK Computing as a Service) الذي تم تشكيله على هذا الأساس سوف يحل المعضلة المذكورة أعلاه.
خذ Cysic كمثال. ستستخدم Cysic أجهزة متسارعة لتشكيل شبكة تحقق، ويمكن أن توفر FPGA أو ASIC أو أجهزة أخرى للمستخدمين قوة حوسبة ZK متسارعة في الشبكة، ويمكن أيضًا توصيل الأجهزة الشخصية بها. بالنسبة لأطراف مشروع ZK، عند الحاجة إلى دعم طاقة الحوسبة للتحقق من ZKP، يمكنهم الوصول مباشرة إلى شبكة طاقة الحوسبة ZK الخاصة بـ Cysic دون الحاجة إلى شراء الأجهزة. ليست هناك حاجة إلى إيلاء الكثير من الاهتمام لتفاصيل خطة التسريع المحددة. حاليًا، أطلقت Cysic عشرات الآلاف من بطاقات الرسومات المتطورة، مما يوفر قوة حوسبة ZK كافية لشبكة التحقق.
حاليًا، توصلت Cysic إلى تعاون مع العديد من المشاريع مثل Scroll وzk P2P وInference وKinetex وما إلى ذلك، والتي تغطي ZK Rollup وZKML وطبقة التطبيقات وأنواع أخرى من المشاريع، وتشمل أنظمة الشهادات التي تستخدمها Halo 2 وRapidSnark وPlonky2x و الأنظمة الأخرى، ولذلك فإن حل الحوسبة المتسارعة من Cysic يتمتع بمرونة عالية وتعدد الاستخدامات.
يقوم Cysic بتكوين العرض والطلب على طاقة الحوسبة بطريقة لا مركزية أصلية مشفرة. وقد تمت ترقية جانب العرض من قوة حوسبة ZK من أجهزة مركزية وغير قابلة للتطوير إلى شبكة طاقة حاسوبية يمكن لجميع المستخدمين الوصول إليها. كما أنها توفر للمستثمرين الأفراد فرصاً للمشاركة بشكل أعمق في السوق. ومن ناحية الطلب، يمكن أن توفر ZK CaaS قدرًا أكبر من المرونة والاستقرار لحوسبة ZK، ويمكن للسوق اللامركزية جدولة ومطابقة العرض والطلب على طاقة الحوسبة بشكل أكثر كفاءة من خلال العقود الذكية.
لذلك، تحول ZK CaaS تسريع الأجهزة إلى خدمة "خارجة عن الصندوق" وتخلق سيناريو حيث يمكن للجميع تسريع حوسبة ZK. وتستخدم شبكة DePIN من مرافق الأجهزة اللامركزية لتحويل مجال ZK وتوفير قوة حوسبة خاصة أو خاملة. توفر إيرادات، مما يتيح لنا الدخول مرة أخرى في المحيط الأزرق لتعدين ZK + DePIN.
مرجع:
《ABCDE: لماذا يجب أن نستثمر في Cysic؟ 》**، سيوان هان
《نموذج جديد في تصميم ZK-ASIC، طريقة zkVM》**، Cysic
《تسريع أجهزة ZK: الماضي والحاضر والمستقبل》 ،Luke Pearson & Cysic 团队