Anda dapat mengajukan permohonan perumahan.... Menggunakan ZKP (@hyli_org & @NoirLang).... Beginilah cara kerjanya👇

@hyli_org @NoirLang David, penerima hibah @hyli_org, membangun zkTenant, aplikasi tanpa pengetahuan untuk aplikasi perumahan di Prancis. Ini memungkinkan pengguna untuk membuktikan kelompok pendapatan dan kewarganegaraan Prancis tanpa mengungkapkan data mentah. Sistem ini menggunakan Noir dan memanfaatkan format 2D-Doc pemerintah Prancis.

@hyli_org @NoirLang 2D-Doc adalah skema tanda tangan digital berbasis kode QR yang digunakan pada dokumen resmi Prancis (KTP, pengembalian pajak, dll.). Ini menandatangani konten teks biasa dengan ECDSA (p256) dan menyematkannya sebagai kode batang. Tantangannya: verifikasi ZK sisi klien dari tanda tangan ini di browser.

@hyli_org @NoirLang Untuk mengatasi hal ini, David membuat , perpustakaan Noir yang mengurai dan memverifikasi kode batang 2D-Doc sepenuhnya dalam browser. Tidak ada dependensi server. Semua bukti dihasilkan secara lokal melalui WASM. Hal ini sejalan dengan kendala kedaulatan data dan transparansi verifikasi.

@hyli_org @NoirLang Bukti zk ECDSA sisi klien intensif RAM. Tolok ukur sebelumnya (misalnya, oleh Vlad) menunjukkan kelayakan di Noir. Pembuatan bukti difragmentasi menjadi komponen rekursif yang lebih kecil untuk tetap berada dalam batas WASM. Ini memungkinkan pembuktian dalam browser yang berperforma.

@hyli_org @NoirLang alur kerja zkTenant: - Masukan: nama, tahun pajak, penghasilan kena pajak. - Pindai: ID Prancis & pengembalian pajak (2D-Doc). - @NoirLang menghasilkan bukti kelompok pendapatan + kewarganegaraan. - Output: bukti ZK yang dapat digunakan kembali, dapat disimulasikan dalam aplikasi untuk saat ini.

@hyli_org @NoirLang Integrasi dengan @hyli_org memungkinkan zkProofs yang dapat dikomposisi. ID dan bukti pendapatan dapat dibundel menjadi satu gumpalan. Ini mendukung peningkatan modular (misalnya, paspor, bukan ID) tanpa merancang ulang logika bukti.

@hyli_org @NoirLang Model privasi: dokumen asli tidak pernah meninggalkan klien. Hanya hash terverifikasi dari data yang diekstrak yang dilakukan secara on-chain. Tanpa paparan data mentah, auditabilitas penuh.