2.3 ProtocolOur protocol design is

2.3 ProtocolOur protocol design is based on the additively
homomorphic property of a variant of ElGamal
encryption, which has been used in, e.g., [HS00]. The
privacy of our protocol is based on the believed computational
difficulty of the discrete logarithm problem,
and the related ElGamal cryptosystem, which we will
describe in more detail in Section 2.4. The protocol itself
uses the mathematical properties of exponentiation,
which allows the miner to combine encrypted results received
from the customers into the desired sums.
Let G be a group in which discrete logarithm is hard,
and let g be a generator of G. All computations in
this section are carried out in the group G. Suppose
that each customer Ui has two pairs of keys: (xi

Kết quả (Việt) 2:

Thiết kế giao thức 2.3 ProtocolOur được dựa trên kiểu cộng
sản homomorphic của một biến thể của ElGamal
mã hóa, mà đã được sử dụng trong, ví dụ, [HS00]. Các
giao thức bảo mật của chúng tôi được dựa trên sự tin tưởng tính toán
khó của bài toán logarit rời rạc,
và các hệ thống mật mã ElGamal liên quan, mà chúng tôi sẽ
mô tả chi tiết hơn trong phần 2.4. Các giao thức riêng của mình
sử dụng các tính chất toán học của lũy thừa,
trong đó cho phép các thợ mỏ để kết hợp kết quả mã hóa nhận được
từ khách hàng vào các khoản tiền mong muốn.
Cho G là một nhóm trong đó logarit rời rạc là khó khăn,
và để cho g là một máy phát điện của G. Tất cả các tính toán trong
phần này được thực hiện trong nhóm G. Giả sử
rằng mỗi khách hàng Ui có hai cặp phím: (xi