Closed arielgabizon closed 6 years ago
In this context, if the Pedersen hashes are always supposed to be with prime subgroup inputs/outputs, I would use this new letter for the domains/ranges rather than \mathbb{J} for the whole group.
Also, recommend to use this letter in superscript of FindGroupHash & GroupHash instead of \mathbb{J} to clarify output is in subgroup
Fixed in 2018.0-beta-21.
In particular, there's a clash cause plain G is uses for an element of a generic group, and in any case the importance of this group justifies something else.