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ợ @hyli_org, đã xây dựng zkTenant, một ứng dụng không kiến thức cho các ứng dụng nhà ở ở Pháp. Nó cho phép người dùng chứng minh khung 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 sơ đồ 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 (CMND, tờ khai thuế, v.v.). Nó ký nội dung văn bản thuần túy với ECDSA (p256) và nhúng nó dưới dạng mã vạch. Thách thức: xác minh ZK phía máy khách đối với các 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 phân tích cú pháp và xác minh mã vạch 2D-Doc hoàn toàn trong trình duyệt. Không phụ thuộc vào máy chủ. Tất cả các bằng chứng được tạo cục bộ thông qua WASM. Điều này phù hợp với các hạn chế về chủ quyền dữ liệu và tính minh bạch của xác minh.

@hyli_org @NoirLang ECDSA zk-proof phía máy khách sử dụng nhiều RAM. Các tiêu chuẩn trước đó (ví dụ: của Vlad) cho thấy tính khả thi trong Noir. Việc tạo bằng chứng được phân mảnh thành các thành phần đệ quy nhỏ hơn để nằm trong giới hạn WASM. Điều này cho phép chứng minh hiệu suất trong trình duyệt.

@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ờ.

Tích hợp @hyli_org @NoirLang với @hyli_org cho phép zkProofs có thể kết hợp. Cả ID và bằng chứng thu nhập đều có thể được gói thành một đốm màu 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 kiến trúc lại logic bằng chứng.

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