Bằng chứng thành viên tập hợp này được sử dụng trong các mạng P2P, khi một bên sở hữu một giá trị riêng và bên kia sở hữu một tập hợp. Họ sẽ phải phát một số dữ liệu được liên kết với giá trị và thiết lập thông qua mạng và bất kỳ bên thứ ba nào cũng có thể xác nhận rằng giá trị đó thuộc về tập hợp. Không bên nào có thể lấy tập hợp hoặc giá trị từ dữ liệu được phát.
Sử dụng các hàm băm là nỗ lực đầu tiên của tôi, nhưng kỹ thuật đảo ngược các hàm băm khiến nó không an toàn. Thêm vào đó, băm mọi giá trị trong M và phát nó qua mạng yêu cầu băng thông cực lớn cho tất cả các bên trong mạng, đặc biệt là khi M lớn.
Làm cách nào để có thể xây dựng công thức chống zk phù hợp với những điều trên, khả thi cho việc sử dụng ngay cả trên máy khách có băng thông thấp, trong khi vẫn an toàn như được mô tả trước đây?
CHỈNH SỬA: Tôi có thể đã không làm cho mình rõ ràng. Về mặt toán học, nó trông như thế này:
Có giá trị $m$, bộ $M$ cộng với một chức năng giả định $f$, hoạt động như thế này: $f(m) = Q$ và $f(M) = Z$ ngoài ra, có một số khác có thể được sử dụng $k$. Nếu và chỉ nếu $m â M$, $Q$ và $Z$ có một mối quan hệ toán học cụ thể, chẳng hạn như $Q â¡ Z (mod k)$, hoặc $Q = Z$. Đạt được sự bình đẳng là kịch bản tốt nhất, vì không có khả năng xảy ra sai sót hoặc tiêu cực, nhưng điều đó có thể là không thể.
