Check the smp and auth generation of scalars

[claucece]

They should all be hashed and pruned.

[claucece]

Ok, this needs an email to be sent to Mike. Basically, my concern is:

  HashToScalar(0x05 || G3 * r5 || G * r5 + G2 * r6)

should that scalar be hashed as well? It does not come from randomness; but from fixed values.

[olabini]

I thought Ian in our call was pretty clear that you can't modify the scalar output of that - or did I misunderstand?

[olabini]

OK, so I was mistaken. @claucece said in offline conversations that this is different. It's blocked waiting on input from Mike.

[claucece]

Yeah @olabini . Also Gustavo is looking into this :)

[olabini]

Great!