Module hint 

Structs

Hint 🔒

Functions

make_hint 🔒

Algorithm 39 MakeHint: computes hint bit indicating whether adding z to r alters the high bits of r.

use_hint 🔒

Algorithm 40 UseHint: returns the high bits of r adjusted according to hint h.