لقد أرسلنا للتو أمثلة من سولانا نوار — دوائر ZK بنظام Noir مع تحقق على السلسلة على سولانا 🧵

نوار هي لغة لكتابة دوائر المعرفة الصفرية. بناء جملة يشبه الصدأ، لا يتطلب دكتوراه في التشفير. يقوم Sunspot (بواسطة @reilabs_io) بتجميع دوائر Noir إلى Groth16 ويولد برامج التحقق من Solana. نوار يكتبها. تقوم Sunspot بنشرها. سولانا تتحقق من ذلك.

ثلاث دوائر، تزيد من التعقيد: → واحد — تأكيد بسيط (ابدأ من هنا) → verify_signer — التحقق من توقيع ECDSA → smt_exclusion — إثبات استبعاد القائمة السوداء لشجرة ميركل المتفرقة

كل دائرة تتبع نفس سير العمل: فقط compile-smt # Noir → ACIR فقط ثبت-شيء # بقعة شمس → جروث 16 دليل فقط تحقق - SMT # التحقق على السلسلة كل منها يحتوي على عميل TypeScript متوافق مع Kit. نسخة، أضف زوج المفاتيح، اركض.