Konut başvurusu yapabilirsiniz.... ZKP'ler (@hyli_org ve @NoirLang).... İşte böyle işliyor👇

@hyli_org bursiyer olan @hyli_org @NoirLang David, Fransa'daki konut uygulamaları için sıfır bilgi uygulaması olan zkTenant'ı geliştirdi. Kullanıcıların, ham verileri ifşa etmeden gelir parantezini ve Fransız vatandaşlığını kanıtlamalarını sağlar. Sistem Noir kullanıyor ve Fransız hükümetinin 2D-Doc formatından yararlanıyor.

@hyli_org @NoirLang 2D-Doc, resmi Fransız belgelerinde (kimlik kartları, vergi beyannameleri vb.) kullanılan QR kod tabanlı dijital imza şemasıdır. Düz metin içeriğini ECDSA ile imzalar (s256) ve barkod olarak gömülür. Zorluk: bu imzaların tarayıcı içinde istemci tarafında ZK doğrulaması.

@hyli_org @NoirLang Bunu ele almak için David, 2D-Doc barkodlarını tamamen tarayıcıda ayrıştıran ve doğrulayan bir Noir kitaplığı oluşturdu. Sunucu bağımlılığı yok. Tüm kanıtlar WASM aracılığıyla yerel olarak oluşturulur. Bu, veri egemenliği ve doğrulama şeffaflığı üzerindeki kısıtlamalarla uyumludur.

@hyli_org @NoirLang İstemci tarafı ECDSA zk-proof'ları RAM yoğundur. Önceki benchmarklar (örneğin, Vlad tarafından) Noir'da uygulanabilirlik gösterdi. Kanıt üretimi, WASM sınırları içinde kalmak için daha küçük özyinelemeli bileşenlere bölündü. Bu, performans tarayıcı içi kanıtı mümkün kıldı.

@hyli_org @NoirLang zkTenant iş akışı: - Girdi: isim, vergi yılı, vergilendirilebilir gelir. - Tarama: Fransız kimliği ve vergi beyannamesi (2D-Doc). - @NoirLang gelir dilimi + vatandaşlık kanıtları oluşturur. - Çıktı: yeniden kullanılabilir ZK proof, şimdilik uygulama içi simüle edilebilir.

@hyli_org @NoirLang @hyli_org ile entegrasyon, kompozisyona alınabilir zkProof'lar sağlar. Hem kimlik hem de gelir kanıtları tek bir topa bir pakete getirilebilir. Bu, modüler yükseltmeleri destekler (örneğin, ID yerine pasaport) ve kanıt mantığını yeniden mimari yapmadan.

@hyli_org @NoirLang Gizlilik modeli: orijinal belgeler asla müşteriden ayrılmaz. Yalnızca çıkarılan verilerin doğrulanmış hash'ları zincir üzerinde bağlanır. Sıfır ham veri maruziyeti, tam denetim imkanı.