Zero-Knowledge Proof là gì Zero-Knowledge Proof

Trong mật mã học, chứng minh không kiến thức (zero-knowledge proof) là một phương pháp chứng minh, chỉ ra rằng một bên (chứng minh viên) có thể chứng minh với bên kia (bên xác thực) rằng một tuyên bố là đúng, và ngoài việc tuyên bố đó đúng ra, không tiết lộ bất kỳ thông tin nào khác.

Chứng minh trong đời sống hàng ngày không phải là không kiến thức. Ví dụ, khi người mua cần chứng minh mình trên 21 tuổi để mua rượu, họ sẽ trình diện giấy tờ tùy thân có ngày sinh. Tuy nhiên, phương pháp chứng minh này có nhược điểm, vì trong khi chứng minh đủ tuổi, phương pháp này cũng tiết lộ các thông tin không liên quan nhưng nhạy cảm khác, như tên và địa chỉ.

So với đó, chứng minh không kiến thức vượt trội hơn vì nó không yêu cầu chứng minh viên tiết lộ các chi tiết về chính tuyên bố hoặc cách họ phát hiện ra sự thật. Giả sử Alice bị mù màu, không phân biệt được bóng xanh và bóng đỏ. Alice nghĩ hai quả bóng giống nhau, nhưng Bob muốn dùng phương pháp không kiến thức để chứng minh với Alice rằng hai quả bóng khác nhau. Bob có thể dựa vào cơ chế sau.

Bob yêu cầu Alice cầm mỗi tay một quả bóng và đặt hai tay sau lưng, tay trái là bóng xanh, tay phải là bóng đỏ. Alice có thể quyết định có đổi chỗ bóng hay không. Sau đó, Alice lại trình diện hai quả bóng cho Bob, và Bob sẽ nói cho Alice biết liệu cô có đổi chỗ bóng hay không.

Alice: Tôi có đổi chỗ bóng không? (tay trái từ xanh thành đỏ)

Bob: Đúng rồi.

Alice: Tôi có đổi chỗ bóng không? (tay trái vẫn là đỏ)

Bob: Không, lần trước không đổi.

Alice và Bob liên tục lặp lại quá trình này cho đến khi Alice chắc chắn rằng hai quả bóng thực sự khác nhau, nếu không Bob sẽ không thể luôn luôn chính xác xác định Alice đã làm gì phía sau lưng. Lưu ý, trong quá trình này, Bob không cần phải nói cho Alice biết quả bóng nào là màu xanh, cũng không cần giải thích cách ông biết điều đó.

Ví dụ chứng minh không kiến thức ở trên là dạng tương tác. Mặc dù nó rất dễ hiểu, nhưng về mặt thực tế, không phải là một giải pháp khả thi vì nó yêu cầu hai bên nhiều lần giao tiếp trước khi xây dựng chứng minh.

Các nhà nghiên cứu đã phát minh ra chứng minh không kiến thức phi tương tác để giải quyết các vấn đề này. Chứng minh phi tương tác chỉ cần một vòng giao tiếp giữa chứng minh viên và bên xác thực. Chứng minh viên sẽ đưa thông tin vào một thuật toán đặc biệt để tính toán chứng minh không kiến thức. Sau đó, bên xác thực có thể kiểm tra chứng minh để đảm bảo tính hợp lệ của thông tin bí mật. Một lợi ích khác của chứng minh phi tương tác là, sau khi chứng minh được tạo ra, bất kỳ ai cũng có thể xác minh nó.

Trong lĩnh vực blockchain, chứng minh không kiến thức chủ yếu được ứng dụng trong các kịch bản rollup. Nó giúp chuỗi khối nền tảng có thể ủy thác tính toán ra ngoài, đồng thời đảm bảo tính xác thực của kết quả tính toán. Các máy tính ngoài chuỗi thực hiện giao dịch, sau đó gửi kết quả cùng bằng chứng thực hiện giao dịch chính xác. Điều này giảm tắc nghẽn mạng trên chuỗi và tăng tốc độ giao dịch.

Chứng minh không kiến thức cho phép chuỗi khối nền tảng xác minh các giao dịch ngoài chuỗi mà không cần thực thi lại. Mặc dù chứng minh không kiến thức về mặt kỹ thuật là vượt trội, nhưng các nghiên cứu xung quanh chủ đề này vẫn còn trong giai đoạn sơ khai. Trước khi công nghệ chứng minh không kiến thức được áp dụng thực tế, ít nhất còn vài năm nữa. $ZENT **$ZEREBRO **