Làm cách nào để có hàm băm ánh xạ từ phần tử nhóm sang chuỗi nhị phân có kích thước nhất định trong charm-crypto?

Tôi muốn một hàm băm như $H_4: G_2\to \{0, 1\}^n$ trong một thời gian dài $n$ tức là ánh xạ từ phần tử nhóm sang chuỗi nhị phân có độ dài $n$. Trong trường hợp này nhóm $G_2$ bao gồm các điểm trên một đường cong elip.

Nếu $r\in G_2$, chúng ta có thể định nghĩa $H_4(r)$ như $\operatorname{SHAKE256}(R,n)$ ở đâu $R$ là một duy nhất đại diện của $r$ dưới dạng chuỗi bit và $\operatorname{SHAKE256}$ như được định nghĩa trong FIPS 202.

Một cách để có được $R$: nếu điểm $r$ có tọa độ Descartes $(x,y)$ trong lĩnh vực $\mathbb F_p$ với $p$ nguyên tố, $2^{8(\ell-1)}<p<2^{8\ell}$, $0\le x<p$, $0\le y<q$, sau đó chúng ta có thể sử dụng $R=\operatorname{I2OSP}(x,\ell)\mathbin\|\operatorname{I2OSP}(y,\ell)$ ở đâu $\operatorname{I2OSP}$ là chuyển đổi big-endian tiêu chuẩn thành chuỗi octet (như được sử dụng trong ví dụ: PKCS#1). Điều này có thể được điều chỉnh cho các lĩnh vực khác.

Nếu $\operatorname{SHAKE256}$ được sử dụng để xây dựng các giá trị băm khác $H_1$, $H_2$, $H_3$, nên thêm tiền tố vào đầu vào của $\operatorname{SHAKE256}$ với các hằng số riêng biệt.