Bạn có thể đăng ký nhà ở.... Sử dụng ZKP (@hyli_org & @NoirLang).... Đây là cách nó hoạt động👇

@hyli_org @NoirLang David, một người nhận tài trợ từ @hyli_org, đã xây dựng zkTenant, một ứng dụng zero-knowledge cho các đơn xin nhà ở tại Pháp. Nó cho phép người dùng chứng minh mức thu nhập và quốc tịch Pháp mà không cần tiết lộ dữ liệu thô. Hệ thống sử dụng Noir và tận dụng định dạng 2D-Doc của chính phủ Pháp.

@hyli_org @NoirLang 2D-Doc là một hệ thống chữ ký số dựa trên mã QR được sử dụng trên các tài liệu chính thức của Pháp (thẻ ID, tờ khai thuế, v.v.). Nó ký nội dung văn bản bằng ECDSA (p256) và nhúng nó dưới dạng mã vạch. Thách thức: xác minh ZK phía khách hàng của những chữ ký này trong trình duyệt.

@hyli_org @NoirLang Để giải quyết vấn đề này, David đã tạo ra một thư viện Noir có khả năng phân tích và xác minh mã vạch 2D-Doc hoàn toàn trong trình duyệt. Không cần phụ thuộc vào máy chủ. Tất cả các chứng cứ được tạo ra cục bộ thông qua WASM. Điều này phù hợp với các ràng buộc về chủ quyền dữ liệu và tính minh bạch trong xác minh.

@hyli_org @NoirLang Chứng minh zk ECDSA phía khách hàng tiêu tốn nhiều RAM. Các phép đo trước đây (ví dụ, của Vlad) đã cho thấy tính khả thi trong Noir. Việc tạo chứng minh được phân mảnh thành các thành phần đệ quy nhỏ hơn để nằm trong giới hạn của WASM. Điều này đã cho phép việc chứng minh trong trình duyệt hoạt động hiệu quả.

@hyli_org @NoirLang quy trình làm việc zkTenant: - Đầu vào: tên, năm tính thuế, thu nhập chịu thuế. - Quét: ID và tờ khai thuế tiếng Pháp (2D-Doc). - @NoirLang tạo bằng chứng về khung thu nhập + quốc tịch. - Đầu ra: bằng chứng ZK có thể tái sử dụng, có thể mô phỏng trong ứng dụng ngay bây giờ.

@hyli_org @NoirLang Việc tích hợp với @hyli_org cho phép sử dụng zkProofs có thể kết hợp. Cả chứng minh danh tính và chứng minh thu nhập có thể được gộp lại thành một blob duy nhất. Điều này hỗ trợ nâng cấp mô-đun (ví dụ: hộ chiếu thay vì ID) mà không cần phải thiết kế lại logic chứng minh.

@hyli_org @NoirLang Mô hình bảo mật: tài liệu gốc không bao giờ rời khỏi máy khách. Chỉ có các băm đã được xác minh của dữ liệu đã trích xuất được ghi lại trên chuỗi. Không có sự tiếp xúc với dữ liệu thô, hoàn toàn có thể kiểm toán.