Как получить хеш-функцию, которая отображает элемент группы в двоичную строку определенного размера в charm-crypto?

Я хочу хеш-функцию как $H_4: G_2\to \{0, 1\}^n$ для некоторой длины $n$ т. е. отображение элемента группы в двоичную строку длины $n$. В этом случае группа $G_2$ состоит из точек на эллиптической кривой.

Если $r\in G_2$, мы можем определить $H_4(р)$ как $\operatorname{SHAKE256}(R,n)$ куда $R$ это уникальный представительство $г$ как битовая строка и $\имя_оператора{SHAKE256}$ как определено в ФИПС 202.

Один из способов получить $R$: если точка $г$ имеет декартовы координаты $(х,у)$ в поле $\mathbb F_p$ с $р$ основной, $2^{8(\ell-1)}<p<2^{8\ell}$, $0\le x<p$, $0\le y<q$, то мы можем использовать $R=\operatorname{I2OSP}(x,\ell)\mathbin\|\operatorname{I2OSP}(y,\ell)$ куда $\имя_оператора{I2OSP}$ является стандартным преобразованием с обратным порядком байтов в строку октетов (как используется, например, в ПККС#1). Это может быть адаптировано к другим областям.

Если $\имя_оператора{SHAKE256}$ используется для создания других хэшей $H_1$, $H_2$, $H_3$, целесообразно ставить префикс ввода $\имя_оператора{SHAKE256}$ с различными константами.