Hình 1: Bảo tồn bảo mật giao thức cho tần sốKhai thác mỏ.Định lý 2.1. Giao thức cho khai thác mỏ tần số trình bàytrong hình 1 chính xác tính tổng của tất cả các khách hàng'đầu vào.Bằng chứng: Chúng tôi thấy rằng, trong các giao thức, khi các thợ mỏtìm thấy gd = r, giá trị d là số tiền mong muốn. Giả sử
đang được dịch, vui lòng đợi..
