نظرة سريعة على مشاريع ZK والقابلية للتحقق على Solana

المصدر: Solana؛ الترجمة: 金色财经xiaozou

قد لا تكون على دراية بمجالات ZK (المعرفة صفرية) وverifiability (التحقق) في Solana، لكنها بالتأكيد حصان أسود. ستأخذك هذه المقالة في جولة سريعة لفهم مشاريع ZK والتحقق والخصوصية على Solana.

! XO6suJISbrA5rgeo16z2tS04KdmKMBwVN6GDlwKW.png

بشكل عام، تساعد بنية Solana التحتية في:

• أداء الشبكة

-- توفير تكلفة تصل إلى ألف مرة لمطوري التطبيقات

-- التنفيذ غير المتزامن

-- حلول نمو الحالة

• الأمان

-- خصوصية وسرية التطبيقات على السلسلة

-- القابلية للتحقق

-- شبكة prover اللامركزية

حتى في Solana هناك ZK-rollup!

دعونا نلقي نظرة واحدة تلو الأخرى:

-- الخصوصية والقابلية للتحقق

-- الخصوصية

-- التوسع المستند إلى ZK و ZKVMs

-- مجموعة توسيع شبكة ZK

-- برنامج ZK

يرجى ملاحظة: من أجل تسهيل الفهم، سيتم إعادة تصنيف ما يلي وقد يكون هناك تداخل.

1، الخصوصية والقابلية للتحقق

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

! 85OHh6Is9FfLtfdsaP2sF3tlXNEXIo7R09yOHN5Y.png

تقدم ANAGRAM نظام Bonsol القابل للتحقق من Solana، وهو نظام حسابي أصلي يتيح للمطورين إنشاء:

ملف تنفيذي يمكن التحقق منه بالكامل لبيانات خاصة أو عامة → يضمن رياضيًا صلاحيته → يتم دمج النتائج في عقد ذكي على Solana للتحقق منها على السلسلة.

! yoKG7EbqRPbfI9UdG7krJ8Y2LGdghuUCmkGaD63S.png

2، الخصوصية

أنشأت Darklake AMM للتداول بالswap مع خصوصية، تهدف إلى أن تكون أول بورصة لامركزية على Solana تقدم تنفيذ الطلبات في الوقت الحقيقي ومقاومة MEV. طورت Dark Protocol بروتوكولًا مجهولًا مدعومًا بـ ZK-snarks يتم إدارته بواسطة السوق.

3، التوسع المستند إلى ZKP

ZK Compression هو مفهوم جديد على Solana تم إطلاقه من قبل Light Protocol و Helius، ويتميز بإثبات ZK وضغط الحالة، مما يمكن أن يقلل من تكاليف الإيجار لمطوري تطبيقات Solana بمقدار ألف مرة.

! PiW665Hy5eMuyp2qqecP31SU5rILLElFoJQA9FpW.png

لقد قامت الفريق بتطوير ضغط ZK في الجوانب التالية:

-- المحفظة (مثل Backpack): يحتفظ المستخدمون بالرموز دون الحاجة لدفع الإيجار.

-- تطبيقات socialfi للمستهلكين (مثل Tribe.run): يمكن للمبدعين إرسال الرموز بتكلفة أقل.

-- أدوات الإطلاق (مثل Helius Airship)

! vTF5uLuGINfyzfGKj7NoZYRPlsKetvElNQLgFwxU.png

** 4 、ZKVMs **

يمكن لـ RISC Zero و Succinct المساعدة في إثبات أي حساب على السلسلة دون قيود حساب السلسلة. وهذا يمكن أن يدعم:

-- عميل خفيف على Solana يعتمد على ZK

-- شبكة DePIN المبسطة

-- تسجيل دخول ZK آمن وسلس

! N236wuPScV7Ho7xuHgdMTkeyr7LDpSIoCEDwBgP8.png

5، حزمة توسيع شبكة Solana

يتم تطبيق zkSVM على:

-- Solforge: تستخدم هذه الشبكة مجموعة توسيع تستخدم أسلوب ZKP وضغط ZK من بروتوكول Light لدعم توسيع إثبات تدفقات تحديث الحالة وتحسين توليد الإثباتات باستخدام LightSVM.

-- تيرمينال: منصة نشر شبكة SVM لحالات الاستخدام المحددة، يمكن أن تقلل من الكمون، وتحسن الخصوصية، وتخفض تكاليف الحوسبة.

-- Sonic SVM: مجموعة SVM موجهة للألعاب والتطبيقات، وتتم التوسيع عبر ZK من خلال Hypergrid.

! T5YXj8LNeDHx66ott0kPoI77ReoTU2POqdaCYCJp.png

-- bulletxyz: هو rollup منخفض التأخير تم تطويره بواسطة ZetaMarkets، ويعمل على التوسع إلى قدرة معالجة عالية جداً، حيث تكون جميع تحويلات الحالة قابلة للإثبات. بالإضافة إلى ذلك، تقوم فرق مثل Aerius Labs بإجراء تجارب متعلقة بإثباتات ZK.

! fobHA5aqZaFlmMwr7C437pZbldKs4YKIzhiXhhef.png

6، خطة ZK

تدعم خطط أخرى مثل خطة إثبات الرموز ZK لـ Anza التحويلات السرية - حيث يتم تشفير رصيد رموز SPL ومبالغ المعاملات لحماية خصوصية حالات الاستخدام مثل الحسابات المستحقة للدفع.

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