CHỨNG MINH KHÔNG TIẾT LỘ THÔNG TIN VÀ ỨNG DỤNG CHỨNG MINH TÍNH HỢP LỆ CỦA LÁ PHIẾU “ĐIỆN TỬ”
Trong [1], [2], chúng tôi đã trình bày một số kỹ thuật bỏ phiếu từ xa (bỏ phiếu điện tử - Electronic Voting). Cử tri giữ bí mật lá phiếu khi truyền từ xa tới ban kiểm phiếu bằng cách mã hoá nội dung lá phiếu. Theo kỹ thuật “mã hoá đồng cấu”, ban kiểm phiếu có thể tính được kết quả bầu cử mà không cần phải giải mã nội dung lá phiếu. Vấn đề nảy sinh là cử tri phải chứng minh được với ban kiểm phiếu rằng lá phiếu của mình là hợp lệ nhưng nội dung lá phiếu thì không được tiết lộ với họ. Để thực hiện điều này, hiện nay người ta dùng kỹ thuật “Chứng minh không tiết lộ thông tin” (Zero-knowledge proof). Trong báo cáo này, chúng tôi trình bày ý tưởng trên để thực hiện bỏ phiếu loại “Chọn 1 trong k”.
Link download: https://www.fshare.vn/file/ESHR69GBXEYC
Pass giải nén ( nếu có): FDTU