يمكنك التقدم بطلب للحصول على سكن.... استخدام ZKPs (@hyli_org و @NoirLang).... هذه هي الطريقة التي تعمل👇 بها

قام @hyli_org @NoirLang ديفيد ، وهو حاصل على منحة @hyli_org ، ببناء zkTenant ، وهو تطبيق صفر معرفة لتطبيقات الإسكان في فرنسا. يمكن المستخدمين من إثبات شريحة الدخل والجنسية الفرنسية دون الكشف عن البيانات الأولية. يستخدم النظام Noir ويستفيد من تنسيق 2D-Doc للحكومة الفرنسية.

@hyli_org @NoirLang 2D-Doc هو مخطط توقيع رقمي قائم على رمز الاستجابة السريعة يستخدم في المستندات الفرنسية الرسمية (بطاقات الهوية والإقرارات الضريبية وما إلى ذلك). يوقع محتوى النص العادي باستخدام ECDSA (p256) ويقوم بتضمينه كرمز شريطي. التحدي: التحقق من ZK من جانب العميل لهذه التوقيعات في المتصفح.

@hyli_org @NoirLang لمعالجة هذا الأمر ، أنشأ ديفيد مكتبة Noir التي تحلل وتتحقق من الرموز الشريطية 2D-Doc بالكامل في المتصفح. لا تبعية للخادم. يتم إنشاء جميع البراهين محليا عبر WASM. يتماشى هذا مع القيود المفروضة على سيادة البيانات وشفافية التحقق.

@hyli_org @NoirLang تعتبر أدوات ECDSA zk من جانب العميل كثيفة الاستخدام لذاكرة الوصول العشوائي. أظهرت المعايير السابقة (على سبيل المثال ، من قبل فلاد) الجدوى في Noir. تم تجزئة توليد الإثبات إلى مكونات عودية أصغر للبقاء ضمن حدود WASM. هذا مكن إثبات الأداء في المتصفح.

@hyli_org @NoirLang سير عمل zkTenant: - المدخلات: الاسم والسنة الضريبية والدخل الخاضع للضريبة. - المسح: الهوية الفرنسية والإقرار الضريبي (2D-Doc). - @NoirLang يولد إثباتات لشريحة الدخل + الجنسية. - الإخراج: دليل ZK قابل لإعادة الاستخدام ، قابل للمحاكاة داخل التطبيق في الوقت الحالي.

@hyli_org @NoirLang يسمح التكامل مع @hyli_org ب zkProofs القابل للتكوين. يمكن تجميع كل من إثبات الهوية وإثباتات الدخل في كائن ثنائي كبير الحجم واحد. يدعم هذا الترقيات المعيارية (على سبيل المثال ، جواز السفر بدلا من بطاقة الهوية) دون إعادة تصميم منطق الإثبات.

@hyli_org @NoirLang نموذج الخصوصية: المستندات الأصلية لا تغادر العميل أبدا. يتم الالتزام فقط بالتجزئات التي تم التحقق منها للبيانات المستخرجة على السلسلة. صفر تعرض للبيانات الأولية ، قابلية تدقيق كاملة.