Anoma dự đoán trò chơi tăng lên giảm tối đa bao nhiêu điểm?
Trước đây đã quay được bóng đỏ, hôm nay lại có bóng vàng, không biết còn bóng nào nữa không?
Nhớ khi lần đầu tiếp xúc với chứng minh không kiến thức, tôi đã tìm hiểu về một trò chơi kinh điển 👇 A đặt một quả bóng vào tay trái và một quả bóng vào tay phải của B, hai quả bóng này chỉ có thể khác nhau về màu sắc, còn lại đều giống nhau, bao gồm trọng lượng, cảm giác, v.v. B có thể hỏi A vô số lần, nhưng câu hỏi không được liên quan đến màu sắc, hỏi B người mù làm thế nào để xác định hai quả bóng này có cùng màu hay khác màu?
Người mù B có thể để tay ra sau lưng, để A không nhìn thấy hành động của mình, rồi B có thể hoán đổi hoặc không hoán đổi quả bóng bằng cả hai tay ở phía sau, sau đó mang ra trước và hỏi A: Tôi đã hoán đổi quả bóng chưa. Nếu quả bóng có màu khác nhau, A chắc chắn biết B có hoán đổi hay không, nếu là quả bóng cùng màu, A không thể nhận ra có hoán đổi hay không, rất có thể đoán sai, như vậy lặp đi lặp lại thao tác hỏi nhiều lần, chỉ cần A trả lời sai một lần, có thể xác định hai quả bóng có màu giống nhau.
Trò chơi: Chứng minh "hai quả bóng có màu sắc khác nhau" mà không tiết lộ giá trị cụ thể của từng màu. Ứng dụng ZK trong Anoma: Chứng minh "nhóm ý định này thỏa mãn bảo toàn tài sản + ràng buộc" mà không tiết lộ chi tiết nội bộ (số tiền, sở thích đầy đủ). Lập bản đồ tương tự: 1⃣Giá trị ẩn: Màu sắc cụ thể của bóng ↔ Số dư chính xác của tài khoản / Tham số nội bộ ý định. 2⃣Tính chất cần công khai: Có phải là màu khác ↔ Giao dịch hợp pháp/Số dư đủ/Các ràng buộc được thỏa mãn. 3⃣Phương thức chứng minh: Hoán đổi có thể phân biệt (có thể thấy được sự hoán đổi) ↔ Chứng minh tính thỏa mãn của các ràng buộc trong mạch không biết. Điểm chung cốt lõi: chỉ tiết lộ giá trị đúng/giả của các biến Boolean/ràng buộc cần thiết, không tiết lộ bí mật ban đầu.
Anoma đã mở rộng ý tưởng này trên chuỗi thực bằng cách sử dụng chứng minh không kiến thức: chỉ tiết lộ tính chất ‘thỏa thuận và ràng buộc đã được thiết lập’, trong khi giữ bí mật về ý định và chi tiết tài sản, từ đó đạt được sự thống nhất giữa quyền riêng tư và khả năng xác minh.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Anoma dự đoán trò chơi tăng lên giảm tối đa bao nhiêu điểm?
Trước đây đã quay được bóng đỏ, hôm nay lại có bóng vàng, không biết còn bóng nào nữa không?
Nhớ khi lần đầu tiếp xúc với chứng minh không kiến thức, tôi đã tìm hiểu về một trò chơi kinh điển 👇
A đặt một quả bóng vào tay trái và một quả bóng vào tay phải của B, hai quả bóng này chỉ có thể khác nhau về màu sắc, còn lại đều giống nhau, bao gồm trọng lượng, cảm giác, v.v. B có thể hỏi A vô số lần, nhưng câu hỏi không được liên quan đến màu sắc, hỏi B người mù làm thế nào để xác định hai quả bóng này có cùng màu hay khác màu?
Người mù B có thể để tay ra sau lưng, để A không nhìn thấy hành động của mình, rồi B có thể hoán đổi hoặc không hoán đổi quả bóng bằng cả hai tay ở phía sau, sau đó mang ra trước và hỏi A: Tôi đã hoán đổi quả bóng chưa. Nếu quả bóng có màu khác nhau, A chắc chắn biết B có hoán đổi hay không, nếu là quả bóng cùng màu, A không thể nhận ra có hoán đổi hay không, rất có thể đoán sai, như vậy lặp đi lặp lại thao tác hỏi nhiều lần, chỉ cần A trả lời sai một lần, có thể xác định hai quả bóng có màu giống nhau.
Trò chơi: Chứng minh "hai quả bóng có màu sắc khác nhau" mà không tiết lộ giá trị cụ thể của từng màu. Ứng dụng ZK trong Anoma: Chứng minh "nhóm ý định này thỏa mãn bảo toàn tài sản + ràng buộc" mà không tiết lộ chi tiết nội bộ (số tiền, sở thích đầy đủ).
Lập bản đồ tương tự:
1⃣Giá trị ẩn: Màu sắc cụ thể của bóng ↔ Số dư chính xác của tài khoản / Tham số nội bộ ý định.
2⃣Tính chất cần công khai: Có phải là màu khác ↔ Giao dịch hợp pháp/Số dư đủ/Các ràng buộc được thỏa mãn.
3⃣Phương thức chứng minh: Hoán đổi có thể phân biệt (có thể thấy được sự hoán đổi) ↔ Chứng minh tính thỏa mãn của các ràng buộc trong mạch không biết. Điểm chung cốt lõi: chỉ tiết lộ giá trị đúng/giả của các biến Boolean/ràng buộc cần thiết, không tiết lộ bí mật ban đầu.
Anoma đã mở rộng ý tưởng này trên chuỗi thực bằng cách sử dụng chứng minh không kiến thức: chỉ tiết lộ tính chất ‘thỏa thuận và ràng buộc đã được thiết lập’, trong khi giữ bí mật về ý định và chi tiết tài sản, từ đó đạt được sự thống nhất giữa quyền riêng tư và khả năng xác minh.