Hashing of sg, sh, g_n and g_h not necessary

[jhasse]

I'm not 100% sure, but isn't the hashing of sg, sh, g_h and g_h redundant since they are also part of *params?

I've also added const to some values in the proof (makes it a little bit clearer IMHO).

I also noticed that

bool result = false;

isn't needed and it's possible to directly return with the result.

[imichaelmiers]

This looks about right. We have a paper deadline on the 5th so until then I don't want to mess with it, least it turn out it was something critical. Thanks

[jhasse]

Any news about the paper? :)