المواضيع الرائجة
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
مجموعة أدوات zk معيارية جديدة! ⚡
استخدمه لإنشاء zkps من الشهادات خارج السلسلة.
التدفق:
- توقيع/استخدام شهادة خارج السلسلة
- إنشاء البراهين باستخدام SP1
- تحقق مع WASM
- التصديق على نتيجة التحقق على السلسلة (اختياري)
شكر خاص ل @shivansheth & @whoisgautxm (zkAttestify) للمساهمة في هذا وإلى @SuccinctLabs للحصول على الدعم!

هذا هو التدفق:
1) توقيع / تقديم شهادة صالح خارج السلسلة
- يتم إنشاء الشهادات المنظمة باستخدام EAS
- تم التوقيع مع EIP712
- تظل البيانات خارج السلسلة وخاصة.
- التوقيع قابل للتحقق.
2) إنشاء دليل ZK (SP1)
- استخدم SP1 zkvm لتحليل بنية EAS
- يتحقق من صحة التوقيع ومنطقه (مشفر للعرض التوضيحي)
- يقوم برنامج SP1 بإنشاء براهين Groth16 أو Plonk
- يتضمن الإخراج ملف إثبات + مدخلات عامة
يتعامل برنامج dob الخاص ب repo ونصوص dob مع المنطق.
3) التحقق في WASM (متصفح أو عقدة)
- قم بتحميل أداة التحقق المجمعة
- تقديم دليل + مدخلات عامة
- يقوم البرنامج النصي JS بتشغيل التحقق من الإثبات ويتحقق من المنطق
4) اختياري: تصديق نتيجة التحقق على السلسلة
- إرسال دليل zk إلى عقد التحقق من الصلابة (مدقق groth16)
- عند النجاح ، اتصل ب EAS لإصدار شهادة جديدة على السلسلة
- المخطط والبيانات قابلة للتخصيص (isOver18 = true)
- يمنحك التحكم في انتهاء الصلاحية / الإلغاء / قابلية التركيب
- لا يوجد ارتباط بالتصديق الأصلي خارج السلسلة
تلاحظ
- يفترض هذا التدفق أنك تثق في المصادق على التصديق خارج السلسلة.
- توليد براهين Groth16 / PLONK بطيء. استخدم شبكة Succinct Prover لتحسين الكفاءة.
سيرشدك هذا البرنامج التعليمي / العرض التوضيحي إلى كيفية عمله في 15 دقيقة. يستخدم مثالا بسيطا على إثبات العمر. مجموعة الأدوات معيارية ، لذا مع بعض التعديلات ، يمكنك استبدالها بالمخططات / منطق الدائرة الخاصة بك لاحقا.
قم بزيارة Github
هل تريد مشاهدة مقطع فيديو بدلا من ذلك من فريق ZKAttestify؟

هل تريد تخصيص التدفق؟
إليك ما يجب تعديله:
- في "dob-program/src/main.rs" - قم بتغيير المنطق (على سبيل المثال ، "الدرجة == "CS"")
- في "dob-script / input.json" - تغيير بيانات التصديق والمخطط
- في "WASM_verifier/" - تحقق من أي دليل بنفس الهيكل
هذا المشروع هو تنفيذ مرجعي. إنه معياري ومفتوح المصدر وجاهز للتفرع. ساعدنا في توسيع نطاق الدعم لمزيد من المخططات وأدوات التحقق وحالات الاستخدام.
نحن نبحث بنشاط عن المساهمين والبناة الذين يرغبون في نقل هذا الريبو إلى المستوى التالي.
يمد يده! 🫡
18.49K
الأفضل
المُتصدِّرة
التطبيقات المفضلة