fn make_hint<TwoGamma2: Unsigned>( z: Elem<BaseField>, r: Elem<BaseField>, ) -> bool
Algorithm 39 MakeHint: computes hint bit indicating whether adding z to r alters the high bits of r.
MakeHint
z
r